runsolver Copyright (C) 2010 Olivier ROUSSEL This is runsolver version 3.2.9a (svn: 651) This program is distributed in the hope that it will be useful, but WITHOUT ANY WARRANTY; without even the implied warranty of MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the GNU General Public License for more details. command line: /home/misc2010/bin/runsolver -s SIGUSR1 -M 1124 -C 290 -d 10 -w /home/misc2010/tmp/201109011757/gj-user-solver-1.0/rand740.cudf.user-upgrades.log.runsolver ./gj-user-solver-1.0 /home/misc2010/data/2011/user-upgrades/rand740.cudf /home/misc2010/tmp/201109011757/gj-user-solver-1.0/rand740.cudf.user-upgrades.result -sum(pin-priority-1),-sum(pin-priority-500),-sum(pin-priority-700),-notuptodate,-removed,-changed Enforcing CPUTime limit (soft limit, will send signal-name then SIGKILL): 290 seconds Enforcing CPUTime limit (hard limit, will send SIGXCPU): 320 seconds Enforcing VSIZE limit (soft limit, will send signal-name then SIGKILL): 1150976 KiB Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 1202176 KiB Current StackSize limit: 8192 KiB [startup+0 s] /proc/loadavg: 1.21 1.07 1.02 5/34 29923 /proc/meminfo: memFree=609164/1048576 swapFree=0/0 [pid=29922] ppid=29921 vsize=2568 CPUtime=0 /proc/29922/stat : 29922 (gj-user-solver-) R 29921 29922 22717 34817 22717 4202496 355 0 0 0 0 0 0 0 25 0 1 0 72685309 2629632 268 1283457024 134512640 135304128 4289920224 18446744073709551615 4294960130 0 65538 4 65536 0 0 0 17 0 0 0 0 /proc/29922/statm: 642 268 228 194 0 29 0 [pid=29923] ppid=29922 vsize=2568 CPUtime=0 /proc/29923/stat : 29923 (gj-user-solver-) R 29922 29922 22717 34817 22717 4202560 0 0 0 0 0 0 0 0 25 0 1 0 72685309 2629632 40 1283457024 134512640 135304128 4289920224 18446744073709551615 4294960130 0 65538 4 65536 0 0 0 17 0 0 0 0 /proc/29923/statm: 642 40 0 194 0 29 0 [startup+0.164247 s] /proc/loadavg: 1.21 1.07 1.02 5/34 29923 /proc/meminfo: memFree=609164/1048576 swapFree=0/0 [pid=29922] ppid=29921 vsize=2568 CPUtime=0 /proc/29922/stat : 29922 (gj-user-solver-) S 29921 29922 22717 34817 22717 4202496 372 0 0 0 0 0 0 0 25 0 1 0 72685309 2629632 269 1283457024 134512640 135304128 4289920224 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0 /proc/29922/statm: 642 269 229 194 0 29 0 [pid=29923] ppid=29922 vsize=409924 CPUtime=0.17 /proc/29923/stat : 29923 (java) S 29922 29922 22717 34817 22717 4202496 3991 0 1 0 16 1 0 0 25 0 9 0 72685309 419762176 3419 1283457024 134512640 134550932 4291581392 18446744073709551615 4294960130 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 /proc/29923/statm: 102481 3419 1918 10 0 96629 0 Current children cumulated CPU time (s) 0.17 Current children cumulated vsize (KiB) 412492 [startup+0.204248 s] /proc/loadavg: 1.21 1.07 1.02 5/34 29923 /proc/meminfo: memFree=609164/1048576 swapFree=0/0 [pid=29922] ppid=29921 vsize=2568 CPUtime=0 /proc/29922/stat : 29922 (gj-user-solver-) S 29921 29922 22717 34817 22717 4202496 372 0 0 0 0 0 0 0 25 0 1 0 72685309 2629632 269 1283457024 134512640 135304128 4289920224 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0 /proc/29922/statm: 642 269 229 194 0 29 0 [pid=29923] ppid=29922 vsize=409924 CPUtime=0.21 /proc/29923/stat : 29923 (java) S 29922 29922 22717 34817 22717 4202496 4078 0 1 0 20 1 0 0 25 0 9 0 72685309 419762176 3506 1283457024 134512640 134550932 4291581392 18446744073709551615 4294960130 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 /proc/29923/statm: 102481 3506 1918 10 0 96629 0 Current children cumulated CPU time (s) 0.21 Current children cumulated vsize (KiB) 412492 [startup+0.304274 s] /proc/loadavg: 1.21 1.07 1.02 5/34 29923 /proc/meminfo: memFree=609164/1048576 swapFree=0/0 [pid=29922] ppid=29921 vsize=2568 CPUtime=0 /proc/29922/stat : 29922 (gj-user-solver-) S 29921 29922 22717 34817 22717 4202496 372 0 0 0 0 0 0 0 25 0 1 0 72685309 2629632 269 1283457024 134512640 135304128 4289920224 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0 /proc/29922/statm: 642 269 229 194 0 29 0 [pid=29923] ppid=29922 vsize=410480 CPUtime=0.31 /proc/29923/stat : 29923 (java) S 29922 29922 22717 34817 22717 4202496 4450 0 1 0 30 1 0 0 25 0 9 0 72685309 420331520 3878 1283457024 134512640 134550932 4291581392 18446744073709551615 4294960130 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 /proc/29923/statm: 102620 3878 1945 10 0 96768 0 Current children cumulated CPU time (s) 0.31 Current children cumulated vsize (KiB) 413048 [startup+0.704396 s] /proc/loadavg: 1.21 1.07 1.02 5/34 29923 /proc/meminfo: memFree=609164/1048576 swapFree=0/0 [pid=29922] ppid=29921 vsize=2568 CPUtime=0 /proc/29922/stat : 29922 (gj-user-solver-) S 29921 29922 22717 34817 22717 4202496 372 0 0 0 0 0 0 0 25 0 1 0 72685309 2629632 269 1283457024 134512640 135304128 4289920224 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0 /proc/29922/statm: 642 269 229 194 0 29 0 [pid=29923] ppid=29922 vsize=410616 CPUtime=0.71 /proc/29923/stat : 29923 (java) S 29922 29922 22717 34817 22717 4202496 12030 0 1 0 68 3 0 0 25 0 9 0 72685309 420470784 11271 1283457024 134512640 134550932 4291581392 18446744073709551615 4294960130 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 /proc/29923/statm: 102654 11271 2901 10 0 96802 0 Current children cumulated CPU time (s) 0.71 Current children cumulated vsize (KiB) 413184 [startup+1.50468 s] /proc/loadavg: 1.21 1.07 1.02 2/43 29932 /proc/meminfo: memFree=550800/1048576 swapFree=0/0 [pid=29922] ppid=29921 vsize=2568 CPUtime=0 /proc/29922/stat : 29922 (gj-user-solver-) S 29921 29922 22717 34817 22717 4202496 372 0 0 0 0 0 0 0 25 0 1 0 72685309 2629632 269 1283457024 134512640 135304128 4289920224 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0 /proc/29922/statm: 642 269 229 194 0 29 0 [pid=29923] ppid=29922 vsize=410748 CPUtime=1.51 /proc/29923/stat : 29923 (java) S 29922 29922 22717 34817 22717 4202496 26616 0 1 0 145 6 0 0 25 0 9 0 72685309 420605952 25857 1283457024 134512640 134550932 4291581392 18446744073709551615 4294960130 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 /proc/29923/statm: 102687 25857 2901 10 0 96835 0 [pid=29923/tid=29925] ppid=29922 vsize=410748 CPUtime=0.83 /proc/29923/task/29925/stat : 29925 (java) R 29922 29922 22717 34817 22717 4202560 6712 0 1 0 79 4 0 0 25 0 9 0 72685310 420605952 25857 1283457024 134512640 134550932 4291581392 18446744073709551615 4294960130 0 4 0 16800975 0 0 0 -1 0 0 0 0 [pid=29923/tid=29926] ppid=29922 vsize=410748 CPUtime=0.62 /proc/29923/task/29926/stat : 29926 (java) R 29922 29922 22717 34817 22717 4202560 18518 0 0 0 62 0 0 0 18 0 9 0 72685311 420605952 25857 1283457024 134512640 134550932 4291581392 18446744073709551615 4151277496 0 0 0 16800975 0 0 0 -1 0 0 0 0 [pid=29923/tid=29927] ppid=29922 vsize=410748 CPUtime=0 /proc/29923/task/29927/stat : 29927 (java) S 29922 29922 22717 34817 22717 4202560 15 0 0 0 0 0 0 0 20 0 9 0 72685311 420605952 25857 1283457024 134512640 134550932 4291581392 18446744073709551615 4294960130 0 4 0 16800975 18446612133395358784 0 0 -1 0 0 0 0 [pid=29923/tid=29928] ppid=29922 vsize=410748 CPUtime=0 /proc/29923/task/29928/stat : 29928 (java) S 29922 29922 22717 34817 22717 4202560 5 0 0 0 0 0 0 0 20 0 9 0 72685311 420605952 25857 1283457024 134512640 134550932 4291581392 18446744073709551615 4294960130 0 4 0 16800975 18446612133395358784 0 0 -1 0 0 0 0 [pid=29923/tid=29929] ppid=29922 vsize=410748 CPUtime=0 /proc/29923/task/29929/stat : 29929 (java) S 29922 29922 22717 34817 22717 4202560 1 0 0 0 0 0 0 0 25 0 9 0 72685312 420605952 25857 1283457024 134512640 134550932 4291581392 18446744073709551615 4294960130 0 4 0 16800975 18446612133395358784 0 0 -1 0 0 0 0 [pid=29923/tid=29930] ppid=29922 vsize=410748 CPUtime=0.02 /proc/29923/task/29930/stat : 29930 (java) S 29922 29922 22717 34817 22717 4202560 446 0 0 0 2 0 0 0 16 0 9 0 72685312 420605952 25857 1283457024 134512640 134550932 4291581392 18446744073709551615 4294960130 0 4 0 16800975 18446612133395358784 0 0 -1 0 0 0 0 [pid=29923/tid=29931] ppid=29922 vsize=410748 CPUtime=0 /proc/29923/task/29931/stat : 29931 (java) S 29922 29922 22717 34817 22717 4202560 1 0 0 0 0 0 0 0 25 0 9 0 72685312 420605952 25857 1283457024 134512640 134550932 4291581392 18446744073709551615 4294960130 0 4 0 16800975 18446612133395358784 0 0 -1 0 0 0 0 [pid=29923/tid=29932] ppid=29922 vsize=410748 CPUtime=0 /proc/29923/task/29932/stat : 29932 (java) S 29922 29922 22717 34817 22717 4202560 1 0 0 0 0 0 0 0 15 0 9 0 72685312 420605952 25857 1283457024 134512640 134550932 4291581392 18446744073709551615 4294960130 0 4 0 16800975 18446612133395358784 0 0 -1 0 0 0 0 Current children cumulated CPU time (s) 1.51 Current children cumulated vsize (KiB) 413316 [startup+3.105 s] /proc/loadavg: 1.21 1.07 1.02 2/43 29932 /proc/meminfo: memFree=479004/1048576 swapFree=0/0 [pid=29922] ppid=29921 vsize=2568 CPUtime=0 /proc/29922/stat : 29922 (gj-user-solver-) S 29921 29922 22717 34817 22717 4202496 372 0 0 0 0 0 0 0 25 0 1 0 72685309 2629632 269 1283457024 134512640 135304128 4289920224 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0 /proc/29922/statm: 642 269 229 194 0 29 0 [pid=29923] ppid=29922 vsize=410880 CPUtime=3.11 /proc/29923/stat : 29923 (java) S 29922 29922 22717 34817 22717 4202496 49639 0 1 0 298 13 0 0 25 0 9 0 72685309 420741120 48880 1283457024 134512640 134550932 4291581392 18446744073709551615 4294960130 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 /proc/29923/statm: 102720 48880 2901 10 0 96868 0 [pid=29923/tid=29925] ppid=29922 vsize=410880 CPUtime=1.46 /proc/29923/task/29925/stat : 29925 (java) R 29922 29922 22717 34817 22717 4202560 13865 0 1 0 137 9 0 0 25 0 9 0 72685310 420741120 48880 1283457024 134512640 134550932 4291581392 18446744073709551615 4294960130 0 4 0 16800975 0 0 0 -1 0 0 0 0 [pid=29923/tid=29926] ppid=29922 vsize=410880 CPUtime=1.6 /proc/29923/task/29926/stat : 29926 (java) R 29922 29922 22717 34817 22717 4202560 34385 0 0 0 158 2 0 0 16 0 9 0 72685311 420741120 48880 1283457024 134512640 134550932 4291581392 18446744073709551615 4151277496 0 0 0 16800975 0 0 0 -1 0 0 0 0 [pid=29923/tid=29927] ppid=29922 vsize=410880 CPUtime=0 /proc/29923/task/29927/stat : 29927 (java) S 29922 29922 22717 34817 22717 4202560 15 0 0 0 0 0 0 0 20 0 9 0 72685311 420741120 48880 1283457024 134512640 134550932 4291581392 18446744073709551615 4294960130 0 4 0 16800975 18446612133395358784 0 0 -1 0 0 0 0 [pid=29923/tid=29928] ppid=29922 vsize=410880 CPUtime=0 /proc/29923/task/29928/stat : 29928 (java) S 29922 29922 22717 34817 22717 4202560 5 0 0 0 0 0 0 0 20 0 9 0 72685311 420741120 48880 1283457024 134512640 134550932 4291581392 18446744073709551615 4294960130 0 4 0 16800975 18446612133395358784 0 0 -1 0 0 0 0 [pid=29923/tid=29929] ppid=29922 vsize=410880 CPUtime=0 /proc/29923/task/29929/stat : 29929 (java) S 29922 29922 22717 34817 22717 4202560 1 0 0 0 0 0 0 0 25 0 9 0 72685312 420741120 48880 1283457024 134512640 134550932 4291581392 18446744073709551615 4294960130 0 4 0 16800975 18446612133395358784 0 0 -1 0 0 0 0 [pid=29923/tid=29930] ppid=29922 vsize=410880 CPUtime=0.02 /proc/29923/task/29930/stat : 29930 (java) S 29922 29922 22717 34817 22717 4202560 449 0 0 0 2 0 0 0 15 0 9 0 72685312 420741120 48880 1283457024 134512640 134550932 4291581392 18446744073709551615 4294960130 0 4 0 16800975 18446612133395358784 0 0 -1 0 0 0 0 [pid=29923/tid=29931] ppid=29922 vsize=410880 CPUtime=0 /proc/29923/task/29931/stat : 29931 (java) S 29922 29922 22717 34817 22717 4202560 1 0 0 0 0 0 0 0 25 0 9 0 72685312 420741120 48880 1283457024 134512640 134550932 4291581392 18446744073709551615 4294960130 0 4 0 16800975 18446612133395358784 0 0 -1 0 0 0 0 [pid=29923/tid=29932] ppid=29922 vsize=410880 CPUtime=0 /proc/29923/task/29932/stat : 29932 (java) S 29922 29922 22717 34817 22717 4202560 1 0 0 0 0 0 0 0 15 0 9 0 72685312 420741120 48880 1283457024 134512640 134550932 4291581392 18446744073709551615 4294960130 0 4 0 16800975 18446612133395358784 0 0 -1 0 0 0 0 Current children cumulated CPU time (s) 3.11 Current children cumulated vsize (KiB) 413448 [startup+6.31176 s] /proc/loadavg: 1.27 1.08 1.02 3/43 29932 /proc/meminfo: memFree=342108/1048576 swapFree=0/0 [pid=29922] ppid=29921 vsize=2568 CPUtime=0 /proc/29922/stat : 29922 (gj-user-solver-) S 29921 29922 22717 34817 22717 4202496 372 0 0 0 0 0 0 0 25 0 1 0 72685309 2629632 269 1283457024 134512640 135304128 4289920224 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0 /proc/29922/statm: 642 269 229 194 0 29 0 [pid=29923] ppid=29922 vsize=439920 CPUtime=6.3 /proc/29923/stat : 29923 (java) S 29922 29922 22717 34817 22717 4202496 78235 0 1 0 608 22 0 0 25 0 9 0 72685309 450478080 77470 1283457024 134512640 134550932 4291581392 18446744073709551615 4294960130 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 /proc/29923/statm: 109980 77470 2902 10 0 104128 0 [pid=29923/tid=29925] ppid=29922 vsize=439920 CPUtime=2.32 /proc/29923/task/29925/stat : 29925 (java) R 29922 29922 22717 34817 22717 4202560 13882 0 1 0 223 9 0 0 25 0 9 0 72685310 450478080 77470 1283457024 134512640 134550932 4291581392 18446744073709551615 4294960130 0 4 0 16800975 0 0 0 -1 0 0 0 0 [pid=29923/tid=29926] ppid=29922 vsize=439920 CPUtime=3.92 /proc/29923/task/29926/stat : 29926 (java) R 29922 29922 22717 34817 22717 4202560 62946 0 0 0 380 12 0 0 16 0 9 0 72685311 450478080 77470 1283457024 134512640 134550932 4291581392 18446744073709551615 4153387524 0 0 0 16800975 0 0 0 -1 0 0 0 0 [pid=29923/tid=29927] ppid=29922 vsize=439920 CPUtime=0 /proc/29923/task/29927/stat : 29927 (java) S 29922 29922 22717 34817 22717 4202560 15 0 0 0 0 0 0 0 20 0 9 0 72685311 450478080 77470 1283457024 134512640 134550932 4291581392 18446744073709551615 4294960130 0 4 0 16800975 18446612133395358784 0 0 -1 0 0 0 0 [pid=29923/tid=29928] ppid=29922 vsize=439920 CPUtime=0 /proc/29923/task/29928/stat : 29928 (java) S 29922 29922 22717 34817 22717 4202560 5 0 0 0 0 0 0 0 20 0 9 0 72685311 450478080 77470 1283457024 134512640 134550932 4291581392 18446744073709551615 4294960130 0 4 0 16800975 18446612133395358784 0 0 -1 0 0 0 0 [pid=29923/tid=29929] ppid=29922 vsize=439920 CPUtime=0 /proc/29923/task/29929/stat : 29929 (java) S 29922 29922 22717 34817 22717 4202560 1 0 0 0 0 0 0 0 25 0 9 0 72685312 450478080 77470 1283457024 134512640 134550932 4291581392 18446744073709551615 4294960130 0 4 0 16800975 18446612133395358784 0 0 -1 0 0 0 0 [pid=29923/tid=29930] ppid=29922 vsize=439920 CPUtime=0.04 /proc/29923/task/29930/stat : 29930 (java) S 29922 29922 22717 34817 22717 4202560 467 0 0 0 4 0 0 0 15 0 9 0 72685312 450478080 77470 1283457024 134512640 134550932 4291581392 18446744073709551615 4294960130 0 4 0 16800975 18446612133395358784 0 0 -1 0 0 0 0 [pid=29923/tid=29931] ppid=29922 vsize=439920 CPUtime=0 /proc/29923/task/29931/stat : 29931 (java) S 29922 29922 22717 34817 22717 4202560 1 0 0 0 0 0 0 0 25 0 9 0 72685312 450478080 77470 1283457024 134512640 134550932 4291581392 18446744073709551615 4294960130 0 4 0 16800975 18446612133395358784 0 0 -1 0 0 0 0 [pid=29923/tid=29932] ppid=29922 vsize=439920 CPUtime=0 /proc/29923/task/29932/stat : 29932 (java) S 29922 29922 22717 34817 22717 4202560 1 0 0 0 0 0 0 0 15 0 9 0 72685312 450478080 77470 1283457024 134512640 134550932 4291581392 18446744073709551615 4294960130 0 4 0 16800975 18446612133395358784 0 0 -1 0 0 0 0 Current children cumulated CPU time (s) 6.3 Current children cumulated vsize (KiB) 442488 [startup+12.7092 s] /proc/loadavg: 1.33 1.10 1.02 2/44 29933 /proc/meminfo: memFree=337024/1048576 swapFree=0/0 [pid=29922] ppid=29921 vsize=2568 CPUtime=0 /proc/29922/stat : 29922 (gj-user-solver-) S 29921 29922 22717 34817 22717 4202496 372 0 0 0 0 0 0 0 25 0 1 0 72685309 2629632 269 1283457024 134512640 135304128 4289920224 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0 /proc/29922/statm: 642 269 229 194 0 29 0 [pid=29923] ppid=29922 vsize=411888 CPUtime=12.65 /proc/29923/stat : 29923 (java) S 29922 29922 22717 34817 22717 4202496 99930 0 1 0 1225 40 0 0 25 0 10 0 72685309 421773312 70656 1283457024 134512640 134550932 4291581392 18446744073709551615 4294960130 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 /proc/29923/statm: 102972 70656 2919 10 0 97117 0 [pid=29923/tid=29925] ppid=29922 vsize=411888 CPUtime=4.28 /proc/29923/task/29925/stat : 29925 (java) R 29922 29922 22717 34817 22717 4202560 14134 0 1 0 418 10 0 0 25 0 10 0 72685310 421773312 70656 1283457024 134512640 134550932 4291581392 18446744073709551615 4150745632 0 4 0 16800975 0 0 0 -1 0 0 0 0 [pid=29923/tid=29926] ppid=29922 vsize=411888 CPUtime=8.22 /proc/29923/task/29926/stat : 29926 (java) S 29922 29922 22717 34817 22717 4202560 84304 0 0 0 793 29 0 0 16 0 10 0 72685311 421773312 70656 1283457024 134512640 134550932 4291581392 18446744073709551615 4294960130 0 0 0 16800975 18446612133395358784 0 0 -1 0 0 0 0 [pid=29923/tid=29927] ppid=29922 vsize=411888 CPUtime=0 /proc/29923/task/29927/stat : 29927 (java) S 29922 29922 22717 34817 22717 4202560 15 0 0 0 0 0 0 0 18 0 10 0 72685311 421773312 70656 1283457024 134512640 134550932 4291581392 18446744073709551615 4294960130 0 4 0 16800975 18446612133395358784 0 0 -1 0 0 0 0 [pid=29923/tid=29928] ppid=29922 vsize=411888 CPUtime=0 /proc/29923/task/29928/stat : 29928 (java) S 29922 29922 22717 34817 22717 4202560 5 0 0 0 0 0 0 0 18 0 10 0 72685311 421773312 70656 1283457024 134512640 134550932 4291581392 18446744073709551615 4294960130 0 4 0 16800975 18446612133395358784 0 0 -1 0 0 0 0 [pid=29923/tid=29929] ppid=29922 vsize=411888 CPUtime=0 /proc/29923/task/29929/stat : 29929 (java) S 29922 29922 22717 34817 22717 4202560 1 0 0 0 0 0 0 0 25 0 10 0 72685312 421773312 70656 1283457024 134512640 134550932 4291581392 18446744073709551615 4294960130 0 4 0 16800975 18446612133395358784 0 0 -1 0 0 0 0 [pid=29923/tid=29930] ppid=29922 vsize=411888 CPUtime=0.14 /proc/29923/task/29930/stat : 29930 (java) S 29922 29922 22717 34817 22717 4202560 547 0 0 0 14 0 0 0 15 0 10 0 72685312 421773312 70656 1283457024 134512640 134550932 4291581392 18446744073709551615 4294960130 0 4 0 16800975 18446612133395358784 0 0 -1 0 0 0 0 [pid=29923/tid=29931] ppid=29922 vsize=411888 CPUtime=0 /proc/29923/task/29931/stat : 29931 (java) S 29922 29922 22717 34817 22717 4202560 1 0 0 0 0 0 0 0 25 0 10 0 72685312 421773312 70656 1283457024 134512640 134550932 4291581392 18446744073709551615 4294960130 0 4 0 16800975 18446612133395358784 0 0 -1 0 0 0 0 [pid=29923/tid=29932] ppid=29922 vsize=411888 CPUtime=0 /proc/29923/task/29932/stat : 29932 (java) S 29922 29922 22717 34817 22717 4202560 1 0 0 0 0 0 0 0 15 0 10 0 72685312 421773312 70656 1283457024 134512640 134550932 4291581392 18446744073709551615 4294960130 0 4 0 16800975 18446612133395358784 0 0 -1 0 0 0 0 [pid=29923/tid=29933] ppid=29922 vsize=411888 CPUtime=0 /proc/29923/task/29933/stat : 29933 (java) S 29922 29922 22717 34817 22717 4202560 5 0 0 0 0 0 0 0 25 0 10 0 72686447 421773312 70656 1283457024 134512640 134550932 4291581392 18446744073709551615 4294960130 0 4 0 16800975 18446612133395358784 0 0 -1 0 0 0 0 Current children cumulated CPU time (s) 12.65 Current children cumulated vsize (KiB) 414456 Solver just ended. Dumping a history of the last processes samples [startup+12.8092 s] /proc/loadavg: 1.33 1.10 1.02 2/44 29933 /proc/meminfo: memFree=337024/1048576 swapFree=0/0 [pid=29922] ppid=29921 vsize=2568 CPUtime=0 /proc/29922/stat : 29922 (gj-user-solver-) S 29921 29922 22717 34817 22717 4202496 372 0 0 0 0 0 0 0 25 0 1 0 72685309 2629632 269 1283457024 134512640 135304128 4289920224 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0 /proc/29922/statm: 642 269 229 194 0 29 0 [pid=29923] ppid=29922 vsize=411888 CPUtime=12.75 /proc/29923/stat : 29923 (java) S 29922 29922 22717 34817 22717 4202496 99930 0 1 0 1235 40 0 0 25 0 10 0 72685309 421773312 70656 1283457024 134512640 134550932 4291581392 18446744073709551615 4294960130 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 /proc/29923/statm: 102972 70656 2919 10 0 97117 0 [pid=29923/tid=29925] ppid=29922 vsize=411888 CPUtime=4.38 /proc/29923/task/29925/stat : 29925 (java) R 29922 29922 22717 34817 22717 4202560 14134 0 1 0 428 10 0 0 25 0 10 0 72685310 421773312 70656 1283457024 134512640 134550932 4291581392 18446744073709551615 4115878237 0 4 0 16800975 0 0 0 -1 0 0 0 0 [pid=29923/tid=29926] ppid=29922 vsize=411888 CPUtime=8.22 /proc/29923/task/29926/stat : 29926 (java) S 29922 29922 22717 34817 22717 4202560 84304 0 0 0 793 29 0 0 16 0 10 0 72685311 421773312 70656 1283457024 134512640 134550932 4291581392 18446744073709551615 4294960130 0 0 0 16800975 18446612133395358784 0 0 -1 0 0 0 0 [pid=29923/tid=29927] ppid=29922 vsize=411888 CPUtime=0 /proc/29923/task/29927/stat : 29927 (java) S 29922 29922 22717 34817 22717 4202560 15 0 0 0 0 0 0 0 18 0 10 0 72685311 421773312 70656 1283457024 134512640 134550932 4291581392 18446744073709551615 4294960130 0 4 0 16800975 18446612133395358784 0 0 -1 0 0 0 0 [pid=29923/tid=29928] ppid=29922 vsize=411888 CPUtime=0 /proc/29923/task/29928/stat : 29928 (java) S 29922 29922 22717 34817 22717 4202560 5 0 0 0 0 0 0 0 18 0 10 0 72685311 421773312 70656 1283457024 134512640 134550932 4291581392 18446744073709551615 4294960130 0 4 0 16800975 18446612133395358784 0 0 -1 0 0 0 0 [pid=29923/tid=29929] ppid=29922 vsize=411888 CPUtime=0 /proc/29923/task/29929/stat : 29929 (java) S 29922 29922 22717 34817 22717 4202560 1 0 0 0 0 0 0 0 25 0 10 0 72685312 421773312 70656 1283457024 134512640 134550932 4291581392 18446744073709551615 4294960130 0 4 0 16800975 18446612133395358784 0 0 -1 0 0 0 0 [pid=29923/tid=29930] ppid=29922 vsize=411888 CPUtime=0.14 /proc/29923/task/29930/stat : 29930 (java) S 29922 29922 22717 34817 22717 4202560 547 0 0 0 14 0 0 0 15 0 10 0 72685312 421773312 70656 1283457024 134512640 134550932 4291581392 18446744073709551615 4294960130 0 4 0 16800975 18446612133395358784 0 0 -1 0 0 0 0 [pid=29923/tid=29931] ppid=29922 vsize=411888 CPUtime=0 /proc/29923/task/29931/stat : 29931 (java) S 29922 29922 22717 34817 22717 4202560 1 0 0 0 0 0 0 0 25 0 10 0 72685312 421773312 70656 1283457024 134512640 134550932 4291581392 18446744073709551615 4294960130 0 4 0 16800975 18446612133395358784 0 0 -1 0 0 0 0 [pid=29923/tid=29932] ppid=29922 vsize=411888 CPUtime=0 /proc/29923/task/29932/stat : 29932 (java) S 29922 29922 22717 34817 22717 4202560 1 0 0 0 0 0 0 0 15 0 10 0 72685312 421773312 70656 1283457024 134512640 134550932 4291581392 18446744073709551615 4294960130 0 4 0 16800975 18446612133395358784 0 0 -1 0 0 0 0 [pid=29923/tid=29933] ppid=29922 vsize=411888 CPUtime=0 /proc/29923/task/29933/stat : 29933 (java) S 29922 29922 22717 34817 22717 4202560 5 0 0 0 0 0 0 0 25 0 10 0 72686447 421773312 70656 1283457024 134512640 134550932 4291581392 18446744073709551615 4294960130 0 4 0 16800975 18446612133395358784 0 0 -1 0 0 0 0 Current children cumulated CPU time (s) 12.75 Current children cumulated vsize (KiB) 414456 [startup+16.0102 s] /proc/loadavg: 1.31 1.10 1.02 2/44 29933 /proc/meminfo: memFree=337024/1048576 swapFree=0/0 [pid=29922] ppid=29921 vsize=2568 CPUtime=0 /proc/29922/stat : 29922 (gj-user-solver-) S 29921 29922 22717 34817 22717 4202496 372 0 0 0 0 0 0 0 25 0 1 0 72685309 2629632 269 1283457024 134512640 135304128 4289920224 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0 /proc/29922/statm: 642 269 229 194 0 29 0 [pid=29923] ppid=29922 vsize=411888 CPUtime=15.93 /proc/29923/stat : 29923 (java) S 29922 29922 22717 34817 22717 4202496 99939 0 1 0 1553 40 0 0 25 0 10 0 72685309 421773312 70665 1283457024 134512640 134550932 4291581392 18446744073709551615 4294960130 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 /proc/29923/statm: 102972 70665 2921 10 0 97117 0 [pid=29923/tid=29925] ppid=29922 vsize=411888 CPUtime=7.52 /proc/29923/task/29925/stat : 29925 (java) R 29922 29922 22717 34817 22717 4202560 14134 0 1 0 742 10 0 0 25 0 10 0 72685310 421773312 70665 1283457024 134512640 134550932 4291581392 18446744073709551615 4115869532 0 4 0 16800975 0 0 0 -1 0 0 0 0 [pid=29923/tid=29926] ppid=29922 vsize=411888 CPUtime=8.26 /proc/29923/task/29926/stat : 29926 (java) S 29922 29922 22717 34817 22717 4202560 84306 0 0 0 797 29 0 0 16 0 10 0 72685311 421773312 70665 1283457024 134512640 134550932 4291581392 18446744073709551615 4294960130 0 0 0 16800975 18446612133395358784 0 0 -1 0 0 0 0 [pid=29923/tid=29927] ppid=29922 vsize=411888 CPUtime=0 /proc/29923/task/29927/stat : 29927 (java) S 29922 29922 22717 34817 22717 4202560 15 0 0 0 0 0 0 0 18 0 10 0 72685311 421773312 70665 1283457024 134512640 134550932 4291581392 18446744073709551615 4294960130 0 4 0 16800975 18446612133395358784 0 0 -1 0 0 0 0 [pid=29923/tid=29928] ppid=29922 vsize=411888 CPUtime=0 /proc/29923/task/29928/stat : 29928 (java) S 29922 29922 22717 34817 22717 4202560 5 0 0 0 0 0 0 0 18 0 10 0 72685311 421773312 70665 1283457024 134512640 134550932 4291581392 18446744073709551615 4294960130 0 4 0 16800975 18446612133395358784 0 0 -1 0 0 0 0 [pid=29923/tid=29929] ppid=29922 vsize=411888 CPUtime=0 /proc/29923/task/29929/stat : 29929 (java) S 29922 29922 22717 34817 22717 4202560 1 0 0 0 0 0 0 0 25 0 10 0 72685312 421773312 70665 1283457024 134512640 134550932 4291581392 18446744073709551615 4294960130 0 4 0 16800975 18446612133395358784 0 0 -1 0 0 0 0 [pid=29923/tid=29930] ppid=29922 vsize=411888 CPUtime=0.14 /proc/29923/task/29930/stat : 29930 (java) S 29922 29922 22717 34817 22717 4202560 554 0 0 0 14 0 0 0 15 0 10 0 72685312 421773312 70665 1283457024 134512640 134550932 4291581392 18446744073709551615 4294960130 0 4 0 16800975 18446612133395358784 0 0 -1 0 0 0 0 [pid=29923/tid=29931] ppid=29922 vsize=411888 CPUtime=0 /proc/29923/task/29931/stat : 29931 (java) S 29922 29922 22717 34817 22717 4202560 1 0 0 0 0 0 0 0 25 0 10 0 72685312 421773312 70665 1283457024 134512640 134550932 4291581392 18446744073709551615 4294960130 0 4 0 16800975 18446612133395358784 0 0 -1 0 0 0 0 [pid=29923/tid=29932] ppid=29922 vsize=411888 CPUtime=0 /proc/29923/task/29932/stat : 29932 (java) S 29922 29922 22717 34817 22717 4202560 1 0 0 0 0 0 0 0 15 0 10 0 72685312 421773312 70665 1283457024 134512640 134550932 4291581392 18446744073709551615 4294960130 0 4 0 16800975 18446612133395358784 0 0 -1 0 0 0 0 [pid=29923/tid=29933] ppid=29922 vsize=411888 CPUtime=0 /proc/29923/task/29933/stat : 29933 (java) S 29922 29922 22717 34817 22717 4202560 5 0 0 0 0 0 0 0 25 0 10 0 72686447 421773312 70665 1283457024 134512640 134550932 4291581392 18446744073709551615 4294960130 0 4 0 16800975 18446612133395358784 0 0 -1 0 0 0 0 Current children cumulated CPU time (s) 15.93 Current children cumulated vsize (KiB) 414456 [startup+17.6108 s] /proc/loadavg: 1.28 1.10 1.02 3/44 29933 /proc/meminfo: memFree=337024/1048576 swapFree=0/0 [pid=29922] ppid=29921 vsize=2568 CPUtime=0 /proc/29922/stat : 29922 (gj-user-solver-) S 29921 29922 22717 34817 22717 4202496 372 0 0 0 0 0 0 0 25 0 1 0 72685309 2629632 269 1283457024 134512640 135304128 4289920224 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0 /proc/29922/statm: 642 269 229 194 0 29 0 [pid=29923] ppid=29922 vsize=411888 CPUtime=17.53 /proc/29923/stat : 29923 (java) S 29922 29922 22717 34817 22717 4202496 99943 0 1 0 1712 41 0 0 25 0 10 0 72685309 421773312 70669 1283457024 134512640 134550932 4291581392 18446744073709551615 4294960130 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 /proc/29923/statm: 102972 70669 2921 10 0 97117 0 [pid=29923/tid=29925] ppid=29922 vsize=411888 CPUtime=9.05 /proc/29923/task/29925/stat : 29925 (java) R 29922 29922 22717 34817 22717 4202560 14135 0 1 0 894 11 0 0 25 0 10 0 72685310 421773312 70669 1283457024 134512640 134550932 4291581392 18446744073709551615 4115869521 0 4 0 16800975 0 0 0 -1 0 0 0 0 [pid=29923/tid=29926] ppid=29922 vsize=411888 CPUtime=8.32 /proc/29923/task/29926/stat : 29926 (java) S 29922 29922 22717 34817 22717 4202560 84306 0 0 0 803 29 0 0 16 0 10 0 72685311 421773312 70669 1283457024 134512640 134550932 4291581392 18446744073709551615 4294960130 0 0 0 16800975 18446612133395358784 0 0 -1 0 0 0 0 [pid=29923/tid=29927] ppid=29922 vsize=411888 CPUtime=0 /proc/29923/task/29927/stat : 29927 (java) S 29922 29922 22717 34817 22717 4202560 15 0 0 0 0 0 0 0 18 0 10 0 72685311 421773312 70669 1283457024 134512640 134550932 4291581392 18446744073709551615 4294960130 0 4 0 16800975 18446612133395358784 0 0 -1 0 0 0 0 [pid=29923/tid=29928] ppid=29922 vsize=411888 CPUtime=0 /proc/29923/task/29928/stat : 29928 (java) S 29922 29922 22717 34817 22717 4202560 5 0 0 0 0 0 0 0 18 0 10 0 72685311 421773312 70669 1283457024 134512640 134550932 4291581392 18446744073709551615 4294960130 0 4 0 16800975 18446612133395358784 0 0 -1 0 0 0 0 [pid=29923/tid=29929] ppid=29922 vsize=411888 CPUtime=0 /proc/29923/task/29929/stat : 29929 (java) S 29922 29922 22717 34817 22717 4202560 1 0 0 0 0 0 0 0 25 0 10 0 72685312 421773312 70669 1283457024 134512640 134550932 4291581392 18446744073709551615 4294960130 0 4 0 16800975 18446612133395358784 0 0 -1 0 0 0 0 [pid=29923/tid=29930] ppid=29922 vsize=411888 CPUtime=0.14 /proc/29923/task/29930/stat : 29930 (java) S 29922 29922 22717 34817 22717 4202560 557 0 0 0 14 0 0 0 15 0 10 0 72685312 421773312 70669 1283457024 134512640 134550932 4291581392 18446744073709551615 4294960130 0 4 0 16800975 18446612133395358784 0 0 -1 0 0 0 0 [pid=29923/tid=29931] ppid=29922 vsize=411888 CPUtime=0 /proc/29923/task/29931/stat : 29931 (java) S 29922 29922 22717 34817 22717 4202560 1 0 0 0 0 0 0 0 25 0 10 0 72685312 421773312 70669 1283457024 134512640 134550932 4291581392 18446744073709551615 4294960130 0 4 0 16800975 18446612133395358784 0 0 -1 0 0 0 0 [pid=29923/tid=29932] ppid=29922 vsize=411888 CPUtime=0 /proc/29923/task/29932/stat : 29932 (java) R 29922 29922 22717 34817 22717 4202560 1 0 0 0 0 0 0 0 15 0 10 0 72685312 421773312 70669 1283457024 134512640 134550932 4291581392 18446744073709551615 4294960130 0 4 0 16800975 0 0 0 -1 0 0 0 0 [pid=29923/tid=29933] ppid=29922 vsize=411888 CPUtime=0 /proc/29923/task/29933/stat : 29933 (java) S 29922 29922 22717 34817 22717 4202560 5 0 0 0 0 0 0 0 25 0 10 0 72686447 421773312 70669 1283457024 134512640 134550932 4291581392 18446744073709551615 4294960130 0 4 0 16800975 18446612133395358784 0 0 -1 0 0 0 0 Current children cumulated CPU time (s) 17.53 Current children cumulated vsize (KiB) 414456 [startup+18.4111 s] /proc/loadavg: 1.28 1.10 1.02 3/44 29933 /proc/meminfo: memFree=337024/1048576 swapFree=0/0 [pid=29922] ppid=29921 vsize=2568 CPUtime=0 /proc/29922/stat : 29922 (gj-user-solver-) S 29921 29922 22717 34817 22717 4202496 372 0 0 0 0 0 0 0 25 0 1 0 72685309 2629632 269 1283457024 134512640 135304128 4289920224 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0 /proc/29922/statm: 642 269 229 194 0 29 0 [pid=29923] ppid=29922 vsize=411888 CPUtime=18.32 /proc/29923/stat : 29923 (java) S 29922 29922 22717 34817 22717 4202496 99944 0 1 0 1790 42 0 0 25 0 10 0 72685309 421773312 70670 1283457024 134512640 134550932 4291581392 18446744073709551615 4294960130 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 /proc/29923/statm: 102972 70670 2921 10 0 97117 0 [pid=29923/tid=29925] ppid=29922 vsize=411888 CPUtime=9.85 /proc/29923/task/29925/stat : 29925 (java) R 29922 29922 22717 34817 22717 4202560 14135 0 1 0 973 12 0 0 25 0 10 0 72685310 421773312 70670 1283457024 134512640 134550932 4291581392 18446744073709551615 4115491374 0 4 0 16800975 0 0 0 -1 0 0 0 0 [pid=29923/tid=29926] ppid=29922 vsize=411888 CPUtime=8.32 /proc/29923/task/29926/stat : 29926 (java) S 29922 29922 22717 34817 22717 4202560 84306 0 0 0 803 29 0 0 16 0 10 0 72685311 421773312 70670 1283457024 134512640 134550932 4291581392 18446744073709551615 4294960130 0 0 0 16800975 18446612133395358784 0 0 -1 0 0 0 0 [pid=29923/tid=29927] ppid=29922 vsize=411888 CPUtime=0 /proc/29923/task/29927/stat : 29927 (java) S 29922 29922 22717 34817 22717 4202560 15 0 0 0 0 0 0 0 18 0 10 0 72685311 421773312 70670 1283457024 134512640 134550932 4291581392 18446744073709551615 4294960130 0 4 0 16800975 18446612133395358784 0 0 -1 0 0 0 0 [pid=29923/tid=29928] ppid=29922 vsize=411888 CPUtime=0 /proc/29923/task/29928/stat : 29928 (java) S 29922 29922 22717 34817 22717 4202560 5 0 0 0 0 0 0 0 18 0 10 0 72685311 421773312 70670 1283457024 134512640 134550932 4291581392 18446744073709551615 4294960130 0 4 0 16800975 18446612133395358784 0 0 -1 0 0 0 0 [pid=29923/tid=29929] ppid=29922 vsize=411888 CPUtime=0 /proc/29923/task/29929/stat : 29929 (java) S 29922 29922 22717 34817 22717 4202560 1 0 0 0 0 0 0 0 25 0 10 0 72685312 421773312 70670 1283457024 134512640 134550932 4291581392 18446744073709551615 4294960130 0 4 0 16800975 18446612133395358784 0 0 -1 0 0 0 0 [pid=29923/tid=29930] ppid=29922 vsize=411888 CPUtime=0.14 /proc/29923/task/29930/stat : 29930 (java) S 29922 29922 22717 34817 22717 4202560 558 0 0 0 14 0 0 0 15 0 10 0 72685312 421773312 70670 1283457024 134512640 134550932 4291581392 18446744073709551615 4294960130 0 4 0 16800975 18446612133395358784 0 0 -1 0 0 0 0 [pid=29923/tid=29931] ppid=29922 vsize=411888 CPUtime=0 /proc/29923/task/29931/stat : 29931 (java) S 29922 29922 22717 34817 22717 4202560 1 0 0 0 0 0 0 0 25 0 10 0 72685312 421773312 70670 1283457024 134512640 134550932 4291581392 18446744073709551615 4294960130 0 4 0 16800975 18446612133395358784 0 0 -1 0 0 0 0 [pid=29923/tid=29932] ppid=29922 vsize=411888 CPUtime=0 /proc/29923/task/29932/stat : 29932 (java) S 29922 29922 22717 34817 22717 4202560 1 0 0 0 0 0 0 0 15 0 10 0 72685312 421773312 70670 1283457024 134512640 134550932 4291581392 18446744073709551615 4294960130 0 4 0 16800975 18446612133395358784 0 0 -1 0 0 0 0 [pid=29923/tid=29933] ppid=29922 vsize=411888 CPUtime=0 /proc/29923/task/29933/stat : 29933 (java) S 29922 29922 22717 34817 22717 4202560 5 0 0 0 0 0 0 0 25 0 10 0 72686447 421773312 70670 1283457024 134512640 134550932 4291581392 18446744073709551615 4294960130 0 4 0 16800975 18446612133395358784 0 0 -1 0 0 0 0 Current children cumulated CPU time (s) 18.32 Current children cumulated vsize (KiB) 414456 [startup+19.2113 s] /proc/loadavg: 1.28 1.10 1.02 2/44 29933 /proc/meminfo: memFree=337024/1048576 swapFree=0/0 [pid=29922] ppid=29921 vsize=2568 CPUtime=0 /proc/29922/stat : 29922 (gj-user-solver-) S 29921 29922 22717 34817 22717 4202496 372 0 0 0 0 0 0 0 25 0 1 0 72685309 2629632 269 1283457024 134512640 135304128 4289920224 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0 /proc/29922/statm: 642 269 229 194 0 29 0 [pid=29923] ppid=29922 vsize=411888 CPUtime=19.12 /proc/29923/stat : 29923 (java) S 29922 29922 22717 34817 22717 4202496 99945 0 1 0 1870 42 0 0 25 0 10 0 72685309 421773312 70671 1283457024 134512640 134550932 4291581392 18446744073709551615 4294960130 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 /proc/29923/statm: 102972 70671 2921 10 0 97117 0 [pid=29923/tid=29925] ppid=29922 vsize=411888 CPUtime=10.63 /proc/29923/task/29925/stat : 29925 (java) R 29922 29922 22717 34817 22717 4202560 14135 0 1 0 1051 12 0 0 25 0 10 0 72685310 421773312 70671 1283457024 134512640 134550932 4291581392 18446744073709551615 4115604688 0 4 0 16800975 0 0 0 -1 0 0 0 0 [pid=29923/tid=29926] ppid=29922 vsize=411888 CPUtime=8.34 /proc/29923/task/29926/stat : 29926 (java) S 29922 29922 22717 34817 22717 4202560 84306 0 0 0 805 29 0 0 16 0 10 0 72685311 421773312 70671 1283457024 134512640 134550932 4291581392 18446744073709551615 4294960130 0 0 0 16800975 18446612133395358784 0 0 -1 0 0 0 0 [pid=29923/tid=29927] ppid=29922 vsize=411888 CPUtime=0 /proc/29923/task/29927/stat : 29927 (java) S 29922 29922 22717 34817 22717 4202560 15 0 0 0 0 0 0 0 18 0 10 0 72685311 421773312 70671 1283457024 134512640 134550932 4291581392 18446744073709551615 4294960130 0 4 0 16800975 18446612133395358784 0 0 -1 0 0 0 0 [pid=29923/tid=29928] ppid=29922 vsize=411888 CPUtime=0 /proc/29923/task/29928/stat : 29928 (java) S 29922 29922 22717 34817 22717 4202560 5 0 0 0 0 0 0 0 18 0 10 0 72685311 421773312 70671 1283457024 134512640 134550932 4291581392 18446744073709551615 4294960130 0 4 0 16800975 18446612133395358784 0 0 -1 0 0 0 0 [pid=29923/tid=29929] ppid=29922 vsize=411888 CPUtime=0 /proc/29923/task/29929/stat : 29929 (java) S 29922 29922 22717 34817 22717 4202560 1 0 0 0 0 0 0 0 25 0 10 0 72685312 421773312 70671 1283457024 134512640 134550932 4291581392 18446744073709551615 4294960130 0 4 0 16800975 18446612133395358784 0 0 -1 0 0 0 0 [pid=29923/tid=29930] ppid=29922 vsize=411888 CPUtime=0.14 /proc/29923/task/29930/stat : 29930 (java) S 29922 29922 22717 34817 22717 4202560 559 0 0 0 14 0 0 0 15 0 10 0 72685312 421773312 70671 1283457024 134512640 134550932 4291581392 18446744073709551615 4294960130 0 4 0 16800975 18446612133395358784 0 0 -1 0 0 0 0 [pid=29923/tid=29931] ppid=29922 vsize=411888 CPUtime=0 /proc/29923/task/29931/stat : 29931 (java) S 29922 29922 22717 34817 22717 4202560 1 0 0 0 0 0 0 0 25 0 10 0 72685312 421773312 70671 1283457024 134512640 134550932 4291581392 18446744073709551615 4294960130 0 4 0 16800975 18446612133395358784 0 0 -1 0 0 0 0 [pid=29923/tid=29932] ppid=29922 vsize=411888 CPUtime=0 /proc/29923/task/29932/stat : 29932 (java) S 29922 29922 22717 34817 22717 4202560 1 0 0 0 0 0 0 0 15 0 10 0 72685312 421773312 70671 1283457024 134512640 134550932 4291581392 18446744073709551615 4294960130 0 4 0 16800975 18446612133395358784 0 0 -1 0 0 0 0 [pid=29923/tid=29933] ppid=29922 vsize=411888 CPUtime=0 /proc/29923/task/29933/stat : 29933 (java) S 29922 29922 22717 34817 22717 4202560 5 0 0 0 0 0 0 0 25 0 10 0 72686447 421773312 70671 1283457024 134512640 134550932 4291581392 18446744073709551615 4294960130 0 4 0 16800975 18446612133395358784 0 0 -1 0 0 0 0 Current children cumulated CPU time (s) 19.12 Current children cumulated vsize (KiB) 414456 [startup+19.4114 s] /proc/loadavg: 1.28 1.10 1.02 2/44 29933 /proc/meminfo: memFree=337024/1048576 swapFree=0/0 [pid=29922] ppid=29921 vsize=2568 CPUtime=0 /proc/29922/stat : 29922 (gj-user-solver-) S 29921 29922 22717 34817 22717 4202496 372 0 0 0 0 0 0 0 25 0 1 0 72685309 2629632 269 1283457024 134512640 135304128 4289920224 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0 /proc/29922/statm: 642 269 229 194 0 29 0 [pid=29923] ppid=29922 vsize=411888 CPUtime=19.32 /proc/29923/stat : 29923 (java) S 29922 29922 22717 34817 22717 4202496 99945 0 1 0 1890 42 0 0 25 0 10 0 72685309 421773312 70671 1283457024 134512640 134550932 4291581392 18446744073709551615 4294960130 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 /proc/29923/statm: 102972 70671 2921 10 0 97117 0 [pid=29923/tid=29925] ppid=29922 vsize=411888 CPUtime=10.83 /proc/29923/task/29925/stat : 29925 (java) R 29922 29922 22717 34817 22717 4202560 14135 0 1 0 1071 12 0 0 25 0 10 0 72685310 421773312 70671 1283457024 134512640 134550932 4291581392 18446744073709551615 4116014025 0 4 0 16800975 0 0 0 -1 0 0 0 0 [pid=29923/tid=29926] ppid=29922 vsize=411888 CPUtime=8.34 /proc/29923/task/29926/stat : 29926 (java) S 29922 29922 22717 34817 22717 4202560 84306 0 0 0 805 29 0 0 16 0 10 0 72685311 421773312 70671 1283457024 134512640 134550932 4291581392 18446744073709551615 4294960130 0 0 0 16800975 18446612133395358784 0 0 -1 0 0 0 0 [pid=29923/tid=29927] ppid=29922 vsize=411888 CPUtime=0 /proc/29923/task/29927/stat : 29927 (java) S 29922 29922 22717 34817 22717 4202560 15 0 0 0 0 0 0 0 18 0 10 0 72685311 421773312 70671 1283457024 134512640 134550932 4291581392 18446744073709551615 4294960130 0 4 0 16800975 18446612133395358784 0 0 -1 0 0 0 0 [pid=29923/tid=29928] ppid=29922 vsize=411888 CPUtime=0 /proc/29923/task/29928/stat : 29928 (java) S 29922 29922 22717 34817 22717 4202560 5 0 0 0 0 0 0 0 18 0 10 0 72685311 421773312 70671 1283457024 134512640 134550932 4291581392 18446744073709551615 4294960130 0 4 0 16800975 18446612133395358784 0 0 -1 0 0 0 0 [pid=29923/tid=29929] ppid=29922 vsize=411888 CPUtime=0 /proc/29923/task/29929/stat : 29929 (java) S 29922 29922 22717 34817 22717 4202560 1 0 0 0 0 0 0 0 25 0 10 0 72685312 421773312 70671 1283457024 134512640 134550932 4291581392 18446744073709551615 4294960130 0 4 0 16800975 18446612133395358784 0 0 -1 0 0 0 0 [pid=29923/tid=29930] ppid=29922 vsize=411888 CPUtime=0.14 /proc/29923/task/29930/stat : 29930 (java) S 29922 29922 22717 34817 22717 4202560 559 0 0 0 14 0 0 0 15 0 10 0 72685312 421773312 70671 1283457024 134512640 134550932 4291581392 18446744073709551615 4294960130 0 4 0 16800975 18446612133395358784 0 0 -1 0 0 0 0 [pid=29923/tid=29931] ppid=29922 vsize=411888 CPUtime=0 /proc/29923/task/29931/stat : 29931 (java) S 29922 29922 22717 34817 22717 4202560 1 0 0 0 0 0 0 0 25 0 10 0 72685312 421773312 70671 1283457024 134512640 134550932 4291581392 18446744073709551615 4294960130 0 4 0 16800975 18446612133395358784 0 0 -1 0 0 0 0 [pid=29923/tid=29932] ppid=29922 vsize=411888 CPUtime=0 /proc/29923/task/29932/stat : 29932 (java) R 29922 29922 22717 34817 22717 4202560 1 0 0 0 0 0 0 0 15 0 10 0 72685312 421773312 70671 1283457024 134512640 134550932 4291581392 18446744073709551615 4294960130 0 4 0 16800975 0 0 0 -1 0 0 0 0 [pid=29923/tid=29933] ppid=29922 vsize=411888 CPUtime=0 /proc/29923/task/29933/stat : 29933 (java) S 29922 29922 22717 34817 22717 4202560 5 0 0 0 0 0 0 0 25 0 10 0 72686447 421773312 70671 1283457024 134512640 134550932 4291581392 18446744073709551615 4294960130 0 4 0 16800975 18446612133395358784 0 0 -1 0 0 0 0 Current children cumulated CPU time (s) 19.32 Current children cumulated vsize (KiB) 414456 [startup+19.5054 s] /proc/loadavg: 1.28 1.10 1.02 2/44 29933 /proc/meminfo: memFree=337024/1048576 swapFree=0/0 [pid=29922] ppid=29921 vsize=2568 CPUtime=0 /proc/29922/stat : 29922 (gj-user-solver-) S 29921 29922 22717 34817 22717 4202496 372 0 0 0 0 0 0 0 25 0 1 0 72685309 2629632 269 1283457024 134512640 135304128 4289920224 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0 /proc/29922/statm: 642 269 229 194 0 29 0 [pid=29923] ppid=29922 vsize=411888 CPUtime=19.38 /proc/29923/stat : 29923 (java) S 29922 29922 22717 34817 22717 4202496 99946 0 1 0 1896 42 0 0 25 0 9 0 72685309 421773312 70672 1283457024 134512640 134550932 4291581392 18446744073709551615 4294960130 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 /proc/29923/statm: 102972 70672 2922 10 0 97117 0 [pid=29923/tid=29925] ppid=29922 vsize=411888 CPUtime=10.87 /proc/29923/task/29925/stat : 29925 (java) S 29922 29922 22717 34817 22717 4202560 14135 0 1 0 1075 12 0 0 25 0 9 0 72685310 421773312 70672 1283457024 134512640 134550932 4291581392 18446744073709551615 4294960130 0 4 0 16800975 18446612133395358784 0 0 -1 0 0 0 0 [pid=29923/tid=29926] ppid=29922 vsize=411888 CPUtime=8.36 /proc/29923/task/29926/stat : 29926 (java) S 29922 29922 22717 34817 22717 4202560 84306 0 0 0 807 29 0 0 16 0 9 0 72685311 421773312 70672 1283457024 134512640 134550932 4291581392 18446744073709551615 4294960130 0 0 0 16800975 18446612133395358784 0 0 -1 0 0 0 0 [pid=29923/tid=29927] ppid=29922 vsize=411888 CPUtime=0 /proc/29923/task/29927/stat : 29927 (java) S 29922 29922 22717 34817 22717 4202560 15 0 0 0 0 0 0 0 18 0 9 0 72685311 421773312 70672 1283457024 134512640 134550932 4291581392 18446744073709551615 4294960130 0 4 0 16800975 18446612133395358784 0 0 -1 0 0 0 0 [pid=29923/tid=29928] ppid=29922 vsize=411888 CPUtime=0 /proc/29923/task/29928/stat : 29928 (java) S 29922 29922 22717 34817 22717 4202560 5 0 0 0 0 0 0 0 18 0 9 0 72685311 421773312 70672 1283457024 134512640 134550932 4291581392 18446744073709551615 4294960130 0 4 0 16800975 18446612133395358784 0 0 -1 0 0 0 0 [pid=29923/tid=29929] ppid=29922 vsize=411888 CPUtime=0 /proc/29923/task/29929/stat : 29929 (java) S 29922 29922 22717 34817 22717 4202560 1 0 0 0 0 0 0 0 25 0 9 0 72685312 421773312 70672 1283457024 134512640 134550932 4291581392 18446744073709551615 4294960130 0 4 0 16800975 18446612133395358784 0 0 -1 0 0 0 0 [pid=29923/tid=29930] ppid=29922 vsize=411888 CPUtime=0.14 /proc/29923/task/29930/stat : 29930 (java) S 29922 29922 22717 34817 22717 4202560 559 0 0 0 14 0 0 0 15 0 9 0 72685312 421773312 70672 1283457024 134512640 134550932 4291581392 18446744073709551615 4294960130 0 4 0 16800975 18446612133395358784 0 0 -1 0 0 0 0 [pid=29923/tid=29931] ppid=29922 vsize=411888 CPUtime=0 /proc/29923/task/29931/stat : 29931 (java) S 29922 29922 22717 34817 22717 4202560 1 0 0 0 0 0 0 0 25 0 9 0 72685312 421773312 70672 1283457024 134512640 134550932 4291581392 18446744073709551615 4294960130 0 4 0 16800975 18446612133395358784 0 0 -1 0 0 0 0 [pid=29923/tid=29932] ppid=29922 vsize=411888 CPUtime=0 /proc/29923/task/29932/stat : 29932 (java) S 29922 29922 22717 34817 22717 4202560 1 0 0 0 0 0 0 0 15 0 9 0 72685312 421773312 70672 1283457024 134512640 134550932 4291581392 18446744073709551615 4294960130 0 4 0 16800975 18446612133395358784 0 0 -1 0 0 0 0 Current children cumulated CPU time (s) 19.38 Current children cumulated vsize (KiB) 414456 Child status: 0 Real time (s): 19.5458 CPU time (s): 19.4172 CPU user time (s): 18.9692 CPU system time (s): 0.448028 CPU usage (%): 99.3419 Max. virtual memory (cumulated for all children) (KiB): 442512 getrusage(RUSAGE_CHILDREN,...) data: user time used= 18.9692 system time used= 0.448028 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 100333 page faults= 1 swaps= 0 block input operations= 0 block output operations= 0 messages sent= 0 messages received= 0 signals received= 0 voluntary context switches= 1225 involuntary context switches= 1530 runsolver used 0 second user time and 0 second system time The end