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/201108241238/gj-trendy-solver-1.0/rand438.cudf.user-upgrades.log.runsolver ./gj-trendy-solver-1.0 /home/misc2010/data/2011/user-upgrades/rand438.cudf /home/misc2010/tmp/201108241238/gj-trendy-solver-1.0/rand438.cudf.user-upgrades.result 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.07 1.05 1.01 4/35 20149 /proc/meminfo: memFree=481732/1048576 swapFree=0/0 [pid=20148] ppid=20147 vsize=2568 CPUtime=0 /proc/20148/stat : 20148 (gj-trendy-solve) S 20147 20148 1511 34817 1511 4202496 372 0 0 0 0 0 0 0 18 0 1 0 4590749 2629632 269 1283457024 134512640 135304128 4289121408 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0 /proc/20148/statm: 642 269 229 194 0 29 0 [pid=20149] ppid=20148 vsize=11048 CPUtime=0.01 /proc/20149/stat : 20149 (java) R 20148 20148 1511 34817 1511 4202496 714 0 0 0 0 1 0 0 25 0 1 0 4590749 11313152 450 1283457024 134512640 134550932 4291184048 18446744073709551615 4159669986 0 0 0 0 0 0 0 17 0 0 0 0 /proc/20149/statm: 2762 450 183 10 0 1104 0 [startup+0.135579 s] /proc/loadavg: 1.07 1.05 1.01 4/35 20149 /proc/meminfo: memFree=481732/1048576 swapFree=0/0 [pid=20148] ppid=20147 vsize=2568 CPUtime=0 /proc/20148/stat : 20148 (gj-trendy-solve) S 20147 20148 1511 34817 1511 4202496 372 0 0 0 0 0 0 0 18 0 1 0 4590749 2629632 269 1283457024 134512640 135304128 4289121408 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0 /proc/20148/statm: 642 269 229 194 0 29 0 [pid=20149] ppid=20148 vsize=409800 CPUtime=0.13 /proc/20149/stat : 20149 (java) S 20148 20148 1511 34817 1511 4202496 3933 0 1 0 12 1 0 0 25 0 9 0 4590749 419635200 3360 1283457024 134512640 134550932 4291184048 18446744073709551615 4294960130 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 /proc/20149/statm: 102450 3360 1922 10 0 96598 0 Current children cumulated CPU time (s) 0.13 Current children cumulated vsize (KiB) 412368 [startup+0.205582 s] /proc/loadavg: 1.07 1.05 1.01 4/35 20149 /proc/meminfo: memFree=481732/1048576 swapFree=0/0 [pid=20148] ppid=20147 vsize=2568 CPUtime=0 /proc/20148/stat : 20148 (gj-trendy-solve) S 20147 20148 1511 34817 1511 4202496 372 0 0 0 0 0 0 0 18 0 1 0 4590749 2629632 269 1283457024 134512640 135304128 4289121408 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0 /proc/20148/statm: 642 269 229 194 0 29 0 [pid=20149] ppid=20148 vsize=409800 CPUtime=0.21 /proc/20149/stat : 20149 (java) S 20148 20148 1511 34817 1511 4202496 4094 0 1 0 20 1 0 0 25 0 9 0 4590749 419635200 3521 1283457024 134512640 134550932 4291184048 18446744073709551615 4294960130 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 /proc/20149/statm: 102450 3521 1922 10 0 96598 0 Current children cumulated CPU time (s) 0.21 Current children cumulated vsize (KiB) 412368 [startup+0.3056 s] /proc/loadavg: 1.07 1.05 1.01 4/35 20149 /proc/meminfo: memFree=481732/1048576 swapFree=0/0 [pid=20148] ppid=20147 vsize=2568 CPUtime=0 /proc/20148/stat : 20148 (gj-trendy-solve) S 20147 20148 1511 34817 1511 4202496 372 0 0 0 0 0 0 0 18 0 1 0 4590749 2629632 269 1283457024 134512640 135304128 4289121408 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0 /proc/20148/statm: 642 269 229 194 0 29 0 [pid=20149] ppid=20148 vsize=410380 CPUtime=0.31 /proc/20149/stat : 20149 (java) S 20148 20148 1511 34817 1511 4202496 4470 0 1 0 30 1 0 0 25 0 9 0 4590749 420229120 3897 1283457024 134512640 134550932 4291184048 18446744073709551615 4294960130 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 /proc/20149/statm: 102595 3897 1944 10 0 96743 0 Current children cumulated CPU time (s) 0.31 Current children cumulated vsize (KiB) 412948 [startup+0.705676 s] /proc/loadavg: 1.07 1.05 1.01 4/35 20149 /proc/meminfo: memFree=481732/1048576 swapFree=0/0 [pid=20148] ppid=20147 vsize=2568 CPUtime=0 /proc/20148/stat : 20148 (gj-trendy-solve) S 20147 20148 1511 34817 1511 4202496 372 0 0 0 0 0 0 0 18 0 1 0 4590749 2629632 269 1283457024 134512640 135304128 4289121408 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0 /proc/20148/statm: 642 269 229 194 0 29 0 [pid=20149] ppid=20148 vsize=410652 CPUtime=0.71 /proc/20149/stat : 20149 (java) S 20148 20148 1511 34817 1511 4202496 12322 0 1 0 68 3 0 0 25 0 9 0 4590749 420507648 11562 1283457024 134512640 134550932 4291184048 18446744073709551615 4294960130 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 /proc/20149/statm: 102663 11562 2901 10 0 96811 0 Current children cumulated CPU time (s) 0.71 Current children cumulated vsize (KiB) 413220 [startup+1.50584 s] /proc/loadavg: 1.14 1.07 1.01 2/44 20158 /proc/meminfo: memFree=424424/1048576 swapFree=0/0 [pid=20148] ppid=20147 vsize=2568 CPUtime=0 /proc/20148/stat : 20148 (gj-trendy-solve) S 20147 20148 1511 34817 1511 4202496 372 0 0 0 0 0 0 0 18 0 1 0 4590749 2629632 269 1283457024 134512640 135304128 4289121408 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0 /proc/20148/statm: 642 269 229 194 0 29 0 [pid=20149] ppid=20148 vsize=410784 CPUtime=1.5 /proc/20149/stat : 20149 (java) S 20148 20148 1511 34817 1511 4202496 27418 0 1 0 144 6 0 0 25 0 9 0 4590749 420642816 26658 1283457024 134512640 134550932 4291184048 18446744073709551615 4294960130 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 /proc/20149/statm: 102696 26658 2901 10 0 96844 0 [pid=20149/tid=20151] ppid=20148 vsize=410784 CPUtime=0.81 /proc/20149/task/20151/stat : 20151 (java) R 20148 20148 1511 34817 1511 4202560 6706 0 1 0 80 1 0 0 25 0 9 0 4590750 420642816 26658 1283457024 134512640 134550932 4291184048 18446744073709551615 4294960130 0 4 0 16800975 0 0 0 -1 0 0 0 0 [pid=20149/tid=20152] ppid=20148 vsize=410784 CPUtime=0.63 /proc/20149/task/20152/stat : 20152 (java) R 20148 20148 1511 34817 1511 4202560 19324 0 0 0 59 4 0 0 18 0 9 0 4590751 420642816 26658 1283457024 134512640 134550932 4291184048 18446744073709551615 4149196942 0 0 0 16800975 0 0 0 -1 0 0 0 0 [pid=20149/tid=20153] ppid=20148 vsize=410784 CPUtime=0 /proc/20149/task/20153/stat : 20153 (java) S 20148 20148 1511 34817 1511 4202560 15 0 0 0 0 0 0 0 20 0 9 0 4590751 420642816 26658 1283457024 134512640 134550932 4291184048 18446744073709551615 4294960130 0 4 0 16800975 18446612132653978944 0 0 -1 0 0 0 0 [pid=20149/tid=20154] ppid=20148 vsize=410784 CPUtime=0 /proc/20149/task/20154/stat : 20154 (java) S 20148 20148 1511 34817 1511 4202560 5 0 0 0 0 0 0 0 20 0 9 0 4590751 420642816 26658 1283457024 134512640 134550932 4291184048 18446744073709551615 4294960130 0 4 0 16800975 18446612132653978944 0 0 -1 0 0 0 0 [pid=20149/tid=20155] ppid=20148 vsize=410784 CPUtime=0 /proc/20149/task/20155/stat : 20155 (java) S 20148 20148 1511 34817 1511 4202560 1 0 0 0 0 0 0 0 25 0 9 0 4590752 420642816 26658 1283457024 134512640 134550932 4291184048 18446744073709551615 4294960130 0 4 0 16800975 18446612132653978944 0 0 -1 0 0 0 0 [pid=20149/tid=20156] ppid=20148 vsize=410784 CPUtime=0.04 /proc/20149/task/20156/stat : 20156 (java) S 20148 20148 1511 34817 1511 4202560 447 0 0 0 4 0 0 0 16 0 9 0 4590752 420642816 26658 1283457024 134512640 134550932 4291184048 18446744073709551615 4294960130 0 4 0 16800975 18446612132653978944 0 0 -1 0 0 0 0 [pid=20149/tid=20157] ppid=20148 vsize=410784 CPUtime=0 /proc/20149/task/20157/stat : 20157 (java) S 20148 20148 1511 34817 1511 4202560 0 0 0 0 0 0 0 0 25 0 9 0 4590752 420642816 26658 1283457024 134512640 134550932 4291184048 18446744073709551615 4294960130 0 4 0 16800975 18446612132653978944 0 0 -1 0 0 0 0 [pid=20149/tid=20158] ppid=20148 vsize=410784 CPUtime=0 /proc/20149/task/20158/stat : 20158 (java) S 20148 20148 1511 34817 1511 4202560 2 0 0 0 0 0 0 0 15 0 9 0 4590752 420642816 26658 1283457024 134512640 134550932 4291184048 18446744073709551615 4294960130 0 4 0 16800975 18446612132653978944 0 0 -1 0 0 0 0 Current children cumulated CPU time (s) 1.5 Current children cumulated vsize (KiB) 413352 [startup+3.10604 s] /proc/loadavg: 1.14 1.07 1.01 2/44 20158 /proc/meminfo: memFree=352628/1048576 swapFree=0/0 [pid=20148] ppid=20147 vsize=2568 CPUtime=0 /proc/20148/stat : 20148 (gj-trendy-solve) S 20147 20148 1511 34817 1511 4202496 372 0 0 0 0 0 0 0 18 0 1 0 4590749 2629632 269 1283457024 134512640 135304128 4289121408 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0 /proc/20148/statm: 642 269 229 194 0 29 0 [pid=20149] ppid=20148 vsize=410784 CPUtime=3.1 /proc/20149/stat : 20149 (java) S 20148 20148 1511 34817 1511 4202496 51066 0 1 0 294 16 0 0 25 0 9 0 4590749 420642816 50306 1283457024 134512640 134550932 4291184048 18446744073709551615 4294960130 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 /proc/20149/statm: 102696 50306 2901 10 0 96844 0 [pid=20149/tid=20151] ppid=20148 vsize=410784 CPUtime=1.43 /proc/20149/task/20151/stat : 20151 (java) R 20148 20148 1511 34817 1511 4202560 13859 0 1 0 138 5 0 0 25 0 9 0 4590750 420642816 50306 1283457024 134512640 134550932 4291184048 18446744073709551615 4294960130 0 4 0 16800975 0 0 0 -1 0 0 0 0 [pid=20149/tid=20152] ppid=20148 vsize=410784 CPUtime=1.62 /proc/20149/task/20152/stat : 20152 (java) R 20148 20148 1511 34817 1511 4202560 35816 0 0 0 152 10 0 0 16 0 9 0 4590751 420642816 50306 1283457024 134512640 134550932 4291184048 18446744073709551615 4150548408 0 0 0 16800975 0 0 0 -1 0 0 0 0 [pid=20149/tid=20153] ppid=20148 vsize=410784 CPUtime=0 /proc/20149/task/20153/stat : 20153 (java) S 20148 20148 1511 34817 1511 4202560 15 0 0 0 0 0 0 0 20 0 9 0 4590751 420642816 50306 1283457024 134512640 134550932 4291184048 18446744073709551615 4294960130 0 4 0 16800975 18446612132653978944 0 0 -1 0 0 0 0 [pid=20149/tid=20154] ppid=20148 vsize=410784 CPUtime=0 /proc/20149/task/20154/stat : 20154 (java) S 20148 20148 1511 34817 1511 4202560 5 0 0 0 0 0 0 0 20 0 9 0 4590751 420642816 50306 1283457024 134512640 134550932 4291184048 18446744073709551615 4294960130 0 4 0 16800975 18446612132653978944 0 0 -1 0 0 0 0 [pid=20149/tid=20155] ppid=20148 vsize=410784 CPUtime=0 /proc/20149/task/20155/stat : 20155 (java) S 20148 20148 1511 34817 1511 4202560 1 0 0 0 0 0 0 0 25 0 9 0 4590752 420642816 50306 1283457024 134512640 134550932 4291184048 18446744073709551615 4294960130 0 4 0 16800975 18446612132653978944 0 0 -1 0 0 0 0 [pid=20149/tid=20156] ppid=20148 vsize=410784 CPUtime=0.04 /proc/20149/task/20156/stat : 20156 (java) S 20148 20148 1511 34817 1511 4202560 450 0 0 0 4 0 0 0 15 0 9 0 4590752 420642816 50306 1283457024 134512640 134550932 4291184048 18446744073709551615 4294960130 0 4 0 16800975 18446612132653978944 0 0 -1 0 0 0 0 [pid=20149/tid=20157] ppid=20148 vsize=410784 CPUtime=0 /proc/20149/task/20157/stat : 20157 (java) S 20148 20148 1511 34817 1511 4202560 0 0 0 0 0 0 0 0 25 0 9 0 4590752 420642816 50306 1283457024 134512640 134550932 4291184048 18446744073709551615 4294960130 0 4 0 16800975 18446612132653978944 0 0 -1 0 0 0 0 [pid=20149/tid=20158] ppid=20148 vsize=410784 CPUtime=0 /proc/20149/task/20158/stat : 20158 (java) S 20148 20148 1511 34817 1511 4202560 2 0 0 0 0 0 0 0 15 0 9 0 4590752 420642816 50306 1283457024 134512640 134550932 4291184048 18446744073709551615 4294960130 0 4 0 16800975 18446612132653978944 0 0 -1 0 0 0 0 Current children cumulated CPU time (s) 3.1 Current children cumulated vsize (KiB) 413352 [startup+6.30667 s] /proc/loadavg: 1.21 1.09 1.02 2/44 20158 /proc/meminfo: memFree=215740/1048576 swapFree=0/0 [pid=20148] ppid=20147 vsize=2568 CPUtime=0 /proc/20148/stat : 20148 (gj-trendy-solve) S 20147 20148 1511 34817 1511 4202496 372 0 0 0 0 0 0 0 18 0 1 0 4590749 2629632 269 1283457024 134512640 135304128 4289121408 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0 /proc/20148/statm: 642 269 229 194 0 29 0 [pid=20149] ppid=20148 vsize=439956 CPUtime=6.31 /proc/20149/stat : 20149 (java) S 20148 20148 1511 34817 1511 4202496 78233 0 1 0 604 27 0 0 25 0 9 0 4590749 450514944 77467 1283457024 134512640 134550932 4291184048 18446744073709551615 4294960130 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 /proc/20149/statm: 109989 77467 2902 10 0 104137 0 [pid=20149/tid=20151] ppid=20148 vsize=439956 CPUtime=2.3 /proc/20149/task/20151/stat : 20151 (java) R 20148 20148 1511 34817 1511 4202560 13875 0 1 0 222 8 0 0 25 0 9 0 4590750 450514944 77467 1283457024 134512640 134550932 4291184048 18446744073709551615 4294960130 0 4 0 16800975 0 0 0 -1 0 0 0 0 [pid=20149/tid=20152] ppid=20148 vsize=439956 CPUtime=3.93 /proc/20149/task/20152/stat : 20152 (java) R 20148 20148 1511 34817 1511 4202560 62948 0 0 0 376 17 0 0 16 0 9 0 4590751 450514944 77467 1283457024 134512640 134550932 4291184048 18446744073709551615 4152039861 0 0 0 16800975 0 0 0 -1 0 0 0 0 [pid=20149/tid=20153] ppid=20148 vsize=439956 CPUtime=0 /proc/20149/task/20153/stat : 20153 (java) S 20148 20148 1511 34817 1511 4202560 15 0 0 0 0 0 0 0 20 0 9 0 4590751 450514944 77467 1283457024 134512640 134550932 4291184048 18446744073709551615 4294960130 0 4 0 16800975 18446612132653978944 0 0 -1 0 0 0 0 [pid=20149/tid=20154] ppid=20148 vsize=439956 CPUtime=0 /proc/20149/task/20154/stat : 20154 (java) S 20148 20148 1511 34817 1511 4202560 5 0 0 0 0 0 0 0 20 0 9 0 4590751 450514944 77467 1283457024 134512640 134550932 4291184048 18446744073709551615 4294960130 0 4 0 16800975 18446612132653978944 0 0 -1 0 0 0 0 [pid=20149/tid=20155] ppid=20148 vsize=439956 CPUtime=0 /proc/20149/task/20155/stat : 20155 (java) S 20148 20148 1511 34817 1511 4202560 1 0 0 0 0 0 0 0 25 0 9 0 4590752 450514944 77467 1283457024 134512640 134550932 4291184048 18446744073709551615 4294960130 0 4 0 16800975 18446612132653978944 0 0 -1 0 0 0 0 [pid=20149/tid=20156] ppid=20148 vsize=439956 CPUtime=0.05 /proc/20149/task/20156/stat : 20156 (java) S 20148 20148 1511 34817 1511 4202560 469 0 0 0 5 0 0 0 15 0 9 0 4590752 450514944 77467 1283457024 134512640 134550932 4291184048 18446744073709551615 4294960130 0 4 0 16800975 18446612132653978944 0 0 -1 0 0 0 0 [pid=20149/tid=20157] ppid=20148 vsize=439956 CPUtime=0 /proc/20149/task/20157/stat : 20157 (java) S 20148 20148 1511 34817 1511 4202560 0 0 0 0 0 0 0 0 25 0 9 0 4590752 450514944 77467 1283457024 134512640 134550932 4291184048 18446744073709551615 4294960130 0 4 0 16800975 18446612132653978944 0 0 -1 0 0 0 0 [pid=20149/tid=20158] ppid=20148 vsize=439956 CPUtime=0 /proc/20149/task/20158/stat : 20158 (java) S 20148 20148 1511 34817 1511 4202560 2 0 0 0 0 0 0 0 15 0 9 0 4590752 450514944 77467 1283457024 134512640 134550932 4291184048 18446744073709551615 4294960130 0 4 0 16800975 18446612132653978944 0 0 -1 0 0 0 0 Current children cumulated CPU time (s) 6.31 Current children cumulated vsize (KiB) 442524 [startup+12.7082 s] /proc/loadavg: 1.27 1.10 1.02 2/45 20159 /proc/meminfo: memFree=210648/1048576 swapFree=0/0 [pid=20148] ppid=20147 vsize=2568 CPUtime=0 /proc/20148/stat : 20148 (gj-trendy-solve) S 20147 20148 1511 34817 1511 4202496 372 0 0 0 0 0 0 0 18 0 1 0 4590749 2629632 269 1283457024 134512640 135304128 4289121408 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0 /proc/20148/statm: 642 269 229 194 0 29 0 [pid=20149] ppid=20148 vsize=411956 CPUtime=12.69 /proc/20149/stat : 20149 (java) S 20148 20148 1511 34817 1511 4202496 99949 0 1 0 1225 44 0 0 25 0 10 0 4590749 421842944 70672 1283457024 134512640 134550932 4291184048 18446744073709551615 4294960130 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 /proc/20149/statm: 102989 70672 2918 10 0 97134 0 [pid=20149/tid=20151] ppid=20148 vsize=411956 CPUtime=4.43 /proc/20149/task/20151/stat : 20151 (java) R 20148 20148 1511 34817 1511 4202560 14129 0 1 0 434 9 0 0 25 0 10 0 4590750 421842944 70672 1283457024 134512640 134550932 4291184048 18446744073709551615 4115272069 0 4 0 16800975 0 0 0 -1 0 0 0 0 [pid=20149/tid=20152] ppid=20148 vsize=411956 CPUtime=8.11 /proc/20149/task/20152/stat : 20152 (java) S 20148 20148 1511 34817 1511 4202560 84325 0 0 0 779 32 0 0 15 0 10 0 4590751 421842944 70672 1283457024 134512640 134550932 4291184048 18446744073709551615 4294960130 0 0 0 16800975 18446612132653978944 0 0 -1 0 0 0 0 [pid=20149/tid=20153] ppid=20148 vsize=411956 CPUtime=0 /proc/20149/task/20153/stat : 20153 (java) S 20148 20148 1511 34817 1511 4202560 15 0 0 0 0 0 0 0 18 0 10 0 4590751 421842944 70672 1283457024 134512640 134550932 4291184048 18446744073709551615 4294960130 0 4 0 16800975 18446612132653978944 0 0 -1 0 0 0 0 [pid=20149/tid=20154] ppid=20148 vsize=411956 CPUtime=0 /proc/20149/task/20154/stat : 20154 (java) S 20148 20148 1511 34817 1511 4202560 5 0 0 0 0 0 0 0 18 0 10 0 4590751 421842944 70672 1283457024 134512640 134550932 4291184048 18446744073709551615 4294960130 0 4 0 16800975 18446612132653978944 0 0 -1 0 0 0 0 [pid=20149/tid=20155] ppid=20148 vsize=411956 CPUtime=0 /proc/20149/task/20155/stat : 20155 (java) S 20148 20148 1511 34817 1511 4202560 1 0 0 0 0 0 0 0 25 0 10 0 4590752 421842944 70672 1283457024 134512640 134550932 4291184048 18446744073709551615 4294960130 0 4 0 16800975 18446612132653978944 0 0 -1 0 0 0 0 [pid=20149/tid=20156] ppid=20148 vsize=411956 CPUtime=0.13 /proc/20149/task/20156/stat : 20156 (java) S 20148 20148 1511 34817 1511 4202560 550 0 0 0 12 1 0 0 15 0 10 0 4590752 421842944 70672 1283457024 134512640 134550932 4291184048 18446744073709551615 4294960130 0 4 0 16800975 18446612132653978944 0 0 -1 0 0 0 0 [pid=20149/tid=20157] ppid=20148 vsize=411956 CPUtime=0 /proc/20149/task/20157/stat : 20157 (java) S 20148 20148 1511 34817 1511 4202560 0 0 0 0 0 0 0 0 25 0 10 0 4590752 421842944 70672 1283457024 134512640 134550932 4291184048 18446744073709551615 4294960130 0 4 0 16800975 18446612132653978944 0 0 -1 0 0 0 0 [pid=20149/tid=20158] ppid=20148 vsize=411956 CPUtime=0 /proc/20149/task/20158/stat : 20158 (java) S 20148 20148 1511 34817 1511 4202560 2 0 0 0 0 0 0 0 15 0 10 0 4590752 421842944 70672 1283457024 134512640 134550932 4291184048 18446744073709551615 4294960130 0 4 0 16800975 18446612132653978944 0 0 -1 0 0 0 0 [pid=20149/tid=20159] ppid=20148 vsize=411956 CPUtime=0 /proc/20149/task/20159/stat : 20159 (java) S 20148 20148 1511 34817 1511 4202560 4 0 0 0 0 0 0 0 25 0 10 0 4591873 421842944 70672 1283457024 134512640 134550932 4291184048 18446744073709551615 4294960130 0 4 0 16800975 18446612132653978944 0 0 -1 0 0 0 0 Current children cumulated CPU time (s) 12.69 Current children cumulated vsize (KiB) 414524 Solver just ended. Dumping a history of the last processes samples [startup+12.8082 s] /proc/loadavg: 1.27 1.10 1.02 2/45 20159 /proc/meminfo: memFree=210648/1048576 swapFree=0/0 [pid=20148] ppid=20147 vsize=2568 CPUtime=0 /proc/20148/stat : 20148 (gj-trendy-solve) S 20147 20148 1511 34817 1511 4202496 372 0 0 0 0 0 0 0 18 0 1 0 4590749 2629632 269 1283457024 134512640 135304128 4289121408 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0 /proc/20148/statm: 642 269 229 194 0 29 0 [pid=20149] ppid=20148 vsize=411956 CPUtime=12.79 /proc/20149/stat : 20149 (java) S 20148 20148 1511 34817 1511 4202496 99949 0 1 0 1235 44 0 0 25 0 10 0 4590749 421842944 70672 1283457024 134512640 134550932 4291184048 18446744073709551615 4294960130 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 /proc/20149/statm: 102989 70672 2918 10 0 97134 0 [pid=20149/tid=20151] ppid=20148 vsize=411956 CPUtime=4.53 /proc/20149/task/20151/stat : 20151 (java) R 20148 20148 1511 34817 1511 4202560 14129 0 1 0 444 9 0 0 25 0 10 0 4590750 421842944 70672 1283457024 134512640 134550932 4291184048 18446744073709551615 4115150271 0 4 0 16800975 0 0 0 -1 0 0 0 0 [pid=20149/tid=20152] ppid=20148 vsize=411956 CPUtime=8.11 /proc/20149/task/20152/stat : 20152 (java) S 20148 20148 1511 34817 1511 4202560 84325 0 0 0 779 32 0 0 15 0 10 0 4590751 421842944 70672 1283457024 134512640 134550932 4291184048 18446744073709551615 4294960130 0 0 0 16800975 18446612132653978944 0 0 -1 0 0 0 0 [pid=20149/tid=20153] ppid=20148 vsize=411956 CPUtime=0 /proc/20149/task/20153/stat : 20153 (java) S 20148 20148 1511 34817 1511 4202560 15 0 0 0 0 0 0 0 18 0 10 0 4590751 421842944 70672 1283457024 134512640 134550932 4291184048 18446744073709551615 4294960130 0 4 0 16800975 18446612132653978944 0 0 -1 0 0 0 0 [pid=20149/tid=20154] ppid=20148 vsize=411956 CPUtime=0 /proc/20149/task/20154/stat : 20154 (java) S 20148 20148 1511 34817 1511 4202560 5 0 0 0 0 0 0 0 18 0 10 0 4590751 421842944 70672 1283457024 134512640 134550932 4291184048 18446744073709551615 4294960130 0 4 0 16800975 18446612132653978944 0 0 -1 0 0 0 0 [pid=20149/tid=20155] ppid=20148 vsize=411956 CPUtime=0 /proc/20149/task/20155/stat : 20155 (java) S 20148 20148 1511 34817 1511 4202560 1 0 0 0 0 0 0 0 25 0 10 0 4590752 421842944 70672 1283457024 134512640 134550932 4291184048 18446744073709551615 4294960130 0 4 0 16800975 18446612132653978944 0 0 -1 0 0 0 0 [pid=20149/tid=20156] ppid=20148 vsize=411956 CPUtime=0.13 /proc/20149/task/20156/stat : 20156 (java) S 20148 20148 1511 34817 1511 4202560 550 0 0 0 12 1 0 0 15 0 10 0 4590752 421842944 70672 1283457024 134512640 134550932 4291184048 18446744073709551615 4294960130 0 4 0 16800975 18446612132653978944 0 0 -1 0 0 0 0 [pid=20149/tid=20157] ppid=20148 vsize=411956 CPUtime=0 /proc/20149/task/20157/stat : 20157 (java) S 20148 20148 1511 34817 1511 4202560 0 0 0 0 0 0 0 0 25 0 10 0 4590752 421842944 70672 1283457024 134512640 134550932 4291184048 18446744073709551615 4294960130 0 4 0 16800975 18446612132653978944 0 0 -1 0 0 0 0 [pid=20149/tid=20158] ppid=20148 vsize=411956 CPUtime=0 /proc/20149/task/20158/stat : 20158 (java) S 20148 20148 1511 34817 1511 4202560 2 0 0 0 0 0 0 0 15 0 10 0 4590752 421842944 70672 1283457024 134512640 134550932 4291184048 18446744073709551615 4294960130 0 4 0 16800975 18446612132653978944 0 0 -1 0 0 0 0 [pid=20149/tid=20159] ppid=20148 vsize=411956 CPUtime=0 /proc/20149/task/20159/stat : 20159 (java) S 20148 20148 1511 34817 1511 4202560 4 0 0 0 0 0 0 0 25 0 10 0 4591873 421842944 70672 1283457024 134512640 134550932 4291184048 18446744073709551615 4294960130 0 4 0 16800975 18446612132653978944 0 0 -1 0 0 0 0 Current children cumulated CPU time (s) 12.79 Current children cumulated vsize (KiB) 414524 [startup+16.0088 s] /proc/loadavg: 1.25 1.10 1.02 2/45 20159 /proc/meminfo: memFree=210648/1048576 swapFree=0/0 [pid=20148] ppid=20147 vsize=2568 CPUtime=0 /proc/20148/stat : 20148 (gj-trendy-solve) S 20147 20148 1511 34817 1511 4202496 372 0 0 0 0 0 0 0 18 0 1 0 4590749 2629632 269 1283457024 134512640 135304128 4289121408 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0 /proc/20148/statm: 642 269 229 194 0 29 0 [pid=20149] ppid=20148 vsize=411956 CPUtime=15.99 /proc/20149/stat : 20149 (java) S 20148 20148 1511 34817 1511 4202496 99953 0 1 0 1555 44 0 0 25 0 10 0 4590749 421842944 70676 1283457024 134512640 134550932 4291184048 18446744073709551615 4294960130 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 /proc/20149/statm: 102989 70676 2920 10 0 97134 0 [pid=20149/tid=20151] ppid=20148 vsize=411956 CPUtime=7.68 /proc/20149/task/20151/stat : 20151 (java) R 20148 20148 1511 34817 1511 4202560 14129 0 1 0 759 9 0 0 25 0 10 0 4590750 421842944 70676 1283457024 134512640 134550932 4291184048 18446744073709551615 4115267337 0 4 0 16800975 0 0 0 -1 0 0 0 0 [pid=20149/tid=20152] ppid=20148 vsize=411956 CPUtime=8.14 /proc/20149/task/20152/stat : 20152 (java) S 20148 20148 1511 34817 1511 4202560 84327 0 0 0 782 32 0 0 15 0 10 0 4590751 421842944 70676 1283457024 134512640 134550932 4291184048 18446744073709551615 4294960130 0 0 0 16800975 18446612132653978944 0 0 -1 0 0 0 0 [pid=20149/tid=20153] ppid=20148 vsize=411956 CPUtime=0 /proc/20149/task/20153/stat : 20153 (java) S 20148 20148 1511 34817 1511 4202560 15 0 0 0 0 0 0 0 18 0 10 0 4590751 421842944 70676 1283457024 134512640 134550932 4291184048 18446744073709551615 4294960130 0 4 0 16800975 18446612132653978944 0 0 -1 0 0 0 0 [pid=20149/tid=20154] ppid=20148 vsize=411956 CPUtime=0 /proc/20149/task/20154/stat : 20154 (java) S 20148 20148 1511 34817 1511 4202560 5 0 0 0 0 0 0 0 18 0 10 0 4590751 421842944 70676 1283457024 134512640 134550932 4291184048 18446744073709551615 4294960130 0 4 0 16800975 18446612132653978944 0 0 -1 0 0 0 0 [pid=20149/tid=20155] ppid=20148 vsize=411956 CPUtime=0 /proc/20149/task/20155/stat : 20155 (java) S 20148 20148 1511 34817 1511 4202560 1 0 0 0 0 0 0 0 25 0 10 0 4590752 421842944 70676 1283457024 134512640 134550932 4291184048 18446744073709551615 4294960130 0 4 0 16800975 18446612132653978944 0 0 -1 0 0 0 0 [pid=20149/tid=20156] ppid=20148 vsize=411956 CPUtime=0.14 /proc/20149/task/20156/stat : 20156 (java) S 20148 20148 1511 34817 1511 4202560 552 0 0 0 13 1 0 0 15 0 10 0 4590752 421842944 70676 1283457024 134512640 134550932 4291184048 18446744073709551615 4294960130 0 4 0 16800975 18446612132653978944 0 0 -1 0 0 0 0 [pid=20149/tid=20157] ppid=20148 vsize=411956 CPUtime=0 /proc/20149/task/20157/stat : 20157 (java) S 20148 20148 1511 34817 1511 4202560 0 0 0 0 0 0 0 0 25 0 10 0 4590752 421842944 70676 1283457024 134512640 134550932 4291184048 18446744073709551615 4294960130 0 4 0 16800975 18446612132653978944 0 0 -1 0 0 0 0 [pid=20149/tid=20158] ppid=20148 vsize=411956 CPUtime=0 /proc/20149/task/20158/stat : 20158 (java) S 20148 20148 1511 34817 1511 4202560 2 0 0 0 0 0 0 0 15 0 10 0 4590752 421842944 70676 1283457024 134512640 134550932 4291184048 18446744073709551615 4294960130 0 4 0 16800975 18446612132653978944 0 0 -1 0 0 0 0 [pid=20149/tid=20159] ppid=20148 vsize=411956 CPUtime=0 /proc/20149/task/20159/stat : 20159 (java) S 20148 20148 1511 34817 1511 4202560 4 0 0 0 0 0 0 0 25 0 10 0 4591873 421842944 70676 1283457024 134512640 134550932 4291184048 18446744073709551615 4294960130 0 4 0 16800975 18446612132653978944 0 0 -1 0 0 0 0 Current children cumulated CPU time (s) 15.99 Current children cumulated vsize (KiB) 414524 [startup+16.809 s] /proc/loadavg: 1.25 1.10 1.02 2/45 20159 /proc/meminfo: memFree=210648/1048576 swapFree=0/0 [pid=20148] ppid=20147 vsize=2568 CPUtime=0 /proc/20148/stat : 20148 (gj-trendy-solve) S 20147 20148 1511 34817 1511 4202496 372 0 0 0 0 0 0 0 18 0 1 0 4590749 2629632 269 1283457024 134512640 135304128 4289121408 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0 /proc/20148/statm: 642 269 229 194 0 29 0 [pid=20149] ppid=20148 vsize=411956 CPUtime=16.79 /proc/20149/stat : 20149 (java) S 20148 20148 1511 34817 1511 4202496 99953 0 1 0 1635 44 0 0 25 0 10 0 4590749 421842944 70676 1283457024 134512640 134550932 4291184048 18446744073709551615 4294960130 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 /proc/20149/statm: 102989 70676 2920 10 0 97134 0 [pid=20149/tid=20151] ppid=20148 vsize=411956 CPUtime=8.45 /proc/20149/task/20151/stat : 20151 (java) R 20148 20148 1511 34817 1511 4202560 14129 0 1 0 836 9 0 0 25 0 10 0 4590750 421842944 70676 1283457024 134512640 134550932 4291184048 18446744073709551615 4115102218 0 4 0 16800975 0 0 0 -1 0 0 0 0 [pid=20149/tid=20152] ppid=20148 vsize=411956 CPUtime=8.17 /proc/20149/task/20152/stat : 20152 (java) S 20148 20148 1511 34817 1511 4202560 84327 0 0 0 785 32 0 0 16 0 10 0 4590751 421842944 70676 1283457024 134512640 134550932 4291184048 18446744073709551615 4294960130 0 0 0 16800975 18446612132653978944 0 0 -1 0 0 0 0 [pid=20149/tid=20153] ppid=20148 vsize=411956 CPUtime=0 /proc/20149/task/20153/stat : 20153 (java) S 20148 20148 1511 34817 1511 4202560 15 0 0 0 0 0 0 0 18 0 10 0 4590751 421842944 70676 1283457024 134512640 134550932 4291184048 18446744073709551615 4294960130 0 4 0 16800975 18446612132653978944 0 0 -1 0 0 0 0 [pid=20149/tid=20154] ppid=20148 vsize=411956 CPUtime=0 /proc/20149/task/20154/stat : 20154 (java) S 20148 20148 1511 34817 1511 4202560 5 0 0 0 0 0 0 0 18 0 10 0 4590751 421842944 70676 1283457024 134512640 134550932 4291184048 18446744073709551615 4294960130 0 4 0 16800975 18446612132653978944 0 0 -1 0 0 0 0 [pid=20149/tid=20155] ppid=20148 vsize=411956 CPUtime=0 /proc/20149/task/20155/stat : 20155 (java) S 20148 20148 1511 34817 1511 4202560 1 0 0 0 0 0 0 0 25 0 10 0 4590752 421842944 70676 1283457024 134512640 134550932 4291184048 18446744073709551615 4294960130 0 4 0 16800975 18446612132653978944 0 0 -1 0 0 0 0 [pid=20149/tid=20156] ppid=20148 vsize=411956 CPUtime=0.14 /proc/20149/task/20156/stat : 20156 (java) S 20148 20148 1511 34817 1511 4202560 552 0 0 0 13 1 0 0 15 0 10 0 4590752 421842944 70676 1283457024 134512640 134550932 4291184048 18446744073709551615 4294960130 0 4 0 16800975 18446612132653978944 0 0 -1 0 0 0 0 [pid=20149/tid=20157] ppid=20148 vsize=411956 CPUtime=0 /proc/20149/task/20157/stat : 20157 (java) S 20148 20148 1511 34817 1511 4202560 0 0 0 0 0 0 0 0 25 0 10 0 4590752 421842944 70676 1283457024 134512640 134550932 4291184048 18446744073709551615 4294960130 0 4 0 16800975 18446612132653978944 0 0 -1 0 0 0 0 [pid=20149/tid=20158] ppid=20148 vsize=411956 CPUtime=0 /proc/20149/task/20158/stat : 20158 (java) S 20148 20148 1511 34817 1511 4202560 2 0 0 0 0 0 0 0 15 0 10 0 4590752 421842944 70676 1283457024 134512640 134550932 4291184048 18446744073709551615 4294960130 0 4 0 16800975 18446612132653978944 0 0 -1 0 0 0 0 [pid=20149/tid=20159] ppid=20148 vsize=411956 CPUtime=0 /proc/20149/task/20159/stat : 20159 (java) S 20148 20148 1511 34817 1511 4202560 4 0 0 0 0 0 0 0 25 0 10 0 4591873 421842944 70676 1283457024 134512640 134550932 4291184048 18446744073709551615 4294960130 0 4 0 16800975 18446612132653978944 0 0 -1 0 0 0 0 Current children cumulated CPU time (s) 16.79 Current children cumulated vsize (KiB) 414524 [startup+17.6092 s] /proc/loadavg: 1.25 1.10 1.02 2/45 20159 /proc/meminfo: memFree=210648/1048576 swapFree=0/0 [pid=20148] ppid=20147 vsize=2568 CPUtime=0 /proc/20148/stat : 20148 (gj-trendy-solve) S 20147 20148 1511 34817 1511 4202496 372 0 0 0 0 0 0 0 18 0 1 0 4590749 2629632 269 1283457024 134512640 135304128 4289121408 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0 /proc/20148/statm: 642 269 229 194 0 29 0 [pid=20149] ppid=20148 vsize=411956 CPUtime=17.59 /proc/20149/stat : 20149 (java) S 20148 20148 1511 34817 1511 4202496 99954 0 1 0 1715 44 0 0 25 0 10 0 4590749 421842944 70677 1283457024 134512640 134550932 4291184048 18446744073709551615 4294960130 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 /proc/20149/statm: 102989 70677 2920 10 0 97134 0 [pid=20149/tid=20151] ppid=20148 vsize=411956 CPUtime=9.25 /proc/20149/task/20151/stat : 20151 (java) R 20148 20148 1511 34817 1511 4202560 14129 0 1 0 916 9 0 0 25 0 10 0 4590750 421842944 70677 1283457024 134512640 134550932 4291184048 18446744073709551615 4115153403 0 4 0 16800975 0 0 0 -1 0 0 0 0 [pid=20149/tid=20152] ppid=20148 vsize=411956 CPUtime=8.17 /proc/20149/task/20152/stat : 20152 (java) S 20148 20148 1511 34817 1511 4202560 84327 0 0 0 785 32 0 0 16 0 10 0 4590751 421842944 70677 1283457024 134512640 134550932 4291184048 18446744073709551615 4294960130 0 0 0 16800975 18446612132653978944 0 0 -1 0 0 0 0 [pid=20149/tid=20153] ppid=20148 vsize=411956 CPUtime=0 /proc/20149/task/20153/stat : 20153 (java) S 20148 20148 1511 34817 1511 4202560 15 0 0 0 0 0 0 0 18 0 10 0 4590751 421842944 70677 1283457024 134512640 134550932 4291184048 18446744073709551615 4294960130 0 4 0 16800975 18446612132653978944 0 0 -1 0 0 0 0 [pid=20149/tid=20154] ppid=20148 vsize=411956 CPUtime=0 /proc/20149/task/20154/stat : 20154 (java) S 20148 20148 1511 34817 1511 4202560 5 0 0 0 0 0 0 0 18 0 10 0 4590751 421842944 70677 1283457024 134512640 134550932 4291184048 18446744073709551615 4294960130 0 4 0 16800975 18446612132653978944 0 0 -1 0 0 0 0 [pid=20149/tid=20155] ppid=20148 vsize=411956 CPUtime=0 /proc/20149/task/20155/stat : 20155 (java) S 20148 20148 1511 34817 1511 4202560 1 0 0 0 0 0 0 0 25 0 10 0 4590752 421842944 70677 1283457024 134512640 134550932 4291184048 18446744073709551615 4294960130 0 4 0 16800975 18446612132653978944 0 0 -1 0 0 0 0 [pid=20149/tid=20156] ppid=20148 vsize=411956 CPUtime=0.14 /proc/20149/task/20156/stat : 20156 (java) S 20148 20148 1511 34817 1511 4202560 553 0 0 0 13 1 0 0 15 0 10 0 4590752 421842944 70677 1283457024 134512640 134550932 4291184048 18446744073709551615 4294960130 0 4 0 16800975 18446612132653978944 0 0 -1 0 0 0 0 [pid=20149/tid=20157] ppid=20148 vsize=411956 CPUtime=0 /proc/20149/task/20157/stat : 20157 (java) S 20148 20148 1511 34817 1511 4202560 0 0 0 0 0 0 0 0 25 0 10 0 4590752 421842944 70677 1283457024 134512640 134550932 4291184048 18446744073709551615 4294960130 0 4 0 16800975 18446612132653978944 0 0 -1 0 0 0 0 [pid=20149/tid=20158] ppid=20148 vsize=411956 CPUtime=0 /proc/20149/task/20158/stat : 20158 (java) S 20148 20148 1511 34817 1511 4202560 2 0 0 0 0 0 0 0 15 0 10 0 4590752 421842944 70677 1283457024 134512640 134550932 4291184048 18446744073709551615 4294960130 0 4 0 16800975 18446612132653978944 0 0 -1 0 0 0 0 [pid=20149/tid=20159] ppid=20148 vsize=411956 CPUtime=0 /proc/20149/task/20159/stat : 20159 (java) S 20148 20148 1511 34817 1511 4202560 4 0 0 0 0 0 0 0 25 0 10 0 4591873 421842944 70677 1283457024 134512640 134550932 4291184048 18446744073709551615 4294960130 0 4 0 16800975 18446612132653978944 0 0 -1 0 0 0 0 Current children cumulated CPU time (s) 17.59 Current children cumulated vsize (KiB) 414524 [startup+18.0092 s] /proc/loadavg: 1.25 1.10 1.02 2/45 20159 /proc/meminfo: memFree=210648/1048576 swapFree=0/0 [pid=20148] ppid=20147 vsize=2568 CPUtime=0 /proc/20148/stat : 20148 (gj-trendy-solve) S 20147 20148 1511 34817 1511 4202496 372 0 0 0 0 0 0 0 18 0 1 0 4590749 2629632 269 1283457024 134512640 135304128 4289121408 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0 /proc/20148/statm: 642 269 229 194 0 29 0 [pid=20149] ppid=20148 vsize=411956 CPUtime=17.99 /proc/20149/stat : 20149 (java) S 20148 20148 1511 34817 1511 4202496 99954 0 1 0 1755 44 0 0 25 0 10 0 4590749 421842944 70677 1283457024 134512640 134550932 4291184048 18446744073709551615 4294960130 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 /proc/20149/statm: 102989 70677 2920 10 0 97134 0 [pid=20149/tid=20151] ppid=20148 vsize=411956 CPUtime=9.65 /proc/20149/task/20151/stat : 20151 (java) R 20148 20148 1511 34817 1511 4202560 14129 0 1 0 956 9 0 0 25 0 10 0 4590750 421842944 70677 1283457024 134512640 134550932 4291184048 18446744073709551615 4115267337 0 4 0 16800975 0 0 0 -1 0 0 0 0 [pid=20149/tid=20152] ppid=20148 vsize=411956 CPUtime=8.17 /proc/20149/task/20152/stat : 20152 (java) S 20148 20148 1511 34817 1511 4202560 84327 0 0 0 785 32 0 0 16 0 10 0 4590751 421842944 70677 1283457024 134512640 134550932 4291184048 18446744073709551615 4294960130 0 0 0 16800975 18446612132653978944 0 0 -1 0 0 0 0 [pid=20149/tid=20153] ppid=20148 vsize=411956 CPUtime=0 /proc/20149/task/20153/stat : 20153 (java) S 20148 20148 1511 34817 1511 4202560 15 0 0 0 0 0 0 0 18 0 10 0 4590751 421842944 70677 1283457024 134512640 134550932 4291184048 18446744073709551615 4294960130 0 4 0 16800975 18446612132653978944 0 0 -1 0 0 0 0 [pid=20149/tid=20154] ppid=20148 vsize=411956 CPUtime=0 /proc/20149/task/20154/stat : 20154 (java) S 20148 20148 1511 34817 1511 4202560 5 0 0 0 0 0 0 0 18 0 10 0 4590751 421842944 70677 1283457024 134512640 134550932 4291184048 18446744073709551615 4294960130 0 4 0 16800975 18446612132653978944 0 0 -1 0 0 0 0 [pid=20149/tid=20155] ppid=20148 vsize=411956 CPUtime=0 /proc/20149/task/20155/stat : 20155 (java) S 20148 20148 1511 34817 1511 4202560 1 0 0 0 0 0 0 0 25 0 10 0 4590752 421842944 70677 1283457024 134512640 134550932 4291184048 18446744073709551615 4294960130 0 4 0 16800975 18446612132653978944 0 0 -1 0 0 0 0 [pid=20149/tid=20156] ppid=20148 vsize=411956 CPUtime=0.14 /proc/20149/task/20156/stat : 20156 (java) S 20148 20148 1511 34817 1511 4202560 553 0 0 0 13 1 0 0 15 0 10 0 4590752 421842944 70677 1283457024 134512640 134550932 4291184048 18446744073709551615 4294960130 0 4 0 16800975 18446612132653978944 0 0 -1 0 0 0 0 [pid=20149/tid=20157] ppid=20148 vsize=411956 CPUtime=0 /proc/20149/task/20157/stat : 20157 (java) S 20148 20148 1511 34817 1511 4202560 0 0 0 0 0 0 0 0 25 0 10 0 4590752 421842944 70677 1283457024 134512640 134550932 4291184048 18446744073709551615 4294960130 0 4 0 16800975 18446612132653978944 0 0 -1 0 0 0 0 [pid=20149/tid=20158] ppid=20148 vsize=411956 CPUtime=0 /proc/20149/task/20158/stat : 20158 (java) S 20148 20148 1511 34817 1511 4202560 2 0 0 0 0 0 0 0 15 0 10 0 4590752 421842944 70677 1283457024 134512640 134550932 4291184048 18446744073709551615 4294960130 0 4 0 16800975 18446612132653978944 0 0 -1 0 0 0 0 [pid=20149/tid=20159] ppid=20148 vsize=411956 CPUtime=0 /proc/20149/task/20159/stat : 20159 (java) S 20148 20148 1511 34817 1511 4202560 4 0 0 0 0 0 0 0 25 0 10 0 4591873 421842944 70677 1283457024 134512640 134550932 4291184048 18446744073709551615 4294960130 0 4 0 16800975 18446612132653978944 0 0 -1 0 0 0 0 Current children cumulated CPU time (s) 17.99 Current children cumulated vsize (KiB) 414524 [startup+18.1027 s] /proc/loadavg: 1.25 1.10 1.02 2/45 20159 /proc/meminfo: memFree=210648/1048576 swapFree=0/0 [pid=20148] ppid=20147 vsize=2568 CPUtime=0 /proc/20148/stat : 20148 (gj-trendy-solve) S 20147 20148 1511 34817 1511 4202496 372 0 0 0 0 0 0 0 18 0 1 0 4590749 2629632 269 1283457024 134512640 135304128 4289121408 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0 /proc/20148/statm: 642 269 229 194 0 29 0 [pid=20149] ppid=20148 vsize=411956 CPUtime=18.04 /proc/20149/stat : 20149 (java) S 20148 20148 1511 34817 1511 4202496 99956 0 1 0 1760 44 0 0 25 0 9 0 4590749 421842944 70679 1283457024 134512640 134550932 4291184048 18446744073709551615 4294960130 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 /proc/20149/statm: 102989 70679 2921 10 0 97134 0 [pid=20149/tid=20151] ppid=20148 vsize=411956 CPUtime=9.69 /proc/20149/task/20151/stat : 20151 (java) S 20148 20148 1511 34817 1511 4202560 14129 0 1 0 960 9 0 0 25 0 9 0 4590750 421842944 70679 1283457024 134512640 134550932 4291184048 18446744073709551615 4294960130 0 4 0 16800975 18446612132653978944 0 0 -1 0 0 0 0 [pid=20149/tid=20152] ppid=20148 vsize=411956 CPUtime=8.17 /proc/20149/task/20152/stat : 20152 (java) S 20148 20148 1511 34817 1511 4202560 84327 0 0 0 785 32 0 0 16 0 9 0 4590751 421842944 70679 1283457024 134512640 134550932 4291184048 18446744073709551615 4294960130 0 0 0 16800975 18446612132653978944 0 0 -1 0 0 0 0 [pid=20149/tid=20153] ppid=20148 vsize=411956 CPUtime=0 /proc/20149/task/20153/stat : 20153 (java) S 20148 20148 1511 34817 1511 4202560 15 0 0 0 0 0 0 0 18 0 9 0 4590751 421842944 70679 1283457024 134512640 134550932 4291184048 18446744073709551615 4294960130 0 4 0 16800975 18446612132653978944 0 0 -1 0 0 0 0 [pid=20149/tid=20154] ppid=20148 vsize=411956 CPUtime=0 /proc/20149/task/20154/stat : 20154 (java) S 20148 20148 1511 34817 1511 4202560 5 0 0 0 0 0 0 0 18 0 9 0 4590751 421842944 70679 1283457024 134512640 134550932 4291184048 18446744073709551615 4294960130 0 4 0 16800975 18446612132653978944 0 0 -1 0 0 0 0 [pid=20149/tid=20155] ppid=20148 vsize=411956 CPUtime=0 /proc/20149/task/20155/stat : 20155 (java) S 20148 20148 1511 34817 1511 4202560 1 0 0 0 0 0 0 0 25 0 9 0 4590752 421842944 70679 1283457024 134512640 134550932 4291184048 18446744073709551615 4294960130 0 4 0 16800975 18446612132653978944 0 0 -1 0 0 0 0 [pid=20149/tid=20156] ppid=20148 vsize=411956 CPUtime=0.15 /proc/20149/task/20156/stat : 20156 (java) S 20148 20148 1511 34817 1511 4202560 554 0 0 0 14 1 0 0 15 0 9 0 4590752 421842944 70679 1283457024 134512640 134550932 4291184048 18446744073709551615 4294960130 0 4 0 16800975 18446612132653978944 0 0 -1 0 0 0 0 [pid=20149/tid=20157] ppid=20148 vsize=411956 CPUtime=0 /proc/20149/task/20157/stat : 20157 (java) S 20148 20148 1511 34817 1511 4202560 0 0 0 0 0 0 0 0 25 0 9 0 4590752 421842944 70679 1283457024 134512640 134550932 4291184048 18446744073709551615 4294960130 0 4 0 16800975 18446612132653978944 0 0 -1 0 0 0 0 [pid=20149/tid=20158] ppid=20148 vsize=411956 CPUtime=0 /proc/20149/task/20158/stat : 20158 (java) R 20148 20148 1511 34817 1511 4202560 2 0 0 0 0 0 0 0 15 0 9 0 4590752 421842944 70679 1283457024 134512640 134550932 4291184048 18446744073709551615 4294960130 0 4 0 16800975 0 0 0 -1 0 0 0 0 Current children cumulated CPU time (s) 18.04 Current children cumulated vsize (KiB) 414524 Child status: 0 Real time (s): 18.1229 CPU time (s): 18.0651 CPU user time (s): 17.6131 CPU system time (s): 0.452028 CPU usage (%): 99.6811 Max. virtual memory (cumulated for all children) (KiB): 442580 getrusage(RUSAGE_CHILDREN,...) data: user time used= 17.6131 system time used= 0.452028 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 100343 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= 1150 involuntary context switches= 1385 runsolver used 0 second user time and 0 second system time The end