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 (14895 MiB free)
memory of node 1: 16384 MiB (15688 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4393360-1568317566/watcher-4393360-1568317566 -o /tmp/evaluation-result-4393360-1568317566/solver-4393360-1568317566 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node121-1568312479-6785 --watchdog 2580 xcsp3-exec -dir HOME -tl 2520 -p 4 -ml 12000 -tdir HOME -seed 453804266 HOME/instance-4393360-1568317566.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
solver pid=12772, runsolver pid=12769
Current StackSize limit: 8192 KiB
[startup+0.100067 s]*
/proc/loadavg: 8.54 8.49 8.07 8/234 12788
/proc/meminfo: memFree=31297832/32770624 swapFree=66979472/67108860
[pid=12772] ppid=12769 vsize=113128 memory=1452 CPUtime=0 cores=1,3,5,7
/proc/12772/stat : 12772 (xcsp3-exec) S 12769 12772 6753 0 -1 4202496 545 0 0 0 0 0 0 0 20 0 1 0 408019321 115843072 363 33554432000 4194304 5098028 140726217508816 140726217506920 140581248324220 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 39985152 140726217511803 140726217512045 140726217512045 140726217514954 0
/proc/12772/statm: 28282 363 304 221 0 87 0
[pid=12774] ppid=12772 vsize=15144768 memory=32016 CPUtime=0.12 cores=1,3,5,7
/proc/12774/stat : 12774 (java) S 12772 12772 6753 0 -1 1077944320 5919 0 0 0 11 1 0 0 20 0 15 0 408019322 15508242432 8004 33554432000 4194304 4196468 140737052012576 140737051995120 139635293617911 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0 6293624 6294260 28762112 140737052017647 140737052017818 140737052017818 140737052020687 0
/proc/12774/statm: 3786192 8004 3144 1 0 3748377 0
[pid=12774/tid=12775] ppid=12772 vsize=15144768 memory=7100839878644302962 CPUtime=0.09 cores=1,3,5,7
/proc/12774/task/12775/stat : 12775 (java) R 12772 12772 6753 0 -1 4202560 3817 0 0 0 8 1 0 0 20 0 15 0 408019322 15508242432 8004 33554432000 4194304 4196468 140737052012576 139635297852448 139635293639837 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 28762112 140737052017647 140737052017818 140737052017818 140737052020687 0
[pid=12774/tid=12776] ppid=12772 vsize=15144768 memory=-3689349214911541841 CPUtime=0 cores=1,3,5,7
/proc/12774/task/12776/stat : 12776 (java) S 12772 12772 6753 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 408019323 15508242432 8004 33554432000 4194304 4196468 140737052012576 139635229854096 139635293628117 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 28762112 140737052017647 140737052017818 140737052017818 140737052020687 0
[pid=12774/tid=12777] ppid=12772 vsize=15144768 memory=139960932972160 CPUtime=0 cores=1,3,5,7
/proc/12774/task/12777/stat : 12777 (java) S 12772 12772 6753 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 408019323 15508242432 8004 33554432000 4194304 4196468 140737052012576 139635228801296 139635293628117 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 28762112 140737052017647 140737052017818 140737052017818 140737052020687 0
[pid=12774/tid=12778] ppid=12772 vsize=15144768 memory=0 CPUtime=0 cores=1,3,5,7
/proc/12774/task/12778/stat : 12778 (java) S 12772 12772 6753 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 408019323 15508242432 8004 33554432000 4194304 4196468 140737052012576 139635227749008 139635293628117 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 28762112 140737052017647 140737052017818 140737052017818 140737052020687 0
[pid=12774/tid=12779] ppid=12772 vsize=15144768 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/12774/task/12779/stat : 12779 (java) S 12772 12772 6753 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 408019323 15508242432 8004 33554432000 4194304 4196468 140737052012576 139635226696208 139635293628117 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 28762112 140737052017647 140737052017818 140737052017818 140737052020687 0
[pid=12774/tid=12780] ppid=12772 vsize=15144768 memory=139960932972160 CPUtime=0 cores=1,3,5,7
/proc/12774/task/12780/stat : 12780 (java) S 12772 12772 6753 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 408019324 15508242432 8004 33554432000 4194304 4196468 140737052012576 139634829367920 139635293629058 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 28762112 140737052017647 140737052017818 140737052017818 140737052020687 0
[pid=12774/tid=12781] ppid=12772 vsize=15144768 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/12774/task/12781/stat : 12781 (java) S 12772 12772 6753 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 408019324 15508242432 8004 33554432000 4194304 4196468 140737052012576 139634828313888 139635293628117 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 28762112 140737052017647 140737052017818 140737052017818 140737052020687 0
[pid=12774/tid=12782] ppid=12772 vsize=15144768 memory=0 CPUtime=0 cores=1,3,5,7
/proc/12774/task/12782/stat : 12782 (java) S 12772 12772 6753 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 408019325 15508242432 8004 33554432000 4194304 4196468 140737052012576 139634827261552 139635293628117 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 28762112 140737052017647 140737052017818 140737052017818 140737052020687 0
[pid=12774/tid=12783] ppid=12772 vsize=15144768 memory=0 CPUtime=0 cores=1,3,5,7
/proc/12774/task/12783/stat : 12783 (java) S 12772 12772 6753 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 408019327 15508242432 8004 33554432000 4194304 4196468 140737052012576 139634826209872 139635293636507 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 28762112 140737052017647 140737052017818 140737052017818 140737052020687 0
[pid=12774/tid=12784] ppid=12772 vsize=15144768 memory=0 CPUtime=0 cores=1,3,5,7
/proc/12774/task/12784/stat : 12784 (java) R 12772 12772 6753 0 -1 4202560 460 0 0 0 0 0 0 0 20 0 15 0 408019327 15508242432 8004 33554432000 4194304 4196468 140737052012576 139634825156720 139635271450768 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 28762112 140737052017647 140737052017818 140737052017818 140737052020687 0
[pid=12774/tid=12785] ppid=12772 vsize=15144768 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/12774/task/12785/stat : 12785 (java) R 12772 12772 6753 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 408019327 15508242432 8004 33554432000 4194304 4196468 140737052012576 139634824103920 139635293629058 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 28762112 140737052017647 140737052017818 140737052017818 140737052020687 0
[pid=12774/tid=12786] ppid=12772 vsize=15144768 memory=139960932972160 CPUtime=0.02 cores=1,3,5,7
/proc/12774/task/12786/stat : 12786 (java) R 12772 12772 6753 0 -1 4202560 352 0 0 0 2 0 0 0 20 0 15 0 408019327 15508242432 8004 33554432000 4194304 4196468 140737052012576 139634228060112 139635279332439 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 28762112 140737052017647 140737052017818 140737052017818 140737052020687 0
[pid=12774/tid=12787] ppid=12772 vsize=15144768 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/12774/task/12787/stat : 12787 (java) S 12772 12772 6753 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 408019327 15508242432 8004 33554432000 4194304 4196468 140737052012576 139634227010016 139635293628117 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 28762112 140737052017647 140737052017818 140737052017818 140737052020687 0
[pid=12774/tid=12788] ppid=12772 vsize=15144768 memory=139960932972160 CPUtime=0 cores=1,3,5,7
/proc/12774/task/12788/stat : 12788 (java) S 12772 12772 6753 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 408019328 15508242432 8004 33554432000 4194304 4196468 140737052012576 139634225957808 139635293629058 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 28762112 140737052017647 140737052017818 140737052017818 140737052020687 0
Current children cumulated CPU time: 0.12 s
Current children cumulated vsize: 15257896 KiB
Current children cumulated memory: 33468 KiB
[startup+0.210746 s]*
/proc/loadavg: 8.54 8.49 8.07 10/235 12789
/proc/meminfo: memFree=31285480/32770624 swapFree=66979472/67108860
[pid=12772] ppid=12769 vsize=113128 memory=1452 CPUtime=0 cores=1,3,5,7
/proc/12772/stat : 12772 (xcsp3-exec) S 12769 12772 6753 0 -1 4202496 545 0 0 0 0 0 0 0 20 0 1 0 408019321 115843072 363 33554432000 4194304 5098028 140726217508816 140726217506920 140581248324220 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 39985152 140726217511803 140726217512045 140726217512045 140726217514954 0
/proc/12772/statm: 28282 363 304 221 0 87 0
[pid=12774] ppid=12772 vsize=15144768 memory=43160 CPUtime=0.34 cores=1,3,5,7
/proc/12774/stat : 12774 (java) S 12772 12772 6753 0 -1 1077944320 9461 0 0 0 31 3 0 0 20 0 15 0 408019322 15508242432 10790 33554432000 4194304 4196468 140737052012576 140737051995120 139635293617911 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0 6293624 6294260 28762112 140737052017647 140737052017818 140737052017818 140737052020687 0
/proc/12774/statm: 3786192 10790 3299 1 0 3748377 0
[pid=12774/tid=12775] ppid=12772 vsize=15144768 memory=8389772277269004345 CPUtime=0.2 cores=1,3,5,7
/proc/12774/task/12775/stat : 12775 (java) R 12772 12772 6753 0 -1 4202560 6658 0 0 0 18 2 0 0 20 0 15 0 408019322 15508242432 10790 33554432000 4194304 4196468 140737052012576 139635297852896 139635277698398 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 28762112 140737052017647 140737052017818 140737052017818 140737052020687 0
[pid=12774/tid=12776] ppid=12772 vsize=15144768 memory=288230609019731991 CPUtime=0 cores=1,3,5,7
/proc/12774/task/12776/stat : 12776 (java) S 12772 12772 6753 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 408019323 15508242432 10790 33554432000 4194304 4196468 140737052012576 139635229854096 139635293628117 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 28762112 140737052017647 140737052017818 140737052017818 140737052020687 0
[pid=12774/tid=12777] ppid=12772 vsize=15144768 memory=139960936126290 CPUtime=0 cores=1,3,5,7
/proc/12774/task/12777/stat : 12777 (java) S 12772 12772 6753 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 408019323 15508242432 10790 33554432000 4194304 4196468 140737052012576 139635228801296 139635293628117 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 28762112 140737052017647 140737052017818 140737052017818 140737052020687 0
[pid=12774/tid=12778] ppid=12772 vsize=15144768 memory=0 CPUtime=0 cores=1,3,5,7
/proc/12774/task/12778/stat : 12778 (java) S 12772 12772 6753 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 408019323 15508242432 10790 33554432000 4194304 4196468 140737052012576 139635227749008 139635293628117 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 28762112 140737052017647 140737052017818 140737052017818 140737052020687 0
[pid=12774/tid=12779] ppid=12772 vsize=15144768 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/12774/task/12779/stat : 12779 (java) S 12772 12772 6753 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 408019323 15508242432 10790 33554432000 4194304 4196468 140737052012576 139635226696208 139635293628117 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 28762112 140737052017647 140737052017818 140737052017818 140737052020687 0
[pid=12774/tid=12780] ppid=12772 vsize=15144768 memory=139960932972160 CPUtime=0 cores=1,3,5,7
/proc/12774/task/12780/stat : 12780 (java) S 12772 12772 6753 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 408019324 15508242432 10790 33554432000 4194304 4196468 140737052012576 139634829367920 139635293629058 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 28762112 140737052017647 140737052017818 140737052017818 140737052020687 0
[pid=12774/tid=12781] ppid=12772 vsize=15144768 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/12774/task/12781/stat : 12781 (java) S 12772 12772 6753 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 408019324 15508242432 10790 33554432000 4194304 4196468 140737052012576 139634828313888 139635293628117 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 28762112 140737052017647 140737052017818 140737052017818 140737052020687 0
[pid=12774/tid=12782] ppid=12772 vsize=15144768 memory=0 CPUtime=0 cores=1,3,5,7
/proc/12774/task/12782/stat : 12782 (java) S 12772 12772 6753 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 408019325 15508242432 10790 33554432000 4194304 4196468 140737052012576 139634827261552 139635293628117 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 28762112 140737052017647 140737052017818 140737052017818 140737052020687 0
[pid=12774/tid=12783] ppid=12772 vsize=15144768 memory=0 CPUtime=0 cores=1,3,5,7
/proc/12774/task/12783/stat : 12783 (java) S 12772 12772 6753 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 408019327 15508242432 10790 33554432000 4194304 4196468 140737052012576 139634826209872 139635293636507 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 28762112 140737052017647 140737052017818 140737052017818 140737052020687 0
[pid=12774/tid=12784] ppid=12772 vsize=15144768 memory=0 CPUtime=0.02 cores=1,3,5,7
/proc/12774/task/12784/stat : 12784 (java) S 12772 12772 6753 0 -1 1077944384 548 0 0 0 2 0 0 0 20 0 15 0 408019327 15508242432 10790 33554432000 4194304 4196468 140737052012576 139634825156720 139635293629058 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 28762112 140737052017647 140737052017818 140737052017818 140737052020687 0
[pid=12774/tid=12785] ppid=12772 vsize=15144768 memory=-1 CPUtime=0.02 cores=1,3,5,7
/proc/12774/task/12785/stat : 12785 (java) S 12772 12772 6753 0 -1 1077944384 225 0 0 0 2 0 0 0 20 0 15 0 408019327 15508242432 10790 33554432000 4194304 4196468 140737052012576 139634824103920 139635293629058 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 28762112 140737052017647 140737052017818 140737052017818 140737052020687 0
[pid=12774/tid=12786] ppid=12772 vsize=15144768 memory=139960932972160 CPUtime=0.08 cores=1,3,5,7
/proc/12774/task/12786/stat : 12786 (java) S 12772 12772 6753 0 -1 1077944384 731 0 0 0 8 0 0 0 20 0 15 0 408019327 15508242432 10790 33554432000 4194304 4196468 140737052012576 139634228062576 139635293629058 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 28762112 140737052017647 140737052017818 140737052017818 140737052020687 0
[pid=12774/tid=12787] ppid=12772 vsize=15144768 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/12774/task/12787/stat : 12787 (java) S 12772 12772 6753 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 408019327 15508242432 10790 33554432000 4194304 4196468 140737052012576 139634227010016 139635293628117 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 28762112 140737052017647 140737052017818 140737052017818 140737052020687 0
[pid=12774/tid=12788] ppid=12772 vsize=15144768 memory=139960932972160 CPUtime=0 cores=1,3,5,7
/proc/12774/task/12788/stat : 12788 (java) S 12772 12772 6753 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 408019328 15508242432 10790 33554432000 4194304 4196468 140737052012576 139634225957808 139635293629058 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 28762112 140737052017647 140737052017818 140737052017818 140737052020687 0
Current children cumulated CPU time: 0.34 s
Current children cumulated vsize: 15257896 KiB
Current children cumulated memory: 44612 KiB
[startup+0.310624 s]*
/proc/loadavg: 8.54 8.49 8.07 4/213 12790
/proc/meminfo: memFree=31656600/32770624 swapFree=66979472/67108860
[pid=12772] ppid=12769 vsize=113128 memory=1452 CPUtime=0 cores=1,3,5,7
/proc/12772/stat : 12772 (xcsp3-exec) S 12769 12772 6753 0 -1 4202496 545 0 0 0 0 0 0 0 20 0 1 0 408019321 115843072 363 33554432000 4194304 5098028 140726217508816 140726217506920 140581248324220 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 39985152 140726217511803 140726217512045 140726217512045 140726217514954 0
/proc/12772/statm: 28282 363 304 221 0 87 0
[pid=12774] ppid=12772 vsize=15149024 memory=52372 CPUtime=0.52 cores=1,3,5,7
/proc/12774/stat : 12774 (java) S 12772 12772 6753 0 -1 1077944320 10897 0 0 0 49 3 0 0 20 0 15 0 408019322 15512600576 13093 33554432000 4194304 4196468 140737052012576 140737051995120 139635293617911 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0 6293624 6294260 28762112 140737052017647 140737052017818 140737052017818 140737052020687 0
/proc/12774/statm: 3787256 13093 3359 1 0 3748377 0
[pid=12774/tid=12775] ppid=12772 vsize=15149024 memory=2072 CPUtime=0.29 cores=1,3,5,7
/proc/12774/task/12775/stat : 12775 (java) R 12772 12772 6753 0 -1 4202560 7867 0 0 0 27 2 0 0 20 0 15 0 408019322 15512600576 13093 33554432000 4194304 4196468 140737052012576 139635297851696 139635293639837 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 28762112 140737052017647 140737052017818 140737052017818 140737052020687 0
[pid=12774/tid=12776] ppid=12772 vsize=15149024 memory=0 CPUtime=0 cores=1,3,5,7
/proc/12774/task/12776/stat : 12776 (java) S 12772 12772 6753 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 408019323 15512600576 13093 33554432000 4194304 4196468 140737052012576 139635229854096 139635293628117 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 28762112 140737052017647 140737052017818 140737052017818 140737052020687 0
[pid=12774/tid=12777] ppid=12772 vsize=15149024 memory=4026531845 CPUtime=0 cores=1,3,5,7
/proc/12774/task/12777/stat : 12777 (java) S 12772 12772 6753 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 408019323 15512600576 13093 33554432000 4194304 4196468 140737052012576 139635228801296 139635293628117 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 28762112 140737052017647 140737052017818 140737052017818 140737052020687 0
[pid=12774/tid=12778] ppid=12772 vsize=15149024 memory=331 CPUtime=0 cores=1,3,5,7
/proc/12774/task/12778/stat : 12778 (java) S 12772 12772 6753 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 408019323 15512600576 13093 33554432000 4194304 4196468 140737052012576 139635227749008 139635293628117 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 28762112 140737052017647 140737052017818 140737052017818 140737052020687 0
[pid=12774/tid=12779] ppid=12772 vsize=15149024 memory=3148200 CPUtime=0 cores=1,3,5,7
/proc/12774/task/12779/stat : 12779 (java) S 12772 12772 6753 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 408019323 15512600576 13093 33554432000 4194304 4196468 140737052012576 139635226696208 139635293628117 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 28762112 140737052017647 140737052017818 140737052017818 140737052020687 0
[pid=12774/tid=12780] ppid=12772 vsize=15149024 memory=139960932972160 CPUtime=0 cores=1,3,5,7
/proc/12774/task/12780/stat : 12780 (java) S 12772 12772 6753 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 408019324 15512600576 13093 33554432000 4194304 4196468 140737052012576 139634829367920 139635293629058 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 28762112 140737052017647 140737052017818 140737052017818 140737052020687 0
[pid=12774/tid=12781] ppid=12772 vsize=15149024 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/12774/task/12781/stat : 12781 (java) S 12772 12772 6753 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 408019324 15512600576 13093 33554432000 4194304 4196468 140737052012576 139634828313888 139635293628117 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 28762112 140737052017647 140737052017818 140737052017818 140737052020687 0
[pid=12774/tid=12782] ppid=12772 vsize=15149024 memory=0 CPUtime=0 cores=1,3,5,7
/proc/12774/task/12782/stat : 12782 (java) S 12772 12772 6753 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 408019325 15512600576 13093 33554432000 4194304 4196468 140737052012576 139634827261552 139635293628117 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 28762112 140737052017647 140737052017818 140737052017818 140737052020687 0
[pid=12774/tid=12783] ppid=12772 vsize=15149024 memory=0 CPUtime=0 cores=1,3,5,7
/proc/12774/task/12783/stat : 12783 (java) S 12772 12772 6753 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 408019327 15512600576 13093 33554432000 4194304 4196468 140737052012576 139634826209872 139635293636507 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 28762112 140737052017647 140737052017818 140737052017818 140737052020687 0
[pid=12774/tid=12784] ppid=12772 vsize=15149024 memory=0 CPUtime=0.04 cores=1,3,5,7
/proc/12774/task/12784/stat : 12784 (java) S 12772 12772 6753 0 -1 1077944384 559 0 0 0 4 0 0 0 20 0 15 0 408019327 15512600576 13093 33554432000 4194304 4196468 140737052012576 139634825156720 139635293629058 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 28762112 140737052017647 140737052017818 140737052017818 140737052020687 0
[pid=12774/tid=12785] ppid=12772 vsize=15149024 memory=-1 CPUtime=0.05 cores=1,3,5,7
/proc/12774/task/12785/stat : 12785 (java) S 12772 12772 6753 0 -1 1077944384 348 0 0 0 5 0 0 0 20 0 15 0 408019327 15512600576 13093 33554432000 4194304 4196468 140737052012576 139634824103920 139635293629058 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 28762112 140737052017647 140737052017818 140737052017818 140737052020687 0
[pid=12774/tid=12786] ppid=12772 vsize=15149024 memory=139960932972160 CPUtime=0.12 cores=1,3,5,7
/proc/12774/task/12786/stat : 12786 (java) S 12772 12772 6753 0 -1 1077944384 826 0 0 0 12 0 0 0 20 0 15 0 408019327 15512600576 13093 33554432000 4194304 4196468 140737052012576 139634228062576 139635293629058 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 28762112 140737052017647 140737052017818 140737052017818 140737052020687 0
[pid=12774/tid=12787] ppid=12772 vsize=15149024 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/12774/task/12787/stat : 12787 (java) S 12772 12772 6753 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 408019327 15512600576 13093 33554432000 4194304 4196468 140737052012576 139634227010016 139635293628117 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 28762112 140737052017647 140737052017818 140737052017818 140737052020687 0
[pid=12774/tid=12788] ppid=12772 vsize=15149024 memory=139960932972160 CPUtime=0 cores=1,3,5,7
/proc/12774/task/12788/stat : 12788 (java) S 12772 12772 6753 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 408019328 15512600576 13093 33554432000 4194304 4196468 140737052012576 139634225957808 139635293629058 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 28762112 140737052017647 140737052017818 140737052017818 140737052020687 0
Current children cumulated CPU time: 0.52 s
Current children cumulated vsize: 15262152 KiB
Current children cumulated memory: 53824 KiB
[startup+0.700811 s]
/proc/loadavg: 8.54 8.49 8.07 5/228 12819
/proc/meminfo: memFree=31626044/32770624 swapFree=66979472/67108860
[pid=12772] ppid=12769 vsize=113128 memory=1452 CPUtime=0 cores=1,3,5,7
/proc/12772/stat : 12772 (xcsp3-exec) S 12769 12772 6753 0 -1 4202496 545 0 0 0 0 0 0 0 20 0 1 0 408019321 115843072 363 33554432000 4194304 5098028 140726217508816 140726217506920 140581248324220 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 39985152 140726217511803 140726217512045 140726217512045 140726217514954 0
/proc/12772/statm: 28282 363 304 221 0 87 0
[pid=12774] ppid=12772 vsize=15151148 memory=84888 CPUtime=1.54 cores=1,3,5,7
/proc/12774/stat : 12774 (java) S 12772 12772 6753 0 -1 1077944320 14866 0 0 0 148 6 0 0 20 0 15 0 408019322 15514775552 21222 33554432000 4194304 4196468 140737052012576 140737051995120 139635293617911 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0 6293624 6294260 28762112 140737052017647 140737052017818 140737052017818 140737052020687 0
/proc/12774/statm: 3787787 21222 3451 1 0 3748889 0
[pid=12774/tid=12775] ppid=12772 vsize=15151148 memory=3620 CPUtime=0.68 cores=1,3,5,7
/proc/12774/task/12775/stat : 12775 (java) R 12772 12772 6753 0 -1 4202560 9347 0 0 0 65 3 0 0 20 0 15 0 408019322 15514775552 21222 33554432000 4194304 4196468 140737052012576 139635297836288 139635293629846 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 28762112 140737052017647 140737052017818 140737052017818 140737052020687 0
[pid=12774/tid=12776] ppid=12772 vsize=15151148 memory=16780 CPUtime=0 cores=1,3,5,7
/proc/12774/task/12776/stat : 12776 (java) S 12772 12772 6753 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 408019323 15514775552 21222 33554432000 4194304 4196468 140737052012576 139635229854096 139635293628117 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 28762112 140737052017647 140737052017818 140737052017818 140737052020687 0
[pid=12774/tid=12777] ppid=12772 vsize=15151148 memory=4513 CPUtime=0 cores=1,3,5,7
/proc/12774/task/12777/stat : 12777 (java) S 12772 12772 6753 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 408019323 15514775552 21222 33554432000 4194304 4196468 140737052012576 139635228801296 139635293628117 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 28762112 140737052017647 140737052017818 140737052017818 140737052020687 0
[pid=12774/tid=12778] ppid=12772 vsize=15151148 memory=139960770676800 CPUtime=0 cores=1,3,5,7
/proc/12774/task/12778/stat : 12778 (java) S 12772 12772 6753 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 408019323 15514775552 21222 33554432000 4194304 4196468 140737052012576 139635227749008 139635293628117 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 28762112 140737052017647 140737052017818 140737052017818 140737052020687 0
[pid=12774/tid=12779] ppid=12772 vsize=15151148 memory=512 CPUtime=0 cores=1,3,5,7
/proc/12774/task/12779/stat : 12779 (java) S 12772 12772 6753 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 408019323 15514775552 21222 33554432000 4194304 4196468 140737052012576 139635226696208 139635293628117 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 28762112 140737052017647 140737052017818 140737052017818 140737052020687 0
[pid=12774/tid=12780] ppid=12772 vsize=15151148 memory=1564 CPUtime=0 cores=1,3,5,7
/proc/12774/task/12780/stat : 12780 (java) S 12772 12772 6753 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 408019324 15514775552 21222 33554432000 4194304 4196468 140737052012576 139634829367920 139635293629058 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 28762112 140737052017647 140737052017818 140737052017818 140737052020687 0
[pid=12774/tid=12781] ppid=12772 vsize=15151148 memory=928 CPUtime=0 cores=1,3,5,7
/proc/12774/task/12781/stat : 12781 (java) S 12772 12772 6753 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 408019324 15514775552 21222 33554432000 4194304 4196468 140737052012576 139634828313888 139635293628117 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 28762112 140737052017647 140737052017818 140737052017818 140737052020687 0
[pid=12774/tid=12782] ppid=12772 vsize=15151148 memory=3772 CPUtime=0 cores=1,3,5,7
/proc/12774/task/12782/stat : 12782 (java) S 12772 12772 6753 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 408019325 15514775552 21222 33554432000 4194304 4196468 140737052012576 139634827261552 139635293628117 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 28762112 140737052017647 140737052017818 140737052017818 140737052020687 0
[pid=12774/tid=12783] ppid=12772 vsize=15151148 memory=1440 CPUtime=0 cores=1,3,5,7
/proc/12774/task/12783/stat : 12783 (java) S 12772 12772 6753 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 408019327 15514775552 21222 33554432000 4194304 4196468 140737052012576 139634826209872 139635293636507 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 28762112 140737052017647 140737052017818 140737052017818 140737052020687 0
[pid=12774/tid=12784] ppid=12772 vsize=15151148 memory=920 CPUtime=0.21 cores=1,3,5,7
/proc/12774/task/12784/stat : 12784 (java) S 12772 12772 6753 0 -1 1077944384 1223 0 0 0 21 0 0 0 20 0 15 0 408019327 15514775552 21222 33554432000 4194304 4196468 140737052012576 139634825156720 139635293629058 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 28762112 140737052017647 140737052017818 140737052017818 140737052020687 0
[pid=12774/tid=12785] ppid=12772 vsize=15151148 memory=0 CPUtime=0.21 cores=1,3,5,7
/proc/12774/task/12785/stat : 12785 (java) R 12772 12772 6753 0 -1 4202560 832 0 0 0 21 0 0 0 20 0 15 0 408019327 15514775552 21222 33554432000 4194304 4196468 140737052012576 139634824103920 139635278776976 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 28762112 140737052017647 140737052017818 140737052017818 140737052020687 0
[pid=12774/tid=12786] ppid=12772 vsize=15151148 memory=15620 CPUtime=0.41 cores=1,3,5,7
/proc/12774/task/12786/stat : 12786 (java) R 12772 12772 6753 0 -1 4202560 2158 0 0 0 40 1 0 0 20 0 15 0 408019327 15514775552 21222 33554432000 4194304 4196468 140737052012576 139634228062576 139635285855038 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 28762112 140737052017647 140737052017818 140737052017818 140737052020687 0
[pid=12774/tid=12787] ppid=12772 vsize=15151148 memory=2244 CPUtime=0 cores=1,3,5,7
/proc/12774/task/12787/stat : 12787 (java) S 12772 12772 6753 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 408019327 15514775552 21222 33554432000 4194304 4196468 140737052012576 139634227010016 139635293628117 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 28762112 140737052017647 140737052017818 140737052017818 140737052020687 0
[pid=12774/tid=12788] ppid=12772 vsize=15151148 memory=3761833333176315249 CPUtime=0 cores=1,3,5,7
/proc/12774/task/12788/stat : 12788 (java) S 12772 12772 6753 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 408019328 15514775552 21222 33554432000 4194304 4196468 140737052012576 139634225957808 139635293629058 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 28762112 140737052017647 140737052017818 140737052017818 140737052020687 0
Current children cumulated CPU time: 1.54 s
Current children cumulated vsize: 15264276 KiB
Current children cumulated memory: 86340 KiB
[startup+1.50566 s]
/proc/loadavg: 8.54 8.49 8.07 9/216 12823
/proc/meminfo: memFree=31567516/32770624 swapFree=66979472/67108860
[pid=12772] ppid=12769 vsize=113128 memory=1452 CPUtime=0 cores=1,3,5,7
/proc/12772/stat : 12772 (xcsp3-exec) S 12769 12772 6753 0 -1 4202496 545 0 0 0 0 0 0 0 20 0 1 0 408019321 115843072 363 33554432000 4194304 5098028 140726217508816 140726217506920 140581248324220 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 39985152 140726217511803 140726217512045 140726217512045 140726217514954 0
/proc/12772/statm: 28282 363 304 221 0 87 0
################
# More data... #
################
/proc/12774/task/12788/stat : 12788 (java) S 12772 12772 6753 0 -1 1077944384 464 0 0 0 0 1 0 0 20 0 19 0 408019328 15790571520 56548 33554432000 4194304 4196468 140737052012576 139634225957808 139635293629058 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 28762112 140737052017647 140737052017818 140737052017818 140737052020687 0
[pid=12774/tid=12903] ppid=12772 vsize=15420480 memory=2120 CPUtime=45.71 cores=1,3,5,7
/proc/12774/task/12903/stat : 12903 (java) R 12772 12772 6753 0 -1 4202560 378 0 0 0 4571 0 0 0 20 0 19 0 408019606 15790571520 56548 33554432000 4194304 4196468 140737052012576 139633770699136 139634913109117 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 28762112 140737052017647 140737052017818 140737052017818 140737052020687 0
[pid=12774/tid=12904] ppid=12772 vsize=15420480 memory=1452 CPUtime=45.15 cores=1,3,5,7
/proc/12774/task/12904/stat : 12904 (java) R 12772 12772 6753 0 -1 4202560 1277 0 0 0 4515 0 0 0 20 0 19 0 408019606 15790571520 56548 33554432000 4194304 4196468 140737052012576 139633768595624 139634913109503 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 28762112 140737052017647 140737052017818 140737052017818 140737052020687 0
[pid=12774/tid=12905] ppid=12772 vsize=15420480 memory=1452 CPUtime=45.54 cores=1,3,5,7
/proc/12774/task/12905/stat : 12905 (java) R 12772 12772 6753 0 -1 4202560 1892 0 0 0 4554 0 0 0 20 0 19 0 408019606 15790571520 56548 33554432000 4194304 4196468 140737052012576 139633769650360 139634913580885 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 28762112 140737052017647 140737052017818 140737052017818 140737052020687 0
[pid=12774/tid=12906] ppid=12772 vsize=15420480 memory=225684 CPUtime=45.62 cores=1,3,5,7
/proc/12774/task/12906/stat : 12906 (java) R 12772 12772 6753 0 -1 4202560 780 0 0 0 4562 0 0 0 20 0 19 0 408019606 15790571520 56548 33554432000 4194304 4196468 140737052012576 139633772808976 139634913109370 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 28762112 140737052017647 140737052017818 140737052017818 140737052020687 0
Current children cumulated CPU time: 195.76 s
Current children cumulated vsize: 15533608 KiB
Current children cumulated memory: 227644 KiB
[startup+50.0017 s]*
/proc/loadavg: 8.12 8.37 8.05 9/237 14938
/proc/meminfo: memFree=31238720/32770624 swapFree=66979472/67108860
[pid=12772] ppid=12769 vsize=113128 memory=1452 CPUtime=0 cores=1,3,5,7
/proc/12772/stat : 12772 (xcsp3-exec) S 12769 12772 6753 0 -1 4202496 545 0 0 0 0 0 0 0 20 0 1 0 408019321 115843072 363 33554432000 4194304 5098028 140726217508816 140726217506920 140581248324220 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 39985152 140726217511803 140726217512045 140726217512045 140726217514954 0
/proc/12772/statm: 28282 363 304 221 0 87 0
[pid=12774] ppid=12772 vsize=15420480 memory=226192 CPUtime=197.38 cores=1,3,5,7
/proc/12774/stat : 12774 (java) S 12772 12772 6753 0 -1 1077944320 53241 0 0 0 19722 16 0 0 20 0 19 0 408019322 15790571520 56548 33554432000 4194304 4196468 140737052012576 140737051995120 139635293617911 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0 6293624 6294260 28762112 140737052017647 140737052017818 140737052017818 140737052020687 0
/proc/12774/statm: 3855120 56548 3532 1 0 3816222 0
[pid=12774/tid=12775] ppid=12772 vsize=15420480 memory=7649399380020507185 CPUtime=0.93 cores=1,3,5,7
/proc/12774/task/12775/stat : 12775 (java) S 12772 12772 6753 0 -1 1077944384 9502 0 0 0 89 4 0 0 20 0 19 0 408019322 15790571520 56548 33554432000 4194304 4196468 140737052012576 139635297858688 139635293628117 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 28762112 140737052017647 140737052017818 140737052017818 140737052020687 0
[pid=12774/tid=12776] ppid=12772 vsize=15420480 memory=7649399384315474480 CPUtime=0.04 cores=1,3,5,7
/proc/12774/task/12776/stat : 12776 (java) S 12772 12772 6753 0 -1 1077944384 754 0 0 0 4 0 0 0 20 0 19 0 408019323 15790571520 56548 33554432000 4194304 4196468 140737052012576 139635229854096 139635293628117 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 28762112 140737052017647 140737052017818 140737052017818 140737052020687 0
[pid=12774/tid=12777] ppid=12772 vsize=15420480 memory=139960932972160 CPUtime=0.05 cores=1,3,5,7
/proc/12774/task/12777/stat : 12777 (java) S 12772 12772 6753 0 -1 1077944384 568 0 0 0 4 1 0 0 20 0 19 0 408019323 15790571520 56548 33554432000 4194304 4196468 140737052012576 139635228801296 139635293628117 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 28762112 140737052017647 140737052017818 140737052017818 140737052020687 0
[pid=12774/tid=12778] ppid=12772 vsize=15420480 memory=7649399392905409073 CPUtime=0.04 cores=1,3,5,7
/proc/12774/task/12778/stat : 12778 (java) S 12772 12772 6753 0 -1 1077944384 828 0 0 0 4 0 0 0 20 0 19 0 408019323 15790571520 56548 33554432000 4194304 4196468 140737052012576 139635227749008 139635293628117 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 28762112 140737052017647 140737052017818 140737052017818 140737052020687 0
[pid=12774/tid=12779] ppid=12772 vsize=15420480 memory=4126316290023845779 CPUtime=0.03 cores=1,3,5,7
/proc/12774/task/12779/stat : 12779 (java) S 12772 12772 6753 0 -1 1077944384 1473 0 0 0 3 0 0 0 20 0 19 0 408019323 15790571520 56548 33554432000 4194304 4196468 140737052012576 139635226696208 139635293628117 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 28762112 140737052017647 140737052017818 140737052017818 140737052020687 0
[pid=12774/tid=12780] ppid=12772 vsize=15420480 memory=0 CPUtime=0.02 cores=1,3,5,7
/proc/12774/task/12780/stat : 12780 (java) S 12772 12772 6753 0 -1 1077944384 1091 0 0 0 2 0 0 0 20 0 19 0 408019324 15790571520 56548 33554432000 4194304 4196468 140737052012576 139634829367920 139635293629058 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 28762112 140737052017647 140737052017818 140737052017818 140737052020687 0
[pid=12774/tid=12781] ppid=12772 vsize=15420480 memory=0 CPUtime=0 cores=1,3,5,7
/proc/12774/task/12781/stat : 12781 (java) S 12772 12772 6753 0 -1 1077944384 40 0 0 0 0 0 0 0 20 0 19 0 408019324 15790571520 56548 33554432000 4194304 4196468 140737052012576 139634828313952 139635293628117 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 28762112 140737052017647 140737052017818 140737052017818 140737052020687 0
[pid=12774/tid=12782] ppid=12772 vsize=15420480 memory=0 CPUtime=0 cores=1,3,5,7
/proc/12774/task/12782/stat : 12782 (java) S 12772 12772 6753 0 -1 1077944384 73 0 0 0 0 0 0 0 20 0 19 0 408019325 15790571520 56548 33554432000 4194304 4196468 140737052012576 139634827261568 139635293628117 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 28762112 140737052017647 140737052017818 140737052017818 140737052020687 0
[pid=12774/tid=12783] ppid=12772 vsize=15420480 memory=0 CPUtime=0 cores=1,3,5,7
/proc/12774/task/12783/stat : 12783 (java) S 12772 12772 6753 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 408019327 15790571520 56548 33554432000 4194304 4196468 140737052012576 139634826209872 139635293636507 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 28762112 140737052017647 140737052017818 140737052017818 140737052020687 0
[pid=12774/tid=12784] ppid=12772 vsize=15420480 memory=0 CPUtime=3.11 cores=1,3,5,7
/proc/12774/task/12784/stat : 12784 (java) S 12772 12772 6753 0 -1 1077944384 11080 0 0 0 310 1 0 0 20 0 19 0 408019327 15790571520 56548 33554432000 4194304 4196468 140737052012576 139634825156720 139635293629058 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 28762112 140737052017647 140737052017818 140737052017818 140737052020687 0
[pid=12774/tid=12785] ppid=12772 vsize=15420480 memory=3976732485301903407 CPUtime=3.34 cores=1,3,5,7
/proc/12774/task/12785/stat : 12785 (java) S 12772 12772 6753 0 -1 1077944384 10877 0 0 0 333 1 0 0 20 0 19 0 408019327 15790571520 56548 33554432000 4194304 4196468 140737052012576 139634824103920 139635293629058 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 28762112 140737052017647 140737052017818 140737052017818 140737052020687 0
[pid=12774/tid=12786] ppid=12772 vsize=15420480 memory=7649399384332251696 CPUtime=0.97 cores=1,3,5,7
/proc/12774/task/12786/stat : 12786 (java) S 12772 12772 6753 0 -1 1077944384 10270 0 0 0 95 2 0 0 20 0 19 0 408019327 15790571520 56548 33554432000 4194304 4196468 140737052012576 139634228062576 139635293629058 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 28762112 140737052017647 140737052017818 140737052017818 140737052020687 0
[pid=12774/tid=12787] ppid=12772 vsize=15420480 memory=2320396705206462647 CPUtime=0 cores=1,3,5,7
/proc/12774/task/12787/stat : 12787 (java) S 12772 12772 6753 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 408019327 15790571520 56548 33554432000 4194304 4196468 140737052012576 139634227010016 139635293628117 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 28762112 140737052017647 140737052017818 140737052017818 140737052020687 0
[pid=12774/tid=12788] ppid=12772 vsize=15420480 memory=7649399392922186288 CPUtime=0.01 cores=1,3,5,7
/proc/12774/task/12788/stat : 12788 (java) S 12772 12772 6753 0 -1 1077944384 464 0 0 0 0 1 0 0 20 0 19 0 408019328 15790571520 56548 33554432000 4194304 4196468 140737052012576 139634225957808 139635293629058 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 28762112 140737052017647 140737052017818 140737052017818 140737052020687 0
[pid=12774/tid=12903] ppid=12772 vsize=15420480 memory=2320396705206462647 CPUtime=46.12 cores=1,3,5,7
/proc/12774/task/12903/stat : 12903 (java) R 12772 12772 6753 0 -1 4202560 378 0 0 0 4612 0 0 0 20 0 19 0 408019606 15790571520 56548 33554432000 4194304 4196468 140737052012576 139633770699136 139634916368309 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 28762112 140737052017647 140737052017818 140737052017818 140737052020687 0
[pid=12774/tid=12904] ppid=12772 vsize=15420480 memory=7649399375608230448 CPUtime=45.56 cores=1,3,5,7
/proc/12774/task/12904/stat : 12904 (java) R 12772 12772 6753 0 -1 4202560 1281 0 0 0 4556 0 0 0 20 0 19 0 408019606 15790571520 56548 33554432000 4194304 4196468 140737052012576 139633768595624 139634914534796 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 28762112 140737052017647 140737052017818 140737052017818 140737052020687 0
[pid=12774/tid=12905] ppid=12772 vsize=15420480 memory=2320396705206462647 CPUtime=45.95 cores=1,3,5,7
/proc/12774/task/12905/stat : 12905 (java) R 12772 12772 6753 0 -1 4202560 1900 0 0 0 4595 0 0 0 20 0 19 0 408019606 15790571520 56548 33554432000 4194304 4196468 140737052012576 139633769648600 139634913898775 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 28762112 140737052017647 140737052017818 140737052017818 140737052020687 0
[pid=12774/tid=12906] ppid=12772 vsize=15420480 memory=0 CPUtime=46.02 cores=1,3,5,7
/proc/12774/task/12906/stat : 12906 (java) R 12772 12772 6753 0 -1 4202560 784 0 0 0 4602 0 0 0 20 0 19 0 408019606 15790571520 56548 33554432000 4194304 4196468 140737052012576 139633772808976 139634913109259 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 28762112 140737052017647 140737052017818 140737052017818 140737052020687 0
Current children cumulated CPU time: 197.38 s
Current children cumulated vsize: 15533608 KiB
Current children cumulated memory: 227644 KiB
[startup+50.4017 s]
/proc/loadavg: 8.12 8.37 8.05 9/237 14938
/proc/meminfo: memFree=31238720/32770624 swapFree=66979472/67108860
[pid=12772] ppid=12769 vsize=113128 memory=1452 CPUtime=0 cores=1,3,5,7
/proc/12772/stat : 12772 (xcsp3-exec) S 12769 12772 6753 0 -1 4202496 545 0 0 0 0 0 0 0 20 0 1 0 408019321 115843072 363 33554432000 4194304 5098028 140726217508816 140726217506920 140581248324220 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 39985152 140726217511803 140726217512045 140726217512045 140726217514954 0
/proc/12772/statm: 28282 363 304 221 0 87 0
[pid=12774] ppid=12772 vsize=15420480 memory=226192 CPUtime=198.94 cores=1,3,5,7
/proc/12774/stat : 12774 (java) S 12772 12772 6753 0 -1 1077944320 53246 0 0 0 19878 16 0 0 20 0 19 0 408019322 15790571520 56548 33554432000 4194304 4196468 140737052012576 140737051995120 139635293617911 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0 6293624 6294260 28762112 140737052017647 140737052017818 140737052017818 140737052020687 0
/proc/12774/statm: 3855120 56548 3532 1 0 3816222 0
[pid=12774/tid=12775] ppid=12772 vsize=15420480 memory=6791534058613427641 CPUtime=0.93 cores=1,3,5,7
/proc/12774/task/12775/stat : 12775 (java) S 12772 12772 6753 0 -1 1077944384 9502 0 0 0 89 4 0 0 20 0 19 0 408019322 15790571520 56548 33554432000 4194304 4196468 140737052012576 139635297858688 139635293628117 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 28762112 140737052017647 140737052017818 140737052017818 140737052020687 0
[pid=12774/tid=12776] ppid=12772 vsize=15420480 memory=5931910755894587498 CPUtime=0.04 cores=1,3,5,7
/proc/12774/task/12776/stat : 12776 (java) S 12772 12772 6753 0 -1 1077944384 754 0 0 0 4 0 0 0 20 0 19 0 408019323 15790571520 56548 33554432000 4194304 4196468 140737052012576 139635229854096 139635293628117 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 28762112 140737052017647 140737052017818 140737052017818 140737052020687 0
[pid=12774/tid=12777] ppid=12772 vsize=15420480 memory=7739807948387869802 CPUtime=0.05 cores=1,3,5,7
/proc/12774/task/12777/stat : 12777 (java) S 12772 12772 6753 0 -1 1077944384 568 0 0 0 4 1 0 0 20 0 19 0 408019323 15790571520 56548 33554432000 4194304 4196468 140737052012576 139635228801296 139635293628117 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 28762112 140737052017647 140737052017818 140737052017818 140737052020687 0
[pid=12774/tid=12778] ppid=12772 vsize=15420480 memory=7522253166225216082 CPUtime=0.04 cores=1,3,5,7
/proc/12774/task/12778/stat : 12778 (java) S 12772 12772 6753 0 -1 1077944384 828 0 0 0 4 0 0 0 20 0 19 0 408019323 15790571520 56548 33554432000 4194304 4196468 140737052012576 139635227749008 139635293628117 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 28762112 140737052017647 140737052017818 140737052017818 140737052020687 0
[pid=12774/tid=12779] ppid=12772 vsize=15420480 memory=7594875921703788903 CPUtime=0.03 cores=1,3,5,7
/proc/12774/task/12779/stat : 12779 (java) S 12772 12772 6753 0 -1 1077944384 1473 0 0 0 3 0 0 0 20 0 19 0 408019323 15790571520 56548 33554432000 4194304 4196468 140737052012576 139635226696208 139635293628117 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 28762112 140737052017647 140737052017818 140737052017818 140737052020687 0
[pid=12774/tid=12780] ppid=12772 vsize=15420480 memory=7452165931215905621 CPUtime=0.02 cores=1,3,5,7
/proc/12774/task/12780/stat : 12780 (java) S 12772 12772 6753 0 -1 1077944384 1091 0 0 0 2 0 0 0 20 0 19 0 408019324 15790571520 56548 33554432000 4194304 4196468 140737052012576 139634829367920 139635293629058 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 28762112 140737052017647 140737052017818 140737052017818 140737052020687 0
[pid=12774/tid=12781] ppid=12772 vsize=15420480 memory=288230574492221466 CPUtime=0 cores=1,3,5,7
/proc/12774/task/12781/stat : 12781 (java) S 12772 12772 6753 0 -1 1077944384 40 0 0 0 0 0 0 0 20 0 19 0 408019324 15790571520 56548 33554432000 4194304 4196468 140737052012576 139634828313952 139635293628117 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 28762112 140737052017647 140737052017818 140737052017818 140737052020687 0
[pid=12774/tid=12782] ppid=12772 vsize=15420480 memory=288230617509003574 CPUtime=0 cores=1,3,5,7
/proc/12774/task/12782/stat : 12782 (java) S 12772 12772 6753 0 -1 1077944384 73 0 0 0 0 0 0 0 20 0 19 0 408019325 15790571520 56548 33554432000 4194304 4196468 140737052012576 139634827261568 139635293628117 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 28762112 140737052017647 140737052017818 140737052017818 140737052020687 0
[pid=12774/tid=12783] ppid=12772 vsize=15420480 memory=14689690934577591 CPUtime=0 cores=1,3,5,7
/proc/12774/task/12783/stat : 12783 (java) S 12772 12772 6753 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 408019327 15790571520 56548 33554432000 4194304 4196468 140737052012576 139634826209872 139635293636507 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 28762112 140737052017647 140737052017818 140737052017818 140737052020687 0
[pid=12774/tid=12784] ppid=12772 vsize=15420480 memory=14689690934577591 CPUtime=3.11 cores=1,3,5,7
/proc/12774/task/12784/stat : 12784 (java) S 12772 12772 6753 0 -1 1077944384 11080 0 0 0 310 1 0 0 20 0 19 0 408019327 15790571520 56548 33554432000 4194304 4196468 140737052012576 139634825156720 139635293629058 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 28762112 140737052017647 140737052017818 140737052017818 140737052020687 0
[pid=12774/tid=12785] ppid=12772 vsize=15420480 memory=780 CPUtime=3.34 cores=1,3,5,7
/proc/12774/task/12785/stat : 12785 (java) S 12772 12772 6753 0 -1 1077944384 10877 0 0 0 333 1 0 0 20 0 19 0 408019327 15790571520 56548 33554432000 4194304 4196468 140737052012576 139634824103920 139635293629058 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 28762112 140737052017647 140737052017818 140737052017818 140737052020687 0
[pid=12774/tid=12786] ppid=12772 vsize=15420480 memory=3360 CPUtime=0.97 cores=1,3,5,7
/proc/12774/task/12786/stat : 12786 (java) S 12772 12772 6753 0 -1 1077944384 10270 0 0 0 95 2 0 0 20 0 19 0 408019327 15790571520 56548 33554432000 4194304 4196468 140737052012576 139634228062576 139635293629058 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 28762112 140737052017647 140737052017818 140737052017818 140737052020687 0
[pid=12774/tid=12787] ppid=12772 vsize=15420480 memory=0 CPUtime=0 cores=1,3,5,7
/proc/12774/task/12787/stat : 12787 (java) S 12772 12772 6753 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 408019327 15790571520 56548 33554432000 4194304 4196468 140737052012576 139634227010016 139635293628117 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 28762112 140737052017647 140737052017818 140737052017818 140737052020687 0
[pid=12774/tid=12788] ppid=12772 vsize=15420480 memory=279921541564816 CPUtime=0.01 cores=1,3,5,7
/proc/12774/task/12788/stat : 12788 (java) S 12772 12772 6753 0 -1 1077944384 464 0 0 0 0 1 0 0 20 0 19 0 408019328 15790571520 56548 33554432000 4194304 4196468 140737052012576 139634225957808 139635293629058 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 28762112 140737052017647 140737052017818 140737052017818 140737052020687 0
[pid=12774/tid=12903] ppid=12772 vsize=15420480 memory=1060 CPUtime=46.51 cores=1,3,5,7
/proc/12774/task/12903/stat : 12903 (java) R 12772 12772 6753 0 -1 4202560 379 0 0 0 4651 0 0 0 20 0 19 0 408019606 15790571520 56548 33554432000 4194304 4196468 140737052012576 139633770699136 139634914586187 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 28762112 140737052017647 140737052017818 140737052017818 140737052020687 0
[pid=12774/tid=12904] ppid=12772 vsize=15420480 memory=2828 CPUtime=45.95 cores=1,3,5,7
/proc/12774/task/12904/stat : 12904 (java) R 12772 12772 6753 0 -1 4202560 1284 0 0 0 4595 0 0 0 20 0 19 0 408019606 15790571520 56548 33554432000 4194304 4196468 140737052012576 139633768595624 139634915671503 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 28762112 140737052017647 140737052017818 140737052017818 140737052020687 0
[pid=12774/tid=12905] ppid=12772 vsize=15420480 memory=756 CPUtime=46.34 cores=1,3,5,7
/proc/12774/task/12905/stat : 12905 (java) R 12772 12772 6753 0 -1 4202560 1901 0 0 0 4634 0 0 0 20 0 19 0 408019606 15790571520 56548 33554432000 4194304 4196468 140737052012576 139633769648600 139634913579800 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 28762112 140737052017647 140737052017818 140737052017818 140737052020687 0
[pid=12774/tid=12906] ppid=12772 vsize=15420480 memory=1548 CPUtime=46.41 cores=1,3,5,7
/proc/12774/task/12906/stat : 12906 (java) R 12772 12772 6753 0 -1 4202560 784 0 0 0 4641 0 0 0 20 0 19 0 408019606 15790571520 56548 33554432000 4194304 4196468 140737052012576 139633772808976 139634916593415 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 28762112 140737052017647 140737052017818 140737052017818 140737052020687 0
Current children cumulated CPU time: 198.94 s
Current children cumulated vsize: 15533608 KiB
Current children cumulated memory: 227644 KiB
[startup+50.5017 s]
/proc/loadavg: 8.12 8.37 8.05 9/237 14938
/proc/meminfo: memFree=31238720/32770624 swapFree=66979472/67108860
[pid=12772] ppid=12769 vsize=113128 memory=1452 CPUtime=0 cores=1,3,5,7
/proc/12772/stat : 12772 (xcsp3-exec) S 12769 12772 6753 0 -1 4202496 545 0 0 0 0 0 0 0 20 0 1 0 408019321 115843072 363 33554432000 4194304 5098028 140726217508816 140726217506920 140581248324220 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 39985152 140726217511803 140726217512045 140726217512045 140726217514954 0
/proc/12772/statm: 28282 363 304 221 0 87 0
[pid=12774] ppid=12772 vsize=15420480 memory=226192 CPUtime=199.34 cores=1,3,5,7
/proc/12774/stat : 12774 (java) S 12772 12772 6753 0 -1 1077944320 53248 0 0 0 19918 16 0 0 20 0 19 0 408019322 15790571520 56548 33554432000 4194304 4196468 140737052012576 140737051995120 139635293617911 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0 6293624 6294260 28762112 140737052017647 140737052017818 140737052017818 140737052020687 0
/proc/12774/statm: 3855120 56548 3532 1 0 3816222 0
[pid=12774/tid=12775] ppid=12772 vsize=15420480 memory=1452 CPUtime=0.93 cores=1,3,5,7
/proc/12774/task/12775/stat : 12775 (java) S 12772 12772 6753 0 -1 1077944384 9502 0 0 0 89 4 0 0 20 0 19 0 408019322 15790571520 56548 33554432000 4194304 4196468 140737052012576 139635297858688 139635293628117 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 28762112 140737052017647 140737052017818 140737052017818 140737052020687 0
[pid=12774/tid=12776] ppid=12772 vsize=15420480 memory=225680 CPUtime=0.04 cores=1,3,5,7
/proc/12774/task/12776/stat : 12776 (java) S 12772 12772 6753 0 -1 1077944384 754 0 0 0 4 0 0 0 20 0 19 0 408019323 15790571520 56548 33554432000 4194304 4196468 140737052012576 139635229854096 139635293628117 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 28762112 140737052017647 140737052017818 140737052017818 140737052020687 0
[pid=12774/tid=12777] ppid=12772 vsize=15420480 memory=230288 CPUtime=0.05 cores=1,3,5,7
/proc/12774/task/12777/stat : 12777 (java) S 12772 12772 6753 0 -1 1077944384 568 0 0 0 4 1 0 0 20 0 19 0 408019323 15790571520 56548 33554432000 4194304 4196468 140737052012576 139635228801296 139635293628117 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 28762112 140737052017647 140737052017818 140737052017818 140737052020687 0
[pid=12774/tid=12778] ppid=12772 vsize=15420480 memory=780 CPUtime=0.04 cores=1,3,5,7
/proc/12774/task/12778/stat : 12778 (java) S 12772 12772 6753 0 -1 1077944384 828 0 0 0 4 0 0 0 20 0 19 0 408019323 15790571520 56548 33554432000 4194304 4196468 140737052012576 139635227749008 139635293628117 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 28762112 140737052017647 140737052017818 140737052017818 140737052020687 0
[pid=12774/tid=12779] ppid=12772 vsize=15420480 memory=3360 CPUtime=0.03 cores=1,3,5,7
/proc/12774/task/12779/stat : 12779 (java) S 12772 12772 6753 0 -1 1077944384 1473 0 0 0 3 0 0 0 20 0 19 0 408019323 15790571520 56548 33554432000 4194304 4196468 140737052012576 139635226696208 139635293628117 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 28762112 140737052017647 140737052017818 140737052017818 140737052020687 0
[pid=12774/tid=12780] ppid=12772 vsize=15420480 memory=1328 CPUtime=0.02 cores=1,3,5,7
/proc/12774/task/12780/stat : 12780 (java) S 12772 12772 6753 0 -1 1077944384 1091 0 0 0 2 0 0 0 20 0 19 0 408019324 15790571520 56548 33554432000 4194304 4196468 140737052012576 139634829367920 139635293629058 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 28762112 140737052017647 140737052017818 140737052017818 140737052020687 0
[pid=12774/tid=12781] ppid=12772 vsize=15420480 memory=780 CPUtime=0 cores=1,3,5,7
/proc/12774/task/12781/stat : 12781 (java) S 12772 12772 6753 0 -1 1077944384 40 0 0 0 0 0 0 0 20 0 19 0 408019324 15790571520 56548 33554432000 4194304 4196468 140737052012576 139634828313952 139635293628117 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 28762112 140737052017647 140737052017818 140737052017818 140737052020687 0
[pid=12774/tid=12782] ppid=12772 vsize=15420480 memory=6791534058613427641 CPUtime=0 cores=1,3,5,7
/proc/12774/task/12782/stat : 12782 (java) S 12772 12772 6753 0 -1 1077944384 73 0 0 0 0 0 0 0 20 0 19 0 408019325 15790571520 56548 33554432000 4194304 4196468 140737052012576 139634827261568 139635293628117 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 28762112 140737052017647 140737052017818 140737052017818 140737052020687 0
[pid=12774/tid=12783] ppid=12772 vsize=15420480 memory=1452 CPUtime=0 cores=1,3,5,7
/proc/12774/task/12783/stat : 12783 (java) S 12772 12772 6753 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 408019327 15790571520 56548 33554432000 4194304 4196468 140737052012576 139634826209872 139635293636507 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 28762112 140737052017647 140737052017818 140737052017818 140737052020687 0
[pid=12774/tid=12784] ppid=12772 vsize=15420480 memory=229784 CPUtime=3.11 cores=1,3,5,7
/proc/12774/task/12784/stat : 12784 (java) S 12772 12772 6753 0 -1 1077944384 11080 0 0 0 310 1 0 0 20 0 19 0 408019327 15790571520 56548 33554432000 4194304 4196468 140737052012576 139634825156720 139635293629058 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 28762112 140737052017647 140737052017818 140737052017818 140737052020687 0
[pid=12774/tid=12785] ppid=12772 vsize=15420480 memory=279921541228208 CPUtime=3.34 cores=1,3,5,7
/proc/12774/task/12785/stat : 12785 (java) S 12772 12772 6753 0 -1 1077944384 10877 0 0 0 333 1 0 0 20 0 19 0 408019327 15790571520 56548 33554432000 4194304 4196468 140737052012576 139634824103920 139635293629058 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 28762112 140737052017647 140737052017818 140737052017818 140737052020687 0
[pid=12774/tid=12786] ppid=12772 vsize=15420480 memory=225684 CPUtime=0.97 cores=1,3,5,7
/proc/12774/task/12786/stat : 12786 (java) S 12772 12772 6753 0 -1 1077944384 10270 0 0 0 95 2 0 0 20 0 19 0 408019327 15790571520 56548 33554432000 4194304 4196468 140737052012576 139634228062576 139635293629058 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 28762112 140737052017647 140737052017818 140737052017818 140737052020687 0
[pid=12774/tid=12787] ppid=12772 vsize=15420480 memory=3620 CPUtime=0 cores=1,3,5,7
/proc/12774/task/12787/stat : 12787 (java) S 12772 12772 6753 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 408019327 15790571520 56548 33554432000 4194304 4196468 140737052012576 139634227010016 139635293628117 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 28762112 140737052017647 140737052017818 140737052017818 140737052020687 0
[pid=12774/tid=12788] ppid=12772 vsize=15420480 memory=16780 CPUtime=0.01 cores=1,3,5,7
/proc/12774/task/12788/stat : 12788 (java) S 12772 12772 6753 0 -1 1077944384 464 0 0 0 0 1 0 0 20 0 19 0 408019328 15790571520 56548 33554432000 4194304 4196468 140737052012576 139634225957808 139635293629058 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 28762112 140737052017647 140737052017818 140737052017818 140737052020687 0
[pid=12774/tid=12903] ppid=12772 vsize=15420480 memory=1452 CPUtime=46.61 cores=1,3,5,7
/proc/12774/task/12903/stat : 12903 (java) R 12772 12772 6753 0 -1 4202560 380 0 0 0 4661 0 0 0 20 0 19 0 408019606 15790571520 56548 33554432000 4194304 4196468 140737052012576 139633770699136 139634913285559 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 28762112 140737052017647 140737052017818 140737052017818 140737052020687 0
[pid=12774/tid=12904] ppid=12772 vsize=15420480 memory=226192 CPUtime=46.05 cores=1,3,5,7
/proc/12774/task/12904/stat : 12904 (java) R 12772 12772 6753 0 -1 4202560 1284 0 0 0 4605 0 0 0 20 0 19 0 408019606 15790571520 56548 33554432000 4194304 4196468 140737052012576 139633768595624 139634916792031 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 28762112 140737052017647 140737052017818 140737052017818 140737052020687 0
[pid=12774/tid=12905] ppid=12772 vsize=15420480 memory=920 CPUtime=46.44 cores=1,3,5,7
/proc/12774/task/12905/stat : 12905 (java) R 12772 12772 6753 0 -1 4202560 1901 0 0 0 4644 0 0 0 20 0 19 0 408019606 15790571520 56548 33554432000 4194304 4196468 140737052012576 139633769648600 139634913582365 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 28762112 140737052017647 140737052017818 140737052017818 140737052020687 0
[pid=12774/tid=12906] ppid=12772 vsize=15420480 memory=1452 CPUtime=46.51 cores=1,3,5,7
/proc/12774/task/12906/stat : 12906 (java) R 12772 12772 6753 0 -1 4202560 785 0 0 0 4651 0 0 0 20 0 19 0 408019606 15790571520 56548 33554432000 4194304 4196468 140737052012576 139633772808976 139634913109291 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 28762112 140737052017647 140737052017818 140737052017818 140737052020687 0
Current children cumulated CPU time: 199.34 s
Current children cumulated vsize: 15533608 KiB
Current children cumulated memory: 227644 KiB
Child status: 0
Real time (s): 50.5378
CPU time (s): 199.478
CPU user time (s): 199.304
CPU system time (s): 0.173262
CPU usage (%): 394.71
Max. virtual memory (cumulated for all children) (KiB): 15533608
Max. memory (cumulated for all children) (KiB): 232264
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 199.304
system time used= 0.173262
maximum resident set size= 235932
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 54568
page faults= 0
swaps= 0
block input operations= 0
block output operations= 152
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 4664
involuntary context switches= 3930
# summary of solver processes directly reported to runsolver:
# pid: 12772
# total CPU time (s): 199.478
# total CPU user time (s): 199.304
# total CPU system time (s): 0.173262
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 0.351554 second user time and 0.583773 second system time
The end