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 (7647 MiB free)
memory of node 1: 16384 MiB (9585 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4394128-1568330712/watcher-4394128-1568330712 -o /tmp/evaluation-result-4394128-1568330712/solver-4394128-1568330712 -C 2400 -W 2500 -M 15500 --bin-var /tmp/runsolver-exch-node124-1568329129-18218 --watchdog 2560 xcsp3-exec -dir HOME -tl 2400 -p 4 -ml 12000 -tdir HOME -seed 1113023174 HOME/instance-4394128-1568330712.xml
running on 4 cores: 1,3,5,7
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 2400 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 2430 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 2500 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=21803, runsolver pid=21800
Current StackSize limit: 8192 KiB
[startup+0.101529 s]*
/proc/loadavg: 8.34 8.36 6.59 7/234 21819
/proc/meminfo: memFree=17632204/32770624 swapFree=66959212/67108860
[pid=21803] ppid=21800 vsize=113128 memory=1452 CPUtime=0 cores=1,3,5,7
/proc/21803/stat : 21803 (xcsp3-exec) S 21800 21803 18186 0 -1 4202496 545 0 0 0 0 0 0 0 20 0 1 0 409011335 115843072 363 33554432000 4194304 5098028 140725722560320 140725722558424 139636754825852 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 33890304 140725722567546 140725722567789 140725722567789 140725722570698 0
/proc/21803/statm: 28282 363 304 221 0 87 0
[pid=21805] ppid=21803 vsize=15144768 memory=27496 CPUtime=0.13 cores=1,3,5,7
/proc/21805/stat : 21805 (java) S 21803 21803 18186 0 -1 1077944320 5823 0 0 0 12 1 0 0 20 0 15 0 409011335 15508242432 6874 33554432000 4194304 4196468 140723849084768 140723849067312 140299968823031 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0 6293624 6294260 26386432 140723849090031 140723849090202 140723849090202 140723849093071 0
/proc/21805/statm: 3786192 6874 3181 1 0 3748377 0
[pid=21805/tid=21806] ppid=21803 vsize=15144768 memory=-6962121287837372198 CPUtime=0.09 cores=1,3,5,7
/proc/21805/task/21806/stat : 21806 (java) R 21803 21803 18186 0 -1 4202560 3642 0 0 0 9 0 0 0 20 0 15 0 409011336 15508242432 6874 33554432000 4194304 4196468 140723849084768 140299973053408 140299968834966 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 26386432 140723849090031 140723849090202 140723849090202 140723849093071 0
[pid=21805/tid=21807] ppid=21803 vsize=15144768 memory=-3689451258167578675 CPUtime=0 cores=1,3,5,7
/proc/21805/task/21807/stat : 21807 (java) S 21803 21803 18186 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 409011336 15508242432 6874 33554432000 4194304 4196468 140723849084768 140299940665872 140299968833237 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 26386432 140723849090031 140723849090202 140723849090202 140723849093071 0
[pid=21805/tid=21808] ppid=21803 vsize=15144768 memory=139758834116224 CPUtime=0 cores=1,3,5,7
/proc/21805/task/21808/stat : 21808 (java) S 21803 21803 18186 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 409011336 15508242432 6874 33554432000 4194304 4196468 140723849084768 140299939613328 140299968833237 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 26386432 140723849090031 140723849090202 140723849090202 140723849093071 0
[pid=21805/tid=21809] ppid=21803 vsize=15144768 memory=0 CPUtime=0 cores=1,3,5,7
/proc/21805/task/21809/stat : 21809 (java) S 21803 21803 18186 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 409011336 15508242432 6874 33554432000 4194304 4196468 140723849084768 140299559602448 140299968833237 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 26386432 140723849090031 140723849090202 140723849090202 140723849093071 0
[pid=21805/tid=21810] ppid=21803 vsize=15144768 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/21805/task/21810/stat : 21810 (java) S 21803 21803 18186 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 409011336 15508242432 6874 33554432000 4194304 4196468 140723849084768 140299558549904 140299968833237 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 26386432 140723849090031 140723849090202 140723849090202 140723849093071 0
[pid=21805/tid=21811] ppid=21803 vsize=15144768 memory=139758834116224 CPUtime=0 cores=1,3,5,7
/proc/21805/task/21811/stat : 21811 (java) S 21803 21803 18186 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 409011338 15508242432 6874 33554432000 4194304 4196468 140723849084768 140298842307312 140299968834178 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 26386432 140723849090031 140723849090202 140723849090202 140723849093071 0
[pid=21805/tid=21812] ppid=21803 vsize=15144768 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/21805/task/21812/stat : 21812 (java) S 21803 21803 18186 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 409011338 15508242432 6874 33554432000 4194304 4196468 140723849084768 140298841253536 140299968833237 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 26386432 140723849090031 140723849090202 140723849090202 140723849093071 0
[pid=21805/tid=21813] ppid=21803 vsize=15144768 memory=0 CPUtime=0 cores=1,3,5,7
/proc/21805/task/21813/stat : 21813 (java) S 21803 21803 18186 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 409011338 15508242432 6874 33554432000 4194304 4196468 140723849084768 140298840200432 140299968833237 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 26386432 140723849090031 140723849090202 140723849090202 140723849093071 0
[pid=21805/tid=21814] ppid=21803 vsize=15144768 memory=0 CPUtime=0 cores=1,3,5,7
/proc/21805/task/21814/stat : 21814 (java) S 21803 21803 18186 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 409011341 15508242432 6874 33554432000 4194304 4196468 140723849084768 140298839149008 140299968841627 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 26386432 140723849090031 140723849090202 140723849090202 140723849093071 0
[pid=21805/tid=21815] ppid=21803 vsize=15144768 memory=0 CPUtime=0 cores=1,3,5,7
/proc/21805/task/21815/stat : 21815 (java) S 21803 21803 18186 0 -1 1077944384 304 0 0 0 0 0 0 0 20 0 15 0 409011341 15508242432 6874 33554432000 4194304 4196468 140723849084768 140298838096112 140299968834178 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 26386432 140723849090031 140723849090202 140723849090202 140723849093071 0
[pid=21805/tid=21816] ppid=21803 vsize=15144768 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/21805/task/21816/stat : 21816 (java) S 21803 21803 18186 0 -1 1077944384 166 0 0 0 0 0 0 0 20 0 15 0 409011341 15508242432 6874 33554432000 4194304 4196468 140723849084768 140298837043568 140299968834178 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 26386432 140723849090031 140723849090202 140723849090202 140723849093071 0
[pid=21805/tid=21817] ppid=21803 vsize=15144768 memory=139758834116224 CPUtime=0.02 cores=1,3,5,7
/proc/21805/task/21817/stat : 21817 (java) R 21803 21803 18186 0 -1 4202560 409 0 0 0 2 0 0 0 20 0 15 0 409011341 15508242432 6874 33554432000 4194304 4196468 140723849084768 140298835990512 140299968834966 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 26386432 140723849090031 140723849090202 140723849090202 140723849093071 0
[pid=21805/tid=21818] ppid=21803 vsize=15144768 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/21805/task/21818/stat : 21818 (java) S 21803 21803 18186 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 409011341 15508242432 6874 33554432000 4194304 4196468 140723849084768 140298834938208 140299968833237 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 26386432 140723849090031 140723849090202 140723849090202 140723849093071 0
[pid=21805/tid=21819] ppid=21803 vsize=15144768 memory=139758834116224 CPUtime=0 cores=1,3,5,7
/proc/21805/task/21819/stat : 21819 (java) R 21803 21803 18186 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 409011341 15508242432 6874 33554432000 4194304 4196468 140723849084768 140298833886256 140299968834178 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 26386432 140723849090031 140723849090202 140723849090202 140723849093071 0
Current children cumulated CPU time: 0.13 s
Current children cumulated vsize: 15257896 KiB
Current children cumulated memory: 28948 KiB
[startup+0.210851 s]*
/proc/loadavg: 8.34 8.36 6.59 6/234 21819
/proc/meminfo: memFree=17618852/32770624 swapFree=66959212/67108860
[pid=21803] ppid=21800 vsize=113128 memory=1452 CPUtime=0 cores=1,3,5,7
/proc/21803/stat : 21803 (xcsp3-exec) S 21800 21803 18186 0 -1 4202496 545 0 0 0 0 0 0 0 20 0 1 0 409011335 115843072 363 33554432000 4194304 5098028 140725722560320 140725722558424 139636754825852 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 33890304 140725722567546 140725722567789 140725722567789 140725722570698 0
/proc/21803/statm: 28282 363 304 221 0 87 0
[pid=21805] ppid=21803 vsize=15144768 memory=40008 CPUtime=0.35 cores=1,3,5,7
/proc/21805/stat : 21805 (java) S 21803 21803 18186 0 -1 1077944320 9678 0 0 0 32 3 0 0 20 0 15 0 409011335 15508242432 10002 33554432000 4194304 4196468 140723849084768 140723849067312 140299968823031 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0 6293624 6294260 26386432 140723849090031 140723849090202 140723849090202 140723849093071 0
/proc/21805/statm: 3786192 10002 3322 1 0 3748377 0
[pid=21805/tid=21806] ppid=21803 vsize=15144768 memory=7883960649037381690 CPUtime=0.2 cores=1,3,5,7
/proc/21805/task/21806/stat : 21806 (java) R 21803 21803 18186 0 -1 4202560 6658 0 0 0 18 2 0 0 20 0 15 0 409011336 15508242432 10002 33554432000 4194304 4196468 140723849084768 140299973056528 140299604612615 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 26386432 140723849090031 140723849090202 140723849090202 140723849093071 0
[pid=21805/tid=21807] ppid=21803 vsize=15144768 memory=1965945 CPUtime=0 cores=1,3,5,7
/proc/21805/task/21807/stat : 21807 (java) S 21803 21803 18186 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 409011336 15508242432 10002 33554432000 4194304 4196468 140723849084768 140299940665872 140299968833237 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 26386432 140723849090031 140723849090202 140723849090202 140723849093071 0
[pid=21805/tid=21808] ppid=21803 vsize=15144768 memory=3688924545549166240 CPUtime=0 cores=1,3,5,7
/proc/21805/task/21808/stat : 21808 (java) S 21803 21803 18186 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 409011336 15508242432 10002 33554432000 4194304 4196468 140723849084768 140299939613328 140299968833237 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 26386432 140723849090031 140723849090202 140723849090202 140723849093071 0
[pid=21805/tid=21809] ppid=21803 vsize=15144768 memory=0 CPUtime=0 cores=1,3,5,7
/proc/21805/task/21809/stat : 21809 (java) S 21803 21803 18186 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 409011336 15508242432 10002 33554432000 4194304 4196468 140723849084768 140299559602448 140299968833237 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 26386432 140723849090031 140723849090202 140723849090202 140723849093071 0
[pid=21805/tid=21810] ppid=21803 vsize=15144768 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/21805/task/21810/stat : 21810 (java) S 21803 21803 18186 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 409011336 15508242432 10002 33554432000 4194304 4196468 140723849084768 140299558549904 140299968833237 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 26386432 140723849090031 140723849090202 140723849090202 140723849093071 0
[pid=21805/tid=21811] ppid=21803 vsize=15144768 memory=139758834116224 CPUtime=0 cores=1,3,5,7
/proc/21805/task/21811/stat : 21811 (java) S 21803 21803 18186 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 409011338 15508242432 10002 33554432000 4194304 4196468 140723849084768 140298842307312 140299968834178 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 26386432 140723849090031 140723849090202 140723849090202 140723849093071 0
[pid=21805/tid=21812] ppid=21803 vsize=15144768 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/21805/task/21812/stat : 21812 (java) S 21803 21803 18186 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 409011338 15508242432 10002 33554432000 4194304 4196468 140723849084768 140298841253536 140299968833237 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 26386432 140723849090031 140723849090202 140723849090202 140723849093071 0
[pid=21805/tid=21813] ppid=21803 vsize=15144768 memory=0 CPUtime=0 cores=1,3,5,7
/proc/21805/task/21813/stat : 21813 (java) S 21803 21803 18186 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 409011338 15508242432 10002 33554432000 4194304 4196468 140723849084768 140298840200432 140299968833237 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 26386432 140723849090031 140723849090202 140723849090202 140723849093071 0
[pid=21805/tid=21814] ppid=21803 vsize=15144768 memory=0 CPUtime=0 cores=1,3,5,7
/proc/21805/task/21814/stat : 21814 (java) S 21803 21803 18186 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 409011341 15508242432 10002 33554432000 4194304 4196468 140723849084768 140298839149008 140299968841627 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 26386432 140723849090031 140723849090202 140723849090202 140723849093071 0
[pid=21805/tid=21815] ppid=21803 vsize=15144768 memory=0 CPUtime=0.03 cores=1,3,5,7
/proc/21805/task/21815/stat : 21815 (java) S 21803 21803 18186 0 -1 1077944384 584 0 0 0 3 0 0 0 20 0 15 0 409011341 15508242432 10002 33554432000 4194304 4196468 140723849084768 140298838096112 140299968834178 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 26386432 140723849090031 140723849090202 140723849090202 140723849093071 0
[pid=21805/tid=21816] ppid=21803 vsize=15144768 memory=-1 CPUtime=0.02 cores=1,3,5,7
/proc/21805/task/21816/stat : 21816 (java) S 21803 21803 18186 0 -1 1077944384 201 0 0 0 2 0 0 0 20 0 15 0 409011341 15508242432 10002 33554432000 4194304 4196468 140723849084768 140298837043568 140299968834178 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 26386432 140723849090031 140723849090202 140723849090202 140723849093071 0
[pid=21805/tid=21817] ppid=21803 vsize=15144768 memory=139758834116224 CPUtime=0.08 cores=1,3,5,7
/proc/21805/task/21817/stat : 21817 (java) R 21803 21803 18186 0 -1 4202560 933 0 0 0 8 0 0 0 20 0 15 0 409011341 15508242432 10002 33554432000 4194304 4196468 140723849084768 140298835990320 140299961919764 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 26386432 140723849090031 140723849090202 140723849090202 140723849093071 0
[pid=21805/tid=21818] ppid=21803 vsize=15144768 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/21805/task/21818/stat : 21818 (java) S 21803 21803 18186 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 409011341 15508242432 10002 33554432000 4194304 4196468 140723849084768 140298834938208 140299968833237 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 26386432 140723849090031 140723849090202 140723849090202 140723849093071 0
[pid=21805/tid=21819] ppid=21803 vsize=15144768 memory=0 CPUtime=0 cores=1,3,5,7
/proc/21805/task/21819/stat : 21819 (java) S 21803 21803 18186 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 409011341 15508242432 10002 33554432000 4194304 4196468 140723849084768 140298833886256 140299968834178 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 26386432 140723849090031 140723849090202 140723849090202 140723849093071 0
Current children cumulated CPU time: 0.35 s
Current children cumulated vsize: 15257896 KiB
Current children cumulated memory: 41460 KiB
[startup+0.310695 s]*
/proc/loadavg: 8.34 8.36 6.59 8/234 21819
/proc/meminfo: memFree=17613244/32770624 swapFree=66959212/67108860
[pid=21803] ppid=21800 vsize=113128 memory=1452 CPUtime=0 cores=1,3,5,7
/proc/21803/stat : 21803 (xcsp3-exec) S 21800 21803 18186 0 -1 4202496 545 0 0 0 0 0 0 0 20 0 1 0 409011335 115843072 363 33554432000 4194304 5098028 140725722560320 140725722558424 139636754825852 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 33890304 140725722567546 140725722567789 140725722567789 140725722570698 0
/proc/21803/statm: 28282 363 304 221 0 87 0
[pid=21805] ppid=21803 vsize=15149024 memory=49136 CPUtime=0.54 cores=1,3,5,7
/proc/21805/stat : 21805 (java) S 21803 21803 18186 0 -1 1077944320 11143 0 0 0 50 4 0 0 20 0 15 0 409011335 15512600576 12284 33554432000 4194304 4196468 140723849084768 140723849067312 140299968823031 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0 6293624 6294260 26386432 140723849090031 140723849090202 140723849090202 140723849093071 0
/proc/21805/statm: 3787256 12284 3363 1 0 3748377 0
[pid=21805/tid=21806] ppid=21803 vsize=15149024 memory=6791534058613427641 CPUtime=0.3 cores=1,3,5,7
/proc/21805/task/21806/stat : 21806 (java) R 21803 21803 18186 0 -1 4202560 7802 0 0 0 27 3 0 0 20 0 15 0 409011336 15512600576 12284 33554432000 4194304 4196468 140723849084768 140299973052512 140299968844957 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 26386432 140723849090031 140723849090202 140723849090202 140723849093071 0
[pid=21805/tid=21807] ppid=21803 vsize=15149024 memory=4872558044660077418 CPUtime=0 cores=1,3,5,7
/proc/21805/task/21807/stat : 21807 (java) S 21803 21803 18186 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 409011336 15512600576 12284 33554432000 4194304 4196468 140723849084768 140299940665872 140299968833237 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 26386432 140723849090031 140723849090202 140723849090202 140723849093071 0
[pid=21805/tid=21808] ppid=21803 vsize=15149024 memory=6944656575208382560 CPUtime=0 cores=1,3,5,7
/proc/21805/task/21808/stat : 21808 (java) S 21803 21803 18186 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 409011336 15512600576 12284 33554432000 4194304 4196468 140723849084768 140299939613328 140299968833237 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 26386432 140723849090031 140723849090202 140723849090202 140723849093071 0
[pid=21805/tid=21809] ppid=21803 vsize=15149024 memory=-3258418265892434876 CPUtime=0 cores=1,3,5,7
/proc/21805/task/21809/stat : 21809 (java) S 21803 21803 18186 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 409011336 15512600576 12284 33554432000 4194304 4196468 140723849084768 140299559602448 140299968833237 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 26386432 140723849090031 140723849090202 140723849090202 140723849093071 0
[pid=21805/tid=21810] ppid=21803 vsize=15149024 memory=4572146057552828020 CPUtime=0 cores=1,3,5,7
/proc/21805/task/21810/stat : 21810 (java) S 21803 21803 18186 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 409011336 15512600576 12284 33554432000 4194304 4196468 140723849084768 140299558549904 140299968833237 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 26386432 140723849090031 140723849090202 140723849090202 140723849093071 0
[pid=21805/tid=21811] ppid=21803 vsize=15149024 memory=6944613755495348631 CPUtime=0 cores=1,3,5,7
/proc/21805/task/21811/stat : 21811 (java) S 21803 21803 18186 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 409011338 15512600576 12284 33554432000 4194304 4196468 140723849084768 140298842307312 140299968834178 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 26386432 140723849090031 140723849090202 140723849090202 140723849093071 0
[pid=21805/tid=21812] ppid=21803 vsize=15149024 memory=7893295687695687954 CPUtime=0 cores=1,3,5,7
/proc/21805/task/21812/stat : 21812 (java) S 21803 21803 18186 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 409011338 15512600576 12284 33554432000 4194304 4196468 140723849084768 140298841253536 140299968833237 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 26386432 140723849090031 140723849090202 140723849090202 140723849093071 0
[pid=21805/tid=21813] ppid=21803 vsize=15149024 memory=-8813974798734826869 CPUtime=0 cores=1,3,5,7
/proc/21805/task/21813/stat : 21813 (java) S 21803 21803 18186 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 409011338 15512600576 12284 33554432000 4194304 4196468 140723849084768 140298840200432 140299968833237 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 26386432 140723849090031 140723849090202 140723849090202 140723849093071 0
[pid=21805/tid=21814] ppid=21803 vsize=15149024 memory=-6664436420846797971 CPUtime=0 cores=1,3,5,7
/proc/21805/task/21814/stat : 21814 (java) S 21803 21803 18186 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 409011341 15512600576 12284 33554432000 4194304 4196468 140723849084768 140298839149008 140299968841627 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 26386432 140723849090031 140723849090202 140723849090202 140723849093071 0
[pid=21805/tid=21815] ppid=21803 vsize=15149024 memory=4426078206164241782 CPUtime=0.05 cores=1,3,5,7
/proc/21805/task/21815/stat : 21815 (java) S 21803 21803 18186 0 -1 1077944384 626 0 0 0 5 0 0 0 20 0 15 0 409011341 15512600576 12284 33554432000 4194304 4196468 140723849084768 140298838096112 140299968834178 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 26386432 140723849090031 140723849090202 140723849090202 140723849093071 0
[pid=21805/tid=21816] ppid=21803 vsize=15149024 memory=0 CPUtime=0.04 cores=1,3,5,7
/proc/21805/task/21816/stat : 21816 (java) R 21803 21803 18186 0 -1 4202560 338 0 0 0 4 0 0 0 20 0 15 0 409011341 15512600576 12284 33554432000 4194304 4196468 140723849084768 140298837043568 140299953948410 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 26386432 140723849090031 140723849090202 140723849090202 140723849093071 0
[pid=21805/tid=21817] ppid=21803 vsize=15149024 memory=0 CPUtime=0.12 cores=1,3,5,7
/proc/21805/task/21817/stat : 21817 (java) S 21803 21803 18186 0 -1 1077944384 1073 0 0 0 12 0 0 0 20 0 15 0 409011341 15512600576 12284 33554432000 4194304 4196468 140723849084768 140298835990512 140299968834178 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 26386432 140723849090031 140723849090202 140723849090202 140723849093071 0
[pid=21805/tid=21818] ppid=21803 vsize=15149024 memory=0 CPUtime=0 cores=1,3,5,7
/proc/21805/task/21818/stat : 21818 (java) S 21803 21803 18186 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 409011341 15512600576 12284 33554432000 4194304 4196468 140723849084768 140298834938208 140299968833237 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 26386432 140723849090031 140723849090202 140723849090202 140723849093071 0
[pid=21805/tid=21819] ppid=21803 vsize=15149024 memory=0 CPUtime=0 cores=1,3,5,7
/proc/21805/task/21819/stat : 21819 (java) S 21803 21803 18186 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 409011341 15512600576 12284 33554432000 4194304 4196468 140723849084768 140298833886256 140299968834178 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 26386432 140723849090031 140723849090202 140723849090202 140723849093071 0
Current children cumulated CPU time: 0.54 s
Current children cumulated vsize: 15262152 KiB
Current children cumulated memory: 50588 KiB
[startup+0.703274 s]
/proc/loadavg: 8.34 8.36 6.59 7/234 21819
/proc/meminfo: memFree=17598512/32770624 swapFree=66959212/67108860
[pid=21803] ppid=21800 vsize=113128 memory=1452 CPUtime=0 cores=1,3,5,7
/proc/21803/stat : 21803 (xcsp3-exec) S 21800 21803 18186 0 -1 4202496 545 0 0 0 0 0 0 0 20 0 1 0 409011335 115843072 363 33554432000 4194304 5098028 140725722560320 140725722558424 139636754825852 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 33890304 140725722567546 140725722567789 140725722567789 140725722570698 0
/proc/21803/statm: 28282 363 304 221 0 87 0
[pid=21805] ppid=21803 vsize=15151148 memory=81832 CPUtime=1.56 cores=1,3,5,7
/proc/21805/stat : 21805 (java) S 21803 21803 18186 0 -1 1077944320 15134 0 0 0 150 6 0 0 20 0 15 0 409011335 15514775552 20458 33554432000 4194304 4196468 140723849084768 140723849067312 140299968823031 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0 6293624 6294260 26386432 140723849090031 140723849090202 140723849090202 140723849093071 0
/proc/21805/statm: 3787787 20458 3452 1 0 3748889 0
[pid=21805/tid=21806] ppid=21803 vsize=15151148 memory=33 CPUtime=0.68 cores=1,3,5,7
/proc/21805/task/21806/stat : 21806 (java) R 21803 21803 18186 0 -1 4202560 9328 0 0 0 64 4 0 0 20 0 15 0 409011336 15514775552 20458 33554432000 4194304 4196468 140723849084768 140299973059744 140299968834966 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 26386432 140723849090031 140723849090202 140723849090202 140723849093071 0
[pid=21805/tid=21807] ppid=21803 vsize=15151148 memory=-7816663703405220396 CPUtime=0 cores=1,3,5,7
/proc/21805/task/21807/stat : 21807 (java) S 21803 21803 18186 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 409011336 15514775552 20458 33554432000 4194304 4196468 140723849084768 140299940665872 140299968833237 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 26386432 140723849090031 140723849090202 140723849090202 140723849093071 0
[pid=21805/tid=21808] ppid=21803 vsize=15151148 memory=0 CPUtime=0 cores=1,3,5,7
/proc/21805/task/21808/stat : 21808 (java) S 21803 21803 18186 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 409011336 15514775552 20458 33554432000 4194304 4196468 140723849084768 140299939613328 140299968833237 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 26386432 140723849090031 140723849090202 140723849090202 140723849093071 0
[pid=21805/tid=21809] ppid=21803 vsize=15151148 memory=1660 CPUtime=0 cores=1,3,5,7
/proc/21805/task/21809/stat : 21809 (java) S 21803 21803 18186 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 409011336 15514775552 20458 33554432000 4194304 4196468 140723849084768 140299559602448 140299968833237 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 26386432 140723849090031 140723849090202 140723849090202 140723849093071 0
[pid=21805/tid=21810] ppid=21803 vsize=15151148 memory=38304 CPUtime=0 cores=1,3,5,7
/proc/21805/task/21810/stat : 21810 (java) S 21803 21803 18186 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 409011336 15514775552 20458 33554432000 4194304 4196468 140723849084768 140299558549904 140299968833237 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 26386432 140723849090031 140723849090202 140723849090202 140723849093071 0
[pid=21805/tid=21811] ppid=21803 vsize=15151148 memory=988 CPUtime=0 cores=1,3,5,7
/proc/21805/task/21811/stat : 21811 (java) S 21803 21803 18186 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 409011338 15514775552 20458 33554432000 4194304 4196468 140723849084768 140298842307312 140299968834178 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 26386432 140723849090031 140723849090202 140723849090202 140723849093071 0
[pid=21805/tid=21812] ppid=21803 vsize=15151148 memory=2008 CPUtime=0 cores=1,3,5,7
/proc/21805/task/21812/stat : 21812 (java) S 21803 21803 18186 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 409011338 15514775552 20458 33554432000 4194304 4196468 140723849084768 140298841253536 140299968833237 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 26386432 140723849090031 140723849090202 140723849090202 140723849093071 0
[pid=21805/tid=21813] ppid=21803 vsize=15151148 memory=1436 CPUtime=0 cores=1,3,5,7
/proc/21805/task/21813/stat : 21813 (java) S 21803 21803 18186 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 409011338 15514775552 20458 33554432000 4194304 4196468 140723849084768 140298840200432 140299968833237 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 26386432 140723849090031 140723849090202 140723849090202 140723849093071 0
[pid=21805/tid=21814] ppid=21803 vsize=15151148 memory=580 CPUtime=0 cores=1,3,5,7
/proc/21805/task/21814/stat : 21814 (java) S 21803 21803 18186 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 409011341 15514775552 20458 33554432000 4194304 4196468 140723849084768 140298839149008 140299968841627 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 26386432 140723849090031 140723849090202 140723849090202 140723849093071 0
[pid=21805/tid=21815] ppid=21803 vsize=15151148 memory=1720 CPUtime=0.23 cores=1,3,5,7
/proc/21805/task/21815/stat : 21815 (java) S 21803 21803 18186 0 -1 1077944384 1289 0 0 0 23 0 0 0 20 0 15 0 409011341 15514775552 20458 33554432000 4194304 4196468 140723849084768 140298838096112 140299968834178 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 26386432 140723849090031 140723849090202 140723849090202 140723849093071 0
[pid=21805/tid=21816] ppid=21803 vsize=15151148 memory=10604 CPUtime=0.19 cores=1,3,5,7
/proc/21805/task/21816/stat : 21816 (java) S 21803 21803 18186 0 -1 1077944384 844 0 0 0 19 0 0 0 20 0 15 0 409011341 15514775552 20458 33554432000 4194304 4196468 140723849084768 140298837043568 140299968834178 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 26386432 140723849090031 140723849090202 140723849090202 140723849093071 0
[pid=21805/tid=21817] ppid=21803 vsize=15151148 memory=3360 CPUtime=0.42 cores=1,3,5,7
/proc/21805/task/21817/stat : 21817 (java) R 21803 21803 18186 0 -1 4202560 2367 0 0 0 42 0 0 0 20 0 15 0 409011341 15514775552 20458 33554432000 4194304 4196468 140723849084768 140298835990512 140299952903518 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 26386432 140723849090031 140723849090202 140723849090202 140723849093071 0
[pid=21805/tid=21818] ppid=21803 vsize=15151148 memory=776 CPUtime=0 cores=1,3,5,7
/proc/21805/task/21818/stat : 21818 (java) S 21803 21803 18186 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 409011341 15514775552 20458 33554432000 4194304 4196468 140723849084768 140298834938208 140299968833237 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 26386432 140723849090031 140723849090202 140723849090202 140723849093071 0
[pid=21805/tid=21819] ppid=21803 vsize=15151148 memory=1564 CPUtime=0 cores=1,3,5,7
/proc/21805/task/21819/stat : 21819 (java) S 21803 21803 18186 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 409011341 15514775552 20458 33554432000 4194304 4196468 140723849084768 140298833886256 140299968834178 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 26386432 140723849090031 140723849090202 140723849090202 140723849093071 0
Current children cumulated CPU time: 1.56 s
Current children cumulated vsize: 15264276 KiB
Current children cumulated memory: 83284 KiB
[startup+1.50837 s]
/proc/loadavg: 8.34 8.36 6.59 12/238 21823
/proc/meminfo: memFree=17512204/32770624 swapFree=66959212/67108860
[pid=21803] ppid=21800 vsize=113128 memory=1452 CPUtime=0 cores=1,3,5,7
/proc/21803/stat : 21803 (xcsp3-exec) S 21800 21803 18186 0 -1 4202496 545 0 0 0 0 0 0 0 20 0 1 0 409011335 115843072 363 33554432000 4194304 5098028 140725722560320 140725722558424 139636754825852 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 33890304 140725722567546 140725722567789 140725722567789 140725722570698 0
/proc/21803/statm: 28282 363 304 221 0 87 0
################
# More data... #
################
/proc/21805/task/21819/stat : 21819 (java) S 21803 21803 18186 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 19 0 409011341 15858733056 55543 33554432000 4194304 4196468 140723849084768 140298833886256 140299968834178 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 26386432 140723849090031 140723849090202 140723849090202 140723849093071 0
[pid=21805/tid=21868] ppid=21803 vsize=15487044 memory=279517411293056 CPUtime=2.35 cores=1,3,5,7
/proc/21805/task/21868/stat : 21868 (java) R 21803 21803 18186 0 -1 4202560 206 0 0 0 235 0 0 0 20 0 19 0 409011463 15858733056 55543 33554432000 4194304 4196468 140723849084768 140298821763192 140299611120510 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 26386432 140723849090031 140723849090202 140723849090202 140723849093071 0
[pid=21805/tid=21869] ppid=21803 vsize=15487044 memory=288230621803970871 CPUtime=2.78 cores=1,3,5,7
/proc/21805/task/21869/stat : 21869 (java) R 21803 21803 18186 0 -1 4202560 304 0 0 0 278 0 0 0 20 0 19 0 409011463 15858733056 55543 33554432000 4194304 4196468 140723849084768 140298817553112 140299612315592 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 26386432 140723849090031 140723849090202 140723849090202 140723849093071 0
[pid=21805/tid=21870] ppid=21803 vsize=15487044 memory=15818902244428187 CPUtime=2.59 cores=1,3,5,7
/proc/21805/task/21870/stat : 21870 (java) R 21803 21803 18186 0 -1 4202560 329 0 0 0 259 0 0 0 20 0 19 0 409011463 15858733056 55543 33554432000 4194304 4196468 140723849084768 140298822816744 140299611574984 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 26386432 140723849090031 140723849090202 140723849090202 140723849093071 0
[pid=21805/tid=21871] ppid=21803 vsize=15487044 memory=0 CPUtime=2.5 cores=1,3,5,7
/proc/21805/task/21871/stat : 21871 (java) R 21803 21803 18186 0 -1 4202560 317 0 0 0 250 0 0 0 20 0 19 0 409011463 15858733056 55543 33554432000 4194304 4196468 140723849084768 140298818605704 140299611576089 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 26386432 140723849090031 140723849090202 140723849090202 140723849093071 0
Current children cumulated CPU time: 17.57 s
Current children cumulated vsize: 15600172 KiB
Current children cumulated memory: 223624 KiB
[startup+5.60138 s]
/proc/loadavg: 8.31 8.35 6.59 9/238 21871
/proc/meminfo: memFree=17438052/32770624 swapFree=66959212/67108860
[pid=21803] ppid=21800 vsize=113128 memory=1452 CPUtime=0 cores=1,3,5,7
/proc/21803/stat : 21803 (xcsp3-exec) S 21800 21803 18186 0 -1 4202496 545 0 0 0 0 0 0 0 20 0 1 0 409011335 115843072 363 33554432000 4194304 5098028 140725722560320 140725722558424 139636754825852 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 33890304 140725722567546 140725722567789 140725722567789 140725722570698 0
/proc/21803/statm: 28282 363 304 221 0 87 0
[pid=21805] ppid=21803 vsize=15487044 memory=222184 CPUtime=20.75 cores=1,3,5,7
/proc/21805/stat : 21805 (java) S 21803 21803 18186 0 -1 1077944320 29594 0 0 0 2062 13 0 0 20 0 19 0 409011335 15858733056 55546 33554432000 4194304 4196468 140723849084768 140723849067312 140299968823031 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0 6293624 6294260 26386432 140723849090031 140723849090202 140723849090202 140723849093071 0
/proc/21805/statm: 3871761 55546 3528 1 0 3832863 0
[pid=21805/tid=21806] ppid=21803 vsize=15487044 memory=5184025527460 CPUtime=0.98 cores=1,3,5,7
/proc/21805/task/21806/stat : 21806 (java) S 21803 21803 18186 0 -1 1077944384 9533 0 0 0 93 5 0 0 20 0 19 0 409011336 15858733056 55546 33554432000 4194304 4196468 140723849084768 140299973063808 140299968833237 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 26386432 140723849090031 140723849090202 140723849090202 140723849093071 0
[pid=21805/tid=21807] ppid=21803 vsize=15487044 memory=288230621803970871 CPUtime=0.01 cores=1,3,5,7
/proc/21805/task/21807/stat : 21807 (java) S 21803 21803 18186 0 -1 1077944384 74 0 0 0 1 0 0 0 20 0 19 0 409011336 15858733056 55546 33554432000 4194304 4196468 140723849084768 140299940665872 140299968833237 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 26386432 140723849090031 140723849090202 140723849090202 140723849093071 0
[pid=21805/tid=21808] ppid=21803 vsize=15487044 memory=15818902244428187 CPUtime=0.01 cores=1,3,5,7
/proc/21805/task/21808/stat : 21808 (java) S 21803 21803 18186 0 -1 1077944384 43 0 0 0 1 0 0 0 20 0 19 0 409011336 15858733056 55546 33554432000 4194304 4196468 140723849084768 140299939613328 140299968833237 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 26386432 140723849090031 140723849090202 140723849090202 140723849093071 0
[pid=21805/tid=21809] ppid=21803 vsize=15487044 memory=0 CPUtime=0.01 cores=1,3,5,7
/proc/21805/task/21809/stat : 21809 (java) S 21803 21803 18186 0 -1 1077944384 165 0 0 0 1 0 0 0 20 0 19 0 409011336 15858733056 55546 33554432000 4194304 4196468 140723849084768 140299559602448 140299968833237 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 26386432 140723849090031 140723849090202 140723849090202 140723849093071 0
[pid=21805/tid=21810] ppid=21803 vsize=15487044 memory=279517411311808 CPUtime=0 cores=1,3,5,7
/proc/21805/task/21810/stat : 21810 (java) S 21803 21803 18186 0 -1 1077944384 9 0 0 0 0 0 0 0 20 0 19 0 409011336 15858733056 55546 33554432000 4194304 4196468 140723849084768 140299558549904 140299968833237 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 26386432 140723849090031 140723849090202 140723849090202 140723849093071 0
[pid=21805/tid=21811] ppid=21803 vsize=15487044 memory=-6876588628788076935 CPUtime=0 cores=1,3,5,7
/proc/21805/task/21811/stat : 21811 (java) S 21803 21803 18186 0 -1 1077944384 105 0 0 0 0 0 0 0 20 0 19 0 409011338 15858733056 55546 33554432000 4194304 4196468 140723849084768 140298842307312 140299968834178 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 26386432 140723849090031 140723849090202 140723849090202 140723849093071 0
[pid=21805/tid=21812] ppid=21803 vsize=15487044 memory=6944613755395144096 CPUtime=0 cores=1,3,5,7
/proc/21805/task/21812/stat : 21812 (java) S 21803 21803 18186 0 -1 1077944384 56 0 0 0 0 0 0 0 20 0 19 0 409011338 15858733056 55546 33554432000 4194304 4196468 140723849084768 140298841253536 140299968833237 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 26386432 140723849090031 140723849090202 140723849090202 140723849093071 0
[pid=21805/tid=21813] ppid=21803 vsize=15487044 memory=4206749494057918560 CPUtime=0 cores=1,3,5,7
/proc/21805/task/21813/stat : 21813 (java) S 21803 21803 18186 0 -1 1077944384 46 0 0 0 0 0 0 0 20 0 19 0 409011338 15858733056 55546 33554432000 4194304 4196468 140723849084768 140298840200432 140299968833237 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 26386432 140723849090031 140723849090202 140723849090202 140723849093071 0
[pid=21805/tid=21814] ppid=21803 vsize=15487044 memory=-7026283297063673248 CPUtime=0 cores=1,3,5,7
/proc/21805/task/21814/stat : 21814 (java) S 21803 21803 18186 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 409011341 15858733056 55546 33554432000 4194304 4196468 140723849084768 140298839149008 140299968841627 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 26386432 140723849090031 140723849090202 140723849090202 140723849093071 0
[pid=21805/tid=21815] ppid=21803 vsize=15487044 memory=6944656626178237591 CPUtime=2.59 cores=1,3,5,7
/proc/21805/task/21815/stat : 21815 (java) S 21803 21803 18186 0 -1 1077944384 6273 0 0 0 258 1 0 0 20 0 19 0 409011341 15858733056 55546 33554432000 4194304 4196468 140723849084768 140298838096112 140299968834178 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 26386432 140723849090031 140723849090202 140723849090202 140723849093071 0
[pid=21805/tid=21816] ppid=21803 vsize=15487044 memory=6944656425123094137 CPUtime=2.35 cores=1,3,5,7
/proc/21805/task/21816/stat : 21816 (java) S 21803 21803 18186 0 -1 1077944384 4196 0 0 0 234 1 0 0 20 0 19 0 409011341 15858733056 55546 33554432000 4194304 4196468 140723849084768 140298837043568 140299968834178 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 3 0 0 6293624 6294260 26386432 140723849090031 140723849090202 140723849090202 140723849093071 0
[pid=21805/tid=21817] ppid=21803 vsize=15487044 memory=6944656425123094137 CPUtime=0.95 cores=1,3,5,7
/proc/21805/task/21817/stat : 21817 (java) S 21803 21803 18186 0 -1 1077944384 5469 0 0 0 94 1 0 0 20 0 19 0 409011341 15858733056 55546 33554432000 4194304 4196468 140723849084768 140298835990512 140299968834178 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 17 0 0 6293624 6294260 26386432 140723849090031 140723849090202 140723849090202 140723849093071 0
[pid=21805/tid=21818] ppid=21803 vsize=15487044 memory=-7966001967340291680 CPUtime=0 cores=1,3,5,7
/proc/21805/task/21818/stat : 21818 (java) S 21803 21803 18186 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 409011341 15858733056 55546 33554432000 4194304 4196468 140723849084768 140298834938208 140299968833237 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 26386432 140723849090031 140723849090202 140723849090202 140723849093071 0
[pid=21805/tid=21819] ppid=21803 vsize=15487044 memory=1399943076115485043 CPUtime=0 cores=1,3,5,7
/proc/21805/task/21819/stat : 21819 (java) S 21803 21803 18186 0 -1 1077944384 178 0 0 0 0 0 0 0 20 0 19 0 409011341 15858733056 55546 33554432000 4194304 4196468 140723849084768 140298833886256 140299968834178 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 22 0 0 6293624 6294260 26386432 140723849090031 140723849090202 140723849090202 140723849093071 0
[pid=21805/tid=21868] ppid=21803 vsize=15487044 memory=5184025527460 CPUtime=3.14 cores=1,3,5,7
/proc/21805/task/21868/stat : 21868 (java) R 21803 21803 18186 0 -1 4202560 208 0 0 0 314 0 0 0 20 0 19 0 409011463 15858733056 55546 33554432000 4194304 4196468 140723849084768 140298821762568 140299611120710 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 26386432 140723849090031 140723849090202 140723849090202 140723849093071 0
[pid=21805/tid=21869] ppid=21803 vsize=15487044 memory=288230621803970871 CPUtime=3.57 cores=1,3,5,7
/proc/21805/task/21869/stat : 21869 (java) R 21803 21803 18186 0 -1 4202560 314 0 0 0 357 0 0 0 20 0 19 0 409011463 15858733056 55546 33554432000 4194304 4196468 140723849084768 140298817553288 140299614008573 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 26386432 140723849090031 140723849090202 140723849090202 140723849093071 0
[pid=21805/tid=21870] ppid=21803 vsize=15487044 memory=15818902244428187 CPUtime=3.39 cores=1,3,5,7
/proc/21805/task/21870/stat : 21870 (java) R 21803 21803 18186 0 -1 4202560 339 0 0 0 339 0 0 0 20 0 19 0 409011463 15858733056 55546 33554432000 4194304 4196468 140723849084768 140298822816536 140299613499046 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 26386432 140723849090031 140723849090202 140723849090202 140723849093071 0
[pid=21805/tid=21871] ppid=21803 vsize=15487044 memory=279517411671856 CPUtime=3.27 cores=1,3,5,7
/proc/21805/task/21871/stat : 21871 (java) R 21803 21803 18186 0 -1 4202560 323 0 0 0 327 0 0 0 20 0 19 0 409011463 15858733056 55546 33554432000 4194304 4196468 140723849084768 140298818607120 140299612315678 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 26386432 140723849090031 140723849090202 140723849090202 140723849093071 0
Current children cumulated CPU time: 20.75 s
Current children cumulated vsize: 15600172 KiB
Current children cumulated memory: 223636 KiB
[startup+5.80137 s]
/proc/loadavg: 8.31 8.35 6.59 9/238 21871
/proc/meminfo: memFree=17438052/32770624 swapFree=66959212/67108860
[pid=21803] ppid=21800 vsize=113128 memory=1452 CPUtime=0 cores=1,3,5,7
/proc/21803/stat : 21803 (xcsp3-exec) S 21800 21803 18186 0 -1 4202496 545 0 0 0 0 0 0 0 20 0 1 0 409011335 115843072 363 33554432000 4194304 5098028 140725722560320 140725722558424 139636754825852 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 33890304 140725722567546 140725722567789 140725722567789 140725722570698 0
/proc/21803/statm: 28282 363 304 221 0 87 0
[pid=21805] ppid=21803 vsize=15487044 memory=222188 CPUtime=21.54 cores=1,3,5,7
/proc/21805/stat : 21805 (java) S 21803 21803 18186 0 -1 1077944320 29623 0 0 0 2141 13 0 0 20 0 19 0 409011335 15858733056 55547 33554432000 4194304 4196468 140723849084768 140723849067312 140299968823031 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0 6293624 6294260 26386432 140723849090031 140723849090202 140723849090202 140723849093071 0
/proc/21805/statm: 3871761 55547 3528 1 0 3832863 0
[pid=21805/tid=21806] ppid=21803 vsize=15487044 memory=-3472574513799858010 CPUtime=0.98 cores=1,3,5,7
/proc/21805/task/21806/stat : 21806 (java) S 21803 21803 18186 0 -1 1077944384 9533 0 0 0 93 5 0 0 20 0 19 0 409011336 15858733056 55547 33554432000 4194304 4196468 140723849084768 140299973063808 140299968833237 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 26386432 140723849090031 140723849090202 140723849090202 140723849093071 0
[pid=21805/tid=21807] ppid=21803 vsize=15487044 memory=-4546129931942301728 CPUtime=0.01 cores=1,3,5,7
/proc/21805/task/21807/stat : 21807 (java) S 21803 21803 18186 0 -1 1077944384 74 0 0 0 1 0 0 0 20 0 19 0 409011336 15858733056 55547 33554432000 4194304 4196468 140723849084768 140299940665872 140299968833237 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 26386432 140723849090031 140723849090202 140723849090202 140723849093071 0
[pid=21805/tid=21808] ppid=21803 vsize=15487044 memory=-5921431000321636112 CPUtime=0.01 cores=1,3,5,7
/proc/21805/task/21808/stat : 21808 (java) S 21803 21803 18186 0 -1 1077944384 43 0 0 0 1 0 0 0 20 0 19 0 409011336 15858733056 55547 33554432000 4194304 4196468 140723849084768 140299939613328 140299968833237 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 26386432 140723849090031 140723849090202 140723849090202 140723849093071 0
[pid=21805/tid=21809] ppid=21803 vsize=15487044 memory=-7169539485663701033 CPUtime=0.01 cores=1,3,5,7
/proc/21805/task/21809/stat : 21809 (java) S 21803 21803 18186 0 -1 1077944384 165 0 0 0 1 0 0 0 20 0 19 0 409011336 15858733056 55547 33554432000 4194304 4196468 140723849084768 140299559602448 140299968833237 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 26386432 140723849090031 140723849090202 140723849090202 140723849093071 0
[pid=21805/tid=21810] ppid=21803 vsize=15487044 memory=-5921431000321636112 CPUtime=0 cores=1,3,5,7
/proc/21805/task/21810/stat : 21810 (java) S 21803 21803 18186 0 -1 1077944384 9 0 0 0 0 0 0 0 20 0 19 0 409011336 15858733056 55547 33554432000 4194304 4196468 140723849084768 140299558549904 140299968833237 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 26386432 140723849090031 140723849090202 140723849090202 140723849093071 0
[pid=21805/tid=21811] ppid=21803 vsize=15487044 memory=-2746958450906831424 CPUtime=0 cores=1,3,5,7
/proc/21805/task/21811/stat : 21811 (java) S 21803 21803 18186 0 -1 1077944384 105 0 0 0 0 0 0 0 20 0 19 0 409011338 15858733056 55547 33554432000 4194304 4196468 140723849084768 140298842307312 140299968834178 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 26386432 140723849090031 140723849090202 140723849090202 140723849093071 0
[pid=21805/tid=21812] ppid=21803 vsize=15487044 memory=-2893623298589923098 CPUtime=0 cores=1,3,5,7
/proc/21805/task/21812/stat : 21812 (java) S 21803 21803 18186 0 -1 1077944384 56 0 0 0 0 0 0 0 20 0 19 0 409011338 15858733056 55547 33554432000 4194304 4196468 140723849084768 140298841253536 140299968833237 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 26386432 140723849090031 140723849090202 140723849090202 140723849093071 0
[pid=21805/tid=21813] ppid=21803 vsize=15487044 memory=-2893623298589923098 CPUtime=0 cores=1,3,5,7
/proc/21805/task/21813/stat : 21813 (java) S 21803 21803 18186 0 -1 1077944384 46 0 0 0 0 0 0 0 20 0 19 0 409011338 15858733056 55547 33554432000 4194304 4196468 140723849084768 140298840200432 140299968833237 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 26386432 140723849090031 140723849090202 140723849090202 140723849093071 0
[pid=21805/tid=21814] ppid=21803 vsize=15487044 memory=1564 CPUtime=0 cores=1,3,5,7
/proc/21805/task/21814/stat : 21814 (java) S 21803 21803 18186 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 409011341 15858733056 55547 33554432000 4194304 4196468 140723849084768 140298839149008 140299968841627 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 26386432 140723849090031 140723849090202 140723849090202 140723849093071 0
[pid=21805/tid=21815] ppid=21803 vsize=15487044 memory=5964 CPUtime=2.6 cores=1,3,5,7
/proc/21805/task/21815/stat : 21815 (java) S 21803 21803 18186 0 -1 1077944384 6296 0 0 0 259 1 0 0 20 0 19 0 409011341 15858733056 55547 33554432000 4194304 4196468 140723849084768 140298838096112 140299968834178 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 26386432 140723849090031 140723849090202 140723849090202 140723849093071 0
[pid=21805/tid=21816] ppid=21803 vsize=15487044 memory=1060 CPUtime=2.35 cores=1,3,5,7
/proc/21805/task/21816/stat : 21816 (java) S 21803 21803 18186 0 -1 1077944384 4196 0 0 0 234 1 0 0 20 0 19 0 409011341 15858733056 55547 33554432000 4194304 4196468 140723849084768 140298837043568 140299968834178 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 3 0 0 6293624 6294260 26386432 140723849090031 140723849090202 140723849090202 140723849093071 0
[pid=21805/tid=21817] ppid=21803 vsize=15487044 memory=2828 CPUtime=0.95 cores=1,3,5,7
/proc/21805/task/21817/stat : 21817 (java) S 21803 21803 18186 0 -1 1077944384 5469 0 0 0 94 1 0 0 20 0 19 0 409011341 15858733056 55547 33554432000 4194304 4196468 140723849084768 140298835990512 140299968834178 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 17 0 0 6293624 6294260 26386432 140723849090031 140723849090202 140723849090202 140723849093071 0
[pid=21805/tid=21818] ppid=21803 vsize=15487044 memory=1216 CPUtime=0 cores=1,3,5,7
/proc/21805/task/21818/stat : 21818 (java) S 21803 21803 18186 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 409011341 15858733056 55547 33554432000 4194304 4196468 140723849084768 140298834938208 140299968833237 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 26386432 140723849090031 140723849090202 140723849090202 140723849093071 0
[pid=21805/tid=21819] ppid=21803 vsize=15487044 memory=984 CPUtime=0 cores=1,3,5,7
/proc/21805/task/21819/stat : 21819 (java) S 21803 21803 18186 0 -1 1077944384 178 0 0 0 0 0 0 0 20 0 19 0 409011341 15858733056 55547 33554432000 4194304 4196468 140723849084768 140298833886256 140299968834178 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 22 0 0 6293624 6294260 26386432 140723849090031 140723849090202 140723849090202 140723849093071 0
[pid=21805/tid=21868] ppid=21803 vsize=15487044 memory=14004 CPUtime=3.34 cores=1,3,5,7
/proc/21805/task/21868/stat : 21868 (java) R 21803 21803 18186 0 -1 4202560 208 0 0 0 334 0 0 0 20 0 19 0 409011463 15858733056 55547 33554432000 4194304 4196468 140723849084768 140298821762568 140299611577759 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 26386432 140723849090031 140723849090202 140723849090202 140723849093071 0
[pid=21805/tid=21869] ppid=21803 vsize=15487044 memory=0 CPUtime=3.76 cores=1,3,5,7
/proc/21805/task/21869/stat : 21869 (java) R 21803 21803 18186 0 -1 4202560 317 0 0 0 376 0 0 0 20 0 19 0 409011463 15858733056 55547 33554432000 4194304 4196468 140723849084768 140298817553288 140299953161907 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 26386432 140723849090031 140723849090202 140723849090202 140723849093071 0
[pid=21805/tid=21870] ppid=21803 vsize=15487044 memory=17828 CPUtime=3.59 cores=1,3,5,7
/proc/21805/task/21870/stat : 21870 (java) R 21803 21803 18186 0 -1 4202560 340 0 0 0 359 0 0 0 20 0 19 0 409011463 15858733056 55547 33554432000 4194304 4196468 140723849084768 140298822816536 140299611120726 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 26386432 140723849090031 140723849090202 140723849090202 140723849093071 0
[pid=21805/tid=21871] ppid=21803 vsize=15487044 memory=2244 CPUtime=3.47 cores=1,3,5,7
/proc/21805/task/21871/stat : 21871 (java) R 21803 21803 18186 0 -1 4202560 324 0 0 0 346 1 0 0 20 0 19 0 409011463 15858733056 55547 33554432000 4194304 4196468 140723849084768 140298818604456 140299614146387 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 26386432 140723849090031 140723849090202 140723849090202 140723849093071 0
Current children cumulated CPU time: 21.54 s
Current children cumulated vsize: 15600172 KiB
Current children cumulated memory: 223640 KiB
[startup+5.90137 s]
/proc/loadavg: 8.31 8.35 6.59 9/238 21871
/proc/meminfo: memFree=17438052/32770624 swapFree=66959212/67108860
[pid=21803] ppid=21800 vsize=113128 memory=1452 CPUtime=0 cores=1,3,5,7
/proc/21803/stat : 21803 (xcsp3-exec) S 21800 21803 18186 0 -1 4202496 545 0 0 0 0 0 0 0 20 0 1 0 409011335 115843072 363 33554432000 4194304 5098028 140725722560320 140725722558424 139636754825852 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 33890304 140725722567546 140725722567789 140725722567789 140725722570698 0
/proc/21803/statm: 28282 363 304 221 0 87 0
[pid=21805] ppid=21803 vsize=15487044 memory=222188 CPUtime=21.94 cores=1,3,5,7
/proc/21805/stat : 21805 (java) S 21803 21803 18186 0 -1 1077944320 29633 0 0 0 2181 13 0 0 20 0 19 0 409011335 15858733056 55547 33554432000 4194304 4196468 140723849084768 140723849067312 140299968823031 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0 6293624 6294260 26386432 140723849090031 140723849090202 140723849090202 140723849093071 0
/proc/21805/statm: 3871761 55547 3528 1 0 3832863 0
[pid=21805/tid=21806] ppid=21803 vsize=15487044 memory=222184 CPUtime=0.98 cores=1,3,5,7
/proc/21805/task/21806/stat : 21806 (java) S 21803 21803 18186 0 -1 1077944384 9533 0 0 0 93 5 0 0 20 0 19 0 409011336 15858733056 55547 33554432000 4194304 4196468 140723849084768 140299973063808 140299968833237 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 26386432 140723849090031 140723849090202 140723849090202 140723849093071 0
[pid=21805/tid=21807] ppid=21803 vsize=15487044 memory=206532 CPUtime=0.01 cores=1,3,5,7
/proc/21805/task/21807/stat : 21807 (java) S 21803 21803 18186 0 -1 1077944384 74 0 0 0 1 0 0 0 20 0 19 0 409011336 15858733056 55547 33554432000 4194304 4196468 140723849084768 140299940665872 140299968833237 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 26386432 140723849090031 140723849090202 140723849090202 140723849093071 0
[pid=21805/tid=21808] ppid=21803 vsize=15487044 memory=7379258397292521833 CPUtime=0.01 cores=1,3,5,7
/proc/21805/task/21808/stat : 21808 (java) S 21803 21803 18186 0 -1 1077944384 43 0 0 0 1 0 0 0 20 0 19 0 409011336 15858733056 55547 33554432000 4194304 4196468 140723849084768 140299939613328 140299968833237 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 26386432 140723849090031 140723849090202 140723849090202 140723849093071 0
[pid=21805/tid=21809] ppid=21803 vsize=15487044 memory=1452 CPUtime=0.01 cores=1,3,5,7
/proc/21805/task/21809/stat : 21809 (java) S 21803 21803 18186 0 -1 1077944384 165 0 0 0 1 0 0 0 20 0 19 0 409011336 15858733056 55547 33554432000 4194304 4196468 140723849084768 140299559602448 140299968833237 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 26386432 140723849090031 140723849090202 140723849090202 140723849093071 0
[pid=21805/tid=21810] ppid=21803 vsize=15487044 memory=221660 CPUtime=0 cores=1,3,5,7
/proc/21805/task/21810/stat : 21810 (java) S 21803 21803 18186 0 -1 1077944384 9 0 0 0 0 0 0 0 20 0 19 0 409011336 15858733056 55547 33554432000 4194304 4196468 140723849084768 140299558549904 140299968833237 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 26386432 140723849090031 140723849090202 140723849090202 140723849093071 0
[pid=21805/tid=21811] ppid=21803 vsize=15487044 memory=3360 CPUtime=0 cores=1,3,5,7
/proc/21805/task/21811/stat : 21811 (java) S 21803 21803 18186 0 -1 1077944384 105 0 0 0 0 0 0 0 20 0 19 0 409011338 15858733056 55547 33554432000 4194304 4196468 140723849084768 140298842307312 140299968834178 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 26386432 140723849090031 140723849090202 140723849090202 140723849093071 0
[pid=21805/tid=21812] ppid=21803 vsize=15487044 memory=776 CPUtime=0 cores=1,3,5,7
/proc/21805/task/21812/stat : 21812 (java) S 21803 21803 18186 0 -1 1077944384 56 0 0 0 0 0 0 0 20 0 19 0 409011338 15858733056 55547 33554432000 4194304 4196468 140723849084768 140298841253536 140299968833237 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 26386432 140723849090031 140723849090202 140723849090202 140723849093071 0
[pid=21805/tid=21813] ppid=21803 vsize=15487044 memory=1564 CPUtime=0 cores=1,3,5,7
/proc/21805/task/21813/stat : 21813 (java) S 21803 21803 18186 0 -1 1077944384 46 0 0 0 0 0 0 0 20 0 19 0 409011338 15858733056 55547 33554432000 4194304 4196468 140723849084768 140298840200432 140299968833237 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 26386432 140723849090031 140723849090202 140723849090202 140723849093071 0
[pid=21805/tid=21814] ppid=21803 vsize=15487044 memory=0 CPUtime=0 cores=1,3,5,7
/proc/21805/task/21814/stat : 21814 (java) S 21803 21803 18186 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 409011341 15858733056 55547 33554432000 4194304 4196468 140723849084768 140298839149008 140299968841627 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 26386432 140723849090031 140723849090202 140723849090202 140723849093071 0
[pid=21805/tid=21815] ppid=21803 vsize=15487044 memory=7595975407846903891 CPUtime=2.6 cores=1,3,5,7
/proc/21805/task/21815/stat : 21815 (java) S 21803 21803 18186 0 -1 1077944384 6301 0 0 0 259 1 0 0 20 0 19 0 409011341 15858733056 55547 33554432000 4194304 4196468 140723849084768 140298838096112 140299968834178 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 26386432 140723849090031 140723849090202 140723849090202 140723849093071 0
[pid=21805/tid=21816] ppid=21803 vsize=15487044 memory=4639648112345885280 CPUtime=2.35 cores=1,3,5,7
/proc/21805/task/21816/stat : 21816 (java) S 21803 21803 18186 0 -1 1077944384 4196 0 0 0 234 1 0 0 20 0 19 0 409011341 15858733056 55547 33554432000 4194304 4196468 140723849084768 140298837043568 140299968834178 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 3 0 0 6293624 6294260 26386432 140723849090031 140723849090202 140723849090202 140723849093071 0
[pid=21805/tid=21817] ppid=21803 vsize=15487044 memory=7380108225660675412 CPUtime=0.95 cores=1,3,5,7
/proc/21805/task/21817/stat : 21817 (java) S 21803 21803 18186 0 -1 1077944384 5469 0 0 0 94 1 0 0 20 0 19 0 409011341 15858733056 55547 33554432000 4194304 4196468 140723849084768 140298835990512 140299968834178 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 17 0 0 6293624 6294260 26386432 140723849090031 140723849090202 140723849090202 140723849093071 0
[pid=21805/tid=21818] ppid=21803 vsize=15487044 memory=8386028099987779890 CPUtime=0 cores=1,3,5,7
/proc/21805/task/21818/stat : 21818 (java) S 21803 21803 18186 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 409011341 15858733056 55547 33554432000 4194304 4196468 140723849084768 140298834938208 140299968833237 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 26386432 140723849090031 140723849090202 140723849090202 140723849093071 0
[pid=21805/tid=21819] ppid=21803 vsize=15487044 memory=221468 CPUtime=0 cores=1,3,5,7
/proc/21805/task/21819/stat : 21819 (java) S 21803 21803 18186 0 -1 1077944384 178 0 0 0 0 0 0 0 20 0 19 0 409011341 15858733056 55547 33554432000 4194304 4196468 140723849084768 140298833886256 140299968834178 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 22 0 0 6293624 6294260 26386432 140723849090031 140723849090202 140723849090202 140723849093071 0
[pid=21805/tid=21868] ppid=21803 vsize=15487044 memory=201692 CPUtime=3.44 cores=1,3,5,7
/proc/21805/task/21868/stat : 21868 (java) R 21803 21803 18186 0 -1 4202560 208 0 0 0 344 0 0 0 20 0 19 0 409011463 15858733056 55547 33554432000 4194304 4196468 140723849084768 140298821762568 140299611799064 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 26386432 140723849090031 140723849090202 140723849090202 140723849093071 0
[pid=21805/tid=21869] ppid=21803 vsize=15487044 memory=98 CPUtime=3.86 cores=1,3,5,7
/proc/21805/task/21869/stat : 21869 (java) R 21803 21803 18186 0 -1 4202560 317 0 0 0 386 0 0 0 20 0 19 0 409011463 15858733056 55547 33554432000 4194304 4196468 140723849084768 140298817553288 140299608001952 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 26386432 140723849090031 140723849090202 140723849090202 140723849093071 0
[pid=21805/tid=21870] ppid=21803 vsize=15487044 memory=0 CPUtime=3.69 cores=1,3,5,7
/proc/21805/task/21870/stat : 21870 (java) R 21803 21803 18186 0 -1 4202560 343 0 0 0 369 0 0 0 20 0 19 0 409011463 15858733056 55547 33554432000 4194304 4196468 140723849084768 140298822816760 140299611576554 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 26386432 140723849090031 140723849090202 140723849090202 140723849093071 0
[pid=21805/tid=21871] ppid=21803 vsize=15487044 memory=0 CPUtime=3.57 cores=1,3,5,7
/proc/21805/task/21871/stat : 21871 (java) R 21803 21803 18186 0 -1 4202560 326 0 0 0 356 1 0 0 20 0 19 0 409011463 15858733056 55547 33554432000 4194304 4196468 140723849084768 140298818604456 140299611576494 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 26386432 140723849090031 140723849090202 140723849090202 140723849093071 0
Current children cumulated CPU time: 21.94 s
Current children cumulated vsize: 15600172 KiB
Current children cumulated memory: 223640 KiB
Child status: 0
Real time (s): 5.94878
CPU time (s): 22.1178
CPU user time (s): 21.9663
CPU system time (s): 0.151479
CPU usage (%): 371.803
Max. virtual memory (cumulated for all children) (KiB): 15600172
Max. memory (cumulated for all children) (KiB): 223640
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 21.9663
system time used= 0.151479
maximum resident set size= 222688
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 30592
page faults= 0
swaps= 0
block input operations= 0
block output operations= 112
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 3306
involuntary context switches= 953
# summary of solver processes directly reported to runsolver:
# pid: 21803
# total CPU time (s): 22.1178
# total CPU user time (s): 21.9663
# total CPU system time (s): 0.151479
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 0.063268 second user time and 0.105025 second system time
The end