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/rand994.cudf.user-upgrades.log.runsolver ./gj-user-solver-1.0 /home/misc2010/data/2011/user-upgrades/rand994.cudf /home/misc2010/tmp/201109011757/gj-user-solver-1.0/rand994.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.31 1.15 1.05 5/36 32031 /proc/meminfo: memFree=522300/1048576 swapFree=0/0 [pid=32030] ppid=32029 vsize=2568 CPUtime=0 /proc/32030/stat : 32030 (gj-user-solver-) R 32029 32030 22717 34817 22717 4202496 355 0 0 0 0 0 0 0 25 0 1 0 73031096 2629632 268 1283457024 134512640 135304128 4288289616 18446744073709551615 4294960130 0 65538 4 65536 0 0 0 17 0 0 0 0 /proc/32030/statm: 642 268 228 194 0 29 0 [pid=32031] ppid=32030 vsize=2568 CPUtime=0 /proc/32031/stat : 32031 (gj-user-solver-) R 32030 32030 22717 34817 22717 4202560 0 0 0 0 0 0 0 0 25 0 1 0 73031096 2629632 40 1283457024 134512640 135304128 4288289616 18446744073709551615 4294960130 0 65538 4 65536 0 0 0 17 0 0 0 0 /proc/32031/statm: 642 40 0 194 0 29 0 [startup+0.205671 s] /proc/loadavg: 1.31 1.15 1.05 5/36 32031 /proc/meminfo: memFree=522300/1048576 swapFree=0/0 [pid=32030] ppid=32029 vsize=2568 CPUtime=0 /proc/32030/stat : 32030 (gj-user-solver-) S 32029 32030 22717 34817 22717 4202496 372 0 0 0 0 0 0 0 25 0 1 0 73031096 2629632 269 1283457024 134512640 135304128 4288289616 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0 /proc/32030/statm: 642 269 229 194 0 29 0 [pid=32031] ppid=32030 vsize=409924 CPUtime=0.21 /proc/32031/stat : 32031 (java) S 32030 32030 22717 34817 22717 4202496 4081 0 1 0 17 4 0 0 25 0 9 0 73031096 419762176 3509 1283457024 134512640 134550932 4290129008 18446744073709551615 4294960130 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 /proc/32031/statm: 102481 3509 1918 10 0 96629 0 Current children cumulated CPU time (s) 0.21 Current children cumulated vsize (KiB) 412492 [startup+0.305705 s] /proc/loadavg: 1.31 1.15 1.05 5/36 32031 /proc/meminfo: memFree=522300/1048576 swapFree=0/0 [pid=32030] ppid=32029 vsize=2568 CPUtime=0 /proc/32030/stat : 32030 (gj-user-solver-) S 32029 32030 22717 34817 22717 4202496 372 0 0 0 0 0 0 0 25 0 1 0 73031096 2629632 269 1283457024 134512640 135304128 4288289616 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0 /proc/32030/statm: 642 269 229 194 0 29 0 [pid=32031] ppid=32030 vsize=410344 CPUtime=0.31 /proc/32031/stat : 32031 (java) S 32030 32030 22717 34817 22717 4202496 4432 0 1 0 27 4 0 0 25 0 9 0 73031096 420192256 3860 1283457024 134512640 134550932 4290129008 18446744073709551615 4294960130 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 /proc/32031/statm: 102586 3860 1945 10 0 96734 0 Current children cumulated CPU time (s) 0.31 Current children cumulated vsize (KiB) 412912 [startup+0.405732 s] /proc/loadavg: 1.31 1.15 1.05 5/36 32031 /proc/meminfo: memFree=522300/1048576 swapFree=0/0 [pid=32030] ppid=32029 vsize=2568 CPUtime=0 /proc/32030/stat : 32030 (gj-user-solver-) S 32029 32030 22717 34817 22717 4202496 372 0 0 0 0 0 0 0 25 0 1 0 73031096 2629632 269 1283457024 134512640 135304128 4288289616 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0 /proc/32030/statm: 642 269 229 194 0 29 0 [pid=32031] ppid=32030 vsize=410480 CPUtime=0.41 /proc/32031/stat : 32031 (java) S 32030 32030 22717 34817 22717 4202496 6163 0 1 0 37 4 0 0 25 0 9 0 73031096 420331520 5590 1283457024 134512640 134550932 4290129008 18446744073709551615 4294960130 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 /proc/32031/statm: 102620 5590 1957 10 0 96768 0 Current children cumulated CPU time (s) 0.41 Current children cumulated vsize (KiB) 413048 [startup+0.70584 s] /proc/loadavg: 1.31 1.15 1.05 5/36 32031 /proc/meminfo: memFree=522300/1048576 swapFree=0/0 [pid=32030] ppid=32029 vsize=2568 CPUtime=0 /proc/32030/stat : 32030 (gj-user-solver-) S 32029 32030 22717 34817 22717 4202496 372 0 0 0 0 0 0 0 25 0 1 0 73031096 2629632 269 1283457024 134512640 135304128 4288289616 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0 /proc/32030/statm: 642 269 229 194 0 29 0 [pid=32031] ppid=32030 vsize=410616 CPUtime=0.71 /proc/32031/stat : 32031 (java) S 32030 32030 22717 34817 22717 4202496 11780 0 1 0 67 4 0 0 25 0 9 0 73031096 420470784 11021 1283457024 134512640 134550932 4290129008 18446744073709551615 4294960130 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 /proc/32031/statm: 102654 11021 2901 10 0 96802 0 Current children cumulated CPU time (s) 0.71 Current children cumulated vsize (KiB) 413184 [startup+1.5061 s] /proc/loadavg: 1.31 1.15 1.05 2/45 32041 /proc/meminfo: memFree=463628/1048576 swapFree=0/0 [pid=32030] ppid=32029 vsize=2568 CPUtime=0 /proc/32030/stat : 32030 (gj-user-solver-) S 32029 32030 22717 34817 22717 4202496 372 0 0 0 0 0 0 0 25 0 1 0 73031096 2629632 269 1283457024 134512640 135304128 4288289616 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0 /proc/32030/statm: 642 269 229 194 0 29 0 [pid=32031] ppid=32030 vsize=410748 CPUtime=1.5 /proc/32031/stat : 32031 (java) S 32030 32030 22717 34817 22717 4202496 26710 0 1 0 140 10 0 0 25 0 9 0 73031096 420605952 25951 1283457024 134512640 134550932 4290129008 18446744073709551615 4294960130 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 /proc/32031/statm: 102687 25951 2901 10 0 96835 0 [pid=32031/tid=32033] ppid=32030 vsize=410748 CPUtime=0.8 /proc/32031/task/32033/stat : 32033 (java) R 32030 32030 22717 34817 22717 4202560 6712 0 1 0 76 4 0 0 25 0 9 0 73031096 420605952 25951 1283457024 134512640 134550932 4290129008 18446744073709551615 4294960130 0 4 0 16800975 0 0 0 -1 0 0 0 0 [pid=32031/tid=32034] ppid=32030 vsize=410748 CPUtime=0.6 /proc/32031/task/32034/stat : 32034 (java) R 32030 32030 22717 34817 22717 4202560 18613 0 0 0 56 4 0 0 18 0 9 0 73031097 420605952 25951 1283457024 134512640 134550932 4290129008 18446744073709551615 4152488099 0 0 0 16800975 0 0 0 -1 0 0 0 0 [pid=32031/tid=32035] ppid=32030 vsize=410748 CPUtime=0 /proc/32031/task/32035/stat : 32035 (java) S 32030 32030 22717 34817 22717 4202560 15 0 0 0 0 0 0 0 20 0 9 0 73031097 420605952 25951 1283457024 134512640 134550932 4290129008 18446744073709551615 4294960130 0 4 0 16800975 18446612132933241536 0 0 -1 0 0 0 0 [pid=32031/tid=32036] ppid=32030 vsize=410748 CPUtime=0 /proc/32031/task/32036/stat : 32036 (java) S 32030 32030 22717 34817 22717 4202560 5 0 0 0 0 0 0 0 20 0 9 0 73031097 420605952 25951 1283457024 134512640 134550932 4290129008 18446744073709551615 4294960130 0 4 0 16800975 18446612132933241536 0 0 -1 0 0 0 0 [pid=32031/tid=32037] ppid=32030 vsize=410748 CPUtime=0 /proc/32031/task/32037/stat : 32037 (java) S 32030 32030 22717 34817 22717 4202560 1 0 0 0 0 0 0 0 25 0 9 0 73031098 420605952 25951 1283457024 134512640 134550932 4290129008 18446744073709551615 4294960130 0 4 0 16800975 18446612132933241536 0 0 -1 0 0 0 0 [pid=32031/tid=32038] ppid=32030 vsize=410748 CPUtime=0.07 /proc/32031/task/32038/stat : 32038 (java) S 32030 32030 22717 34817 22717 4202560 446 0 0 0 7 0 0 0 16 0 9 0 73031098 420605952 25951 1283457024 134512640 134550932 4290129008 18446744073709551615 4294960130 0 4 0 16800975 18446612132933241536 0 0 -1 0 0 0 0 [pid=32031/tid=32039] ppid=32030 vsize=410748 CPUtime=0 /proc/32031/task/32039/stat : 32039 (java) S 32030 32030 22717 34817 22717 4202560 1 0 0 0 0 0 0 0 25 0 9 0 73031098 420605952 25951 1283457024 134512640 134550932 4290129008 18446744073709551615 4294960130 0 4 0 16800975 18446612132933241536 0 0 -1 0 0 0 0 [pid=32031/tid=32040] ppid=32030 vsize=410748 CPUtime=0 /proc/32031/task/32040/stat : 32040 (java) S 32030 32030 22717 34817 22717 4202560 0 0 0 0 0 0 0 0 15 0 9 0 73031098 420605952 25951 1283457024 134512640 134550932 4290129008 18446744073709551615 4294960130 0 4 0 16800975 18446612132933241536 0 0 -1 0 0 0 0 Current children cumulated CPU time (s) 1.5 Current children cumulated vsize (KiB) 413316 [startup+3.10663 s] /proc/loadavg: 1.31 1.15 1.05 3/45 32041 /proc/meminfo: memFree=383276/1048576 swapFree=0/0 [pid=32030] ppid=32029 vsize=2568 CPUtime=0 /proc/32030/stat : 32030 (gj-user-solver-) S 32029 32030 22717 34817 22717 4202496 372 0 0 0 0 0 0 0 25 0 1 0 73031096 2629632 269 1283457024 134512640 135304128 4288289616 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0 /proc/32030/statm: 642 269 229 194 0 29 0 [pid=32031] ppid=32030 vsize=410880 CPUtime=3.11 /proc/32031/stat : 32031 (java) S 32030 32030 22717 34817 22717 4202496 49538 0 1 0 294 17 0 0 25 0 9 0 73031096 420741120 48779 1283457024 134512640 134550932 4290129008 18446744073709551615 4294960130 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 /proc/32031/statm: 102720 48779 2901 10 0 96868 0 [pid=32031/tid=32033] ppid=32030 vsize=410880 CPUtime=1.43 /proc/32031/task/32033/stat : 32033 (java) R 32030 32030 22717 34817 22717 4202560 13865 0 1 0 138 5 0 0 25 0 9 0 73031096 420741120 48779 1283457024 134512640 134550932 4290129008 18446744073709551615 4294960130 0 4 0 16800975 0 0 0 -1 0 0 0 0 [pid=32031/tid=32034] ppid=32030 vsize=410880 CPUtime=1.58 /proc/32031/task/32034/stat : 32034 (java) R 32030 32030 22717 34817 22717 4202560 34285 0 0 0 148 10 0 0 16 0 9 0 73031097 420741120 48779 1283457024 134512640 134550932 4290129008 18446744073709551615 4150791483 0 0 0 16800975 0 0 0 -1 0 0 0 0 [pid=32031/tid=32035] ppid=32030 vsize=410880 CPUtime=0 /proc/32031/task/32035/stat : 32035 (java) S 32030 32030 22717 34817 22717 4202560 15 0 0 0 0 0 0 0 20 0 9 0 73031097 420741120 48779 1283457024 134512640 134550932 4290129008 18446744073709551615 4294960130 0 4 0 16800975 18446612132933241536 0 0 -1 0 0 0 0 [pid=32031/tid=32036] ppid=32030 vsize=410880 CPUtime=0 /proc/32031/task/32036/stat : 32036 (java) S 32030 32030 22717 34817 22717 4202560 5 0 0 0 0 0 0 0 20 0 9 0 73031097 420741120 48779 1283457024 134512640 134550932 4290129008 18446744073709551615 4294960130 0 4 0 16800975 18446612132933241536 0 0 -1 0 0 0 0 [pid=32031/tid=32037] ppid=32030 vsize=410880 CPUtime=0 /proc/32031/task/32037/stat : 32037 (java) S 32030 32030 22717 34817 22717 4202560 1 0 0 0 0 0 0 0 25 0 9 0 73031098 420741120 48779 1283457024 134512640 134550932 4290129008 18446744073709551615 4294960130 0 4 0 16800975 18446612132933241536 0 0 -1 0 0 0 0 [pid=32031/tid=32038] ppid=32030 vsize=410880 CPUtime=0.07 /proc/32031/task/32038/stat : 32038 (java) S 32030 32030 22717 34817 22717 4202560 449 0 0 0 7 0 0 0 15 0 9 0 73031098 420741120 48779 1283457024 134512640 134550932 4290129008 18446744073709551615 4294960130 0 4 0 16800975 18446612132933241536 0 0 -1 0 0 0 0 [pid=32031/tid=32039] ppid=32030 vsize=410880 CPUtime=0 /proc/32031/task/32039/stat : 32039 (java) S 32030 32030 22717 34817 22717 4202560 1 0 0 0 0 0 0 0 25 0 9 0 73031098 420741120 48779 1283457024 134512640 134550932 4290129008 18446744073709551615 4294960130 0 4 0 16800975 18446612132933241536 0 0 -1 0 0 0 0 [pid=32031/tid=32040] ppid=32030 vsize=410880 CPUtime=0 /proc/32031/task/32040/stat : 32040 (java) S 32030 32030 22717 34817 22717 4202560 0 0 0 0 0 0 0 0 15 0 9 0 73031098 420741120 48779 1283457024 134512640 134550932 4290129008 18446744073709551615 4294960130 0 4 0 16800975 18446612132933241536 0 0 -1 0 0 0 0 Current children cumulated CPU time (s) 3.11 Current children cumulated vsize (KiB) 413448 [startup+6.30752 s] /proc/loadavg: 1.28 1.15 1.05 2/45 32041 /proc/meminfo: memFree=255060/1048576 swapFree=0/0 [pid=32030] ppid=32029 vsize=2568 CPUtime=0 /proc/32030/stat : 32030 (gj-user-solver-) S 32029 32030 22717 34817 22717 4202496 372 0 0 0 0 0 0 0 25 0 1 0 73031096 2629632 269 1283457024 134512640 135304128 4288289616 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0 /proc/32030/statm: 642 269 229 194 0 29 0 [pid=32031] ppid=32030 vsize=439920 CPUtime=6.3 /proc/32031/stat : 32031 (java) S 32030 32030 22717 34817 22717 4202496 78235 0 1 0 605 25 0 0 25 0 9 0 73031096 450478080 77470 1283457024 134512640 134550932 4290129008 18446744073709551615 4294960130 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 /proc/32031/statm: 109980 77470 2902 10 0 104128 0 [pid=32031/tid=32033] ppid=32030 vsize=439920 CPUtime=2.31 /proc/32031/task/32033/stat : 32033 (java) R 32030 32030 22717 34817 22717 4202560 13882 0 1 0 226 5 0 0 25 0 9 0 73031096 450478080 77470 1283457024 134512640 134550932 4290129008 18446744073709551615 4294960130 0 4 0 16800975 0 0 0 -1 0 0 0 0 [pid=32031/tid=32034] ppid=32030 vsize=439920 CPUtime=3.88 /proc/32031/task/32034/stat : 32034 (java) R 32030 32030 22717 34817 22717 4202560 62947 0 0 0 370 18 0 0 16 0 9 0 73031097 450478080 77470 1283457024 134512640 134550932 4290129008 18446744073709551615 4152903120 0 0 0 16800975 0 0 0 -1 0 0 0 0 [pid=32031/tid=32035] ppid=32030 vsize=439920 CPUtime=0 /proc/32031/task/32035/stat : 32035 (java) S 32030 32030 22717 34817 22717 4202560 15 0 0 0 0 0 0 0 20 0 9 0 73031097 450478080 77470 1283457024 134512640 134550932 4290129008 18446744073709551615 4294960130 0 4 0 16800975 18446612132933241536 0 0 -1 0 0 0 0 [pid=32031/tid=32036] ppid=32030 vsize=439920 CPUtime=0 /proc/32031/task/32036/stat : 32036 (java) S 32030 32030 22717 34817 22717 4202560 5 0 0 0 0 0 0 0 20 0 9 0 73031097 450478080 77470 1283457024 134512640 134550932 4290129008 18446744073709551615 4294960130 0 4 0 16800975 18446612132933241536 0 0 -1 0 0 0 0 [pid=32031/tid=32037] ppid=32030 vsize=439920 CPUtime=0 /proc/32031/task/32037/stat : 32037 (java) S 32030 32030 22717 34817 22717 4202560 1 0 0 0 0 0 0 0 25 0 9 0 73031098 450478080 77470 1283457024 134512640 134550932 4290129008 18446744073709551615 4294960130 0 4 0 16800975 18446612132933241536 0 0 -1 0 0 0 0 [pid=32031/tid=32038] ppid=32030 vsize=439920 CPUtime=0.08 /proc/32031/task/32038/stat : 32038 (java) S 32030 32030 22717 34817 22717 4202560 467 0 0 0 8 0 0 0 15 0 9 0 73031098 450478080 77470 1283457024 134512640 134550932 4290129008 18446744073709551615 4294960130 0 4 0 16800975 18446612132933241536 0 0 -1 0 0 0 0 [pid=32031/tid=32039] ppid=32030 vsize=439920 CPUtime=0 /proc/32031/task/32039/stat : 32039 (java) S 32030 32030 22717 34817 22717 4202560 1 0 0 0 0 0 0 0 25 0 9 0 73031098 450478080 77470 1283457024 134512640 134550932 4290129008 18446744073709551615 4294960130 0 4 0 16800975 18446612132933241536 0 0 -1 0 0 0 0 [pid=32031/tid=32040] ppid=32030 vsize=439920 CPUtime=0 /proc/32031/task/32040/stat : 32040 (java) S 32030 32030 22717 34817 22717 4202560 0 0 0 0 0 0 0 0 15 0 9 0 73031098 450478080 77470 1283457024 134512640 134550932 4290129008 18446744073709551615 4294960130 0 4 0 16800975 18446612132933241536 0 0 -1 0 0 0 0 Current children cumulated CPU time (s) 6.3 Current children cumulated vsize (KiB) 442488 [startup+12.7094 s] /proc/loadavg: 1.34 1.16 1.05 2/46 32043 /proc/meminfo: memFree=250224/1048576 swapFree=0/0 [pid=32030] ppid=32029 vsize=2568 CPUtime=0 /proc/32030/stat : 32030 (gj-user-solver-) S 32029 32030 22717 34817 22717 4202496 372 0 0 0 0 0 0 0 25 0 1 0 73031096 2629632 269 1283457024 134512640 135304128 4288289616 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0 /proc/32030/statm: 642 269 229 194 0 29 0 [pid=32031] ppid=32030 vsize=411888 CPUtime=12.7 /proc/32031/stat : 32031 (java) S 32030 32030 22717 34817 22717 4202496 99930 0 1 0 1239 31 0 0 25 0 10 0 73031096 421773312 70656 1283457024 134512640 134550932 4290129008 18446744073709551615 4294960130 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 /proc/32031/statm: 102972 70656 2919 10 0 97117 0 [pid=32031/tid=32033] ppid=32030 vsize=411888 CPUtime=4.36 /proc/32031/task/32033/stat : 32033 (java) R 32030 32030 22717 34817 22717 4202560 14135 0 1 0 431 5 0 0 25 0 10 0 73031096 421773312 70656 1283457024 134512640 134550932 4290129008 18446744073709551615 4115495860 0 4 0 16800975 0 0 0 -1 0 0 0 0 [pid=32031/tid=32034] ppid=32030 vsize=411888 CPUtime=8.17 /proc/32031/task/32034/stat : 32034 (java) S 32030 32030 22717 34817 22717 4202560 84305 0 0 0 793 24 0 0 16 0 10 0 73031097 421773312 70656 1283457024 134512640 134550932 4290129008 18446744073709551615 4294960130 0 0 0 16800975 18446612132933241536 0 0 -1 0 0 0 0 [pid=32031/tid=32035] ppid=32030 vsize=411888 CPUtime=0 /proc/32031/task/32035/stat : 32035 (java) S 32030 32030 22717 34817 22717 4202560 15 0 0 0 0 0 0 0 18 0 10 0 73031097 421773312 70656 1283457024 134512640 134550932 4290129008 18446744073709551615 4294960130 0 4 0 16800975 18446612132933241536 0 0 -1 0 0 0 0 [pid=32031/tid=32036] ppid=32030 vsize=411888 CPUtime=0 /proc/32031/task/32036/stat : 32036 (java) S 32030 32030 22717 34817 22717 4202560 5 0 0 0 0 0 0 0 18 0 10 0 73031097 421773312 70656 1283457024 134512640 134550932 4290129008 18446744073709551615 4294960130 0 4 0 16800975 18446612132933241536 0 0 -1 0 0 0 0 [pid=32031/tid=32037] ppid=32030 vsize=411888 CPUtime=0 /proc/32031/task/32037/stat : 32037 (java) S 32030 32030 22717 34817 22717 4202560 1 0 0 0 0 0 0 0 25 0 10 0 73031098 421773312 70656 1283457024 134512640 134550932 4290129008 18446744073709551615 4294960130 0 4 0 16800975 18446612132933241536 0 0 -1 0 0 0 0 [pid=32031/tid=32038] ppid=32030 vsize=411888 CPUtime=0.14 /proc/32031/task/32038/stat : 32038 (java) S 32030 32030 22717 34817 22717 4202560 546 0 0 0 14 0 0 0 15 0 10 0 73031098 421773312 70656 1283457024 134512640 134550932 4290129008 18446744073709551615 4294960130 0 4 0 16800975 18446612132933241536 0 0 -1 0 0 0 0 [pid=32031/tid=32039] ppid=32030 vsize=411888 CPUtime=0 /proc/32031/task/32039/stat : 32039 (java) S 32030 32030 22717 34817 22717 4202560 1 0 0 0 0 0 0 0 25 0 10 0 73031098 421773312 70656 1283457024 134512640 134550932 4290129008 18446744073709551615 4294960130 0 4 0 16800975 18446612132933241536 0 0 -1 0 0 0 0 [pid=32031/tid=32040] ppid=32030 vsize=411888 CPUtime=0 /proc/32031/task/32040/stat : 32040 (java) R 32030 32030 22717 34817 22717 4202560 0 0 0 0 0 0 0 0 15 0 10 0 73031098 421773312 70656 1283457024 134512640 134550932 4290129008 18446744073709551615 4294960130 0 4 0 16800975 0 0 0 -1 0 0 0 0 [pid=32031/tid=32043] ppid=32030 vsize=411888 CPUtime=0 /proc/32031/task/32043/stat : 32043 (java) S 32030 32030 22717 34817 22717 4202560 5 0 0 0 0 0 0 0 25 0 10 0 73032229 421773312 70656 1283457024 134512640 134550932 4290129008 18446744073709551615 4294960130 0 4 0 16800975 18446612132933241536 0 0 -1 0 0 0 0 Current children cumulated CPU time (s) 12.7 Current children cumulated vsize (KiB) 414456 Solver just ended. Dumping a history of the last processes samples [startup+12.9094 s] /proc/loadavg: 1.34 1.16 1.05 2/46 32043 /proc/meminfo: memFree=250224/1048576 swapFree=0/0 [pid=32030] ppid=32029 vsize=2568 CPUtime=0 /proc/32030/stat : 32030 (gj-user-solver-) S 32029 32030 22717 34817 22717 4202496 372 0 0 0 0 0 0 0 25 0 1 0 73031096 2629632 269 1283457024 134512640 135304128 4288289616 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0 /proc/32030/statm: 642 269 229 194 0 29 0 [pid=32031] ppid=32030 vsize=411888 CPUtime=12.9 /proc/32031/stat : 32031 (java) S 32030 32030 22717 34817 22717 4202496 99930 0 1 0 1259 31 0 0 25 0 10 0 73031096 421773312 70656 1283457024 134512640 134550932 4290129008 18446744073709551615 4294960130 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 /proc/32031/statm: 102972 70656 2919 10 0 97117 0 [pid=32031/tid=32033] ppid=32030 vsize=411888 CPUtime=4.56 /proc/32031/task/32033/stat : 32033 (java) R 32030 32030 22717 34817 22717 4202560 14135 0 1 0 451 5 0 0 25 0 10 0 73031096 421773312 70656 1283457024 134512640 134550932 4290129008 18446744073709551615 4115396875 0 4 0 16800975 0 0 0 -1 0 0 0 0 [pid=32031/tid=32034] ppid=32030 vsize=411888 CPUtime=8.17 /proc/32031/task/32034/stat : 32034 (java) S 32030 32030 22717 34817 22717 4202560 84305 0 0 0 793 24 0 0 16 0 10 0 73031097 421773312 70656 1283457024 134512640 134550932 4290129008 18446744073709551615 4294960130 0 0 0 16800975 18446612132933241536 0 0 -1 0 0 0 0 [pid=32031/tid=32035] ppid=32030 vsize=411888 CPUtime=0 /proc/32031/task/32035/stat : 32035 (java) S 32030 32030 22717 34817 22717 4202560 15 0 0 0 0 0 0 0 18 0 10 0 73031097 421773312 70656 1283457024 134512640 134550932 4290129008 18446744073709551615 4294960130 0 4 0 16800975 18446612132933241536 0 0 -1 0 0 0 0 [pid=32031/tid=32036] ppid=32030 vsize=411888 CPUtime=0 /proc/32031/task/32036/stat : 32036 (java) S 32030 32030 22717 34817 22717 4202560 5 0 0 0 0 0 0 0 18 0 10 0 73031097 421773312 70656 1283457024 134512640 134550932 4290129008 18446744073709551615 4294960130 0 4 0 16800975 18446612132933241536 0 0 -1 0 0 0 0 [pid=32031/tid=32037] ppid=32030 vsize=411888 CPUtime=0 /proc/32031/task/32037/stat : 32037 (java) S 32030 32030 22717 34817 22717 4202560 1 0 0 0 0 0 0 0 25 0 10 0 73031098 421773312 70656 1283457024 134512640 134550932 4290129008 18446744073709551615 4294960130 0 4 0 16800975 18446612132933241536 0 0 -1 0 0 0 0 [pid=32031/tid=32038] ppid=32030 vsize=411888 CPUtime=0.14 /proc/32031/task/32038/stat : 32038 (java) S 32030 32030 22717 34817 22717 4202560 546 0 0 0 14 0 0 0 16 0 10 0 73031098 421773312 70656 1283457024 134512640 134550932 4290129008 18446744073709551615 4294960130 0 4 0 16800975 18446612132933241536 0 0 -1 0 0 0 0 [pid=32031/tid=32039] ppid=32030 vsize=411888 CPUtime=0 /proc/32031/task/32039/stat : 32039 (java) S 32030 32030 22717 34817 22717 4202560 1 0 0 0 0 0 0 0 25 0 10 0 73031098 421773312 70656 1283457024 134512640 134550932 4290129008 18446744073709551615 4294960130 0 4 0 16800975 18446612132933241536 0 0 -1 0 0 0 0 [pid=32031/tid=32040] ppid=32030 vsize=411888 CPUtime=0 /proc/32031/task/32040/stat : 32040 (java) S 32030 32030 22717 34817 22717 4202560 0 0 0 0 0 0 0 0 15 0 10 0 73031098 421773312 70656 1283457024 134512640 134550932 4290129008 18446744073709551615 4294960130 0 4 0 16800975 18446612132933241536 0 0 -1 0 0 0 0 [pid=32031/tid=32043] ppid=32030 vsize=411888 CPUtime=0 /proc/32031/task/32043/stat : 32043 (java) S 32030 32030 22717 34817 22717 4202560 5 0 0 0 0 0 0 0 25 0 10 0 73032229 421773312 70656 1283457024 134512640 134550932 4290129008 18446744073709551615 4294960130 0 4 0 16800975 18446612132933241536 0 0 -1 0 0 0 0 Current children cumulated CPU time (s) 12.9 Current children cumulated vsize (KiB) 414456 [startup+19.3112 s] /proc/loadavg: 1.31 1.16 1.05 2/46 32043 /proc/meminfo: memFree=250224/1048576 swapFree=0/0 [pid=32030] ppid=32029 vsize=2568 CPUtime=0 /proc/32030/stat : 32030 (gj-user-solver-) S 32029 32030 22717 34817 22717 4202496 372 0 0 0 0 0 0 0 25 0 1 0 73031096 2629632 269 1283457024 134512640 135304128 4288289616 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0 /proc/32030/statm: 642 269 229 194 0 29 0 [pid=32031] ppid=32030 vsize=411888 CPUtime=19.29 /proc/32031/stat : 32031 (java) S 32030 32030 22717 34817 22717 4202496 99942 0 1 0 1898 31 0 0 25 0 10 0 73031096 421773312 70668 1283457024 134512640 134550932 4290129008 18446744073709551615 4294960130 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 /proc/32031/statm: 102972 70668 2921 10 0 97117 0 [pid=32031/tid=32033] ppid=32030 vsize=411888 CPUtime=10.85 /proc/32031/task/32033/stat : 32033 (java) R 32030 32030 22717 34817 22717 4202560 14135 0 1 0 1080 5 0 0 25 0 10 0 73031096 421773312 70668 1283457024 134512640 134550932 4290129008 18446744073709551615 4115312768 0 4 0 16800975 0 0 0 -1 0 0 0 0 [pid=32031/tid=32034] ppid=32030 vsize=411888 CPUtime=8.26 /proc/32031/task/32034/stat : 32034 (java) S 32030 32030 22717 34817 22717 4202560 84307 0 0 0 802 24 0 0 15 0 10 0 73031097 421773312 70668 1283457024 134512640 134550932 4290129008 18446744073709551615 4294960130 0 0 0 16800975 18446612132933241536 0 0 -1 0 0 0 0 [pid=32031/tid=32035] ppid=32030 vsize=411888 CPUtime=0 /proc/32031/task/32035/stat : 32035 (java) S 32030 32030 22717 34817 22717 4202560 15 0 0 0 0 0 0 0 18 0 10 0 73031097 421773312 70668 1283457024 134512640 134550932 4290129008 18446744073709551615 4294960130 0 4 0 16800975 18446612132933241536 0 0 -1 0 0 0 0 [pid=32031/tid=32036] ppid=32030 vsize=411888 CPUtime=0 /proc/32031/task/32036/stat : 32036 (java) S 32030 32030 22717 34817 22717 4202560 5 0 0 0 0 0 0 0 18 0 10 0 73031097 421773312 70668 1283457024 134512640 134550932 4290129008 18446744073709551615 4294960130 0 4 0 16800975 18446612132933241536 0 0 -1 0 0 0 0 [pid=32031/tid=32037] ppid=32030 vsize=411888 CPUtime=0 /proc/32031/task/32037/stat : 32037 (java) S 32030 32030 22717 34817 22717 4202560 1 0 0 0 0 0 0 0 25 0 10 0 73031098 421773312 70668 1283457024 134512640 134550932 4290129008 18446744073709551615 4294960130 0 4 0 16800975 18446612132933241536 0 0 -1 0 0 0 0 [pid=32031/tid=32038] ppid=32030 vsize=411888 CPUtime=0.15 /proc/32031/task/32038/stat : 32038 (java) S 32030 32030 22717 34817 22717 4202560 556 0 0 0 15 0 0 0 15 0 10 0 73031098 421773312 70668 1283457024 134512640 134550932 4290129008 18446744073709551615 4294960130 0 4 0 16800975 18446612132933241536 0 0 -1 0 0 0 0 [pid=32031/tid=32039] ppid=32030 vsize=411888 CPUtime=0 /proc/32031/task/32039/stat : 32039 (java) S 32030 32030 22717 34817 22717 4202560 1 0 0 0 0 0 0 0 25 0 10 0 73031098 421773312 70668 1283457024 134512640 134550932 4290129008 18446744073709551615 4294960130 0 4 0 16800975 18446612132933241536 0 0 -1 0 0 0 0 [pid=32031/tid=32040] ppid=32030 vsize=411888 CPUtime=0 /proc/32031/task/32040/stat : 32040 (java) S 32030 32030 22717 34817 22717 4202560 0 0 0 0 0 0 0 0 15 0 10 0 73031098 421773312 70668 1283457024 134512640 134550932 4290129008 18446744073709551615 4294960130 0 4 0 16800975 18446612132933241536 0 0 -1 0 0 0 0 [pid=32031/tid=32043] ppid=32030 vsize=411888 CPUtime=0 /proc/32031/task/32043/stat : 32043 (java) S 32030 32030 22717 34817 22717 4202560 5 0 0 0 0 0 0 0 25 0 10 0 73032229 421773312 70668 1283457024 134512640 134550932 4290129008 18446744073709551615 4294960130 0 4 0 16800975 18446612132933241536 0 0 -1 0 0 0 0 Current children cumulated CPU time (s) 19.29 Current children cumulated vsize (KiB) 414456 [startup+22.5224 s] /proc/loadavg: 1.29 1.16 1.05 2/45 32043 /proc/meminfo: memFree=250240/1048576 swapFree=0/0 [pid=32030] ppid=32029 vsize=2568 CPUtime=0 /proc/32030/stat : 32030 (gj-user-solver-) S 32029 32030 22717 34817 22717 4202496 372 0 0 0 0 0 0 0 25 0 1 0 73031096 2629632 269 1283457024 134512640 135304128 4288289616 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0 /proc/32030/statm: 642 269 229 194 0 29 0 [pid=32031] ppid=32030 vsize=411888 CPUtime=22.49 /proc/32031/stat : 32031 (java) S 32030 32030 22717 34817 22717 4202496 99943 0 1 0 2218 31 0 0 25 0 10 0 73031096 421773312 70669 1283457024 134512640 134550932 4290129008 18446744073709551615 4294960130 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 /proc/32031/statm: 102972 70669 2921 10 0 97117 0 [pid=32031/tid=32033] ppid=32030 vsize=411888 CPUtime=14.01 /proc/32031/task/32033/stat : 32033 (java) R 32030 32030 22717 34817 22717 4202560 14135 0 1 0 1396 5 0 0 25 0 10 0 73031096 421773312 70669 1283457024 134512640 134550932 4290129008 18446744073709551615 4294960130 0 4 0 16800975 0 0 0 -1 0 0 0 0 [pid=32031/tid=32034] ppid=32030 vsize=411888 CPUtime=8.28 /proc/32031/task/32034/stat : 32034 (java) R 32030 32030 22717 34817 22717 4202560 84307 0 0 0 804 24 0 0 15 0 10 0 73031097 421773312 70669 1283457024 134512640 134550932 4290129008 18446744073709551615 4151173239 0 0 0 16800975 0 0 0 -1 0 0 0 0 [pid=32031/tid=32035] ppid=32030 vsize=411888 CPUtime=0 /proc/32031/task/32035/stat : 32035 (java) S 32030 32030 22717 34817 22717 4202560 15 0 0 0 0 0 0 0 18 0 10 0 73031097 421773312 70669 1283457024 134512640 134550932 4290129008 18446744073709551615 4294960130 0 4 0 16800975 18446612132933241536 0 0 -1 0 0 0 0 [pid=32031/tid=32036] ppid=32030 vsize=411888 CPUtime=0 /proc/32031/task/32036/stat : 32036 (java) S 32030 32030 22717 34817 22717 4202560 5 0 0 0 0 0 0 0 18 0 10 0 73031097 421773312 70669 1283457024 134512640 134550932 4290129008 18446744073709551615 4294960130 0 4 0 16800975 18446612132933241536 0 0 -1 0 0 0 0 [pid=32031/tid=32037] ppid=32030 vsize=411888 CPUtime=0 /proc/32031/task/32037/stat : 32037 (java) S 32030 32030 22717 34817 22717 4202560 1 0 0 0 0 0 0 0 25 0 10 0 73031098 421773312 70669 1283457024 134512640 134550932 4290129008 18446744073709551615 4294960130 0 4 0 16800975 18446612132933241536 0 0 -1 0 0 0 0 [pid=32031/tid=32038] ppid=32030 vsize=411888 CPUtime=0.17 /proc/32031/task/32038/stat : 32038 (java) S 32030 32030 22717 34817 22717 4202560 557 0 0 0 17 0 0 0 15 0 10 0 73031098 421773312 70669 1283457024 134512640 134550932 4290129008 18446744073709551615 4294960130 0 4 0 16800975 18446612132933241536 0 0 -1 0 0 0 0 [pid=32031/tid=32039] ppid=32030 vsize=411888 CPUtime=0 /proc/32031/task/32039/stat : 32039 (java) S 32030 32030 22717 34817 22717 4202560 1 0 0 0 0 0 0 0 25 0 10 0 73031098 421773312 70669 1283457024 134512640 134550932 4290129008 18446744073709551615 4294960130 0 4 0 16800975 18446612132933241536 0 0 -1 0 0 0 0 [pid=32031/tid=32040] ppid=32030 vsize=411888 CPUtime=0 /proc/32031/task/32040/stat : 32040 (java) S 32030 32030 22717 34817 22717 4202560 0 0 0 0 0 0 0 0 15 0 10 0 73031098 421773312 70669 1283457024 134512640 134550932 4290129008 18446744073709551615 4294960130 0 4 0 16800975 18446612132933241536 0 0 -1 0 0 0 0 [pid=32031/tid=32043] ppid=32030 vsize=411888 CPUtime=0 /proc/32031/task/32043/stat : 32043 (java) S 32030 32030 22717 34817 22717 4202560 5 0 0 0 0 0 0 0 25 0 10 0 73032229 421773312 70669 1283457024 134512640 134550932 4290129008 18446744073709551615 4294960130 0 4 0 16800975 18446612132933241536 0 0 -1 0 0 0 0 Current children cumulated CPU time (s) 22.49 Current children cumulated vsize (KiB) 414456 [startup+24.113 s] /proc/loadavg: 1.29 1.16 1.05 2/45 32043 /proc/meminfo: memFree=250240/1048576 swapFree=0/0 [pid=32030] ppid=32029 vsize=2568 CPUtime=0 /proc/32030/stat : 32030 (gj-user-solver-) S 32029 32030 22717 34817 22717 4202496 372 0 0 0 0 0 0 0 25 0 1 0 73031096 2629632 269 1283457024 134512640 135304128 4288289616 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0 /proc/32030/statm: 642 269 229 194 0 29 0 [pid=32031] ppid=32030 vsize=411888 CPUtime=24.09 /proc/32031/stat : 32031 (java) S 32030 32030 22717 34817 22717 4202496 99945 0 1 0 2378 31 0 0 25 0 10 0 73031096 421773312 70671 1283457024 134512640 134550932 4290129008 18446744073709551615 4294960130 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 /proc/32031/statm: 102972 70671 2921 10 0 97117 0 [pid=32031/tid=32033] ppid=32030 vsize=411888 CPUtime=15.57 /proc/32031/task/32033/stat : 32033 (java) R 32030 32030 22717 34817 22717 4202560 14135 0 1 0 1552 5 0 0 25 0 10 0 73031096 421773312 70671 1283457024 134512640 134550932 4290129008 18446744073709551615 4115529801 0 4 0 16800975 0 0 0 -1 0 0 0 0 [pid=32031/tid=32034] ppid=32030 vsize=411888 CPUtime=8.31 /proc/32031/task/32034/stat : 32034 (java) S 32030 32030 22717 34817 22717 4202560 84307 0 0 0 807 24 0 0 16 0 10 0 73031097 421773312 70671 1283457024 134512640 134550932 4290129008 18446744073709551615 4294960130 0 0 0 16800975 18446612132933241536 0 0 -1 0 0 0 0 [pid=32031/tid=32035] ppid=32030 vsize=411888 CPUtime=0 /proc/32031/task/32035/stat : 32035 (java) S 32030 32030 22717 34817 22717 4202560 15 0 0 0 0 0 0 0 18 0 10 0 73031097 421773312 70671 1283457024 134512640 134550932 4290129008 18446744073709551615 4294960130 0 4 0 16800975 18446612132933241536 0 0 -1 0 0 0 0 [pid=32031/tid=32036] ppid=32030 vsize=411888 CPUtime=0 /proc/32031/task/32036/stat : 32036 (java) S 32030 32030 22717 34817 22717 4202560 5 0 0 0 0 0 0 0 18 0 10 0 73031097 421773312 70671 1283457024 134512640 134550932 4290129008 18446744073709551615 4294960130 0 4 0 16800975 18446612132933241536 0 0 -1 0 0 0 0 [pid=32031/tid=32037] ppid=32030 vsize=411888 CPUtime=0 /proc/32031/task/32037/stat : 32037 (java) S 32030 32030 22717 34817 22717 4202560 1 0 0 0 0 0 0 0 25 0 10 0 73031098 421773312 70671 1283457024 134512640 134550932 4290129008 18446744073709551615 4294960130 0 4 0 16800975 18446612132933241536 0 0 -1 0 0 0 0 [pid=32031/tid=32038] ppid=32030 vsize=411888 CPUtime=0.18 /proc/32031/task/32038/stat : 32038 (java) S 32030 32030 22717 34817 22717 4202560 559 0 0 0 18 0 0 0 15 0 10 0 73031098 421773312 70671 1283457024 134512640 134550932 4290129008 18446744073709551615 4294960130 0 4 0 16800975 18446612132933241536 0 0 -1 0 0 0 0 [pid=32031/tid=32039] ppid=32030 vsize=411888 CPUtime=0 /proc/32031/task/32039/stat : 32039 (java) S 32030 32030 22717 34817 22717 4202560 1 0 0 0 0 0 0 0 25 0 10 0 73031098 421773312 70671 1283457024 134512640 134550932 4290129008 18446744073709551615 4294960130 0 4 0 16800975 18446612132933241536 0 0 -1 0 0 0 0 [pid=32031/tid=32040] ppid=32030 vsize=411888 CPUtime=0 /proc/32031/task/32040/stat : 32040 (java) S 32030 32030 22717 34817 22717 4202560 0 0 0 0 0 0 0 0 15 0 10 0 73031098 421773312 70671 1283457024 134512640 134550932 4290129008 18446744073709551615 4294960130 0 4 0 16800975 18446612132933241536 0 0 -1 0 0 0 0 [pid=32031/tid=32043] ppid=32030 vsize=411888 CPUtime=0 /proc/32031/task/32043/stat : 32043 (java) S 32030 32030 22717 34817 22717 4202560 5 0 0 0 0 0 0 0 25 0 10 0 73032229 421773312 70671 1283457024 134512640 134550932 4290129008 18446744073709551615 4294960130 0 4 0 16800975 18446612132933241536 0 0 -1 0 0 0 0 Current children cumulated CPU time (s) 24.09 Current children cumulated vsize (KiB) 414456 [startup+24.5131 s] /proc/loadavg: 1.29 1.16 1.05 2/45 32043 /proc/meminfo: memFree=250240/1048576 swapFree=0/0 [pid=32030] ppid=32029 vsize=2568 CPUtime=0 /proc/32030/stat : 32030 (gj-user-solver-) S 32029 32030 22717 34817 22717 4202496 372 0 0 0 0 0 0 0 25 0 1 0 73031096 2629632 269 1283457024 134512640 135304128 4288289616 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0 /proc/32030/statm: 642 269 229 194 0 29 0 [pid=32031] ppid=32030 vsize=411888 CPUtime=24.49 /proc/32031/stat : 32031 (java) S 32030 32030 22717 34817 22717 4202496 99945 0 1 0 2418 31 0 0 25 0 10 0 73031096 421773312 70671 1283457024 134512640 134550932 4290129008 18446744073709551615 4294960130 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 /proc/32031/statm: 102972 70671 2921 10 0 97117 0 [pid=32031/tid=32033] ppid=32030 vsize=411888 CPUtime=15.97 /proc/32031/task/32033/stat : 32033 (java) R 32030 32030 22717 34817 22717 4202560 14135 0 1 0 1592 5 0 0 25 0 10 0 73031096 421773312 70671 1283457024 134512640 134550932 4290129008 18446744073709551615 4115370740 0 4 0 16800975 0 0 0 -1 0 0 0 0 [pid=32031/tid=32034] ppid=32030 vsize=411888 CPUtime=8.31 /proc/32031/task/32034/stat : 32034 (java) S 32030 32030 22717 34817 22717 4202560 84307 0 0 0 807 24 0 0 16 0 10 0 73031097 421773312 70671 1283457024 134512640 134550932 4290129008 18446744073709551615 4294960130 0 0 0 16800975 18446612132933241536 0 0 -1 0 0 0 0 [pid=32031/tid=32035] ppid=32030 vsize=411888 CPUtime=0 /proc/32031/task/32035/stat : 32035 (java) S 32030 32030 22717 34817 22717 4202560 15 0 0 0 0 0 0 0 18 0 10 0 73031097 421773312 70671 1283457024 134512640 134550932 4290129008 18446744073709551615 4294960130 0 4 0 16800975 18446612132933241536 0 0 -1 0 0 0 0 [pid=32031/tid=32036] ppid=32030 vsize=411888 CPUtime=0 /proc/32031/task/32036/stat : 32036 (java) S 32030 32030 22717 34817 22717 4202560 5 0 0 0 0 0 0 0 18 0 10 0 73031097 421773312 70671 1283457024 134512640 134550932 4290129008 18446744073709551615 4294960130 0 4 0 16800975 18446612132933241536 0 0 -1 0 0 0 0 [pid=32031/tid=32037] ppid=32030 vsize=411888 CPUtime=0 /proc/32031/task/32037/stat : 32037 (java) S 32030 32030 22717 34817 22717 4202560 1 0 0 0 0 0 0 0 25 0 10 0 73031098 421773312 70671 1283457024 134512640 134550932 4290129008 18446744073709551615 4294960130 0 4 0 16800975 18446612132933241536 0 0 -1 0 0 0 0 [pid=32031/tid=32038] ppid=32030 vsize=411888 CPUtime=0.18 /proc/32031/task/32038/stat : 32038 (java) S 32030 32030 22717 34817 22717 4202560 559 0 0 0 18 0 0 0 15 0 10 0 73031098 421773312 70671 1283457024 134512640 134550932 4290129008 18446744073709551615 4294960130 0 4 0 16800975 18446612132933241536 0 0 -1 0 0 0 0 [pid=32031/tid=32039] ppid=32030 vsize=411888 CPUtime=0 /proc/32031/task/32039/stat : 32039 (java) S 32030 32030 22717 34817 22717 4202560 1 0 0 0 0 0 0 0 25 0 10 0 73031098 421773312 70671 1283457024 134512640 134550932 4290129008 18446744073709551615 4294960130 0 4 0 16800975 18446612132933241536 0 0 -1 0 0 0 0 [pid=32031/tid=32040] ppid=32030 vsize=411888 CPUtime=0 /proc/32031/task/32040/stat : 32040 (java) S 32030 32030 22717 34817 22717 4202560 0 0 0 0 0 0 0 0 15 0 10 0 73031098 421773312 70671 1283457024 134512640 134550932 4290129008 18446744073709551615 4294960130 0 4 0 16800975 18446612132933241536 0 0 -1 0 0 0 0 [pid=32031/tid=32043] ppid=32030 vsize=411888 CPUtime=0 /proc/32031/task/32043/stat : 32043 (java) S 32030 32030 22717 34817 22717 4202560 5 0 0 0 0 0 0 0 25 0 10 0 73032229 421773312 70671 1283457024 134512640 134550932 4290129008 18446744073709551615 4294960130 0 4 0 16800975 18446612132933241536 0 0 -1 0 0 0 0 Current children cumulated CPU time (s) 24.49 Current children cumulated vsize (KiB) 414456 [startup+24.7032 s] /proc/loadavg: 1.29 1.16 1.05 2/45 32043 /proc/meminfo: memFree=250240/1048576 swapFree=0/0 [pid=32030] ppid=32029 vsize=2568 CPUtime=0 /proc/32030/stat : 32030 (gj-user-solver-) S 32029 32030 22717 34817 22717 4202496 372 0 0 0 0 0 0 0 25 0 1 0 73031096 2629632 269 1283457024 134512640 135304128 4288289616 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0 /proc/32030/statm: 642 269 229 194 0 29 0 [pid=32031] ppid=32030 vsize=411888 CPUtime=24.67 /proc/32031/stat : 32031 (java) S 32030 32030 22717 34817 22717 4202496 99945 0 1 0 2436 31 0 0 25 0 10 0 73031096 421773312 70671 1283457024 134512640 134550932 4290129008 18446744073709551615 4294960130 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 /proc/32031/statm: 102972 70671 2921 10 0 97117 0 [pid=32031/tid=32033] ppid=32030 vsize=411888 CPUtime=16.15 /proc/32031/task/32033/stat : 32033 (java) R 32030 32030 22717 34817 22717 4202560 14135 0 1 0 1610 5 0 0 25 0 10 0 73031096 421773312 70671 1283457024 134512640 134550932 4290129008 18446744073709551615 4115486744 0 4 0 16800975 0 0 0 -1 0 0 0 0 [pid=32031/tid=32034] ppid=32030 vsize=411888 CPUtime=8.31 /proc/32031/task/32034/stat : 32034 (java) S 32030 32030 22717 34817 22717 4202560 84307 0 0 0 807 24 0 0 15 0 10 0 73031097 421773312 70671 1283457024 134512640 134550932 4290129008 18446744073709551615 4294960130 0 0 0 16800975 18446612132933241536 0 0 -1 0 0 0 0 [pid=32031/tid=32035] ppid=32030 vsize=411888 CPUtime=0 /proc/32031/task/32035/stat : 32035 (java) S 32030 32030 22717 34817 22717 4202560 15 0 0 0 0 0 0 0 18 0 10 0 73031097 421773312 70671 1283457024 134512640 134550932 4290129008 18446744073709551615 4294960130 0 4 0 16800975 18446612132933241536 0 0 -1 0 0 0 0 [pid=32031/tid=32036] ppid=32030 vsize=411888 CPUtime=0 /proc/32031/task/32036/stat : 32036 (java) S 32030 32030 22717 34817 22717 4202560 5 0 0 0 0 0 0 0 18 0 10 0 73031097 421773312 70671 1283457024 134512640 134550932 4290129008 18446744073709551615 4294960130 0 4 0 16800975 18446612132933241536 0 0 -1 0 0 0 0 [pid=32031/tid=32037] ppid=32030 vsize=411888 CPUtime=0 /proc/32031/task/32037/stat : 32037 (java) S 32030 32030 22717 34817 22717 4202560 1 0 0 0 0 0 0 0 25 0 10 0 73031098 421773312 70671 1283457024 134512640 134550932 4290129008 18446744073709551615 4294960130 0 4 0 16800975 18446612132933241536 0 0 -1 0 0 0 0 [pid=32031/tid=32038] ppid=32030 vsize=411888 CPUtime=0.18 /proc/32031/task/32038/stat : 32038 (java) S 32030 32030 22717 34817 22717 4202560 559 0 0 0 18 0 0 0 15 0 10 0 73031098 421773312 70671 1283457024 134512640 134550932 4290129008 18446744073709551615 4294960130 0 4 0 16800975 18446612132933241536 0 0 -1 0 0 0 0 [pid=32031/tid=32039] ppid=32030 vsize=411888 CPUtime=0 /proc/32031/task/32039/stat : 32039 (java) S 32030 32030 22717 34817 22717 4202560 1 0 0 0 0 0 0 0 25 0 10 0 73031098 421773312 70671 1283457024 134512640 134550932 4290129008 18446744073709551615 4294960130 0 4 0 16800975 18446612132933241536 0 0 -1 0 0 0 0 [pid=32031/tid=32040] ppid=32030 vsize=411888 CPUtime=0 /proc/32031/task/32040/stat : 32040 (java) S 32030 32030 22717 34817 22717 4202560 0 0 0 0 0 0 0 0 15 0 10 0 73031098 421773312 70671 1283457024 134512640 134550932 4290129008 18446744073709551615 4294960130 0 4 0 16800975 18446612132933241536 0 0 -1 0 0 0 0 [pid=32031/tid=32043] ppid=32030 vsize=411888 CPUtime=0 /proc/32031/task/32043/stat : 32043 (java) S 32030 32030 22717 34817 22717 4202560 5 0 0 0 0 0 0 0 25 0 10 0 73032229 421773312 70671 1283457024 134512640 134550932 4290129008 18446744073709551615 4294960130 0 4 0 16800975 18446612132933241536 0 0 -1 0 0 0 0 Current children cumulated CPU time (s) 24.67 Current children cumulated vsize (KiB) 414456 [startup+24.8073 s] /proc/loadavg: 1.29 1.16 1.05 2/45 32043 /proc/meminfo: memFree=250240/1048576 swapFree=0/0 [pid=32030] ppid=32029 vsize=2568 CPUtime=0 /proc/32030/stat : 32030 (gj-user-solver-) S 32029 32030 22717 34817 22717 4202496 372 0 0 0 0 0 0 0 25 0 1 0 73031096 2629632 269 1283457024 134512640 135304128 4288289616 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0 /proc/32030/statm: 642 269 229 194 0 29 0 [pid=32031] ppid=32030 vsize=411888 CPUtime=24.75 /proc/32031/stat : 32031 (java) S 32030 32030 22717 34817 22717 4202496 99947 0 1 0 2444 31 0 0 25 0 9 0 73031096 421773312 70673 1283457024 134512640 134550932 4290129008 18446744073709551615 4294960130 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 /proc/32031/statm: 102972 70673 2922 10 0 97117 0 [pid=32031/tid=32033] ppid=32030 vsize=411888 CPUtime=16.21 /proc/32031/task/32033/stat : 32033 (java) S 32030 32030 22717 34817 22717 4202560 14135 0 1 0 1616 5 0 0 25 0 9 0 73031096 421773312 70673 1283457024 134512640 134550932 4290129008 18446744073709551615 4294960130 0 4 0 16800975 18446612132933241536 0 0 -1 0 0 0 0 [pid=32031/tid=32034] ppid=32030 vsize=411888 CPUtime=8.33 /proc/32031/task/32034/stat : 32034 (java) S 32030 32030 22717 34817 22717 4202560 84307 0 0 0 809 24 0 0 16 0 9 0 73031097 421773312 70673 1283457024 134512640 134550932 4290129008 18446744073709551615 4294960130 0 0 0 16800975 18446612132933241536 0 0 -1 0 0 0 0 [pid=32031/tid=32035] ppid=32030 vsize=411888 CPUtime=0 /proc/32031/task/32035/stat : 32035 (java) S 32030 32030 22717 34817 22717 4202560 15 0 0 0 0 0 0 0 18 0 9 0 73031097 421773312 70673 1283457024 134512640 134550932 4290129008 18446744073709551615 4294960130 0 4 0 16800975 18446612132933241536 0 0 -1 0 0 0 0 [pid=32031/tid=32036] ppid=32030 vsize=411888 CPUtime=0 /proc/32031/task/32036/stat : 32036 (java) S 32030 32030 22717 34817 22717 4202560 5 0 0 0 0 0 0 0 18 0 9 0 73031097 421773312 70673 1283457024 134512640 134550932 4290129008 18446744073709551615 4294960130 0 4 0 16800975 18446612132933241536 0 0 -1 0 0 0 0 [pid=32031/tid=32037] ppid=32030 vsize=411888 CPUtime=0 /proc/32031/task/32037/stat : 32037 (java) S 32030 32030 22717 34817 22717 4202560 1 0 0 0 0 0 0 0 25 0 9 0 73031098 421773312 70673 1283457024 134512640 134550932 4290129008 18446744073709551615 4294960130 0 4 0 16800975 18446612132933241536 0 0 -1 0 0 0 0 [pid=32031/tid=32038] ppid=32030 vsize=411888 CPUtime=0.18 /proc/32031/task/32038/stat : 32038 (java) S 32030 32030 22717 34817 22717 4202560 560 0 0 0 18 0 0 0 15 0 9 0 73031098 421773312 70673 1283457024 134512640 134550932 4290129008 18446744073709551615 4294960130 0 4 0 16800975 18446612132933241536 0 0 -1 0 0 0 0 [pid=32031/tid=32039] ppid=32030 vsize=411888 CPUtime=0 /proc/32031/task/32039/stat : 32039 (java) S 32030 32030 22717 34817 22717 4202560 1 0 0 0 0 0 0 0 25 0 9 0 73031098 421773312 70673 1283457024 134512640 134550932 4290129008 18446744073709551615 4294960130 0 4 0 16800975 18446612132933241536 0 0 -1 0 0 0 0 [pid=32031/tid=32040] ppid=32030 vsize=411888 CPUtime=0 /proc/32031/task/32040/stat : 32040 (java) S 32030 32030 22717 34817 22717 4202560 0 0 0 0 0 0 0 0 15 0 9 0 73031098 421773312 70673 1283457024 134512640 134550932 4290129008 18446744073709551615 4294960130 0 4 0 16800975 18446612132933241536 0 0 -1 0 0 0 0 Current children cumulated CPU time (s) 24.75 Current children cumulated vsize (KiB) 414456 Child status: 0 Real time (s): 24.8582 CPU time (s): 24.7735 CPU user time (s): 24.4495 CPU system time (s): 0.32402 CPU usage (%): 99.6597 Max. virtual memory (cumulated for all children) (KiB): 442512 getrusage(RUSAGE_CHILDREN,...) data: user time used= 24.4495 system time used= 0.32402 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 100335 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= 1327 involuntary context switches= 1721 runsolver used 0 second user time and 0 second system time The end