runsolver version 3.4.0 (svn: 3012) Copyright (C) 2010-2013 Olivier ROUSSEL
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.
NUMA information:
number of nodes: 2
memory of node 0: 16374 MiB (8485 MiB free)
memory of node 1: 16384 MiB (10782 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4294852-1532494278/watcher-4294852-1532494278 -o /tmp/evaluation-result-4294852-1532494278/solver-4294852-1532494278 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node133-1532466433-19937 --watchdog 2580 bin/xcsp-3-concrete -J-Xss32M -randomseed=2018248428 HOME/instance-4294852-1532494278.xml
running on 4 cores: 1,3,5,7
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 2520 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 2550 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 2520 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB
Linux 3.10.0-514.16.1.el7.x86_64
Starting watchdog thread
Current StackSize limit: 8192 KiB
solver pid=25401, runsolver pid=25398
[startup+0.100121 s]*
/proc/loadavg: 1.34 1.35 1.34 3/211 25458
/proc/meminfo: memFree=19721516/32770624 swapFree=67108860/67108860
[pid=25401] ppid=25398 vsize=9972712 memory=16428 CPUtime=0.08 cores=1,3,5,7
/proc/25401/stat : 25401 (java) S 25398 25401 19905 0 -1 1077944320 4281 12965 0 0 1 0 5 2 20 0 6 0 66990992 10212057088 4107 33554432000 4194304 4196468 140737121114160 140737121096704 139757765148407 0 0 0 16784584 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 23552000 140737121122926 140737121125724 140737121125724 140737121128399 0
/proc/25401/statm: 2493178 4107 1930 1 0 2481616 0
[pid=25401/tid=25454] ppid=25398 vsize=9972712 memory=4279135704047190413 CPUtime=0.08 cores=1,3,5,7
/proc/25401/task/25454/stat : 25454 (java) R 25398 25401 19905 0 -1 4202560 2096 12965 0 0 1 0 5 2 20 0 6 0 66991001 10212057088 4107 33554432000 4194304 4196468 140737121114160 139757736985168 139757744971584 0 4 0 16784584 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 23552000 140737121122926 140737121125724 140737121125724 140737121128399 0
[pid=25401/tid=25455] ppid=25398 vsize=9972712 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/25401/task/25455/stat : 25455 (java) S 25398 25401 19905 0 -1 1077944384 1 12965 0 0 0 0 5 2 20 0 6 0 66991002 10212057088 4173 33554432000 4194304 4196468 140737121114160 139757769391120 139757765158613 0 4 0 16784584 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 23552000 140737121122926 140737121125724 140737121125724 140737121128399 0
[pid=25401/tid=25456] ppid=25398 vsize=9972712 memory=139873604130432 CPUtime=0.07 cores=1,3,5,7
/proc/25401/task/25456/stat : 25456 (java) S 25398 25401 19905 0 -1 1077944384 1 12965 0 0 0 0 5 2 20 0 6 0 66991002 10212057088 4173 33554432000 4194304 4196468 140737121114160 139757338684560 139757765158613 0 4 0 16784584 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 23552000 140737121122926 140737121125724 140737121125724 140737121128399 0
[pid=25401/tid=25457] ppid=25398 vsize=9972712 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/25401/task/25457/stat : 25457 (java) S 25398 25401 19905 0 -1 1077944384 1 12965 0 0 0 0 5 2 20 0 6 0 66991002 10212057088 4173 33554432000 4194304 4196468 140737121114160 139757337631504 139757765158613 0 4 0 16784584 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 23552000 140737121122926 140737121125724 140737121125724 140737121128399 0
[pid=25401/tid=25458] ppid=25398 vsize=9972712 memory=-1 CPUtime=0.07 cores=1,3,5,7
/proc/25401/task/25458/stat : 25458 (java) S 25398 25401 19905 0 -1 1077944384 2 12965 0 0 0 0 5 2 20 0 6 0 66991002 10212057088 4173 33554432000 4194304 4196468 140737121114160 139757336578960 139757765158613 0 4 0 16784584 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 23552000 140737121122926 140737121125724 140737121125724 140737121128399 0
Current children cumulated CPU time: 0.08 s
Current children cumulated vsize: 9972712 KiB
Current children cumulated memory: 16428 KiB
[startup+0.210094 s]*
/proc/loadavg: 1.34 1.35 1.34 4/220 25467
/proc/meminfo: memFree=19702772/32770624 swapFree=67108860/67108860
[pid=25401] ppid=25398 vsize=10818856 memory=39804 CPUtime=0.25 cores=1,3,5,7
/proc/25401/stat : 25401 (java) S 25398 25401 19905 0 -1 1077944320 8345 12965 0 0 17 1 5 2 20 0 15 0 66990992 11078508544 9951 33554432000 4194304 4196468 140737121114160 140737121096704 139757765148407 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 23552000 140737121122926 140737121125724 140737121125724 140737121128399 0
/proc/25401/statm: 2704714 9951 2972 1 0 2667149 0
[pid=25401/tid=25454] ppid=25398 vsize=10818856 memory=-6517102902069810590 CPUtime=0.19 cores=1,3,5,7
/proc/25401/task/25454/stat : 25454 (java) R 25398 25401 19905 0 -1 4202560 4769 12965 0 0 11 1 5 2 20 0 15 0 66991001 11078508544 9951 33554432000 4194304 4196468 140737121114160 139757736946064 139757746711967 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 23552000 140737121122926 140737121125724 140737121125724 140737121128399 0
[pid=25401/tid=25455] ppid=25398 vsize=10818856 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/25401/task/25455/stat : 25455 (java) S 25398 25401 19905 0 -1 1077944384 1 12965 0 0 0 0 5 2 20 0 15 0 66991002 11078508544 9951 33554432000 4194304 4196468 140737121114160 139757769391120 139757765158613 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 23552000 140737121122926 140737121125724 140737121125724 140737121128399 0
[pid=25401/tid=25456] ppid=25398 vsize=10818856 memory=139873604130432 CPUtime=0.07 cores=1,3,5,7
/proc/25401/task/25456/stat : 25456 (java) S 25398 25401 19905 0 -1 1077944384 1 12965 0 0 0 0 5 2 20 0 15 0 66991002 11078508544 9951 33554432000 4194304 4196468 140737121114160 139757338684560 139757765158613 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 23552000 140737121122926 140737121125724 140737121125724 140737121128399 0
[pid=25401/tid=25457] ppid=25398 vsize=10818856 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/25401/task/25457/stat : 25457 (java) S 25398 25401 19905 0 -1 1077944384 1 12965 0 0 0 0 5 2 20 0 15 0 66991002 11078508544 9951 33554432000 4194304 4196468 140737121114160 139757337631504 139757765158613 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 23552000 140737121122926 140737121125724 140737121125724 140737121128399 0
[pid=25401/tid=25458] ppid=25398 vsize=10818856 memory=-1 CPUtime=0.07 cores=1,3,5,7
/proc/25401/task/25458/stat : 25458 (java) S 25398 25401 19905 0 -1 1077944384 2 12965 0 0 0 0 5 2 20 0 15 0 66991002 11078508544 9951 33554432000 4194304 4196468 140737121114160 139757336578960 139757765158613 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 23552000 140737121122926 140737121125724 140737121125724 140737121128399 0
[pid=25401/tid=25459] ppid=25398 vsize=10818856 memory=139873604130432 CPUtime=0.07 cores=1,3,5,7
/proc/25401/task/25459/stat : 25459 (java) S 25398 25401 19905 0 -1 1077944384 2 12965 0 0 0 0 5 2 20 0 15 0 66991004 11078508544 9951 33554432000 4194304 4196468 140737121114160 139757223909616 139757765159554 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 23552000 140737121122926 140737121125724 140737121125724 140737121128399 0
[pid=25401/tid=25460] ppid=25398 vsize=10818856 memory=-1 CPUtime=0.07 cores=1,3,5,7
/proc/25401/task/25460/stat : 25460 (java) S 25398 25401 19905 0 -1 1077944384 33 12965 0 0 0 0 5 2 20 0 15 0 66991004 11078508544 9951 33554432000 4194304 4196468 140737121114160 139757222855840 139757765158613 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 23552000 140737121122926 140737121125724 140737121125724 140737121128399 0
[pid=25401/tid=25461] ppid=25398 vsize=10818856 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/25401/task/25461/stat : 25461 (java) S 25398 25401 19905 0 -1 1077944384 1 12965 0 0 0 0 5 2 20 0 15 0 66991004 11078508544 9951 33554432000 4194304 4196468 140737121114160 139756625191664 139757765158613 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 23552000 140737121122926 140737121125724 140737121125724 140737121128399 0
[pid=25401/tid=25462] ppid=25398 vsize=10818856 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/25401/task/25462/stat : 25462 (java) S 25398 25401 19905 0 -1 1077944384 3 12965 0 0 0 0 5 2 20 0 15 0 66991007 11078508544 9951 33554432000 4194304 4196468 140737121114160 139756317792208 139757765167003 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 23552000 140737121122926 140737121125724 140737121125724 140737121128399 0
[pid=25401/tid=25463] ppid=25398 vsize=10818856 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/25401/task/25463/stat : 25463 (java) S 25398 25401 19905 0 -1 1077944384 506 12965 0 0 1 0 5 2 20 0 15 0 66991007 11078508544 9951 33554432000 4194304 4196468 140737121114160 139757189298928 139757765159554 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 23552000 140737121122926 140737121125724 140737121125724 140737121128399 0
[pid=25401/tid=25464] ppid=25398 vsize=10818856 memory=-1 CPUtime=0.07 cores=1,3,5,7
/proc/25401/task/25464/stat : 25464 (java) S 25398 25401 19905 0 -1 1077944384 145 12965 0 0 0 0 5 2 20 0 15 0 66991007 11078508544 9951 33554432000 4194304 4196468 140737121114160 139757188246384 139757765159554 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 23552000 140737121122926 140737121125724 140737121125724 140737121128399 0
[pid=25401/tid=25465] ppid=25398 vsize=10818856 memory=139873604130432 CPUtime=0.1 cores=1,3,5,7
/proc/25401/task/25465/stat : 25465 (java) S 25398 25401 19905 0 -1 1077944384 684 12965 0 0 3 0 5 2 20 0 15 0 66991007 11078508544 9951 33554432000 4194304 4196468 140737121114160 139757187193328 139757765159554 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 23552000 140737121122926 140737121125724 140737121125724 140737121128399 0
[pid=25401/tid=25466] ppid=25398 vsize=10818856 memory=-1 CPUtime=0.07 cores=1,3,5,7
/proc/25401/task/25466/stat : 25466 (java) S 25398 25401 19905 0 -1 1077944384 3 12965 0 0 0 0 5 2 20 0 15 0 66991007 11078508544 9951 33554432000 4194304 4196468 140737121114160 139756284234592 139757765158613 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 23552000 140737121122926 140737121125724 140737121125724 140737121128399 0
[pid=25401/tid=25467] ppid=25398 vsize=10818856 memory=139873604130432 CPUtime=0.07 cores=1,3,5,7
/proc/25401/task/25467/stat : 25467 (java) S 25398 25401 19905 0 -1 1077944384 1 12965 0 0 0 0 5 2 20 0 15 0 66991007 11078508544 9951 33554432000 4194304 4196468 140737121114160 139757186140720 139757765159554 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 23552000 140737121122926 140737121125724 140737121125724 140737121128399 0
Current children cumulated CPU time: 0.25 s
Current children cumulated vsize: 10818856 KiB
Current children cumulated memory: 39804 KiB
[startup+0.310615 s]*
/proc/loadavg: 1.34 1.35 1.34 3/220 25467
/proc/meminfo: memFree=19693344/32770624 swapFree=67108860/67108860
[pid=25401] ppid=25398 vsize=10819352 memory=51152 CPUtime=0.38 cores=1,3,5,7
/proc/25401/stat : 25401 (java) S 25398 25401 19905 0 -1 1077944320 10399 12965 0 0 29 2 5 2 20 0 15 0 66990992 11079016448 12788 33554432000 4194304 4196468 140737121114160 140737121096704 139757765148407 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 23552000 140737121122926 140737121125724 140737121125724 140737121128399 0
/proc/25401/statm: 2704838 12788 3103 1 0 2667149 0
[pid=25401/tid=25454] ppid=25398 vsize=10819352 memory=6791534058613427641 CPUtime=0.28 cores=1,3,5,7
/proc/25401/task/25454/stat : 25454 (java) R 25398 25401 19905 0 -1 4202560 6791 12965 0 0 19 2 5 2 20 0 15 0 66991001 11079016448 12788 33554432000 4194304 4196468 140737121114160 139757736960416 139757757387307 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 23552000 140737121122926 140737121125724 140737121125724 140737121128399 0
[pid=25401/tid=25455] ppid=25398 vsize=10819352 memory=7373043845850746960 CPUtime=0.07 cores=1,3,5,7
/proc/25401/task/25455/stat : 25455 (java) S 25398 25401 19905 0 -1 1077944384 1 12965 0 0 0 0 5 2 20 0 15 0 66991002 11079016448 12788 33554432000 4194304 4196468 140737121114160 139757769391120 139757765158613 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 23552000 140737121122926 140737121125724 140737121125724 140737121128399 0
[pid=25401/tid=25456] ppid=25398 vsize=10819352 memory=2080 CPUtime=0.07 cores=1,3,5,7
/proc/25401/task/25456/stat : 25456 (java) S 25398 25401 19905 0 -1 1077944384 1 12965 0 0 0 0 5 2 20 0 15 0 66991002 11079016448 12788 33554432000 4194304 4196468 140737121114160 139757338684560 139757765158613 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 23552000 140737121122926 140737121125724 140737121125724 140737121128399 0
[pid=25401/tid=25457] ppid=25398 vsize=10819352 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/25401/task/25457/stat : 25457 (java) S 25398 25401 19905 0 -1 1077944384 1 12965 0 0 0 0 5 2 20 0 15 0 66991002 11079016448 12788 33554432000 4194304 4196468 140737121114160 139757337631504 139757765158613 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 23552000 140737121122926 140737121125724 140737121125724 140737121128399 0
[pid=25401/tid=25458] ppid=25398 vsize=10819352 memory=-1 CPUtime=0.07 cores=1,3,5,7
/proc/25401/task/25458/stat : 25458 (java) S 25398 25401 19905 0 -1 1077944384 2 12965 0 0 0 0 5 2 20 0 15 0 66991002 11079016448 12788 33554432000 4194304 4196468 140737121114160 139757336578960 139757765158613 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 23552000 140737121122926 140737121125724 140737121125724 140737121128399 0
[pid=25401/tid=25459] ppid=25398 vsize=10819352 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/25401/task/25459/stat : 25459 (java) S 25398 25401 19905 0 -1 1077944384 2 12965 0 0 0 0 5 2 20 0 15 0 66991004 11079016448 12788 33554432000 4194304 4196468 140737121114160 139757223909616 139757765159554 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 23552000 140737121122926 140737121125724 140737121125724 140737121128399 0
[pid=25401/tid=25460] ppid=25398 vsize=10819352 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/25401/task/25460/stat : 25460 (java) S 25398 25401 19905 0 -1 1077944384 33 12965 0 0 0 0 5 2 20 0 15 0 66991004 11079016448 12788 33554432000 4194304 4196468 140737121114160 139757222855840 139757765158613 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 23552000 140737121122926 140737121125724 140737121125724 140737121128399 0
[pid=25401/tid=25461] ppid=25398 vsize=10819352 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/25401/task/25461/stat : 25461 (java) S 25398 25401 19905 0 -1 1077944384 1 12965 0 0 0 0 5 2 20 0 15 0 66991004 11079016448 12788 33554432000 4194304 4196468 140737121114160 139756625191664 139757765158613 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 23552000 140737121122926 140737121125724 140737121125724 140737121128399 0
[pid=25401/tid=25462] ppid=25398 vsize=10819352 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/25401/task/25462/stat : 25462 (java) S 25398 25401 19905 0 -1 1077944384 3 12965 0 0 0 0 5 2 20 0 15 0 66991007 11079016448 12788 33554432000 4194304 4196468 140737121114160 139756317792208 139757765167003 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 23552000 140737121122926 140737121125724 140737121125724 140737121128399 0
[pid=25401/tid=25463] ppid=25398 vsize=10819352 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/25401/task/25463/stat : 25463 (java) S 25398 25401 19905 0 -1 1077944384 506 12965 0 0 1 0 5 2 20 0 15 0 66991007 11079016448 12788 33554432000 4194304 4196468 140737121114160 139757189298928 139757765159554 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 23552000 140737121122926 140737121125724 140737121125724 140737121128399 0
[pid=25401/tid=25464] ppid=25398 vsize=10819352 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/25401/task/25464/stat : 25464 (java) S 25398 25401 19905 0 -1 1077944384 153 12965 0 0 1 0 5 2 20 0 15 0 66991007 11079016448 12788 33554432000 4194304 4196468 140737121114160 139757188246384 139757765159554 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 23552000 140737121122926 140737121125724 140737121125724 140737121128399 0
[pid=25401/tid=25465] ppid=25398 vsize=10819352 memory=0 CPUtime=0.12 cores=1,3,5,7
/proc/25401/task/25465/stat : 25465 (java) R 25398 25401 19905 0 -1 4202560 710 12965 0 0 5 0 5 2 20 0 15 0 66991007 11079016448 12788 33554432000 4194304 4196468 140737121114160 139757187193328 139757765169754 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 23552000 140737121122926 140737121125724 140737121125724 140737121128399 0
[pid=25401/tid=25466] ppid=25398 vsize=10819352 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/25401/task/25466/stat : 25466 (java) S 25398 25401 19905 0 -1 1077944384 3 12965 0 0 0 0 5 2 20 0 15 0 66991007 11079016448 12788 33554432000 4194304 4196468 140737121114160 139756284234592 139757765158613 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 23552000 140737121122926 140737121125724 140737121125724 140737121128399 0
[pid=25401/tid=25467] ppid=25398 vsize=10819352 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/25401/task/25467/stat : 25467 (java) S 25398 25401 19905 0 -1 1077944384 1 12965 0 0 0 0 5 2 20 0 15 0 66991007 11079016448 12788 33554432000 4194304 4196468 140737121114160 139757186140720 139757765159554 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 23552000 140737121122926 140737121125724 140737121125724 140737121128399 0
Current children cumulated CPU time: 0.38 s
Current children cumulated vsize: 10819352 KiB
Current children cumulated memory: 51152 KiB
[startup+0.700799 s]
/proc/loadavg: 1.34 1.35 1.34 3/220 25467
/proc/meminfo: memFree=19681064/32770624 swapFree=67108860/67108860
[pid=25401] ppid=25398 vsize=10819352 memory=83992 CPUtime=0.98 cores=1,3,5,7
/proc/25401/stat : 25401 (java) S 25398 25401 19905 0 -1 1077944320 16747 12965 0 0 88 3 5 2 20 0 15 0 66990992 11079016448 20998 33554432000 4194304 4196468 140737121114160 140737121096704 139757765148407 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 23552000 140737121122926 140737121125724 140737121125724 140737121128399 0
/proc/25401/statm: 2704838 20998 3237 1 0 2667149 0
[pid=25401/tid=25454] ppid=25398 vsize=10819352 memory=0 CPUtime=0.66 cores=1,3,5,7
/proc/25401/task/25454/stat : 25454 (java) R 25398 25401 19905 0 -1 4202560 12061 12965 0 0 56 3 5 2 20 0 15 0 66991001 11079016448 20998 33554432000 4194304 4196468 140737121114160 139757736971344 139757749228894 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 23552000 140737121122926 140737121125724 140737121125724 140737121128399 0
[pid=25401/tid=25455] ppid=25398 vsize=10819352 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/25401/task/25455/stat : 25455 (java) S 25398 25401 19905 0 -1 1077944384 1 12965 0 0 0 0 5 2 20 0 15 0 66991002 11079016448 20998 33554432000 4194304 4196468 140737121114160 139757769391120 139757765158613 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 23552000 140737121122926 140737121125724 140737121125724 140737121128399 0
[pid=25401/tid=25456] ppid=25398 vsize=10819352 memory=4036 CPUtime=0.07 cores=1,3,5,7
/proc/25401/task/25456/stat : 25456 (java) S 25398 25401 19905 0 -1 1077944384 1 12965 0 0 0 0 5 2 20 0 15 0 66991002 11079016448 20998 33554432000 4194304 4196468 140737121114160 139757338684560 139757765158613 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 23552000 140737121122926 140737121125724 140737121125724 140737121128399 0
[pid=25401/tid=25457] ppid=25398 vsize=10819352 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/25401/task/25457/stat : 25457 (java) S 25398 25401 19905 0 -1 1077944384 1 12965 0 0 0 0 5 2 20 0 15 0 66991002 11079016448 20998 33554432000 4194304 4196468 140737121114160 139757337631504 139757765158613 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 23552000 140737121122926 140737121125724 140737121125724 140737121128399 0
[pid=25401/tid=25458] ppid=25398 vsize=10819352 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/25401/task/25458/stat : 25458 (java) S 25398 25401 19905 0 -1 1077944384 2 12965 0 0 0 0 5 2 20 0 15 0 66991002 11079016448 20998 33554432000 4194304 4196468 140737121114160 139757336578960 139757765158613 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 23552000 140737121122926 140737121125724 140737121125724 140737121128399 0
[pid=25401/tid=25459] ppid=25398 vsize=10819352 memory=4420 CPUtime=0.07 cores=1,3,5,7
/proc/25401/task/25459/stat : 25459 (java) S 25398 25401 19905 0 -1 1077944384 5 12965 0 0 0 0 5 2 20 0 15 0 66991004 11079016448 20998 33554432000 4194304 4196468 140737121114160 139757223909616 139757765159554 0 0 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 23552000 140737121122926 140737121125724 140737121125724 140737121128399 0
[pid=25401/tid=25460] ppid=25398 vsize=10819352 memory=6628 CPUtime=0.07 cores=1,3,5,7
/proc/25401/task/25460/stat : 25460 (java) S 25398 25401 19905 0 -1 1077944384 33 12965 0 0 0 0 5 2 20 0 15 0 66991004 11079016448 20998 33554432000 4194304 4196468 140737121114160 139757222855840 139757765158613 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 23552000 140737121122926 140737121125724 140737121125724 140737121128399 0
[pid=25401/tid=25461] ppid=25398 vsize=10819352 memory=8836 CPUtime=0.07 cores=1,3,5,7
/proc/25401/task/25461/stat : 25461 (java) S 25398 25401 19905 0 -1 1077944384 1 12965 0 0 0 0 5 2 20 0 15 0 66991004 11079016448 20998 33554432000 4194304 4196468 140737121114160 139756625191664 139757765158613 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 23552000 140737121122926 140737121125724 140737121125724 140737121128399 0
[pid=25401/tid=25462] ppid=25398 vsize=10819352 memory=11044 CPUtime=0.07 cores=1,3,5,7
/proc/25401/task/25462/stat : 25462 (java) S 25398 25401 19905 0 -1 1077944384 3 12965 0 0 0 0 5 2 20 0 15 0 66991007 11079016448 20998 33554432000 4194304 4196468 140737121114160 139756317792208 139757765167003 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 23552000 140737121122926 140737121125724 140737121125724 140737121128399 0
[pid=25401/tid=25463] ppid=25398 vsize=10819352 memory=13252 CPUtime=0.17 cores=1,3,5,7
/proc/25401/task/25463/stat : 25463 (java) S 25398 25401 19905 0 -1 1077944384 1120 12965 0 0 10 0 5 2 20 0 15 0 66991007 11079016448 20998 33554432000 4194304 4196468 140737121114160 139757189298928 139757765159554 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 23552000 140737121122926 140737121125724 140737121125724 140737121128399 0
[pid=25401/tid=25464] ppid=25398 vsize=10819352 memory=15460 CPUtime=0.14 cores=1,3,5,7
/proc/25401/task/25464/stat : 25464 (java) S 25398 25401 19905 0 -1 1077944384 447 12965 0 0 7 0 5 2 20 0 15 0 66991007 11079016448 20998 33554432000 4194304 4196468 140737121114160 139757188246384 139757765159554 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 23552000 140737121122926 140737121125724 140737121125724 140737121128399 0
[pid=25401/tid=25465] ppid=25398 vsize=10819352 memory=17668 CPUtime=0.2 cores=1,3,5,7
/proc/25401/task/25465/stat : 25465 (java) S 25398 25401 19905 0 -1 1077944384 876 12965 0 0 13 0 5 2 20 0 15 0 66991007 11079016448 20998 33554432000 4194304 4196468 140737121114160 139757187193328 139757765159554 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 23552000 140737121122926 140737121125724 140737121125724 140737121128399 0
[pid=25401/tid=25466] ppid=25398 vsize=10819352 memory=19876 CPUtime=0.07 cores=1,3,5,7
/proc/25401/task/25466/stat : 25466 (java) S 25398 25401 19905 0 -1 1077944384 3 12965 0 0 0 0 5 2 20 0 15 0 66991007 11079016448 20998 33554432000 4194304 4196468 140737121114160 139756284234592 139757765158613 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 23552000 140737121122926 140737121125724 140737121125724 140737121128399 0
[pid=25401/tid=25467] ppid=25398 vsize=10819352 memory=22084 CPUtime=0.07 cores=1,3,5,7
/proc/25401/task/25467/stat : 25467 (java) S 25398 25401 19905 0 -1 1077944384 1 12965 0 0 0 0 5 2 20 0 15 0 66991007 11079016448 20998 33554432000 4194304 4196468 140737121114160 139757186140720 139757765159554 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 23552000 140737121122926 140737121125724 140737121125724 140737121128399 0
Current children cumulated CPU time: 0.98 s
Current children cumulated vsize: 10819352 KiB
Current children cumulated memory: 83992 KiB
[startup+1.50076 s]
/proc/loadavg: 1.34 1.35 1.34 3/220 25467
/proc/meminfo: memFree=19633540/32770624 swapFree=67108860/67108860
[pid=25401] ppid=25398 vsize=10834252 memory=211336 CPUtime=2.7 cores=1,3,5,7
/proc/25401/stat : 25401 (java) S 25398 25401 19905 0 -1 1077944320 24839 12965 0 0 253 10 5 2 20 0 15 0 66990992 11094274048 52834 33554432000 4194304 4196468 140737121114160 140737121096704 139757765148407 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 23552000 140737121122926 140737121125724 140737121125724 140737121128399 0
/proc/25401/statm: 2708563 52834 3474 1 0 2670221 0
[pid=25401/tid=25454] ppid=25398 vsize=10834252 memory=0 CPUtime=1.42 cores=1,3,5,7
/proc/25401/task/25454/stat : 25454 (java) R 25398 25401 19905 0 -1 4202560 16932 12965 0 0 129 6 5 2 20 0 15 0 66991001 11094274048 52834 33554432000 4194304 4196468 140737121114160 139757736965600 139757765170333 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 23552000 140737121122926 140737121125724 140737121125724 140737121128399 0
[pid=25401/tid=25455] ppid=25398 vsize=10834252 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/25401/task/25455/stat : 25455 (java) S 25398 25401 19905 0 -1 1077944384 62 12965 0 0 1 0 5 2 20 0 15 0 66991002 11094274048 52834 33554432000 4194304 4196468 140737121114160 139757769391120 139757765158613 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 23552000 140737121122926 140737121125724 140737121125724 140737121128399 0
[pid=25401/tid=25456] ppid=25398 vsize=10834252 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/25401/task/25456/stat : 25456 (java) S 25398 25401 19905 0 -1 1077944384 21 12965 0 0 1 0 5 2 20 0 15 0 66991002 11094274048 52834 33554432000 4194304 4196468 140737121114160 139757338684560 139757765158613 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 23552000 140737121122926 140737121125724 140737121125724 140737121128399 0
[pid=25401/tid=25457] ppid=25398 vsize=10834252 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/25401/task/25457/stat : 25457 (java) S 25398 25401 19905 0 -1 1077944384 187 12965 0 0 1 0 5 2 20 0 15 0 66991002 11094274048 52834 33554432000 4194304 4196468 140737121114160 139757337631504 139757765158613 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 23552000 140737121122926 140737121125724 140737121125724 140737121128399 0
[pid=25401/tid=25458] ppid=25398 vsize=10834252 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/25401/task/25458/stat : 25458 (java) S 25398 25401 19905 0 -1 1077944384 31 12965 0 0 1 0 5 2 20 0 15 0 66991002 11094274048 52834 33554432000 4194304 4196468 140737121114160 139757336578960 139757765158613 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 23552000 140737121122926 140737121125724 140737121125724 140737121128399 0
[pid=25401/tid=25459] ppid=25398 vsize=10834252 memory=-7965959130280075168 CPUtime=0.08 cores=1,3,5,7
/proc/25401/task/25459/stat : 25459 (java) S 25398 25401 19905 0 -1 1077944384 472 12965 0 0 1 0 5 2 20 0 15 0 66991004 11094274048 52834 33554432000 4194304 4196468 140737121114160 139757223909616 139757765159554 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 23552000 140737121122926 140737121125724 140737121125724 140737121128399 0
[pid=25401/tid=25460] ppid=25398 vsize=10834252 memory=279746923538688 CPUtime=0.07 cores=1,3,5,7
/proc/25401/task/25460/stat : 25460 (java) S 25398 25401 19905 0 -1 1077944384 34 12965 0 0 0 0 5 2 20 0 15 0 66991004 11094274048 52834 33554432000 4194304 4196468 140737121114160 139757222855904 139757765158613 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 23552000 140737121122926 140737121125724 140737121125724 140737121128399 0
[pid=25401/tid=25461] ppid=25398 vsize=10834252 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/25401/task/25461/stat : 25461 (java) S 25398 25401 19905 0 -1 1077944384 2 12965 0 0 0 0 5 2 20 0 15 0 66991004 11094274048 52834 33554432000 4194304 4196468 140737121114160 139756625191680 139757765158613 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 23552000 140737121122926 140737121125724 140737121125724 140737121128399 0
[pid=25401/tid=25462] ppid=25398 vsize=10834252 memory=13056 CPUtime=0.07 cores=1,3,5,7
/proc/25401/task/25462/stat : 25462 (java) S 25398 25401 19905 0 -1 1077944384 3 12965 0 0 0 0 5 2 20 0 15 0 66991007 11094274048 52834 33554432000 4194304 4196468 140737121114160 139756317792208 139757765167003 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 23552000 140737121122926 140737121125724 140737121125724 140737121128399 0
[pid=25401/tid=25463] ppid=25398 vsize=10834252 memory=5788 CPUtime=0.47 cores=1,3,5,7
/proc/25401/task/25463/stat : 25463 (java) S 25398 25401 19905 0 -1 1077944384 1932 12965 0 0 40 0 5 2 20 0 15 0 66991007 11094274048 52834 33554432000 4194304 4196468 140737121114160 139757189298928 139757765159554 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 23552000 140737121122926 140737121125724 140737121125724 140737121128399 0
[pid=25401/tid=25464] ppid=25398 vsize=10834252 memory=4620 CPUtime=0.48 cores=1,3,5,7
/proc/25401/task/25464/stat : 25464 (java) S 25398 25401 19905 0 -1 1077944384 1144 12965 0 0 41 0 5 2 20 0 15 0 66991007 11094274048 52834 33554432000 4194304 4196468 140737121114160 139757188246384 139757765159554 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 23552000 140737121122926 140737121125724 140737121125724 140737121128399 0
[pid=25401/tid=25465] ppid=25398 vsize=10834252 memory=1424 CPUtime=0.41 cores=1,3,5,7
/proc/25401/task/25465/stat : 25465 (java) S 25398 25401 19905 0 -1 1077944384 1822 12965 0 0 34 0 5 2 20 0 15 0 66991007 11094274048 52834 33554432000 4194304 4196468 140737121114160 139757187193328 139757765159554 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 23552000 140737121122926 140737121125724 140737121125724 140737121128399 0
[pid=25401/tid=25466] ppid=25398 vsize=10834252 memory=1232 CPUtime=0.07 cores=1,3,5,7
/proc/25401/task/25466/stat : 25466 (java) S 25398 25401 19905 0 -1 1077944384 3 12965 0 0 0 0 5 2 20 0 15 0 66991007 11094274048 52834 33554432000 4194304 4196468 140737121114160 139756284234592 139757765158613 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 23552000 140737121122926 140737121125724 140737121125724 140737121128399 0
[pid=25401/tid=25467] ppid=25398 vsize=10834252 memory=1012 CPUtime=0.07 cores=1,3,5,7
/proc/25401/task/25467/stat : 25467 (java) S 25398 25401 19905 0 -1 1077944384 1 12965 0 0 0 0 5 2 20 0 15 0 66991007 11094274048 52834 33554432000 4194304 4196468 140737121114160 139757186140720 139757765159554 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 23552000 140737121122926 140737121125724 140737121125724 140737121128399 0
Current children cumulated CPU time: 2.7 s
Current children cumulated vsize: 10834252 KiB
################
# More data... #
################
[startup+3.11068 s]
/proc/loadavg: 1.34 1.35 1.34 6/220 25467
/proc/meminfo: memFree=19484996/32770624 swapFree=67108860/67108860
[pid=25401] ppid=25398 vsize=10842464 memory=285160 CPUtime=6.34 cores=1,3,5,7
/proc/25401/stat : 25401 (java) S 25398 25401 19905 0 -1 1077944320 44379 12965 0 0 612 15 5 2 20 0 15 0 66990992 11102683136 71290 33554432000 4194304 4196468 140737121114160 140737121096704 139757765148407 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 23552000 140737121122926 140737121125724 140737121125724 140737121128399 0
/proc/25401/statm: 2710616 71290 3490 1 0 2672269 0
[pid=25401/tid=25454] ppid=25398 vsize=10842464 memory=279746923957376 CPUtime=3.02 cores=1,3,5,7
/proc/25401/task/25454/stat : 25454 (java) R 25398 25401 19905 0 -1 4202560 30982 12965 0 0 285 10 5 2 20 0 15 0 66991001 11102683136 71290 33554432000 4194304 4196468 140737121114160 139757736973808 139757378671525 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 23552000 140737121122926 140737121125724 140737121125724 140737121128399 0
[pid=25401/tid=25455] ppid=25398 vsize=10842464 memory=279746923961920 CPUtime=0.08 cores=1,3,5,7
/proc/25401/task/25455/stat : 25455 (java) S 25398 25401 19905 0 -1 1077944384 62 12965 0 0 1 0 5 2 20 0 15 0 66991002 11102683136 71290 33554432000 4194304 4196468 140737121114160 139757769391120 139757765158613 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 23552000 140737121122926 140737121125724 140737121125724 140737121128399 0
[pid=25401/tid=25456] ppid=25398 vsize=10842464 memory=6944656592387989600 CPUtime=0.08 cores=1,3,5,7
/proc/25401/task/25456/stat : 25456 (java) S 25398 25401 19905 0 -1 1077944384 21 12965 0 0 1 0 5 2 20 0 15 0 66991002 11102683136 71290 33554432000 4194304 4196468 140737121114160 139757338684560 139757765158613 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 23552000 140737121122926 140737121125724 140737121125724 140737121128399 0
[pid=25401/tid=25457] ppid=25398 vsize=10842464 memory=56 CPUtime=0.08 cores=1,3,5,7
/proc/25401/task/25457/stat : 25457 (java) S 25398 25401 19905 0 -1 1077944384 187 12965 0 0 1 0 5 2 20 0 15 0 66991002 11102683136 71290 33554432000 4194304 4196468 140737121114160 139757337631504 139757765158613 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 23552000 140737121122926 140737121125724 140737121125724 140737121128399 0
[pid=25401/tid=25458] ppid=25398 vsize=10842464 memory=7886128541282152754 CPUtime=0.08 cores=1,3,5,7
/proc/25401/task/25458/stat : 25458 (java) S 25398 25401 19905 0 -1 1077944384 31 12965 0 0 1 0 5 2 20 0 15 0 66991002 11102683136 71290 33554432000 4194304 4196468 140737121114160 139757336578960 139757765158613 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 23552000 140737121122926 140737121125724 140737121125724 140737121128399 0
[pid=25401/tid=25459] ppid=25398 vsize=10842464 memory=8389687274567316274 CPUtime=0.08 cores=1,3,5,7
/proc/25401/task/25459/stat : 25459 (java) S 25398 25401 19905 0 -1 1077944384 648 12965 0 0 1 0 5 2 20 0 15 0 66991004 11102683136 71290 33554432000 4194304 4196468 140737121114160 139757223909616 139757765159554 0 0 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 23552000 140737121122926 140737121125724 140737121125724 140737121128399 0
[pid=25401/tid=25460] ppid=25398 vsize=10842464 memory=7093353405383963334 CPUtime=0.07 cores=1,3,5,7
/proc/25401/task/25460/stat : 25460 (java) S 25398 25401 19905 0 -1 1077944384 34 12965 0 0 0 0 5 2 20 0 15 0 66991004 11102683136 71290 33554432000 4194304 4196468 140737121114160 139757222855904 139757765158613 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 23552000 140737121122926 140737121125724 140737121125724 140737121128399 0
[pid=25401/tid=25461] ppid=25398 vsize=10842464 memory=279746923791872 CPUtime=0.07 cores=1,3,5,7
/proc/25401/task/25461/stat : 25461 (java) S 25398 25401 19905 0 -1 1077944384 2 12965 0 0 0 0 5 2 20 0 15 0 66991004 11102683136 71290 33554432000 4194304 4196468 140737121114160 139756625191680 139757765158613 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 23552000 140737121122926 140737121125724 140737121125724 140737121128399 0
[pid=25401/tid=25462] ppid=25398 vsize=10842464 memory=7813300499672229721 CPUtime=0.07 cores=1,3,5,7
/proc/25401/task/25462/stat : 25462 (java) S 25398 25401 19905 0 -1 1077944384 3 12965 0 0 0 0 5 2 20 0 15 0 66991007 11102683136 71290 33554432000 4194304 4196468 140737121114160 139756317792208 139757765167003 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 23552000 140737121122926 140737121125724 140737121125724 140737121128399 0
[pid=25401/tid=25463] ppid=25398 vsize=10842464 memory=6440235876196307044 CPUtime=1.15 cores=1,3,5,7
/proc/25401/task/25463/stat : 25463 (java) R 25398 25401 19905 0 -1 4202560 2843 12965 0 0 108 0 5 2 20 0 15 0 66991007 11102683136 71290 33554432000 4194304 4196468 140737121114160 139757189268704 139757748645191 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 23552000 140737121122926 140737121125724 140737121125724 140737121128399 0
[pid=25401/tid=25464] ppid=25398 vsize=10842464 memory=6153985703205688933 CPUtime=1.22 cores=1,3,5,7
/proc/25401/task/25464/stat : 25464 (java) R 25398 25401 19905 0 -1 4202560 2523 12965 0 0 115 0 5 2 20 0 15 0 66991007 11102683136 71290 33554432000 4194304 4196468 140737121114160 139757188233376 139757748679937 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 23552000 140737121122926 140737121125724 140737121125724 140737121128399 0
[pid=25401/tid=25465] ppid=25398 vsize=10842464 memory=288230574492221466 CPUtime=1.02 cores=1,3,5,7
/proc/25401/task/25465/stat : 25465 (java) S 25398 25401 19905 0 -1 1077944384 4838 12965 0 0 94 1 5 2 20 0 15 0 66991007 11102683136 71290 33554432000 4194304 4196468 140737121114160 139757187193328 139757765159554 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 23552000 140737121122926 140737121125724 140737121125724 140737121128399 0
[pid=25401/tid=25466] ppid=25398 vsize=10842464 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/25401/task/25466/stat : 25466 (java) S 25398 25401 19905 0 -1 1077944384 3 12965 0 0 0 0 5 2 20 0 15 0 66991007 11102683136 71290 33554432000 4194304 4196468 140737121114160 139756284234592 139757765158613 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 23552000 140737121122926 140737121125724 140737121125724 140737121128399 0
[pid=25401/tid=25467] ppid=25398 vsize=10842464 memory=2193 CPUtime=0.07 cores=1,3,5,7
/proc/25401/task/25467/stat : 25467 (java) S 25398 25401 19905 0 -1 1077944384 9 12965 0 0 0 0 5 2 20 0 15 0 66991007 11102683136 71290 33554432000 4194304 4196468 140737121114160 139757186140720 139757765159554 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 23552000 140737121122926 140737121125724 140737121125724 140737121128399 0
Current children cumulated CPU time: 6.34 s
Current children cumulated vsize: 10842464 KiB
Current children cumulated memory: 285160 KiB
[startup+4.45977 s]
# the end of solver process 25401 was just reported to runsolver
# cumulated CPU time of all completed processes: user=9.73342 s, system=0.232754 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+3.20092 s]
/proc/loadavg: 1.34 1.35 1.34 6/220 25467
/proc/meminfo: memFree=19484996/32770624 swapFree=67108860/67108860
[pid=25401] ppid=25398 vsize=10844512 memory=305456 CPUtime=6.63 cores=1,3,5,7
/proc/25401/stat : 25401 (java) S 25398 25401 19905 0 -1 1077944320 45034 12965 0 0 639 17 5 2 20 0 15 0 66990992 11104780288 76364 33554432000 4194304 4196468 140737121114160 140737121096704 139757765148407 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 23552000 140737121122926 140737121125724 140737121125724 140737121128399 0
/proc/25401/statm: 2711128 76364 3498 1 0 2672781 0
[pid=25401/tid=25454] ppid=25398 vsize=10844512 memory=0 CPUtime=3.1 cores=1,3,5,7
/proc/25401/task/25454/stat : 25454 (java) S 25398 25401 19905 0 -1 1077944384 31442 12965 0 0 293 10 5 2 20 0 15 0 66991001 11104780288 76364 33554432000 4194304 4196468 140737121114160 139757736976864 139757765158613 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 23552000 140737121122926 140737121125724 140737121125724 140737121128399 0
[pid=25401/tid=25455] ppid=25398 vsize=10844512 memory=0 CPUtime=0.09 cores=1,3,5,7
/proc/25401/task/25455/stat : 25455 (java) S 25398 25401 19905 0 -1 1077944384 75 12965 0 0 1 1 5 2 20 0 15 0 66991002 11104780288 76364 33554432000 4194304 4196468 140737121114160 139757769391120 139757765158613 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 23552000 140737121122926 140737121125724 140737121125724 140737121128399 0
[pid=25401/tid=25456] ppid=25398 vsize=10844512 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/25401/task/25456/stat : 25456 (java) S 25398 25401 19905 0 -1 1077944384 24 12965 0 0 1 0 5 2 20 0 15 0 66991002 11104780288 76364 33554432000 4194304 4196468 140737121114160 139757338684560 139757765158613 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 23552000 140737121122926 140737121125724 140737121125724 140737121128399 0
[pid=25401/tid=25457] ppid=25398 vsize=10844512 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/25401/task/25457/stat : 25457 (java) S 25398 25401 19905 0 -1 1077944384 271 12965 0 0 1 0 5 2 20 0 15 0 66991002 11104780288 76365 33554432000 4194304 4196468 140737121114160 139757337631504 139757765158613 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 23552000 140737121122926 140737121125724 140737121125724 140737121128399 0
[pid=25401/tid=25458] ppid=25398 vsize=10844512 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/25401/task/25458/stat : 25458 (java) S 25398 25401 19905 0 -1 1077944384 50 12965 0 0 1 0 5 2 20 0 15 0 66991002 11104780288 76365 33554432000 4194304 4196468 140737121114160 139757336578960 139757765158613 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 23552000 140737121122926 140737121125724 140737121125724 140737121128399 0
[pid=25401/tid=25459] ppid=25398 vsize=10844512 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/25401/task/25459/stat : 25459 (java) R 25398 25401 19905 0 -1 4202560 671 12965 0 0 1 0 5 2 20 0 15 0 66991004 11104780288 76365 33554432000 4194304 4196468 140737121114160 139757223908128 139757750839589 0 0 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 23552000 140737121122926 140737121125724 140737121125724 140737121128399 0
[pid=25401/tid=25460] ppid=25398 vsize=10844512 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/25401/task/25460/stat : 25460 (java) S 25398 25401 19905 0 -1 1077944384 34 12965 0 0 0 0 5 2 20 0 15 0 66991004 11104780288 76365 33554432000 4194304 4196468 140737121114160 139757222855904 139757765158613 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 23552000 140737121122926 140737121125724 140737121125724 140737121128399 0
[pid=25401/tid=25461] ppid=25398 vsize=10844512 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/25401/task/25461/stat : 25461 (java) S 25398 25401 19905 0 -1 1077944384 2 12965 0 0 0 0 5 2 20 0 15 0 66991004 11104780288 76365 33554432000 4194304 4196468 140737121114160 139756625191680 139757765158613 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 23552000 140737121122926 140737121125724 140737121125724 140737121128399 0
[pid=25401/tid=25462] ppid=25398 vsize=10844512 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/25401/task/25462/stat : 25462 (java) S 25398 25401 19905 0 -1 1077944384 3 12965 0 0 0 0 5 2 20 0 15 0 66991007 11104780288 76365 33554432000 4194304 4196468 140737121114160 139756317792208 139757765167003 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 23552000 140737121122926 140737121125724 140737121125724 140737121128399 0
[pid=25401/tid=25463] ppid=25398 vsize=10844512 memory=0 CPUtime=1.24 cores=1,3,5,7
/proc/25401/task/25463/stat : 25463 (java) R 25398 25401 19905 0 -1 4202560 2843 12965 0 0 117 0 5 2 20 0 15 0 66991007 11104780288 76365 33554432000 4194304 4196468 140737121114160 139757189268592 139757748645195 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 23552000 140737121122926 140737121125724 140737121125724 140737121128399 0
[pid=25401/tid=25464] ppid=25398 vsize=10844512 memory=8528 CPUtime=1.3 cores=1,3,5,7
/proc/25401/task/25464/stat : 25464 (java) S 25398 25401 19905 0 -1 1077944384 2543 12965 0 0 123 0 5 2 20 0 15 0 66991007 11104780288 76365 33554432000 4194304 4196468 140737121114160 139757188226192 139757765158613 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 23552000 140737121122926 140737121125724 140737121125724 140737121128399 0
[pid=25401/tid=25465] ppid=25398 vsize=10844512 memory=15872 CPUtime=1.04 cores=1,3,5,7
/proc/25401/task/25465/stat : 25465 (java) S 25398 25401 19905 0 -1 1077944384 4878 12965 0 0 96 1 5 2 20 0 15 0 66991007 11104780288 76365 33554432000 4194304 4196468 140737121114160 139757187193328 139757765159554 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 23552000 140737121122926 140737121125724 140737121125724 140737121128399 0
[pid=25401/tid=25466] ppid=25398 vsize=10844512 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/25401/task/25466/stat : 25466 (java) S 25398 25401 19905 0 -1 1077944384 3 12965 0 0 0 0 5 2 20 0 15 0 66991007 11104780288 76365 33554432000 4194304 4196468 140737121114160 139756284234592 139757765158613 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 23552000 140737121122926 140737121125724 140737121125724 140737121128399 0
[pid=25401/tid=25467] ppid=25398 vsize=10844512 memory=6788 CPUtime=0.07 cores=1,3,5,7
/proc/25401/task/25467/stat : 25467 (java) S 25398 25401 19905 0 -1 1077944384 9 12965 0 0 0 0 5 2 20 0 15 0 66991007 11104780288 76365 33554432000 4194304 4196468 140737121114160 139757186140720 139757765159554 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 23552000 140737121122926 140737121125724 140737121125724 140737121128399 0
Current children cumulated CPU time: 6.63 s
Current children cumulated vsize: 10844512 KiB
Current children cumulated memory: 305456 KiB
[startup+4.00077 s]*
/proc/loadavg: 1.34 1.35 1.34 5/220 25467
/proc/meminfo: memFree=19382932/32770624 swapFree=67108860/67108860
[pid=25401] ppid=25398 vsize=10914144 memory=351272 CPUtime=9.08 cores=1,3,5,7
/proc/25401/stat : 25401 (java) S 25398 25401 19905 0 -1 1077944320 57873 12965 0 0 882 19 5 2 20 0 15 0 66990992 11176083456 87818 33554432000 4194304 4196468 140737121114160 140737121096704 139757765148407 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 23552000 140737121122926 140737121125724 140737121125724 140737121128399 0
/proc/25401/statm: 2728536 87818 3500 1 0 2690189 0
[pid=25401/tid=25454] ppid=25398 vsize=10914144 memory=-6517102902069810590 CPUtime=3.86 cores=1,3,5,7
/proc/25401/task/25454/stat : 25454 (java) R 25398 25401 19905 0 -1 4202560 40068 12965 0 0 368 11 5 2 20 0 15 0 66991001 11176083456 87818 33554432000 4194304 4196468 140737121114160 139757736981648 139757749192037 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 23552000 140737121122926 140737121125724 140737121125724 140737121128399 0
[pid=25401/tid=25455] ppid=25398 vsize=10914144 memory=7526486018442211384 CPUtime=0.11 cores=1,3,5,7
/proc/25401/task/25455/stat : 25455 (java) S 25398 25401 19905 0 -1 1077944384 94 12965 0 0 3 1 5 2 20 0 15 0 66991002 11176083456 87818 33554432000 4194304 4196468 140737121114160 139757769391120 139757765158613 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 23552000 140737121122926 140737121125724 140737121125724 140737121128399 0
[pid=25401/tid=25456] ppid=25398 vsize=10914144 memory=3756194877635626656 CPUtime=0.1 cores=1,3,5,7
/proc/25401/task/25456/stat : 25456 (java) S 25398 25401 19905 0 -1 1077944384 61 12965 0 0 3 0 5 2 20 0 15 0 66991002 11176083456 87818 33554432000 4194304 4196468 140737121114160 139757338684560 139757765158613 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 23552000 140737121122926 140737121125724 140737121125724 140737121128399 0
[pid=25401/tid=25457] ppid=25398 vsize=10914144 memory=8691514255285633087 CPUtime=0.1 cores=1,3,5,7
/proc/25401/task/25457/stat : 25457 (java) S 25398 25401 19905 0 -1 1077944384 289 12965 0 0 3 0 5 2 20 0 15 0 66991002 11176083456 87818 33554432000 4194304 4196468 140737121114160 139757337631504 139757765158613 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 23552000 140737121122926 140737121125724 140737121125724 140737121128399 0
[pid=25401/tid=25458] ppid=25398 vsize=10914144 memory=109096464286696 CPUtime=0.11 cores=1,3,5,7
/proc/25401/task/25458/stat : 25458 (java) S 25398 25401 19905 0 -1 1077944384 53 12965 0 0 4 0 5 2 20 0 15 0 66991002 11176083456 87818 33554432000 4194304 4196468 140737121114160 139757336578960 139757765158613 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 23552000 140737121122926 140737121125724 140737121125724 140737121128399 0
[pid=25401/tid=25459] ppid=25398 vsize=10914144 memory=3612117072841952481 CPUtime=0.1 cores=1,3,5,7
/proc/25401/task/25459/stat : 25459 (java) S 25398 25401 19905 0 -1 1077944384 1865 12965 0 0 3 0 5 2 20 0 15 0 66991004 11176083456 87818 33554432000 4194304 4196468 140737121114160 139757223909616 139757765159554 0 0 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 23552000 140737121122926 140737121125724 140737121125724 140737121128399 0
[pid=25401/tid=25460] ppid=25398 vsize=10914144 memory=3976731458939729461 CPUtime=0.07 cores=1,3,5,7
/proc/25401/task/25460/stat : 25460 (java) S 25398 25401 19905 0 -1 1077944384 38 12965 0 0 0 0 5 2 20 0 15 0 66991004 11176083456 87818 33554432000 4194304 4196468 140737121114160 139757222855904 139757765158613 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 23552000 140737121122926 140737121125724 140737121125724 140737121128399 0
[pid=25401/tid=25461] ppid=25398 vsize=10914144 memory=7812180123060688495 CPUtime=0.07 cores=1,3,5,7
/proc/25401/task/25461/stat : 25461 (java) S 25398 25401 19905 0 -1 1077944384 4 12965 0 0 0 0 5 2 20 0 15 0 66991004 11176083456 87818 33554432000 4194304 4196468 140737121114160 139756625191680 139757765158613 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 23552000 140737121122926 140737121125724 140737121125724 140737121128399 0
[pid=25401/tid=25462] ppid=25398 vsize=10914144 memory=1 CPUtime=0.07 cores=1,3,5,7
/proc/25401/task/25462/stat : 25462 (java) S 25398 25401 19905 0 -1 1077944384 3 12965 0 0 0 0 5 2 20 0 15 0 66991007 11176083456 87818 33554432000 4194304 4196468 140737121114160 139756317792208 139757765167003 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 23552000 140737121122926 140737121125724 140737121125724 140737121128399 0
[pid=25401/tid=25463] ppid=25398 vsize=10914144 memory=0 CPUtime=2 cores=1,3,5,7
/proc/25401/task/25463/stat : 25463 (java) R 25398 25401 19905 0 -1 4202560 4313 12965 0 0 193 0 5 2 20 0 15 0 66991007 11176083456 87818 33554432000 4194304 4196468 140737121114160 139757189279944 139757746669695 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 23552000 140737121122926 140737121125724 140737121125724 140737121128399 0
[pid=25401/tid=25464] ppid=25398 vsize=10914144 memory=0 CPUtime=1.94 cores=1,3,5,7
/proc/25401/task/25464/stat : 25464 (java) R 25398 25401 19905 0 -1 4202560 3551 12965 0 0 186 1 5 2 20 0 15 0 66991007 11176083456 87818 33554432000 4194304 4196468 140737121114160 139757188224704 139757744386880 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 23552000 140737121122926 140737121125724 140737121125724 140737121128399 0
[pid=25401/tid=25465] ppid=25398 vsize=10914144 memory=18 CPUtime=1.21 cores=1,3,5,7
/proc/25401/task/25465/stat : 25465 (java) R 25398 25401 19905 0 -1 1077944384 5329 12965 0 0 113 1 5 2 20 0 15 0 66991007 11176083456 87818 33554432000 4194304 4196468 140737121114160 139757187193328 139757765159554 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 23552000 140737121122926 140737121125724 140737121125724 140737121128399 0
[pid=25401/tid=25466] ppid=25398 vsize=10914144 memory=98 CPUtime=0.07 cores=1,3,5,7
/proc/25401/task/25466/stat : 25466 (java) S 25398 25401 19905 0 -1 1077944384 3 12965 0 0 0 0 5 2 20 0 15 0 66991007 11176083456 87818 33554432000 4194304 4196468 140737121114160 139756284234592 139757765158613 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 23552000 140737121122926 140737121125724 140737121125724 140737121128399 0
[pid=25401/tid=25467] ppid=25398 vsize=10914144 memory=129 CPUtime=0.07 cores=1,3,5,7
/proc/25401/task/25467/stat : 25467 (java) S 25398 25401 19905 0 -1 1077944384 9 12965 0 0 0 0 5 2 20 0 15 0 66991007 11176083456 87818 33554432000 4194304 4196468 140737121114160 139757186140720 139757765159554 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 23552000 140737121122926 140737121125724 140737121125724 140737121128399 0
Current children cumulated CPU time: 9.08 s
Current children cumulated vsize: 10914144 KiB
Current children cumulated memory: 351272 KiB
[startup+4.4007 s]
/proc/loadavg: 1.34 1.35 1.34 5/220 25467
/proc/meminfo: memFree=19382932/32770624 swapFree=67108860/67108860
[pid=25401] ppid=25398 vsize=10914144 memory=353124 CPUtime=9.86 cores=1,3,5,7
/proc/25401/stat : 25401 (java) S 25398 25401 19905 0 -1 1077944320 58315 12965 0 0 960 19 5 2 20 0 15 0 66990992 11176083456 88281 33554432000 4194304 4196468 140737121114160 140737121096704 139757765148407 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 23552000 140737121122926 140737121125724 140737121125724 140737121128399 0
/proc/25401/statm: 2728536 88281 3503 1 0 2690189 0
[pid=25401/tid=25454] ppid=25398 vsize=10914144 memory=6791534058613427641 CPUtime=4.25 cores=1,3,5,7
/proc/25401/task/25454/stat : 25454 (java) R 25398 25401 19905 0 -1 4202560 40159 12965 0 0 407 11 5 2 20 0 15 0 66991001 11176083456 88281 33554432000 4194304 4196468 140737121114160 139757736982000 139757748344192 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 23552000 140737121122926 140737121125724 140737121125724 140737121128399 0
[pid=25401/tid=25455] ppid=25398 vsize=10914144 memory=928 CPUtime=0.11 cores=1,3,5,7
/proc/25401/task/25455/stat : 25455 (java) S 25398 25401 19905 0 -1 1077944384 94 12965 0 0 3 1 5 2 20 0 15 0 66991002 11176083456 88281 33554432000 4194304 4196468 140737121114160 139757769391120 139757765158613 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 23552000 140737121122926 140737121125724 140737121125724 140737121128399 0
[pid=25401/tid=25456] ppid=25398 vsize=10914144 memory=2244 CPUtime=0.1 cores=1,3,5,7
/proc/25401/task/25456/stat : 25456 (java) S 25398 25401 19905 0 -1 1077944384 61 12965 0 0 3 0 5 2 20 0 15 0 66991002 11176083456 88281 33554432000 4194304 4196468 140737121114160 139757338684560 139757765158613 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 23552000 140737121122926 140737121125724 140737121125724 140737121128399 0
[pid=25401/tid=25457] ppid=25398 vsize=10914144 memory=4312 CPUtime=0.1 cores=1,3,5,7
/proc/25401/task/25457/stat : 25457 (java) S 25398 25401 19905 0 -1 1077944384 289 12965 0 0 3 0 5 2 20 0 15 0 66991002 11176083456 88281 33554432000 4194304 4196468 140737121114160 139757337631504 139757765158613 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 23552000 140737121122926 140737121125724 140737121125724 140737121128399 0
[pid=25401/tid=25458] ppid=25398 vsize=10914144 memory=2196 CPUtime=0.11 cores=1,3,5,7
/proc/25401/task/25458/stat : 25458 (java) S 25398 25401 19905 0 -1 1077944384 53 12965 0 0 4 0 5 2 20 0 15 0 66991002 11176083456 88281 33554432000 4194304 4196468 140737121114160 139757336578960 139757765158613 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 23552000 140737121122926 140737121125724 140737121125724 140737121128399 0
[pid=25401/tid=25459] ppid=25398 vsize=10914144 memory=7380 CPUtime=0.1 cores=1,3,5,7
/proc/25401/task/25459/stat : 25459 (java) S 25398 25401 19905 0 -1 1077944384 1865 12965 0 0 3 0 5 2 20 0 15 0 66991004 11176083456 88281 33554432000 4194304 4196468 140737121114160 139757223909616 139757765159554 0 0 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 23552000 140737121122926 140737121125724 140737121125724 140737121128399 0
[pid=25401/tid=25460] ppid=25398 vsize=10914144 memory=836 CPUtime=0.07 cores=1,3,5,7
/proc/25401/task/25460/stat : 25460 (java) S 25398 25401 19905 0 -1 1077944384 38 12965 0 0 0 0 5 2 20 0 15 0 66991004 11176083456 88281 33554432000 4194304 4196468 140737121114160 139757222855904 139757765158613 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 23552000 140737121122926 140737121125724 140737121125724 140737121128399 0
[pid=25401/tid=25461] ppid=25398 vsize=10914144 memory=1692 CPUtime=0.07 cores=1,3,5,7
/proc/25401/task/25461/stat : 25461 (java) S 25398 25401 19905 0 -1 1077944384 4 12965 0 0 0 0 5 2 20 0 15 0 66991004 11176083456 88281 33554432000 4194304 4196468 140737121114160 139756625191680 139757765158613 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 23552000 140737121122926 140737121125724 140737121125724 140737121128399 0
[pid=25401/tid=25462] ppid=25398 vsize=10914144 memory=916 CPUtime=0.07 cores=1,3,5,7
/proc/25401/task/25462/stat : 25462 (java) S 25398 25401 19905 0 -1 1077944384 3 12965 0 0 0 0 5 2 20 0 15 0 66991007 11176083456 88281 33554432000 4194304 4196468 140737121114160 139756317792208 139757765167003 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 23552000 140737121122926 140737121125724 140737121125724 140737121128399 0
[pid=25401/tid=25463] ppid=25398 vsize=10914144 memory=3848 CPUtime=2.12 cores=1,3,5,7
/proc/25401/task/25463/stat : 25463 (java) R 25398 25401 19905 0 -1 1077944384 4419 12965 0 0 205 0 5 2 20 0 15 0 66991007 11176083456 88281 33554432000 4194304 4196468 140737121114160 139757189298928 139757765159554 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 23552000 140737121122926 140737121125724 140737121125724 140737121128399 0
[pid=25401/tid=25464] ppid=25398 vsize=10914144 memory=0 CPUtime=2.13 cores=1,3,5,7
/proc/25401/task/25464/stat : 25464 (java) R 25398 25401 19905 0 -1 4202560 3595 12965 0 0 205 1 5 2 20 0 15 0 66991007 11176083456 88281 33554432000 4194304 4196468 140737121114160 139757188246384 139757744865543 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 23552000 140737121122926 140737121125724 140737121125724 140737121128399 0
[pid=25401/tid=25465] ppid=25398 vsize=10914144 memory=4420 CPUtime=1.3 cores=1,3,5,7
/proc/25401/task/25465/stat : 25465 (java) R 25398 25401 19905 0 -1 4202560 5530 12965 0 0 122 1 5 2 20 0 15 0 66991007 11176083456 88281 33554432000 4194304 4196468 140737121114160 139757187193328 139757744117415 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 23552000 140737121122926 140737121125724 140737121125724 140737121128399 0
[pid=25401/tid=25466] ppid=25398 vsize=10914144 memory=6628 CPUtime=0.07 cores=1,3,5,7
/proc/25401/task/25466/stat : 25466 (java) S 25398 25401 19905 0 -1 1077944384 3 12965 0 0 0 0 5 2 20 0 15 0 66991007 11176083456 88281 33554432000 4194304 4196468 140737121114160 139756284234592 139757765158613 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 23552000 140737121122926 140737121125724 140737121125724 140737121128399 0
[pid=25401/tid=25467] ppid=25398 vsize=10914144 memory=8836 CPUtime=0.07 cores=1,3,5,7
/proc/25401/task/25467/stat : 25467 (java) S 25398 25401 19905 0 -1 1077944384 10 12965 0 0 0 0 5 2 20 0 15 0 66991007 11176083456 88281 33554432000 4194304 4196468 140737121114160 139757186140720 139757765159554 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 23552000 140737121122926 140737121125724 140737121125724 140737121128399 0
Current children cumulated CPU time: 9.86 s
Current children cumulated vsize: 10914144 KiB
Current children cumulated memory: 353124 KiB
Child status: 0
Real time (s): 4.45981
CPU time (s): 9.96618
CPU user time (s): 9.73342
CPU system time (s): 0.232754
CPU usage (%): 223.466
Max. virtual memory (cumulated for all children) (KiB): 10914144
Max. memory (cumulated for all children) (KiB): 353124
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 9.73342
system time used= 0.232754
maximum resident set size= 355848
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 71531
page faults= 0
swaps= 0
block input operations= 0
block output operations= 184
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 5952
involuntary context switches= 77
# summary of solver processes directly reported to runsolver:
# pid: 25401
# total CPU time (s): 9.96618
# total CPU user time (s): 9.73342
# total CPU system time (s): 0.232754
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 0.060063 second user time and 0.076396 second system time
The end