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/rand21.cudf.dudf-random.log.runsolver ./gj-user-solver-1.0 /home/misc2010/data/2011/dudf-random//rand21.cudf /home/misc2010/tmp/201109011757/gj-user-solver-1.0/rand21.cudf.dudf-random.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.06 0.94 0.55 4/39 23222 /proc/meminfo: memFree=814204/1048576 swapFree=0/0 [pid=23221] ppid=23220 vsize=2572 CPUtime=0 /proc/23221/stat : 23221 (gj-user-solver-) S 23220 23221 22717 34817 22717 4202496 373 0 0 0 0 0 0 0 18 0 1 0 71667216 2633728 270 1283457024 134512640 135304128 4288926704 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0 /proc/23221/statm: 643 270 229 194 0 30 0 [pid=23222] ppid=23221 vsize=11044 CPUtime=0 /proc/23222/stat : 23222 (java) R 23221 23221 22717 34817 22717 4202496 656 0 0 0 0 0 0 0 25 0 1 0 71667216 11309056 392 1283457024 134512640 134550932 4286810448 18446744073709551615 4159760098 0 0 0 0 0 0 0 17 0 0 0 0 /proc/23222/statm: 2761 392 177 10 0 1103 0 [startup+0.145295 s] /proc/loadavg: 1.06 0.94 0.55 4/39 23222 /proc/meminfo: memFree=814204/1048576 swapFree=0/0 [pid=23221] ppid=23220 vsize=2572 CPUtime=0 /proc/23221/stat : 23221 (gj-user-solver-) S 23220 23221 22717 34817 22717 4202496 373 0 0 0 0 0 0 0 18 0 1 0 71667216 2633728 270 1283457024 134512640 135304128 4288926704 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0 /proc/23221/statm: 643 270 229 194 0 30 0 [pid=23222] ppid=23221 vsize=409924 CPUtime=0.14 /proc/23222/stat : 23222 (java) S 23221 23221 22717 34817 22717 4202496 3926 0 1 0 11 3 0 0 25 0 9 0 71667216 419762176 3354 1283457024 134512640 134550932 4286810448 18446744073709551615 4294960130 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 /proc/23222/statm: 102481 3354 1906 10 0 96629 0 Current children cumulated CPU time (s) 0.14 Current children cumulated vsize (KiB) 412496 [startup+0.205299 s] /proc/loadavg: 1.06 0.94 0.55 4/39 23222 /proc/meminfo: memFree=814204/1048576 swapFree=0/0 [pid=23221] ppid=23220 vsize=2572 CPUtime=0 /proc/23221/stat : 23221 (gj-user-solver-) S 23220 23221 22717 34817 22717 4202496 373 0 0 0 0 0 0 0 18 0 1 0 71667216 2633728 270 1283457024 134512640 135304128 4288926704 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0 /proc/23221/statm: 643 270 229 194 0 30 0 [pid=23222] ppid=23221 vsize=409924 CPUtime=0.2 /proc/23222/stat : 23222 (java) S 23221 23221 22717 34817 22717 4202496 4057 0 1 0 17 3 0 0 25 0 9 0 71667216 419762176 3485 1283457024 134512640 134550932 4286810448 18446744073709551615 4294960130 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 /proc/23222/statm: 102481 3485 1906 10 0 96629 0 Current children cumulated CPU time (s) 0.2 Current children cumulated vsize (KiB) 412496 [startup+0.305341 s] /proc/loadavg: 1.06 0.94 0.55 4/39 23222 /proc/meminfo: memFree=814204/1048576 swapFree=0/0 [pid=23221] ppid=23220 vsize=2572 CPUtime=0 /proc/23221/stat : 23221 (gj-user-solver-) S 23220 23221 22717 34817 22717 4202496 373 0 0 0 0 0 0 0 18 0 1 0 71667216 2633728 270 1283457024 134512640 135304128 4288926704 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0 /proc/23221/statm: 643 270 229 194 0 30 0 [pid=23222] ppid=23221 vsize=410476 CPUtime=0.3 /proc/23222/stat : 23222 (java) S 23221 23221 22717 34817 22717 4202496 4426 0 1 0 27 3 0 0 25 0 9 0 71667216 420327424 3854 1283457024 134512640 134550932 4286810448 18446744073709551615 4294960130 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 /proc/23222/statm: 102619 3854 1934 10 0 96767 0 Current children cumulated CPU time (s) 0.3 Current children cumulated vsize (KiB) 413048 [startup+0.705452 s] /proc/loadavg: 1.06 0.94 0.55 4/39 23222 /proc/meminfo: memFree=814204/1048576 swapFree=0/0 [pid=23221] ppid=23220 vsize=2572 CPUtime=0 /proc/23221/stat : 23221 (gj-user-solver-) S 23220 23221 22717 34817 22717 4202496 373 0 0 0 0 0 0 0 18 0 1 0 71667216 2633728 270 1283457024 134512640 135304128 4288926704 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0 /proc/23221/statm: 643 270 229 194 0 30 0 [pid=23222] ppid=23221 vsize=410616 CPUtime=0.7 /proc/23222/stat : 23222 (java) S 23221 23221 22717 34817 22717 4202496 12017 0 1 0 66 4 0 0 25 0 9 0 71667216 420470784 11257 1283457024 134512640 134550932 4286810448 18446744073709551615 4294960130 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 /proc/23222/statm: 102654 11257 2901 10 0 96802 0 Current children cumulated CPU time (s) 0.7 Current children cumulated vsize (KiB) 413188 [startup+1.5057 s] /proc/loadavg: 1.06 0.94 0.55 2/48 23232 /proc/meminfo: memFree=756212/1048576 swapFree=0/0 [pid=23221] ppid=23220 vsize=2572 CPUtime=0 /proc/23221/stat : 23221 (gj-user-solver-) S 23220 23221 22717 34817 22717 4202496 373 0 0 0 0 0 0 0 18 0 1 0 71667216 2633728 270 1283457024 134512640 135304128 4288926704 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0 /proc/23221/statm: 643 270 229 194 0 30 0 [pid=23222] ppid=23221 vsize=410748 CPUtime=1.5 /proc/23222/stat : 23222 (java) S 23221 23221 22717 34817 22717 4202496 26815 0 1 0 143 7 0 0 25 0 9 0 71667216 420605952 26055 1283457024 134512640 134550932 4286810448 18446744073709551615 4294960130 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 /proc/23222/statm: 102687 26055 2901 10 0 96835 0 [pid=23222/tid=23224] ppid=23221 vsize=410748 CPUtime=0.8 /proc/23222/task/23224/stat : 23224 (java) R 23221 23221 22717 34817 22717 4202560 6759 0 1 0 74 6 0 0 25 0 9 0 71667217 420605952 26055 1283457024 134512640 134550932 4286810448 18446744073709551615 4294960130 0 4 0 16800975 0 0 0 -1 0 0 0 0 [pid=23222/tid=23225] ppid=23221 vsize=410748 CPUtime=0.63 /proc/23222/task/23225/stat : 23225 (java) R 23221 23221 22717 34817 22717 4202560 18668 0 0 0 63 0 0 0 18 0 9 0 71667217 420605952 26055 1283457024 134512640 134550932 4286810448 18446744073709551615 4150936480 0 0 0 16800975 0 0 0 -1 0 0 0 0 [pid=23222/tid=23226] ppid=23221 vsize=410748 CPUtime=0 /proc/23222/task/23226/stat : 23226 (java) S 23221 23221 22717 34817 22717 4202560 15 0 0 0 0 0 0 0 20 0 9 0 71667218 420605952 26055 1283457024 134512640 134550932 4286810448 18446744073709551615 4294960130 0 4 0 16800975 18446612133256535104 0 0 -1 0 0 0 0 [pid=23222/tid=23227] ppid=23221 vsize=410748 CPUtime=0 /proc/23222/task/23227/stat : 23227 (java) S 23221 23221 22717 34817 22717 4202560 5 0 0 0 0 0 0 0 20 0 9 0 71667218 420605952 26055 1283457024 134512640 134550932 4286810448 18446744073709551615 4294960130 0 4 0 16800975 18446612133256535104 0 0 -1 0 0 0 0 [pid=23222/tid=23228] ppid=23221 vsize=410748 CPUtime=0 /proc/23222/task/23228/stat : 23228 (java) S 23221 23221 22717 34817 22717 4202560 1 0 0 0 0 0 0 0 25 0 9 0 71667219 420605952 26055 1283457024 134512640 134550932 4286810448 18446744073709551615 4294960130 0 4 0 16800975 18446612133256535104 0 0 -1 0 0 0 0 [pid=23222/tid=23229] ppid=23221 vsize=410748 CPUtime=0.05 /proc/23222/task/23229/stat : 23229 (java) S 23221 23221 22717 34817 22717 4202560 447 0 0 0 5 0 0 0 16 0 9 0 71667219 420605952 26055 1283457024 134512640 134550932 4286810448 18446744073709551615 4294960130 0 4 0 16800975 18446612133256535104 0 0 -1 0 0 0 0 [pid=23222/tid=23230] ppid=23221 vsize=410748 CPUtime=0 /proc/23222/task/23230/stat : 23230 (java) S 23221 23221 22717 34817 22717 4202560 1 0 0 0 0 0 0 0 25 0 9 0 71667219 420605952 26055 1283457024 134512640 134550932 4286810448 18446744073709551615 4294960130 0 4 0 16800975 18446612133256535104 0 0 -1 0 0 0 0 [pid=23222/tid=23231] ppid=23221 vsize=410748 CPUtime=0 /proc/23222/task/23231/stat : 23231 (java) S 23221 23221 22717 34817 22717 4202560 1 0 0 0 0 0 0 0 15 0 9 0 71667219 420605952 26055 1283457024 134512640 134550932 4286810448 18446744073709551615 4294960130 0 4 0 16800975 18446612133256535104 0 0 -1 0 0 0 0 Current children cumulated CPU time (s) 1.5 Current children cumulated vsize (KiB) 413320 [startup+3.11614 s] /proc/loadavg: 1.06 0.94 0.55 2/48 23232 /proc/meminfo: memFree=683548/1048576 swapFree=0/0 [pid=23221] ppid=23220 vsize=2572 CPUtime=0 /proc/23221/stat : 23221 (gj-user-solver-) S 23220 23221 22717 34817 22717 4202496 373 0 0 0 0 0 0 0 18 0 1 0 71667216 2633728 270 1283457024 134512640 135304128 4288926704 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0 /proc/23221/statm: 643 270 229 194 0 30 0 [pid=23222] ppid=23221 vsize=410880 CPUtime=3.11 /proc/23222/stat : 23222 (java) S 23221 23221 22717 34817 22717 4202496 49717 0 1 0 292 19 0 0 25 0 9 0 71667216 420741120 48957 1283457024 134512640 134550932 4286810448 18446744073709551615 4294960130 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 /proc/23222/statm: 102720 48957 2901 10 0 96868 0 [pid=23222/tid=23224] ppid=23221 vsize=410880 CPUtime=1.4 /proc/23222/task/23224/stat : 23224 (java) R 23221 23221 22717 34817 22717 4202560 13943 0 1 0 128 12 0 0 25 0 9 0 71667217 420741120 48957 1283457024 134512640 134550932 4286810448 18446744073709551615 4294960130 0 4 0 16800975 0 0 0 -1 0 0 0 0 [pid=23222/tid=23225] ppid=23221 vsize=410880 CPUtime=1.63 /proc/23222/task/23225/stat : 23225 (java) R 23221 23221 22717 34817 22717 4202560 34381 0 0 0 158 5 0 0 15 0 9 0 71667217 420741120 48957 1283457024 134512640 134550932 4286810448 18446744073709551615 4150635562 0 0 0 16800975 0 0 0 -1 0 0 0 0 [pid=23222/tid=23226] ppid=23221 vsize=410880 CPUtime=0 /proc/23222/task/23226/stat : 23226 (java) S 23221 23221 22717 34817 22717 4202560 15 0 0 0 0 0 0 0 20 0 9 0 71667218 420741120 48957 1283457024 134512640 134550932 4286810448 18446744073709551615 4294960130 0 4 0 16800975 18446612133256535104 0 0 -1 0 0 0 0 [pid=23222/tid=23227] ppid=23221 vsize=410880 CPUtime=0 /proc/23222/task/23227/stat : 23227 (java) S 23221 23221 22717 34817 22717 4202560 5 0 0 0 0 0 0 0 20 0 9 0 71667218 420741120 48957 1283457024 134512640 134550932 4286810448 18446744073709551615 4294960130 0 4 0 16800975 18446612133256535104 0 0 -1 0 0 0 0 [pid=23222/tid=23228] ppid=23221 vsize=410880 CPUtime=0 /proc/23222/task/23228/stat : 23228 (java) S 23221 23221 22717 34817 22717 4202560 1 0 0 0 0 0 0 0 25 0 9 0 71667219 420741120 48957 1283457024 134512640 134550932 4286810448 18446744073709551615 4294960130 0 4 0 16800975 18446612133256535104 0 0 -1 0 0 0 0 [pid=23222/tid=23229] ppid=23221 vsize=410880 CPUtime=0.05 /proc/23222/task/23229/stat : 23229 (java) S 23221 23221 22717 34817 22717 4202560 452 0 0 0 5 0 0 0 16 0 9 0 71667219 420741120 48957 1283457024 134512640 134550932 4286810448 18446744073709551615 4294960130 0 4 0 16800975 18446612133256535104 0 0 -1 0 0 0 0 [pid=23222/tid=23230] ppid=23221 vsize=410880 CPUtime=0 /proc/23222/task/23230/stat : 23230 (java) S 23221 23221 22717 34817 22717 4202560 1 0 0 0 0 0 0 0 25 0 9 0 71667219 420741120 48957 1283457024 134512640 134550932 4286810448 18446744073709551615 4294960130 0 4 0 16800975 18446612133256535104 0 0 -1 0 0 0 0 [pid=23222/tid=23231] ppid=23221 vsize=410880 CPUtime=0 /proc/23222/task/23231/stat : 23231 (java) S 23221 23221 22717 34817 22717 4202560 1 0 0 0 0 0 0 0 15 0 9 0 71667219 420741120 48957 1283457024 134512640 134550932 4286810448 18446744073709551615 4294960130 0 4 0 16800975 18446612133256535104 0 0 -1 0 0 0 0 Current children cumulated CPU time (s) 3.11 Current children cumulated vsize (KiB) 413452 [startup+6.3075 s] /proc/loadavg: 1.14 0.96 0.56 3/48 23232 /proc/meminfo: memFree=547892/1048576 swapFree=0/0 [pid=23221] ppid=23220 vsize=2572 CPUtime=0 /proc/23221/stat : 23221 (gj-user-solver-) S 23220 23221 22717 34817 22717 4202496 373 0 0 0 0 0 0 0 18 0 1 0 71667216 2633728 270 1283457024 134512640 135304128 4288926704 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0 /proc/23221/statm: 643 270 229 194 0 30 0 [pid=23222] ppid=23221 vsize=438864 CPUtime=6.26 /proc/23222/stat : 23222 (java) S 23221 23221 22717 34817 22717 4202496 77991 0 1 0 596 30 0 0 25 0 9 0 71667216 449396736 77225 1283457024 134512640 134550932 4286810448 18446744073709551615 4294960130 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 /proc/23222/statm: 109716 77225 2903 10 0 103864 0 [pid=23222/tid=23224] ppid=23221 vsize=438864 CPUtime=2.28 /proc/23222/task/23224/stat : 23224 (java) R 23221 23221 22717 34817 22717 4202560 13961 0 1 0 216 12 0 0 25 0 9 0 71667217 449396736 77225 1283457024 134512640 134550932 4286810448 18446744073709551615 4294960130 0 4 0 16800975 0 0 0 -1 0 0 0 0 [pid=23222/tid=23225] ppid=23221 vsize=438864 CPUtime=3.9 /proc/23222/task/23225/stat : 23225 (java) R 23221 23221 22717 34817 22717 4202560 62617 0 0 0 373 17 0 0 16 0 9 0 71667217 449396736 77225 1283457024 134512640 134550932 4286810448 18446744073709551615 4152747487 0 0 0 16800975 0 0 0 -1 0 0 0 0 [pid=23222/tid=23226] ppid=23221 vsize=438864 CPUtime=0 /proc/23222/task/23226/stat : 23226 (java) S 23221 23221 22717 34817 22717 4202560 15 0 0 0 0 0 0 0 18 0 9 0 71667218 449396736 77225 1283457024 134512640 134550932 4286810448 18446744073709551615 4294960130 0 4 0 16800975 18446612133256535104 0 0 -1 0 0 0 0 [pid=23222/tid=23227] ppid=23221 vsize=438864 CPUtime=0 /proc/23222/task/23227/stat : 23227 (java) S 23221 23221 22717 34817 22717 4202560 5 0 0 0 0 0 0 0 18 0 9 0 71667218 449396736 77225 1283457024 134512640 134550932 4286810448 18446744073709551615 4294960130 0 4 0 16800975 18446612133256535104 0 0 -1 0 0 0 0 [pid=23222/tid=23228] ppid=23221 vsize=438864 CPUtime=0 /proc/23222/task/23228/stat : 23228 (java) S 23221 23221 22717 34817 22717 4202560 1 0 0 0 0 0 0 0 25 0 9 0 71667219 449396736 77225 1283457024 134512640 134550932 4286810448 18446744073709551615 4294960130 0 4 0 16800975 18446612133256535104 0 0 -1 0 0 0 0 [pid=23222/tid=23229] ppid=23221 vsize=438864 CPUtime=0.07 /proc/23222/task/23229/stat : 23229 (java) S 23221 23221 22717 34817 22717 4202560 472 0 0 0 7 0 0 0 16 0 9 0 71667219 449396736 77225 1283457024 134512640 134550932 4286810448 18446744073709551615 4294960130 0 4 0 16800975 18446612133256535104 0 0 -1 0 0 0 0 [pid=23222/tid=23230] ppid=23221 vsize=438864 CPUtime=0 /proc/23222/task/23230/stat : 23230 (java) S 23221 23221 22717 34817 22717 4202560 1 0 0 0 0 0 0 0 25 0 9 0 71667219 449396736 77225 1283457024 134512640 134550932 4286810448 18446744073709551615 4294960130 0 4 0 16800975 18446612133256535104 0 0 -1 0 0 0 0 [pid=23222/tid=23231] ppid=23221 vsize=438864 CPUtime=0 /proc/23222/task/23231/stat : 23231 (java) S 23221 23221 22717 34817 22717 4202560 1 0 0 0 0 0 0 0 15 0 9 0 71667219 449396736 77225 1283457024 134512640 134550932 4286810448 18446744073709551615 4294960130 0 4 0 16800975 18446612133256535104 0 0 -1 0 0 0 0 Current children cumulated CPU time (s) 6.26 Current children cumulated vsize (KiB) 441436 [startup+12.7094 s] /proc/loadavg: 1.21 0.98 0.56 3/48 23233 /proc/meminfo: memFree=515900/1048576 swapFree=0/0 [pid=23221] ppid=23220 vsize=2572 CPUtime=0 /proc/23221/stat : 23221 (gj-user-solver-) S 23220 23221 22717 34817 22717 4202496 373 0 0 0 0 0 0 0 18 0 1 0 71667216 2633728 270 1283457024 134512640 135304128 4288926704 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0 /proc/23221/statm: 643 270 229 194 0 30 0 [pid=23222] ppid=23221 vsize=413948 CPUtime=12.67 /proc/23222/stat : 23222 (java) S 23221 23221 22717 34817 22717 4202496 104105 0 1 0 1226 41 0 0 25 0 9 0 71667216 423882752 71190 1283457024 134512640 134550932 4286810448 18446744073709551615 4294960130 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 /proc/23222/statm: 103487 71190 2918 10 0 97632 0 [pid=23222/tid=23224] ppid=23221 vsize=413948 CPUtime=3.21 /proc/23222/task/23224/stat : 23224 (java) R 23221 23221 22717 34817 22717 4202560 14197 0 1 0 309 12 0 0 25 0 9 0 71667217 423882752 71190 1283457024 134512640 134550932 4286810448 18446744073709551615 4294960130 0 4 0 16800975 0 0 0 -1 0 0 0 0 [pid=23222/tid=23225] ppid=23221 vsize=413948 CPUtime=9.35 /proc/23222/task/23225/stat : 23225 (java) R 23221 23221 22717 34817 22717 4202560 88462 0 0 0 908 27 0 0 16 0 9 0 71667217 423882752 71190 1283457024 134512640 134550932 4286810448 18446744073709551615 4152749620 0 0 0 16800975 0 0 0 -1 0 0 0 0 [pid=23222/tid=23226] ppid=23221 vsize=413948 CPUtime=0 /proc/23222/task/23226/stat : 23226 (java) S 23221 23221 22717 34817 22717 4202560 15 0 0 0 0 0 0 0 18 0 9 0 71667218 423882752 71190 1283457024 134512640 134550932 4286810448 18446744073709551615 4294960130 0 4 0 16800975 18446612133256535104 0 0 -1 0 0 0 0 [pid=23222/tid=23227] ppid=23221 vsize=413948 CPUtime=0 /proc/23222/task/23227/stat : 23227 (java) S 23221 23221 22717 34817 22717 4202560 5 0 0 0 0 0 0 0 18 0 9 0 71667218 423882752 71190 1283457024 134512640 134550932 4286810448 18446744073709551615 4294960130 0 4 0 16800975 18446612133256535104 0 0 -1 0 0 0 0 [pid=23222/tid=23228] ppid=23221 vsize=413948 CPUtime=0 /proc/23222/task/23228/stat : 23228 (java) S 23221 23221 22717 34817 22717 4202560 1 0 0 0 0 0 0 0 25 0 9 0 71667219 423882752 71190 1283457024 134512640 134550932 4286810448 18446744073709551615 4294960130 0 4 0 16800975 18446612133256535104 0 0 -1 0 0 0 0 [pid=23222/tid=23229] ppid=23221 vsize=413948 CPUtime=0.08 /proc/23222/task/23229/stat : 23229 (java) S 23221 23221 22717 34817 22717 4202560 505 0 0 0 8 0 0 0 15 0 9 0 71667219 423882752 71190 1283457024 134512640 134550932 4286810448 18446744073709551615 4294960130 0 4 0 16800975 18446612133256535104 0 0 -1 0 0 0 0 [pid=23222/tid=23230] ppid=23221 vsize=413948 CPUtime=0 /proc/23222/task/23230/stat : 23230 (java) S 23221 23221 22717 34817 22717 4202560 1 0 0 0 0 0 0 0 25 0 9 0 71667219 423882752 71190 1283457024 134512640 134550932 4286810448 18446744073709551615 4294960130 0 4 0 16800975 18446612133256535104 0 0 -1 0 0 0 0 [pid=23222/tid=23231] ppid=23221 vsize=413948 CPUtime=0 /proc/23222/task/23231/stat : 23231 (java) S 23221 23221 22717 34817 22717 4202560 1 0 0 0 0 0 0 0 15 0 9 0 71667219 423882752 71190 1283457024 134512640 134550932 4286810448 18446744073709551615 4294960130 0 4 0 16800975 18446612133256535104 0 0 -1 0 0 0 0 Current children cumulated CPU time (s) 12.67 Current children cumulated vsize (KiB) 416520 [startup+25.5128 s] /proc/loadavg: 1.23 0.99 0.57 2/48 23234 /proc/meminfo: memFree=540336/1048576 swapFree=0/0 [pid=23221] ppid=23220 vsize=2572 CPUtime=0 /proc/23221/stat : 23221 (gj-user-solver-) S 23220 23221 22717 34817 22717 4202496 373 0 0 0 0 0 0 0 18 0 1 0 71667216 2633728 270 1283457024 134512640 135304128 4288926704 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0 /proc/23221/statm: 643 270 229 194 0 30 0 [pid=23222] ppid=23221 vsize=414272 CPUtime=25.46 /proc/23222/stat : 23222 (java) S 23221 23221 22717 34817 22717 4202496 104186 0 1 0 2504 42 0 0 25 0 10 0 71667216 424214528 71270 1283457024 134512640 134550932 4286810448 18446744073709551615 4294960130 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 /proc/23222/statm: 103568 71270 2922 10 0 97713 0 [pid=23222/tid=23224] ppid=23221 vsize=414272 CPUtime=15.54 /proc/23222/task/23224/stat : 23224 (java) R 23221 23221 22717 34817 22717 4202560 14214 0 1 0 1541 13 0 0 25 0 10 0 71667217 424214528 71270 1283457024 134512640 134550932 4286810448 18446744073709551615 4115193968 0 4 0 16800975 0 0 0 -1 0 0 0 0 [pid=23222/tid=23225] ppid=23221 vsize=414272 CPUtime=9.77 /proc/23222/task/23225/stat : 23225 (java) S 23221 23221 22717 34817 22717 4202560 88464 0 0 0 950 27 0 0 15 0 10 0 71667217 424214528 71270 1283457024 134512640 134550932 4286810448 18446744073709551615 4294960130 0 0 0 16800975 18446612133256535104 0 0 -1 0 0 0 0 [pid=23222/tid=23226] ppid=23221 vsize=414272 CPUtime=0 /proc/23222/task/23226/stat : 23226 (java) S 23221 23221 22717 34817 22717 4202560 15 0 0 0 0 0 0 0 18 0 10 0 71667218 424214528 71270 1283457024 134512640 134550932 4286810448 18446744073709551615 4294960130 0 4 0 16800975 18446612133256535104 0 0 -1 0 0 0 0 [pid=23222/tid=23227] ppid=23221 vsize=414272 CPUtime=0 /proc/23222/task/23227/stat : 23227 (java) S 23221 23221 22717 34817 22717 4202560 5 0 0 0 0 0 0 0 18 0 10 0 71667218 424214528 71270 1283457024 134512640 134550932 4286810448 18446744073709551615 4294960130 0 4 0 16800975 18446612133256535104 0 0 -1 0 0 0 0 [pid=23222/tid=23228] ppid=23221 vsize=414272 CPUtime=0 /proc/23222/task/23228/stat : 23228 (java) S 23221 23221 22717 34817 22717 4202560 1 0 0 0 0 0 0 0 25 0 10 0 71667219 424214528 71270 1283457024 134512640 134550932 4286810448 18446744073709551615 4294960130 0 4 0 16800975 18446612133256535104 0 0 -1 0 0 0 0 [pid=23222/tid=23229] ppid=23221 vsize=414272 CPUtime=0.12 /proc/23222/task/23229/stat : 23229 (java) S 23221 23221 22717 34817 22717 4202560 563 0 0 0 12 0 0 0 15 0 10 0 71667219 424214528 71270 1283457024 134512640 134550932 4286810448 18446744073709551615 4294960130 0 4 0 16800975 18446612133256535104 0 0 -1 0 0 0 0 [pid=23222/tid=23230] ppid=23221 vsize=414272 CPUtime=0 /proc/23222/task/23230/stat : 23230 (java) S 23221 23221 22717 34817 22717 4202560 1 0 0 0 0 0 0 0 25 0 10 0 71667219 424214528 71270 1283457024 134512640 134550932 4286810448 18446744073709551615 4294960130 0 4 0 16800975 18446612133256535104 0 0 -1 0 0 0 0 [pid=23222/tid=23231] ppid=23221 vsize=414272 CPUtime=0 /proc/23222/task/23231/stat : 23231 (java) S 23221 23221 22717 34817 22717 4202560 1 0 0 0 0 0 0 0 15 0 10 0 71667219 424214528 71270 1283457024 134512640 134550932 4286810448 18446744073709551615 4294960130 0 4 0 16800975 18446612133256535104 0 0 -1 0 0 0 0 [pid=23222/tid=23234] ppid=23221 vsize=414272 CPUtime=0 /proc/23222/task/23234/stat : 23234 (java) S 23221 23221 22717 34817 22717 4202560 4 0 0 0 0 0 0 0 25 0 10 0 71668501 424214528 71270 1283457024 134512640 134550932 4286810448 18446744073709551615 4294960130 0 4 0 16800975 18446612133256535104 0 0 -1 0 0 0 0 Current children cumulated CPU time (s) 25.46 Current children cumulated vsize (KiB) 416844 [startup+51.1088 s] /proc/loadavg: 1.15 0.99 0.58 2/48 23234 /proc/meminfo: memFree=540336/1048576 swapFree=0/0 [pid=23221] ppid=23220 vsize=2572 CPUtime=0 /proc/23221/stat : 23221 (gj-user-solver-) S 23220 23221 22717 34817 22717 4202496 373 0 0 0 0 0 0 0 18 0 1 0 71667216 2633728 270 1283457024 134512640 135304128 4288926704 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0 /proc/23221/statm: 643 270 229 194 0 30 0 [pid=23222] ppid=23221 vsize=414272 CPUtime=51.04 /proc/23222/stat : 23222 (java) S 23221 23221 22717 34817 22717 4202496 104189 0 1 0 5060 44 0 0 25 0 10 0 71667216 424214528 71273 1283457024 134512640 134550932 4286810448 18446744073709551615 4294960130 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 /proc/23222/statm: 103568 71273 2922 10 0 97713 0 [pid=23222/tid=23224] ppid=23221 vsize=414272 CPUtime=40.37 /proc/23222/task/23224/stat : 23224 (java) R 23221 23221 22717 34817 22717 4202560 14215 0 1 0 4022 15 0 0 25 0 10 0 71667217 424214528 71273 1283457024 134512640 134550932 4286810448 18446744073709551615 4115340122 0 4 0 16800975 0 0 0 -1 0 0 0 0 [pid=23222/tid=23225] ppid=23221 vsize=414272 CPUtime=10.53 /proc/23222/task/23225/stat : 23225 (java) S 23221 23221 22717 34817 22717 4202560 88464 0 0 0 1026 27 0 0 15 0 10 0 71667217 424214528 71273 1283457024 134512640 134550932 4286810448 18446744073709551615 4294960130 0 0 0 16800975 18446612133256535104 0 0 -1 0 0 0 0 [pid=23222/tid=23226] ppid=23221 vsize=414272 CPUtime=0 /proc/23222/task/23226/stat : 23226 (java) S 23221 23221 22717 34817 22717 4202560 15 0 0 0 0 0 0 0 18 0 10 0 71667218 424214528 71273 1283457024 134512640 134550932 4286810448 18446744073709551615 4294960130 0 4 0 16800975 18446612133256535104 0 0 -1 0 0 0 0 [pid=23222/tid=23227] ppid=23221 vsize=414272 CPUtime=0 /proc/23222/task/23227/stat : 23227 (java) S 23221 23221 22717 34817 22717 4202560 5 0 0 0 0 0 0 0 18 0 10 0 71667218 424214528 71273 1283457024 134512640 134550932 4286810448 18446744073709551615 4294960130 0 4 0 16800975 18446612133256535104 0 0 -1 0 0 0 0 [pid=23222/tid=23228] ppid=23221 vsize=414272 CPUtime=0 /proc/23222/task/23228/stat : 23228 (java) S 23221 23221 22717 34817 22717 4202560 1 0 0 0 0 0 0 0 25 0 10 0 71667219 424214528 71273 1283457024 134512640 134550932 4286810448 18446744073709551615 4294960130 0 4 0 16800975 18446612133256535104 0 0 -1 0 0 0 0 [pid=23222/tid=23229] ppid=23221 vsize=414272 CPUtime=0.12 /proc/23222/task/23229/stat : 23229 (java) S 23221 23221 22717 34817 22717 4202560 565 0 0 0 12 0 0 0 15 0 10 0 71667219 424214528 71273 1283457024 134512640 134550932 4286810448 18446744073709551615 4294960130 0 4 0 16800975 18446612133256535104 0 0 -1 0 0 0 0 [pid=23222/tid=23230] ppid=23221 vsize=414272 CPUtime=0 /proc/23222/task/23230/stat : 23230 (java) S 23221 23221 22717 34817 22717 4202560 1 0 0 0 0 0 0 0 25 0 10 0 71667219 424214528 71273 1283457024 134512640 134550932 4286810448 18446744073709551615 4294960130 0 4 0 16800975 18446612133256535104 0 0 -1 0 0 0 0 [pid=23222/tid=23231] ppid=23221 vsize=414272 CPUtime=0 /proc/23222/task/23231/stat : 23231 (java) S 23221 23221 22717 34817 22717 4202560 1 0 0 0 0 0 0 0 15 0 10 0 71667219 424214528 71273 1283457024 134512640 134550932 4286810448 18446744073709551615 4294960130 0 4 0 16800975 18446612133256535104 0 0 -1 0 0 0 0 [pid=23222/tid=23234] ppid=23221 vsize=414272 CPUtime=0 /proc/23222/task/23234/stat : 23234 (java) S 23221 23221 22717 34817 22717 4202560 4 0 0 0 0 0 0 0 25 0 10 0 71668501 424214528 71273 1283457024 134512640 134550932 4286810448 18446744073709551615 4294960130 0 4 0 16800975 18446612133256535104 0 0 -1 0 0 0 0 Current children cumulated CPU time (s) 51.04 Current children cumulated vsize (KiB) 416844 [startup+102.31 s] /proc/loadavg: 1.06 0.99 0.60 2/47 23234 /proc/meminfo: memFree=540344/1048576 swapFree=0/0 [pid=23221] ppid=23220 vsize=2572 CPUtime=0 /proc/23221/stat : 23221 (gj-user-solver-) S 23220 23221 22717 34817 22717 4202496 373 0 0 0 0 0 0 0 18 0 1 0 71667216 2633728 270 1283457024 134512640 135304128 4288926704 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0 /proc/23221/statm: 643 270 229 194 0 30 0 [pid=23222] ppid=23221 vsize=414272 CPUtime=102.2 /proc/23222/stat : 23222 (java) S 23221 23221 22717 34817 22717 4202496 104197 0 1 0 10174 46 0 0 25 0 10 0 71667216 424214528 71281 1283457024 134512640 134550932 4286810448 18446744073709551615 4294960130 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 /proc/23222/statm: 103568 71281 2922 10 0 97713 0 [pid=23222/tid=23224] ppid=23221 vsize=414272 CPUtime=90.8 /proc/23222/task/23224/stat : 23224 (java) R 23221 23221 22717 34817 22717 4202560 14215 0 1 0 9063 17 0 0 25 0 10 0 71667217 424214528 71281 1283457024 134512640 134550932 4286810448 18446744073709551615 4115388284 0 4 0 16800975 0 0 0 -1 0 0 0 0 [pid=23222/tid=23225] ppid=23221 vsize=414272 CPUtime=11.24 /proc/23222/task/23225/stat : 23225 (java) S 23221 23221 22717 34817 22717 4202560 88464 0 0 0 1097 27 0 0 15 0 10 0 71667217 424214528 71281 1283457024 134512640 134550932 4286810448 18446744073709551615 4294960130 0 0 0 16800975 18446612133256535104 0 0 -1 0 0 0 0 [pid=23222/tid=23226] ppid=23221 vsize=414272 CPUtime=0 /proc/23222/task/23226/stat : 23226 (java) S 23221 23221 22717 34817 22717 4202560 15 0 0 0 0 0 0 0 18 0 10 0 71667218 424214528 71281 1283457024 134512640 134550932 4286810448 18446744073709551615 4294960130 0 4 0 16800975 18446612133256535104 0 0 -1 0 0 0 0 [pid=23222/tid=23227] ppid=23221 vsize=414272 CPUtime=0 /proc/23222/task/23227/stat : 23227 (java) S 23221 23221 22717 34817 22717 4202560 5 0 0 0 0 0 0 0 18 0 10 0 71667218 424214528 71281 1283457024 134512640 134550932 4286810448 18446744073709551615 4294960130 0 4 0 16800975 18446612133256535104 0 0 -1 0 0 0 0 [pid=23222/tid=23228] ppid=23221 vsize=414272 CPUtime=0 /proc/23222/task/23228/stat : 23228 (java) S 23221 23221 22717 34817 22717 4202560 1 0 0 0 0 0 0 0 25 0 10 0 71667219 424214528 71281 1283457024 134512640 134550932 4286810448 18446744073709551615 4294960130 0 4 0 16800975 18446612133256535104 0 0 -1 0 0 0 0 [pid=23222/tid=23229] ppid=23221 vsize=414272 CPUtime=0.13 /proc/23222/task/23229/stat : 23229 (java) S 23221 23221 22717 34817 22717 4202560 573 0 0 0 13 0 0 0 15 0 10 0 71667219 424214528 71281 1283457024 134512640 134550932 4286810448 18446744073709551615 4294960130 0 4 0 16800975 18446612133256535104 0 0 -1 0 0 0 0 [pid=23222/tid=23230] ppid=23221 vsize=414272 CPUtime=0 /proc/23222/task/23230/stat : 23230 (java) S 23221 23221 22717 34817 22717 4202560 1 0 0 0 0 0 0 0 25 0 10 0 71667219 424214528 71281 1283457024 134512640 134550932 4286810448 18446744073709551615 4294960130 0 4 0 16800975 18446612133256535104 0 0 -1 0 0 0 0 [pid=23222/tid=23231] ppid=23221 vsize=414272 CPUtime=0 /proc/23222/task/23231/stat : 23231 (java) S 23221 23221 22717 34817 22717 4202560 1 0 0 0 0 0 0 0 15 0 10 0 71667219 424214528 71281 1283457024 134512640 134550932 4286810448 18446744073709551615 4294960130 0 4 0 16800975 18446612133256535104 0 0 -1 0 0 0 0 [pid=23222/tid=23234] ppid=23221 vsize=414272 CPUtime=0 /proc/23222/task/23234/stat : 23234 (java) S 23221 23221 22717 34817 22717 4202560 4 0 0 0 0 0 0 0 25 0 10 0 71668501 424214528 71281 1283457024 134512640 134550932 4286810448 18446744073709551615 4294960130 0 4 0 16800975 18446612133256535104 0 0 -1 0 0 0 0 Current children cumulated CPU time (s) 102.2 Current children cumulated vsize (KiB) 416844 [startup+162.304 s] /proc/loadavg: 1.02 0.99 0.63 2/47 23234 /proc/meminfo: memFree=540344/1048576 swapFree=0/0 [pid=23221] ppid=23220 vsize=2572 CPUtime=0 /proc/23221/stat : 23221 (gj-user-solver-) S 23220 23221 22717 34817 22717 4202496 373 0 0 0 0 0 0 0 18 0 1 0 71667216 2633728 270 1283457024 134512640 135304128 4288926704 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0 /proc/23221/statm: 643 270 229 194 0 30 0 [pid=23222] ppid=23221 vsize=414272 CPUtime=162.15 /proc/23222/stat : 23222 (java) S 23221 23221 22717 34817 22717 4202496 104198 0 1 0 16169 46 0 0 25 0 10 0 71667216 424214528 71282 1283457024 134512640 134550932 4286810448 18446744073709551615 4294960130 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 /proc/23222/statm: 103568 71282 2922 10 0 97713 0 [pid=23222/tid=23224] ppid=23221 vsize=414272 CPUtime=150.43 /proc/23222/task/23224/stat : 23224 (java) R 23221 23221 22717 34817 22717 4202560 14215 0 1 0 15026 17 0 0 25 0 10 0 71667217 424214528 71282 1283457024 134512640 134550932 4286810448 18446744073709551615 4115393029 0 4 0 16800975 0 0 0 -1 0 0 0 0 [pid=23222/tid=23225] ppid=23221 vsize=414272 CPUtime=11.56 /proc/23222/task/23225/stat : 23225 (java) S 23221 23221 22717 34817 22717 4202560 88464 0 0 0 1129 27 0 0 15 0 10 0 71667217 424214528 71282 1283457024 134512640 134550932 4286810448 18446744073709551615 4294960130 0 0 0 16800975 18446612133256535104 0 0 -1 0 0 0 0 [pid=23222/tid=23226] ppid=23221 vsize=414272 CPUtime=0 /proc/23222/task/23226/stat : 23226 (java) S 23221 23221 22717 34817 22717 4202560 15 0 0 0 0 0 0 0 18 0 10 0 71667218 424214528 71282 1283457024 134512640 134550932 4286810448 18446744073709551615 4294960130 0 4 0 16800975 18446612133256535104 0 0 -1 0 0 0 0 [pid=23222/tid=23227] ppid=23221 vsize=414272 CPUtime=0 /proc/23222/task/23227/stat : 23227 (java) S 23221 23221 22717 34817 22717 4202560 5 0 0 0 0 0 0 0 18 0 10 0 71667218 424214528 71282 1283457024 134512640 134550932 4286810448 18446744073709551615 4294960130 0 4 0 16800975 18446612133256535104 0 0 -1 0 0 0 0 [pid=23222/tid=23228] ppid=23221 vsize=414272 CPUtime=0 /proc/23222/task/23228/stat : 23228 (java) S 23221 23221 22717 34817 22717 4202560 1 0 0 0 0 0 0 0 25 0 10 0 71667219 424214528 71282 1283457024 134512640 134550932 4286810448 18446744073709551615 4294960130 0 4 0 16800975 18446612133256535104 0 0 -1 0 0 0 0 [pid=23222/tid=23229] ppid=23221 vsize=414272 CPUtime=0.13 /proc/23222/task/23229/stat : 23229 (java) S 23221 23221 22717 34817 22717 4202560 574 0 0 0 13 0 0 0 15 0 10 0 71667219 424214528 71282 1283457024 134512640 134550932 4286810448 18446744073709551615 4294960130 0 4 0 16800975 18446612133256535104 0 0 -1 0 0 0 0 [pid=23222/tid=23230] ppid=23221 vsize=414272 CPUtime=0 /proc/23222/task/23230/stat : 23230 (java) S 23221 23221 22717 34817 22717 4202560 1 0 0 0 0 0 0 0 25 0 10 0 71667219 424214528 71282 1283457024 134512640 134550932 4286810448 18446744073709551615 4294960130 0 4 0 16800975 18446612133256535104 0 0 -1 0 0 0 0 [pid=23222/tid=23231] ppid=23221 vsize=414272 CPUtime=0 /proc/23222/task/23231/stat : 23231 (java) S 23221 23221 22717 34817 22717 4202560 1 0 0 0 0 0 0 0 15 0 10 0 71667219 424214528 71282 1283457024 134512640 134550932 4286810448 18446744073709551615 4294960130 0 4 0 16800975 18446612133256535104 0 0 -1 0 0 0 0 [pid=23222/tid=23234] ppid=23221 vsize=414272 CPUtime=0 /proc/23222/task/23234/stat : 23234 (java) S 23221 23221 22717 34817 22717 4202560 4 0 0 0 0 0 0 0 25 0 10 0 71668501 424214528 71282 1283457024 134512640 134550932 4286810448 18446744073709551615 4294960130 0 4 0 16800975 18446612133256535104 0 0 -1 0 0 0 0 Current children cumulated CPU time (s) 162.15 Current children cumulated vsize (KiB) 416844 [startup+222.308 s] /proc/loadavg: 1.01 0.99 0.65 2/47 23234 /proc/meminfo: memFree=540344/1048576 swapFree=0/0 [pid=23221] ppid=23220 vsize=2572 CPUtime=0 /proc/23221/stat : 23221 (gj-user-solver-) S 23220 23221 22717 34817 22717 4202496 373 0 0 0 0 0 0 0 18 0 1 0 71667216 2633728 270 1283457024 134512640 135304128 4288926704 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0 /proc/23221/statm: 643 270 229 194 0 30 0 [pid=23222] ppid=23221 vsize=414272 CPUtime=222.1 /proc/23222/stat : 23222 (java) S 23221 23221 22717 34817 22717 4202496 104198 0 1 0 22164 46 0 0 25 0 10 0 71667216 424214528 71282 1283457024 134512640 134550932 4286810448 18446744073709551615 4294960130 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 /proc/23222/statm: 103568 71282 2922 10 0 97713 0 [pid=23222/tid=23224] ppid=23221 vsize=414272 CPUtime=210.06 /proc/23222/task/23224/stat : 23224 (java) R 23221 23221 22717 34817 22717 4202560 14215 0 1 0 20988 18 0 0 25 0 10 0 71667217 424214528 71282 1283457024 134512640 134550932 4286810448 18446744073709551615 4115393016 0 4 0 16800975 0 0 0 -1 0 0 0 0 [pid=23222/tid=23225] ppid=23221 vsize=414272 CPUtime=11.89 /proc/23222/task/23225/stat : 23225 (java) S 23221 23221 22717 34817 22717 4202560 88464 0 0 0 1162 27 0 0 15 0 10 0 71667217 424214528 71282 1283457024 134512640 134550932 4286810448 18446744073709551615 4294960130 0 0 0 16800975 18446612133256535104 0 0 -1 0 0 0 0 [pid=23222/tid=23226] ppid=23221 vsize=414272 CPUtime=0 /proc/23222/task/23226/stat : 23226 (java) S 23221 23221 22717 34817 22717 4202560 15 0 0 0 0 0 0 0 18 0 10 0 71667218 424214528 71282 1283457024 134512640 134550932 4286810448 18446744073709551615 4294960130 0 4 0 16800975 18446612133256535104 0 0 -1 0 0 0 0 [pid=23222/tid=23227] ppid=23221 vsize=414272 CPUtime=0 /proc/23222/task/23227/stat : 23227 (java) S 23221 23221 22717 34817 22717 4202560 5 0 0 0 0 0 0 0 18 0 10 0 71667218 424214528 71282 1283457024 134512640 134550932 4286810448 18446744073709551615 4294960130 0 4 0 16800975 18446612133256535104 0 0 -1 0 0 0 0 [pid=23222/tid=23228] ppid=23221 vsize=414272 CPUtime=0 /proc/23222/task/23228/stat : 23228 (java) S 23221 23221 22717 34817 22717 4202560 1 0 0 0 0 0 0 0 25 0 10 0 71667219 424214528 71282 1283457024 134512640 134550932 4286810448 18446744073709551615 4294960130 0 4 0 16800975 18446612133256535104 0 0 -1 0 0 0 0 [pid=23222/tid=23229] ppid=23221 vsize=414272 CPUtime=0.13 /proc/23222/task/23229/stat : 23229 (java) S 23221 23221 22717 34817 22717 4202560 574 0 0 0 13 0 0 0 15 0 10 0 71667219 424214528 71282 1283457024 134512640 134550932 4286810448 18446744073709551615 4294960130 0 4 0 16800975 18446612133256535104 0 0 -1 0 0 0 0 [pid=23222/tid=23230] ppid=23221 vsize=414272 CPUtime=0 /proc/23222/task/23230/stat : 23230 (java) S 23221 23221 22717 34817 22717 4202560 1 0 0 0 0 0 0 0 25 0 10 0 71667219 424214528 71282 1283457024 134512640 134550932 4286810448 18446744073709551615 4294960130 0 4 0 16800975 18446612133256535104 0 0 -1 0 0 0 0 [pid=23222/tid=23231] ppid=23221 vsize=414272 CPUtime=0 /proc/23222/task/23231/stat : 23231 (java) S 23221 23221 22717 34817 22717 4202560 1 0 0 0 0 0 0 0 15 0 10 0 71667219 424214528 71282 1283457024 134512640 134550932 4286810448 18446744073709551615 4294960130 0 4 0 16800975 18446612133256535104 0 0 -1 0 0 0 0 [pid=23222/tid=23234] ppid=23221 vsize=414272 CPUtime=0 /proc/23222/task/23234/stat : 23234 (java) S 23221 23221 22717 34817 22717 4202560 4 0 0 0 0 0 0 0 25 0 10 0 71668501 424214528 71282 1283457024 134512640 134550932 4286810448 18446744073709551615 4294960130 0 4 0 16800975 18446612133256535104 0 0 -1 0 0 0 0 Current children cumulated CPU time (s) 222.1 Current children cumulated vsize (KiB) 416844 [startup+282.305 s] /proc/loadavg: 1.00 0.99 0.66 2/47 23234 /proc/meminfo: memFree=540344/1048576 swapFree=0/0 [pid=23221] ppid=23220 vsize=2572 CPUtime=0 /proc/23221/stat : 23221 (gj-user-solver-) S 23220 23221 22717 34817 22717 4202496 373 0 0 0 0 0 0 0 18 0 1 0 71667216 2633728 270 1283457024 134512640 135304128 4288926704 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0 /proc/23221/statm: 643 270 229 194 0 30 0 [pid=23222] ppid=23221 vsize=414272 CPUtime=282.05 /proc/23222/stat : 23222 (java) S 23221 23221 22717 34817 22717 4202496 104198 0 1 0 28158 47 0 0 25 0 10 0 71667216 424214528 71282 1283457024 134512640 134550932 4286810448 18446744073709551615 4294960130 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 /proc/23222/statm: 103568 71282 2922 10 0 97713 0 [pid=23222/tid=23224] ppid=23221 vsize=414272 CPUtime=269.71 /proc/23222/task/23224/stat : 23224 (java) R 23221 23221 22717 34817 22717 4202560 14215 0 1 0 26952 19 0 0 25 0 10 0 71667217 424214528 71282 1283457024 134512640 134550932 4286810448 18446744073709551615 4115393029 0 4 0 16800975 0 0 0 -1 0 0 0 0 [pid=23222/tid=23225] ppid=23221 vsize=414272 CPUtime=12.19 /proc/23222/task/23225/stat : 23225 (java) S 23221 23221 22717 34817 22717 4202560 88464 0 0 0 1192 27 0 0 15 0 10 0 71667217 424214528 71282 1283457024 134512640 134550932 4286810448 18446744073709551615 4294960130 0 0 0 16800975 18446612133256535104 0 0 -1 0 0 0 0 [pid=23222/tid=23226] ppid=23221 vsize=414272 CPUtime=0 /proc/23222/task/23226/stat : 23226 (java) S 23221 23221 22717 34817 22717 4202560 15 0 0 0 0 0 0 0 18 0 10 0 71667218 424214528 71282 1283457024 134512640 134550932 4286810448 18446744073709551615 4294960130 0 4 0 16800975 18446612133256535104 0 0 -1 0 0 0 0 [pid=23222/tid=23227] ppid=23221 vsize=414272 CPUtime=0 /proc/23222/task/23227/stat : 23227 (java) S 23221 23221 22717 34817 22717 4202560 5 0 0 0 0 0 0 0 18 0 10 0 71667218 424214528 71282 1283457024 134512640 134550932 4286810448 18446744073709551615 4294960130 0 4 0 16800975 18446612133256535104 0 0 -1 0 0 0 0 [pid=23222/tid=23228] ppid=23221 vsize=414272 CPUtime=0 /proc/23222/task/23228/stat : 23228 (java) S 23221 23221 22717 34817 22717 4202560 1 0 0 0 0 0 0 0 25 0 10 0 71667219 424214528 71282 1283457024 134512640 134550932 4286810448 18446744073709551615 4294960130 0 4 0 16800975 18446612133256535104 0 0 -1 0 0 0 0 [pid=23222/tid=23229] ppid=23221 vsize=414272 CPUtime=0.13 /proc/23222/task/23229/stat : 23229 (java) S 23221 23221 22717 34817 22717 4202560 574 0 0 0 13 0 0 0 15 0 10 0 71667219 424214528 71282 1283457024 134512640 134550932 4286810448 18446744073709551615 4294960130 0 4 0 16800975 18446612133256535104 0 0 -1 0 0 0 0 [pid=23222/tid=23230] ppid=23221 vsize=414272 CPUtime=0 /proc/23222/task/23230/stat : 23230 (java) S 23221 23221 22717 34817 22717 4202560 1 0 0 0 0 0 0 0 25 0 10 0 71667219 424214528 71282 1283457024 134512640 134550932 4286810448 18446744073709551615 4294960130 0 4 0 16800975 18446612133256535104 0 0 -1 0 0 0 0 [pid=23222/tid=23231] ppid=23221 vsize=414272 CPUtime=0 /proc/23222/task/23231/stat : 23231 (java) S 23221 23221 22717 34817 22717 4202560 1 0 0 0 0 0 0 0 15 0 10 0 71667219 424214528 71282 1283457024 134512640 134550932 4286810448 18446744073709551615 4294960130 0 4 0 16800975 18446612133256535104 0 0 -1 0 0 0 0 [pid=23222/tid=23234] ppid=23221 vsize=414272 CPUtime=0 /proc/23222/task/23234/stat : 23234 (java) S 23221 23221 22717 34817 22717 4202560 4 0 0 0 0 0 0 0 25 0 10 0 71668501 424214528 71282 1283457024 134512640 134550932 4286810448 18446744073709551615 4294960130 0 4 0 16800975 18446612133256535104 0 0 -1 0 0 0 0 Current children cumulated CPU time (s) 282.05 Current children cumulated vsize (KiB) 416844 Solver just ended. Dumping a history of the last processes samples [startup+284.616 s] /proc/loadavg: 1.00 0.99 0.67 2/47 23234 /proc/meminfo: memFree=540344/1048576 swapFree=0/0 [pid=23221] ppid=23220 vsize=2572 CPUtime=0 /proc/23221/stat : 23221 (gj-user-solver-) S 23220 23221 22717 34817 22717 4202496 373 0 0 0 0 0 0 0 18 0 1 0 71667216 2633728 270 1283457024 134512640 135304128 4288926704 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0 /proc/23221/statm: 643 270 229 194 0 30 0 [pid=23222] ppid=23221 vsize=414272 CPUtime=284.35 /proc/23222/stat : 23222 (java) S 23221 23221 22717 34817 22717 4202496 104198 0 1 0 28388 47 0 0 25 0 10 0 71667216 424214528 71282 1283457024 134512640 134550932 4286810448 18446744073709551615 4294960130 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 /proc/23222/statm: 103568 71282 2922 10 0 97713 0 [pid=23222/tid=23224] ppid=23221 vsize=414272 CPUtime=272.01 /proc/23222/task/23224/stat : 23224 (java) R 23221 23221 22717 34817 22717 4202560 14215 0 1 0 27182 19 0 0 25 0 10 0 71667217 424214528 71282 1283457024 134512640 134550932 4286810448 18446744073709551615 4115388301 0 4 0 16800975 0 0 0 -1 0 0 0 0 [pid=23222/tid=23225] ppid=23221 vsize=414272 CPUtime=12.2 /proc/23222/task/23225/stat : 23225 (java) S 23221 23221 22717 34817 22717 4202560 88464 0 0 0 1193 27 0 0 15 0 10 0 71667217 424214528 71282 1283457024 134512640 134550932 4286810448 18446744073709551615 4294960130 0 0 0 16800975 18446612133256535104 0 0 -1 0 0 0 0 [pid=23222/tid=23226] ppid=23221 vsize=414272 CPUtime=0 /proc/23222/task/23226/stat : 23226 (java) S 23221 23221 22717 34817 22717 4202560 15 0 0 0 0 0 0 0 18 0 10 0 71667218 424214528 71282 1283457024 134512640 134550932 4286810448 18446744073709551615 4294960130 0 4 0 16800975 18446612133256535104 0 0 -1 0 0 0 0 [pid=23222/tid=23227] ppid=23221 vsize=414272 CPUtime=0 /proc/23222/task/23227/stat : 23227 (java) S 23221 23221 22717 34817 22717 4202560 5 0 0 0 0 0 0 0 18 0 10 0 71667218 424214528 71282 1283457024 134512640 134550932 4286810448 18446744073709551615 4294960130 0 4 0 16800975 18446612133256535104 0 0 -1 0 0 0 0 [pid=23222/tid=23228] ppid=23221 vsize=414272 CPUtime=0 /proc/23222/task/23228/stat : 23228 (java) S 23221 23221 22717 34817 22717 4202560 1 0 0 0 0 0 0 0 25 0 10 0 71667219 424214528 71282 1283457024 134512640 134550932 4286810448 18446744073709551615 4294960130 0 4 0 16800975 18446612133256535104 0 0 -1 0 0 0 0 [pid=23222/tid=23229] ppid=23221 vsize=414272 CPUtime=0.13 /proc/23222/task/23229/stat : 23229 (java) S 23221 23221 22717 34817 22717 4202560 574 0 0 0 13 0 0 0 15 0 10 0 71667219 424214528 71282 1283457024 134512640 134550932 4286810448 18446744073709551615 4294960130 0 4 0 16800975 18446612133256535104 0 0 -1 0 0 0 0 [pid=23222/tid=23230] ppid=23221 vsize=414272 CPUtime=0 /proc/23222/task/23230/stat : 23230 (java) S 23221 23221 22717 34817 22717 4202560 1 0 0 0 0 0 0 0 25 0 10 0 71667219 424214528 71282 1283457024 134512640 134550932 4286810448 18446744073709551615 4294960130 0 4 0 16800975 18446612133256535104 0 0 -1 0 0 0 0 [pid=23222/tid=23231] ppid=23221 vsize=414272 CPUtime=0 /proc/23222/task/23231/stat : 23231 (java) S 23221 23221 22717 34817 22717 4202560 1 0 0 0 0 0 0 0 15 0 10 0 71667219 424214528 71282 1283457024 134512640 134550932 4286810448 18446744073709551615 4294960130 0 4 0 16800975 18446612133256535104 0 0 -1 0 0 0 0 [pid=23222/tid=23234] ppid=23221 vsize=414272 CPUtime=0 /proc/23222/task/23234/stat : 23234 (java) S 23221 23221 22717 34817 22717 4202560 4 0 0 0 0 0 0 0 25 0 10 0 71668501 424214528 71282 1283457024 134512640 134550932 4286810448 18446744073709551615 4294960130 0 4 0 16800975 18446612133256535104 0 0 -1 0 0 0 0 Current children cumulated CPU time (s) 284.35 Current children cumulated vsize (KiB) 416844 [startup+285.406 s] /proc/loadavg: 1.00 0.99 0.67 2/47 23234 /proc/meminfo: memFree=540344/1048576 swapFree=0/0 [pid=23221] ppid=23220 vsize=2572 CPUtime=0 /proc/23221/stat : 23221 (gj-user-solver-) S 23220 23221 22717 34817 22717 4202496 373 0 0 0 0 0 0 0 18 0 1 0 71667216 2633728 270 1283457024 134512640 135304128 4288926704 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0 /proc/23221/statm: 643 270 229 194 0 30 0 [pid=23222] ppid=23221 vsize=414272 CPUtime=285.15 /proc/23222/stat : 23222 (java) S 23221 23221 22717 34817 22717 4202496 104199 0 1 0 28468 47 0 0 25 0 9 0 71667216 424214528 71283 1283457024 134512640 134550932 4286810448 18446744073709551615 4294960130 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 /proc/23222/statm: 103568 71283 2923 10 0 97713 0 [pid=23222/tid=23224] ppid=23221 vsize=414272 CPUtime=272.8 /proc/23222/task/23224/stat : 23224 (java) R 23221 23221 22717 34817 22717 4202560 14215 0 1 0 27261 19 0 0 25 0 9 0 71667217 424214528 71283 1283457024 134512640 134550932 4286810448 18446744073709551615 4115393016 0 4 0 16800975 0 0 0 -1 0 0 0 0 [pid=23222/tid=23225] ppid=23221 vsize=414272 CPUtime=12.2 /proc/23222/task/23225/stat : 23225 (java) S 23221 23221 22717 34817 22717 4202560 88464 0 0 0 1193 27 0 0 15 0 9 0 71667217 424214528 71283 1283457024 134512640 134550932 4286810448 18446744073709551615 4294960130 0 0 0 16800975 18446612133256535104 0 0 -1 0 0 0 0 [pid=23222/tid=23226] ppid=23221 vsize=414272 CPUtime=0 /proc/23222/task/23226/stat : 23226 (java) S 23221 23221 22717 34817 22717 4202560 15 0 0 0 0 0 0 0 18 0 9 0 71667218 424214528 71283 1283457024 134512640 134550932 4286810448 18446744073709551615 4294960130 0 4 0 16800975 18446612133256535104 0 0 -1 0 0 0 0 [pid=23222/tid=23227] ppid=23221 vsize=414272 CPUtime=0 /proc/23222/task/23227/stat : 23227 (java) S 23221 23221 22717 34817 22717 4202560 5 0 0 0 0 0 0 0 18 0 9 0 71667218 424214528 71283 1283457024 134512640 134550932 4286810448 18446744073709551615 4294960130 0 4 0 16800975 18446612133256535104 0 0 -1 0 0 0 0 [pid=23222/tid=23228] ppid=23221 vsize=414272 CPUtime=0 /proc/23222/task/23228/stat : 23228 (java) S 23221 23221 22717 34817 22717 4202560 1 0 0 0 0 0 0 0 25 0 9 0 71667219 424214528 71283 1283457024 134512640 134550932 4286810448 18446744073709551615 4294960130 0 4 0 16800975 18446612133256535104 0 0 -1 0 0 0 0 [pid=23222/tid=23229] ppid=23221 vsize=414272 CPUtime=0.13 /proc/23222/task/23229/stat : 23229 (java) S 23221 23221 22717 34817 22717 4202560 574 0 0 0 13 0 0 0 15 0 9 0 71667219 424214528 71283 1283457024 134512640 134550932 4286810448 18446744073709551615 4294960130 0 4 0 16800975 18446612133256535104 0 0 -1 0 0 0 0 [pid=23222/tid=23230] ppid=23221 vsize=414272 CPUtime=0 /proc/23222/task/23230/stat : 23230 (java) S 23221 23221 22717 34817 22717 4202560 1 0 0 0 0 0 0 0 25 0 9 0 71667219 424214528 71283 1283457024 134512640 134550932 4286810448 18446744073709551615 4294960130 0 4 0 16800975 18446612133256535104 0 0 -1 0 0 0 0 [pid=23222/tid=23231] ppid=23221 vsize=414272 CPUtime=0 /proc/23222/task/23231/stat : 23231 (java) S 23221 23221 22717 34817 22717 4202560 1 0 0 0 0 0 0 0 15 0 9 0 71667219 424214528 71283 1283457024 134512640 134550932 4286810448 18446744073709551615 4294960130 0 4 0 16800975 18446612133256535104 0 0 -1 0 0 0 0 Current children cumulated CPU time (s) 285.15 Current children cumulated vsize (KiB) 416844 [startup+285.806 s] /proc/loadavg: 1.00 0.99 0.67 2/46 23234 /proc/meminfo: memFree=540352/1048576 swapFree=0/0 [pid=23221] ppid=23220 vsize=2572 CPUtime=0 /proc/23221/stat : 23221 (gj-user-solver-) S 23220 23221 22717 34817 22717 4202496 373 0 0 0 0 0 0 0 18 0 1 0 71667216 2633728 270 1283457024 134512640 135304128 4288926704 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0 /proc/23221/statm: 643 270 229 194 0 30 0 [pid=23222] ppid=23221 vsize=414272 CPUtime=285.55 /proc/23222/stat : 23222 (java) S 23221 23221 22717 34817 22717 4202496 104199 0 1 0 28508 47 0 0 25 0 9 0 71667216 424214528 71283 1283457024 134512640 134550932 4286810448 18446744073709551615 4294960130 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 /proc/23222/statm: 103568 71283 2923 10 0 97713 0 [pid=23222/tid=23224] ppid=23221 vsize=414272 CPUtime=273.19 /proc/23222/task/23224/stat : 23224 (java) R 23221 23221 22717 34817 22717 4202560 14215 0 1 0 27300 19 0 0 25 0 9 0 71667217 424214528 71283 1283457024 134512640 134550932 4286810448 18446744073709551615 4115393029 0 4 0 16800975 0 0 0 -1 0 0 0 0 [pid=23222/tid=23225] ppid=23221 vsize=414272 CPUtime=12.21 /proc/23222/task/23225/stat : 23225 (java) S 23221 23221 22717 34817 22717 4202560 88464 0 0 0 1194 27 0 0 16 0 9 0 71667217 424214528 71283 1283457024 134512640 134550932 4286810448 18446744073709551615 4294960130 0 0 0 16800975 18446612133256535104 0 0 -1 0 0 0 0 [pid=23222/tid=23226] ppid=23221 vsize=414272 CPUtime=0 /proc/23222/task/23226/stat : 23226 (java) S 23221 23221 22717 34817 22717 4202560 15 0 0 0 0 0 0 0 18 0 9 0 71667218 424214528 71283 1283457024 134512640 134550932 4286810448 18446744073709551615 4294960130 0 4 0 16800975 18446612133256535104 0 0 -1 0 0 0 0 [pid=23222/tid=23227] ppid=23221 vsize=414272 CPUtime=0 /proc/23222/task/23227/stat : 23227 (java) S 23221 23221 22717 34817 22717 4202560 5 0 0 0 0 0 0 0 18 0 9 0 71667218 424214528 71283 1283457024 134512640 134550932 4286810448 18446744073709551615 4294960130 0 4 0 16800975 18446612133256535104 0 0 -1 0 0 0 0 [pid=23222/tid=23228] ppid=23221 vsize=414272 CPUtime=0 /proc/23222/task/23228/stat : 23228 (java) S 23221 23221 22717 34817 22717 4202560 1 0 0 0 0 0 0 0 25 0 9 0 71667219 424214528 71283 1283457024 134512640 134550932 4286810448 18446744073709551615 4294960130 0 4 0 16800975 18446612133256535104 0 0 -1 0 0 0 0 [pid=23222/tid=23229] ppid=23221 vsize=414272 CPUtime=0.13 /proc/23222/task/23229/stat : 23229 (java) S 23221 23221 22717 34817 22717 4202560 574 0 0 0 13 0 0 0 15 0 9 0 71667219 424214528 71283 1283457024 134512640 134550932 4286810448 18446744073709551615 4294960130 0 4 0 16800975 18446612133256535104 0 0 -1 0 0 0 0 [pid=23222/tid=23230] ppid=23221 vsize=414272 CPUtime=0 /proc/23222/task/23230/stat : 23230 (java) S 23221 23221 22717 34817 22717 4202560 1 0 0 0 0 0 0 0 25 0 9 0 71667219 424214528 71283 1283457024 134512640 134550932 4286810448 18446744073709551615 4294960130 0 4 0 16800975 18446612133256535104 0 0 -1 0 0 0 0 [pid=23222/tid=23231] ppid=23221 vsize=414272 CPUtime=0 /proc/23222/task/23231/stat : 23231 (java) S 23221 23221 22717 34817 22717 4202560 1 0 0 0 0 0 0 0 15 0 9 0 71667219 424214528 71283 1283457024 134512640 134550932 4286810448 18446744073709551615 4294960130 0 4 0 16800975 18446612133256535104 0 0 -1 0 0 0 0 Current children cumulated CPU time (s) 285.55 Current children cumulated vsize (KiB) 416844 [startup+286.206 s] /proc/loadavg: 1.00 0.99 0.67 2/46 23234 /proc/meminfo: memFree=540352/1048576 swapFree=0/0 [pid=23221] ppid=23220 vsize=2572 CPUtime=0 /proc/23221/stat : 23221 (gj-user-solver-) S 23220 23221 22717 34817 22717 4202496 373 0 0 0 0 0 0 0 18 0 1 0 71667216 2633728 270 1283457024 134512640 135304128 4288926704 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0 /proc/23221/statm: 643 270 229 194 0 30 0 [pid=23222] ppid=23221 vsize=414272 CPUtime=285.95 /proc/23222/stat : 23222 (java) S 23221 23221 22717 34817 22717 4202496 104199 0 1 0 28548 47 0 0 25 0 9 0 71667216 424214528 71283 1283457024 134512640 134550932 4286810448 18446744073709551615 4294960130 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 /proc/23222/statm: 103568 71283 2923 10 0 97713 0 [pid=23222/tid=23224] ppid=23221 vsize=414272 CPUtime=273.59 /proc/23222/task/23224/stat : 23224 (java) R 23221 23221 22717 34817 22717 4202560 14215 0 1 0 27340 19 0 0 25 0 9 0 71667217 424214528 71283 1283457024 134512640 134550932 4286810448 18446744073709551615 4115393029 0 4 0 16800975 0 0 0 -1 0 0 0 0 [pid=23222/tid=23225] ppid=23221 vsize=414272 CPUtime=12.21 /proc/23222/task/23225/stat : 23225 (java) S 23221 23221 22717 34817 22717 4202560 88464 0 0 0 1194 27 0 0 16 0 9 0 71667217 424214528 71283 1283457024 134512640 134550932 4286810448 18446744073709551615 4294960130 0 0 0 16800975 18446612133256535104 0 0 -1 0 0 0 0 [pid=23222/tid=23226] ppid=23221 vsize=414272 CPUtime=0 /proc/23222/task/23226/stat : 23226 (java) S 23221 23221 22717 34817 22717 4202560 15 0 0 0 0 0 0 0 18 0 9 0 71667218 424214528 71283 1283457024 134512640 134550932 4286810448 18446744073709551615 4294960130 0 4 0 16800975 18446612133256535104 0 0 -1 0 0 0 0 [pid=23222/tid=23227] ppid=23221 vsize=414272 CPUtime=0 /proc/23222/task/23227/stat : 23227 (java) S 23221 23221 22717 34817 22717 4202560 5 0 0 0 0 0 0 0 18 0 9 0 71667218 424214528 71283 1283457024 134512640 134550932 4286810448 18446744073709551615 4294960130 0 4 0 16800975 18446612133256535104 0 0 -1 0 0 0 0 [pid=23222/tid=23228] ppid=23221 vsize=414272 CPUtime=0 /proc/23222/task/23228/stat : 23228 (java) S 23221 23221 22717 34817 22717 4202560 1 0 0 0 0 0 0 0 25 0 9 0 71667219 424214528 71283 1283457024 134512640 134550932 4286810448 18446744073709551615 4294960130 0 4 0 16800975 18446612133256535104 0 0 -1 0 0 0 0 [pid=23222/tid=23229] ppid=23221 vsize=414272 CPUtime=0.13 /proc/23222/task/23229/stat : 23229 (java) S 23221 23221 22717 34817 22717 4202560 574 0 0 0 13 0 0 0 15 0 9 0 71667219 424214528 71283 1283457024 134512640 134550932 4286810448 18446744073709551615 4294960130 0 4 0 16800975 18446612133256535104 0 0 -1 0 0 0 0 [pid=23222/tid=23230] ppid=23221 vsize=414272 CPUtime=0 /proc/23222/task/23230/stat : 23230 (java) S 23221 23221 22717 34817 22717 4202560 1 0 0 0 0 0 0 0 25 0 9 0 71667219 424214528 71283 1283457024 134512640 134550932 4286810448 18446744073709551615 4294960130 0 4 0 16800975 18446612133256535104 0 0 -1 0 0 0 0 [pid=23222/tid=23231] ppid=23221 vsize=414272 CPUtime=0 /proc/23222/task/23231/stat : 23231 (java) S 23221 23221 22717 34817 22717 4202560 1 0 0 0 0 0 0 0 15 0 9 0 71667219 424214528 71283 1283457024 134512640 134550932 4286810448 18446744073709551615 4294960130 0 4 0 16800975 18446612133256535104 0 0 -1 0 0 0 0 Current children cumulated CPU time (s) 285.95 Current children cumulated vsize (KiB) 416844 [startup+286.306 s] /proc/loadavg: 1.00 0.99 0.67 2/46 23234 /proc/meminfo: memFree=540352/1048576 swapFree=0/0 [pid=23221] ppid=23220 vsize=2572 CPUtime=0 /proc/23221/stat : 23221 (gj-user-solver-) S 23220 23221 22717 34817 22717 4202496 373 0 0 0 0 0 0 0 18 0 1 0 71667216 2633728 270 1283457024 134512640 135304128 4288926704 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0 /proc/23221/statm: 643 270 229 194 0 30 0 [pid=23222] ppid=23221 vsize=414272 CPUtime=286.05 /proc/23222/stat : 23222 (java) S 23221 23221 22717 34817 22717 4202496 104199 0 1 0 28558 47 0 0 25 0 9 0 71667216 424214528 71283 1283457024 134512640 134550932 4286810448 18446744073709551615 4294960130 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 /proc/23222/statm: 103568 71283 2923 10 0 97713 0 [pid=23222/tid=23224] ppid=23221 vsize=414272 CPUtime=273.69 /proc/23222/task/23224/stat : 23224 (java) R 23221 23221 22717 34817 22717 4202560 14215 0 1 0 27350 19 0 0 25 0 9 0 71667217 424214528 71283 1283457024 134512640 134550932 4286810448 18446744073709551615 4115441861 0 4 0 16800975 0 0 0 -1 0 0 0 0 [pid=23222/tid=23225] ppid=23221 vsize=414272 CPUtime=12.21 /proc/23222/task/23225/stat : 23225 (java) S 23221 23221 22717 34817 22717 4202560 88464 0 0 0 1194 27 0 0 16 0 9 0 71667217 424214528 71283 1283457024 134512640 134550932 4286810448 18446744073709551615 4294960130 0 0 0 16800975 18446612133256535104 0 0 -1 0 0 0 0 [pid=23222/tid=23226] ppid=23221 vsize=414272 CPUtime=0 /proc/23222/task/23226/stat : 23226 (java) S 23221 23221 22717 34817 22717 4202560 15 0 0 0 0 0 0 0 18 0 9 0 71667218 424214528 71283 1283457024 134512640 134550932 4286810448 18446744073709551615 4294960130 0 4 0 16800975 18446612133256535104 0 0 -1 0 0 0 0 [pid=23222/tid=23227] ppid=23221 vsize=414272 CPUtime=0 /proc/23222/task/23227/stat : 23227 (java) S 23221 23221 22717 34817 22717 4202560 5 0 0 0 0 0 0 0 18 0 9 0 71667218 424214528 71283 1283457024 134512640 134550932 4286810448 18446744073709551615 4294960130 0 4 0 16800975 18446612133256535104 0 0 -1 0 0 0 0 [pid=23222/tid=23228] ppid=23221 vsize=414272 CPUtime=0 /proc/23222/task/23228/stat : 23228 (java) S 23221 23221 22717 34817 22717 4202560 1 0 0 0 0 0 0 0 25 0 9 0 71667219 424214528 71283 1283457024 134512640 134550932 4286810448 18446744073709551615 4294960130 0 4 0 16800975 18446612133256535104 0 0 -1 0 0 0 0 [pid=23222/tid=23229] ppid=23221 vsize=414272 CPUtime=0.13 /proc/23222/task/23229/stat : 23229 (java) S 23221 23221 22717 34817 22717 4202560 574 0 0 0 13 0 0 0 15 0 9 0 71667219 424214528 71283 1283457024 134512640 134550932 4286810448 18446744073709551615 4294960130 0 4 0 16800975 18446612133256535104 0 0 -1 0 0 0 0 [pid=23222/tid=23230] ppid=23221 vsize=414272 CPUtime=0 /proc/23222/task/23230/stat : 23230 (java) S 23221 23221 22717 34817 22717 4202560 1 0 0 0 0 0 0 0 25 0 9 0 71667219 424214528 71283 1283457024 134512640 134550932 4286810448 18446744073709551615 4294960130 0 4 0 16800975 18446612133256535104 0 0 -1 0 0 0 0 [pid=23222/tid=23231] ppid=23221 vsize=414272 CPUtime=0 /proc/23222/task/23231/stat : 23231 (java) S 23221 23221 22717 34817 22717 4202560 1 0 0 0 0 0 0 0 15 0 9 0 71667219 424214528 71283 1283457024 134512640 134550932 4286810448 18446744073709551615 4294960130 0 4 0 16800975 18446612133256535104 0 0 -1 0 0 0 0 Current children cumulated CPU time (s) 286.05 Current children cumulated vsize (KiB) 416844 Child status: 0 Real time (s): 286.391 CPU time (s): 286.102 CPU user time (s): 285.61 CPU system time (s): 0.49203 CPU usage (%): 99.899 Max. virtual memory (cumulated for all children) (KiB): 441600 getrusage(RUSAGE_CHILDREN,...) data: user time used= 285.61 system time used= 0.49203 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 104587 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= 6795 involuntary context switches= 9883 runsolver used 0 second user time and 0.012 second system time The end