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 (7475 MiB free)
memory of node 1: 16384 MiB (15682 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4398965-1568694073/watcher-4398965-1568694073 -o /tmp/evaluation-result-4398965-1568694073/solver-4398965-1568694073 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node121-1568693400-21538 --watchdog 2580 xcsp3-exec -dir HOME -tl 2520 -p 4 -ml 12000 -tdir HOME -seed 368460003 HOME/instance-4398965-1568694073.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=22455, runsolver pid=22452
Current StackSize limit: 8192 KiB
[startup+0.100058 s]*
/proc/loadavg: 8.03 7.09 4.27 7/233 22471
/proc/meminfo: memFree=23696316/32770624 swapFree=66976964/67108860
[pid=22455] ppid=22452 vsize=113128 memory=1448 CPUtime=0 cores=1,3,5,7
/proc/22455/stat : 22455 (xcsp3-exec) S 22452 22455 21506 0 -1 4202496 544 0 0 0 0 0 0 0 20 0 1 0 445669944 115843072 362 33554432000 4194304 5098028 140724152648256 140724152646360 139726369153660 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 21590016 140724152656763 140724152657005 140724152657005 140724152659914 0
/proc/22455/statm: 28282 362 304 221 0 87 0
[pid=22457] ppid=22455 vsize=15144776 memory=29128 CPUtime=0.13 cores=1,3,5,7
/proc/22457/stat : 22457 (java) S 22455 22455 21506 0 -1 1077944320 5730 0 0 0 12 1 0 0 20 0 15 0 445669945 15508250624 7282 33554432000 4194304 4196468 140724957588720 140724957571264 140595579318007 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0 6293624 6294260 15282176 140724957594607 140724957594778 140724957594778 140724957597647 0
/proc/22457/statm: 3786194 7282 3156 1 0 3748377 0
[pid=22457/tid=22458] ppid=22455 vsize=15144776 memory=7682489639022458387 CPUtime=0.09 cores=1,3,5,7
/proc/22457/task/22458/stat : 22458 (java) R 22455 22455 21506 0 -1 4202560 3612 0 0 0 9 0 0 0 20 0 15 0 445669945 15508250624 7282 33554432000 4194304 4196468 140724957588720 140595583547600 140595579329942 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 15282176 140724957594607 140724957594778 140724957594778 140724957597647 0
[pid=22457/tid=22459] ppid=22455 vsize=15144776 memory=3472468487266239696 CPUtime=0 cores=1,3,5,7
/proc/22457/task/22459/stat : 22459 (java) S 22455 22455 21506 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 445669946 15508250624 7282 33554432000 4194304 4196468 140724957588720 140595490974736 140595579328213 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 15282176 140724957594607 140724957594778 140724957594778 140724957597647 0
[pid=22457/tid=22460] ppid=22455 vsize=15144776 memory=140358371088000 CPUtime=0 cores=1,3,5,7
/proc/22457/task/22460/stat : 22460 (java) S 22455 22455 21506 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 445669946 15508250624 7282 33554432000 4194304 4196468 140724957588720 140595489922192 140595579328213 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 15282176 140724957594607 140724957594778 140724957594778 140724957597647 0
[pid=22457/tid=22461] ppid=22455 vsize=15144776 memory=0 CPUtime=0 cores=1,3,5,7
/proc/22457/task/22461/stat : 22461 (java) S 22455 22455 21506 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 445669946 15508250624 7282 33554432000 4194304 4196468 140724957588720 140595488869136 140595579328213 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 15282176 140724957594607 140724957594778 140724957594778 140724957597647 0
[pid=22457/tid=22462] ppid=22455 vsize=15144776 memory=0 CPUtime=0 cores=1,3,5,7
/proc/22457/task/22462/stat : 22462 (java) S 22455 22455 21506 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 445669946 15508250624 7282 33554432000 4194304 4196468 140724957588720 140595487816592 140595579328213 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 15282176 140724957594607 140724957594778 140724957594778 140724957597647 0
[pid=22457/tid=22463] ppid=22455 vsize=15144776 memory=0 CPUtime=0 cores=1,3,5,7
/proc/22457/task/22463/stat : 22463 (java) S 22455 22455 21506 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 445669947 15508250624 7282 33554432000 4194304 4196468 140724957588720 140595047966960 140595579329154 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 15282176 140724957594607 140724957594778 140724957594778 140724957597647 0
[pid=22457/tid=22464] ppid=22455 vsize=15144776 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/22457/task/22464/stat : 22464 (java) S 22455 22455 21506 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 445669947 15508250624 7282 33554432000 4194304 4196468 140724957588720 140595046913184 140595579328213 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 15282176 140724957594607 140724957594778 140724957594778 140724957597647 0
[pid=22457/tid=22465] ppid=22455 vsize=15144776 memory=0 CPUtime=0 cores=1,3,5,7
/proc/22457/task/22465/stat : 22465 (java) S 22455 22455 21506 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 445669948 15508250624 7282 33554432000 4194304 4196468 140724957588720 140595045860080 140595579328213 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 15282176 140724957594607 140724957594778 140724957594778 140724957597647 0
[pid=22457/tid=22466] ppid=22455 vsize=15144776 memory=0 CPUtime=0 cores=1,3,5,7
/proc/22457/task/22466/stat : 22466 (java) S 22455 22455 21506 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 445669950 15508250624 7282 33554432000 4194304 4196468 140724957588720 140595044808656 140595579336603 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 15282176 140724957594607 140724957594778 140724957594778 140724957597647 0
[pid=22457/tid=22467] ppid=22455 vsize=15144776 memory=0 CPUtime=0 cores=1,3,5,7
/proc/22457/task/22467/stat : 22467 (java) S 22455 22455 21506 0 -1 1077944384 333 0 0 0 0 0 0 0 20 0 15 0 445669950 15508250624 7282 33554432000 4194304 4196468 140724957588720 140595043756784 140595579329154 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 15282176 140724957594607 140724957594778 140724957594778 140724957597647 0
[pid=22457/tid=22468] ppid=22455 vsize=15144776 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/22457/task/22468/stat : 22468 (java) S 22455 22455 21506 0 -1 1077944384 123 0 0 0 0 0 0 0 20 0 15 0 445669950 15508250624 7282 33554432000 4194304 4196468 140724957588720 140595042704240 140595579329154 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 15282176 140724957594607 140724957594778 140724957594778 140724957597647 0
[pid=22457/tid=22469] ppid=22455 vsize=15144776 memory=140358371088000 CPUtime=0.02 cores=1,3,5,7
/proc/22457/task/22469/stat : 22469 (java) R 22455 22455 21506 0 -1 4202560 357 0 0 0 2 0 0 0 20 0 15 0 445669950 15508250624 7282 33554432000 4194304 4196468 140724957588720 140595041651312 140595557762778 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 15282176 140724957594607 140724957594778 140724957594778 140724957597647 0
[pid=22457/tid=22470] ppid=22455 vsize=15144776 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/22457/task/22470/stat : 22470 (java) S 22455 22455 21506 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 445669950 15508250624 7282 33554432000 4194304 4196468 140724957588720 140595040598880 140595579328213 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 15282176 140724957594607 140724957594778 140724957594778 140724957597647 0
[pid=22457/tid=22471] ppid=22455 vsize=15144776 memory=140358371088000 CPUtime=0 cores=1,3,5,7
/proc/22457/task/22471/stat : 22471 (java) S 22455 22455 21506 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 445669951 15508250624 7282 33554432000 4194304 4196468 140724957588720 140595039545904 140595579329154 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 15282176 140724957594607 140724957594778 140724957594778 140724957597647 0
Current children cumulated CPU time: 0.13 s
Current children cumulated vsize: 15257904 KiB
Current children cumulated memory: 30576 KiB
[startup+0.210701 s]*
/proc/loadavg: 8.03 7.09 4.27 7/233 22471
/proc/meminfo: memFree=23683572/32770624 swapFree=66976964/67108860
[pid=22455] ppid=22452 vsize=113128 memory=1448 CPUtime=0 cores=1,3,5,7
/proc/22455/stat : 22455 (xcsp3-exec) S 22452 22455 21506 0 -1 4202496 544 0 0 0 0 0 0 0 20 0 1 0 445669944 115843072 362 33554432000 4194304 5098028 140724152648256 140724152646360 139726369153660 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 21590016 140724152656763 140724152657005 140724152657005 140724152659914 0
/proc/22455/statm: 28282 362 304 221 0 87 0
[pid=22457] ppid=22455 vsize=15144776 memory=40020 CPUtime=0.35 cores=1,3,5,7
/proc/22457/stat : 22457 (java) S 22455 22455 21506 0 -1 1077944320 9287 0 0 0 32 3 0 0 20 0 15 0 445669945 15508250624 10005 33554432000 4194304 4196468 140724957588720 140724957571264 140595579318007 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0 6293624 6294260 15282176 140724957594607 140724957594778 140724957594778 140724957597647 0
/proc/22457/statm: 3786194 10005 3269 1 0 3748377 0
[pid=22457/tid=22458] ppid=22455 vsize=15144776 memory=7682489639022458387 CPUtime=0.2 cores=1,3,5,7
/proc/22457/task/22458/stat : 22458 (java) R 22455 22455 21506 0 -1 4202560 6592 0 0 0 18 2 0 0 20 0 15 0 445669945 15508250624 10005 33554432000 4194304 4196468 140724957588720 140595583555472 140595563398494 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 15282176 140724957594607 140724957594778 140724957594778 140724957597647 0
[pid=22457/tid=22459] ppid=22455 vsize=15144776 memory=3472468487266239696 CPUtime=0 cores=1,3,5,7
/proc/22457/task/22459/stat : 22459 (java) S 22455 22455 21506 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 445669946 15508250624 10005 33554432000 4194304 4196468 140724957588720 140595490974736 140595579328213 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 15282176 140724957594607 140724957594778 140724957594778 140724957597647 0
[pid=22457/tid=22460] ppid=22455 vsize=15144776 memory=140358371088000 CPUtime=0 cores=1,3,5,7
/proc/22457/task/22460/stat : 22460 (java) S 22455 22455 21506 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 445669946 15508250624 10005 33554432000 4194304 4196468 140724957588720 140595489922192 140595579328213 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 15282176 140724957594607 140724957594778 140724957594778 140724957597647 0
[pid=22457/tid=22461] ppid=22455 vsize=15144776 memory=0 CPUtime=0 cores=1,3,5,7
/proc/22457/task/22461/stat : 22461 (java) S 22455 22455 21506 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 445669946 15508250624 10005 33554432000 4194304 4196468 140724957588720 140595488869136 140595579328213 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 15282176 140724957594607 140724957594778 140724957594778 140724957597647 0
[pid=22457/tid=22462] ppid=22455 vsize=15144776 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/22457/task/22462/stat : 22462 (java) S 22455 22455 21506 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 445669946 15508250624 10005 33554432000 4194304 4196468 140724957588720 140595487816592 140595579328213 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 15282176 140724957594607 140724957594778 140724957594778 140724957597647 0
[pid=22457/tid=22463] ppid=22455 vsize=15144776 memory=140358371088000 CPUtime=0 cores=1,3,5,7
/proc/22457/task/22463/stat : 22463 (java) S 22455 22455 21506 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 445669947 15508250624 10005 33554432000 4194304 4196468 140724957588720 140595047966960 140595579329154 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 15282176 140724957594607 140724957594778 140724957594778 140724957597647 0
[pid=22457/tid=22464] ppid=22455 vsize=15144776 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/22457/task/22464/stat : 22464 (java) S 22455 22455 21506 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 445669947 15508250624 10005 33554432000 4194304 4196468 140724957588720 140595046913184 140595579328213 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 15282176 140724957594607 140724957594778 140724957594778 140724957597647 0
[pid=22457/tid=22465] ppid=22455 vsize=15144776 memory=0 CPUtime=0 cores=1,3,5,7
/proc/22457/task/22465/stat : 22465 (java) S 22455 22455 21506 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 445669948 15508250624 10005 33554432000 4194304 4196468 140724957588720 140595045860080 140595579328213 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 15282176 140724957594607 140724957594778 140724957594778 140724957597647 0
[pid=22457/tid=22466] ppid=22455 vsize=15144776 memory=0 CPUtime=0 cores=1,3,5,7
/proc/22457/task/22466/stat : 22466 (java) S 22455 22455 21506 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 445669950 15508250624 10005 33554432000 4194304 4196468 140724957588720 140595044808656 140595579336603 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 15282176 140724957594607 140724957594778 140724957594778 140724957597647 0
[pid=22457/tid=22467] ppid=22455 vsize=15144776 memory=0 CPUtime=0.01 cores=1,3,5,7
/proc/22457/task/22467/stat : 22467 (java) S 22455 22455 21506 0 -1 1077944384 350 0 0 0 1 0 0 0 20 0 15 0 445669950 15508250624 10005 33554432000 4194304 4196468 140724957588720 140595043756784 140595579329154 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 15282176 140724957594607 140724957594778 140724957594778 140724957597647 0
[pid=22457/tid=22468] ppid=22455 vsize=15144776 memory=-1 CPUtime=0.03 cores=1,3,5,7
/proc/22457/task/22468/stat : 22468 (java) S 22455 22455 21506 0 -1 1077944384 253 0 0 0 3 0 0 0 20 0 15 0 445669950 15508250624 10005 33554432000 4194304 4196468 140724957588720 140595042704240 140595579329154 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 15282176 140724957594607 140724957594778 140724957594778 140724957597647 0
[pid=22457/tid=22469] ppid=22455 vsize=15144776 memory=140358371088000 CPUtime=0.08 cores=1,3,5,7
/proc/22457/task/22469/stat : 22469 (java) S 22455 22455 21506 0 -1 1077944384 790 0 0 0 8 0 0 0 20 0 15 0 445669950 15508250624 10005 33554432000 4194304 4196468 140724957588720 140595041651184 140595579329154 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 15282176 140724957594607 140724957594778 140724957594778 140724957597647 0
[pid=22457/tid=22470] ppid=22455 vsize=15144776 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/22457/task/22470/stat : 22470 (java) S 22455 22455 21506 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 445669950 15508250624 10005 33554432000 4194304 4196468 140724957588720 140595040598880 140595579328213 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 15282176 140724957594607 140724957594778 140724957594778 140724957597647 0
[pid=22457/tid=22471] ppid=22455 vsize=15144776 memory=140358371088000 CPUtime=0 cores=1,3,5,7
/proc/22457/task/22471/stat : 22471 (java) S 22455 22455 21506 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 445669951 15508250624 10005 33554432000 4194304 4196468 140724957588720 140595039545904 140595579329154 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 15282176 140724957594607 140724957594778 140724957594778 140724957597647 0
Current children cumulated CPU time: 0.35 s
Current children cumulated vsize: 15257904 KiB
Current children cumulated memory: 41468 KiB
[startup+0.318861 s]*
/proc/loadavg: 8.03 7.09 4.27 7/233 22471
/proc/meminfo: memFree=23675948/32770624 swapFree=66976964/67108860
[pid=22455] ppid=22452 vsize=113128 memory=1448 CPUtime=0 cores=1,3,5,7
/proc/22455/stat : 22455 (xcsp3-exec) S 22452 22455 21506 0 -1 4202496 544 0 0 0 0 0 0 0 20 0 1 0 445669944 115843072 362 33554432000 4194304 5098028 140724152648256 140724152646360 139726369153660 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 21590016 140724152656763 140724152657005 140724152657005 140724152659914 0
/proc/22455/statm: 28282 362 304 221 0 87 0
[pid=22457] ppid=22455 vsize=15149032 memory=50316 CPUtime=0.55 cores=1,3,5,7
/proc/22457/stat : 22457 (java) S 22455 22455 21506 0 -1 1077944320 10939 0 0 0 51 4 0 0 20 0 15 0 445669945 15512608768 12579 33554432000 4194304 4196468 140724957588720 140724957571264 140595579318007 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0 6293624 6294260 15282176 140724957594607 140724957594778 140724957594778 140724957597647 0
/proc/22457/statm: 3787258 12579 3372 1 0 3748377 0
[pid=22457/tid=22458] ppid=22455 vsize=15149032 memory=-8439527450518781933 CPUtime=0.3 cores=1,3,5,7
/proc/22457/task/22458/stat : 22458 (java) R 22455 22455 21506 0 -1 4202560 7892 0 0 0 28 2 0 0 20 0 15 0 445669945 15512608768 12579 33554432000 4194304 4196468 140724957588720 140595583550400 140595563398494 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 15282176 140724957594607 140724957594778 140724957594778 140724957597647 0
[pid=22457/tid=22459] ppid=22455 vsize=15149032 memory=3472468487266239696 CPUtime=0 cores=1,3,5,7
/proc/22457/task/22459/stat : 22459 (java) S 22455 22455 21506 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 445669946 15512608768 12579 33554432000 4194304 4196468 140724957588720 140595490974736 140595579328213 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 15282176 140724957594607 140724957594778 140724957594778 140724957597647 0
[pid=22457/tid=22460] ppid=22455 vsize=15149032 memory=280716627364224 CPUtime=0 cores=1,3,5,7
/proc/22457/task/22460/stat : 22460 (java) S 22455 22455 21506 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 445669946 15512608768 12579 33554432000 4194304 4196468 140724957588720 140595489922192 140595579328213 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 15282176 140724957594607 140724957594778 140724957594778 140724957597647 0
[pid=22457/tid=22461] ppid=22455 vsize=15149032 memory=280716512584736 CPUtime=0 cores=1,3,5,7
/proc/22457/task/22461/stat : 22461 (java) S 22455 22455 21506 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 445669946 15512608768 12579 33554432000 4194304 4196468 140724957588720 140595488869136 140595579328213 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 15282176 140724957594607 140724957594778 140724957594778 140724957597647 0
[pid=22457/tid=22462] ppid=22455 vsize=15149032 memory=140358256276239 CPUtime=0 cores=1,3,5,7
/proc/22457/task/22462/stat : 22462 (java) S 22455 22455 21506 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 445669946 15512608768 12579 33554432000 4194304 4196468 140724957588720 140595487816592 140595579328213 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 15282176 140724957594607 140724957594778 140724957594778 140724957597647 0
[pid=22457/tid=22463] ppid=22455 vsize=15149032 memory=280716627371136 CPUtime=0 cores=1,3,5,7
/proc/22457/task/22463/stat : 22463 (java) S 22455 22455 21506 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 445669947 15512608768 12579 33554432000 4194304 4196468 140724957588720 140595047966960 140595579329154 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 15282176 140724957594607 140724957594778 140724957594778 140724957597647 0
[pid=22457/tid=22464] ppid=22455 vsize=15149032 memory=140358256280847 CPUtime=0 cores=1,3,5,7
/proc/22457/task/22464/stat : 22464 (java) S 22455 22455 21506 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 445669947 15512608768 12579 33554432000 4194304 4196468 140724957588720 140595046913184 140595579328213 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 15282176 140724957594607 140724957594778 140724957594778 140724957597647 0
[pid=22457/tid=22465] ppid=22455 vsize=15149032 memory=140358256304690 CPUtime=0 cores=1,3,5,7
/proc/22457/task/22465/stat : 22465 (java) S 22455 22455 21506 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 445669948 15512608768 12579 33554432000 4194304 4196468 140724957588720 140595045860080 140595579328213 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 15282176 140724957594607 140724957594778 140724957594778 140724957597647 0
[pid=22457/tid=22466] ppid=22455 vsize=15149032 memory=140358256307016 CPUtime=0 cores=1,3,5,7
/proc/22457/task/22466/stat : 22466 (java) S 22455 22455 21506 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 445669950 15512608768 12579 33554432000 4194304 4196468 140724957588720 140595044808656 140595579336603 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 15282176 140724957594607 140724957594778 140724957594778 140724957597647 0
[pid=22457/tid=22467] ppid=22455 vsize=15149032 memory=0 CPUtime=0.03 cores=1,3,5,7
/proc/22457/task/22467/stat : 22467 (java) S 22455 22455 21506 0 -1 1077944384 412 0 0 0 3 0 0 0 20 0 15 0 445669950 15512608768 12579 33554432000 4194304 4196468 140724957588720 140595043756784 140595579329154 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 15282176 140724957594607 140724957594778 140724957594778 140724957597647 0
[pid=22457/tid=22468] ppid=22455 vsize=15149032 memory=-1 CPUtime=0.06 cores=1,3,5,7
/proc/22457/task/22468/stat : 22468 (java) S 22455 22455 21506 0 -1 1077944384 382 0 0 0 6 0 0 0 20 0 15 0 445669950 15512608768 12579 33554432000 4194304 4196468 140724957588720 140595042704240 140595579329154 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 15282176 140724957594607 140724957594778 140724957594778 140724957597647 0
[pid=22457/tid=22469] ppid=22455 vsize=15149032 memory=140358371088000 CPUtime=0.13 cores=1,3,5,7
/proc/22457/task/22469/stat : 22469 (java) S 22455 22455 21506 0 -1 1077944384 948 0 0 0 13 0 0 0 20 0 15 0 445669950 15512608768 12579 33554432000 4194304 4196468 140724957588720 140595041651184 140595579329154 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 15282176 140724957594607 140724957594778 140724957594778 140724957597647 0
[pid=22457/tid=22470] ppid=22455 vsize=15149032 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/22457/task/22470/stat : 22470 (java) S 22455 22455 21506 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 445669950 15512608768 12579 33554432000 4194304 4196468 140724957588720 140595040598880 140595579328213 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 15282176 140724957594607 140724957594778 140724957594778 140724957597647 0
[pid=22457/tid=22471] ppid=22455 vsize=15149032 memory=140358371089448 CPUtime=0 cores=1,3,5,7
/proc/22457/task/22471/stat : 22471 (java) S 22455 22455 21506 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 445669951 15512608768 12579 33554432000 4194304 4196468 140724957588720 140595039545904 140595579329154 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 15282176 140724957594607 140724957594778 140724957594778 140724957597647 0
Current children cumulated CPU time: 0.55 s
Current children cumulated vsize: 15262160 KiB
Current children cumulated memory: 51764 KiB
[startup+0.700813 s]
/proc/loadavg: 8.03 7.09 4.27 8/233 22471
/proc/meminfo: memFree=23648712/32770624 swapFree=66976964/67108860
[pid=22455] ppid=22452 vsize=113128 memory=1448 CPUtime=0 cores=1,3,5,7
/proc/22455/stat : 22455 (xcsp3-exec) S 22452 22455 21506 0 -1 4202496 544 0 0 0 0 0 0 0 20 0 1 0 445669944 115843072 362 33554432000 4194304 5098028 140724152648256 140724152646360 139726369153660 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 21590016 140724152656763 140724152657005 140724152657005 140724152659914 0
/proc/22455/statm: 28282 362 304 221 0 87 0
[pid=22457] ppid=22455 vsize=15151156 memory=131996 CPUtime=1.74 cores=1,3,5,7
/proc/22457/stat : 22457 (java) S 22455 22455 21506 0 -1 1077944320 13884 0 0 0 169 5 0 0 20 0 15 0 445669945 15514783744 32999 33554432000 4194304 4196468 140724957588720 140724957571264 140595579318007 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0 6293624 6294260 15282176 140724957594607 140724957594778 140724957594778 140724957597647 0
/proc/22457/statm: 3787789 32999 3449 1 0 3748889 0
[pid=22457/tid=22458] ppid=22455 vsize=15151156 memory=0 CPUtime=0.67 cores=1,3,5,7
/proc/22457/task/22458/stat : 22458 (java) R 22455 22455 21506 0 -1 4202560 8390 0 0 0 64 3 0 0 20 0 15 0 445669945 15514783744 32999 33554432000 4194304 4196468 140724957588720 140595583555648 140595579329942 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 15282176 140724957594607 140724957594778 140724957594778 140724957597647 0
[pid=22457/tid=22459] ppid=22455 vsize=15151156 memory=128 CPUtime=0 cores=1,3,5,7
/proc/22457/task/22459/stat : 22459 (java) S 22455 22455 21506 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 445669946 15514783744 32999 33554432000 4194304 4196468 140724957588720 140595490974736 140595579328213 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 15282176 140724957594607 140724957594778 140724957594778 140724957597647 0
[pid=22457/tid=22460] ppid=22455 vsize=15151156 memory=0 CPUtime=0 cores=1,3,5,7
/proc/22457/task/22460/stat : 22460 (java) S 22455 22455 21506 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 445669946 15514783744 32999 33554432000 4194304 4196468 140724957588720 140595489922192 140595579328213 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 15282176 140724957594607 140724957594778 140724957594778 140724957597647 0
[pid=22457/tid=22461] ppid=22455 vsize=15151156 memory=0 CPUtime=0 cores=1,3,5,7
/proc/22457/task/22461/stat : 22461 (java) S 22455 22455 21506 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 445669946 15514783744 32999 33554432000 4194304 4196468 140724957588720 140595488869136 140595579328213 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 15282176 140724957594607 140724957594778 140724957594778 140724957597647 0
[pid=22457/tid=22462] ppid=22455 vsize=15151156 memory=0 CPUtime=0 cores=1,3,5,7
/proc/22457/task/22462/stat : 22462 (java) S 22455 22455 21506 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 445669946 15514783744 32999 33554432000 4194304 4196468 140724957588720 140595487816592 140595579328213 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 15282176 140724957594607 140724957594778 140724957594778 140724957597647 0
[pid=22457/tid=22463] ppid=22455 vsize=15151156 memory=2828 CPUtime=0 cores=1,3,5,7
/proc/22457/task/22463/stat : 22463 (java) S 22455 22455 21506 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 445669947 15514783744 32999 33554432000 4194304 4196468 140724957588720 140595047966960 140595579329154 0 0 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 15282176 140724957594607 140724957594778 140724957594778 140724957597647 0
[pid=22457/tid=22464] ppid=22455 vsize=15151156 memory=756 CPUtime=0 cores=1,3,5,7
/proc/22457/task/22464/stat : 22464 (java) S 22455 22455 21506 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 445669947 15514783744 32999 33554432000 4194304 4196468 140724957588720 140595046913184 140595579328213 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 15282176 140724957594607 140724957594778 140724957594778 140724957597647 0
[pid=22457/tid=22465] ppid=22455 vsize=15151156 memory=1548 CPUtime=0 cores=1,3,5,7
/proc/22457/task/22465/stat : 22465 (java) S 22455 22455 21506 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 445669948 15514783744 32999 33554432000 4194304 4196468 140724957588720 140595045860080 140595579328213 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 15282176 140724957594607 140724957594778 140724957594778 140724957597647 0
[pid=22457/tid=22466] ppid=22455 vsize=15151156 memory=7872 CPUtime=0 cores=1,3,5,7
/proc/22457/task/22466/stat : 22466 (java) S 22455 22455 21506 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 445669950 15514783744 32999 33554432000 4194304 4196468 140724957588720 140595044808656 140595579336603 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 15282176 140724957594607 140724957594778 140724957594778 140724957597647 0
[pid=22457/tid=22467] ppid=22455 vsize=15151156 memory=1164 CPUtime=0.33 cores=1,3,5,7
/proc/22457/task/22467/stat : 22467 (java) R 22455 22455 21506 0 -1 4202560 1283 0 0 0 33 0 0 0 20 0 15 0 445669950 15514783744 32999 33554432000 4194304 4196468 140724957588720 140595043743616 140595560840538 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 15282176 140724957594607 140724957594778 140724957594778 140724957597647 0
[pid=22457/tid=22468] ppid=22455 vsize=15151156 memory=9448 CPUtime=0.36 cores=1,3,5,7
/proc/22457/task/22468/stat : 22468 (java) R 22455 22455 21506 0 -1 4202560 1274 0 0 0 36 0 0 0 20 0 15 0 445669950 15514783744 32999 33554432000 4194304 4196468 140724957588720 140595042695568 140595564069777 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 15282176 140724957594607 140724957594778 140724957594778 140724957597647 0
[pid=22457/tid=22469] ppid=22455 vsize=15151156 memory=14008 CPUtime=0.35 cores=1,3,5,7
/proc/22457/task/22469/stat : 22469 (java) R 22455 22455 21506 0 -1 1077944384 1629 0 0 0 35 0 0 0 20 0 15 0 445669950 15514783744 32999 33554432000 4194304 4196468 140724957588720 140595041651184 140595579329154 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 15282176 140724957594607 140724957594778 140724957594778 140724957597647 0
[pid=22457/tid=22470] ppid=22455 vsize=15151156 memory=2120 CPUtime=0 cores=1,3,5,7
/proc/22457/task/22470/stat : 22470 (java) S 22455 22455 21506 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 445669950 15514783744 32999 33554432000 4194304 4196468 140724957588720 140595040598880 140595579328213 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 15282176 140724957594607 140724957594778 140724957594778 140724957597647 0
[pid=22457/tid=22471] ppid=22455 vsize=15151156 memory=11976 CPUtime=0 cores=1,3,5,7
/proc/22457/task/22471/stat : 22471 (java) S 22455 22455 21506 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 445669951 15514783744 32999 33554432000 4194304 4196468 140724957588720 140595039545904 140595579329154 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 15282176 140724957594607 140724957594778 140724957594778 140724957597647 0
Current children cumulated CPU time: 1.74 s
Current children cumulated vsize: 15264284 KiB
Current children cumulated memory: 133444 KiB
[startup+1.50077 s]
/proc/loadavg: 8.03 7.09 4.27 6/233 22471
/proc/meminfo: memFree=23510392/32770624 swapFree=66976964/67108860
[pid=22455] ppid=22452 vsize=113128 memory=1448 CPUtime=0 cores=1,3,5,7
/proc/22455/stat : 22455 (xcsp3-exec) S 22452 22455 21506 0 -1 4202496 544 0 0 0 0 0 0 0 20 0 1 0 445669944 115843072 362 33554432000 4194304 5098028 140724152648256 140724152646360 139726369153660 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 21590016 140724152656763 140724152657005 140724152657005 140724152659914 0
/proc/22455/statm: 28282 362 304 221 0 87 0
################
# More data... #
################
/proc/22457/task/22471/stat : 22471 (java) S 22455 22455 21506 0 -1 1077944384 673 0 0 0 0 7 0 0 20 0 19 0 445669951 15787429888 291321 33554432000 4194304 4196468 140724957588720 140595039545904 140595579329154 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 34 0 0 6293624 6294260 15282176 140724957594607 140724957594778 140724957594778 140724957597647 0
[pid=22457/tid=22472] ppid=22455 vsize=15417412 memory=-7737621075815361686 CPUtime=376.75 cores=1,3,5,7
/proc/22457/task/22472/stat : 22472 (java) R 22455 22455 21506 0 -1 4202560 852 0 0 0 37674 1 0 0 20 0 19 0 445670052 15787429888 291321 33554432000 4194304 4196468 140724957588720 140595030326280 140595173575140 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 15282176 140724957594607 140724957594778 140724957594778 140724957597647 0
[pid=22457/tid=22473] ppid=22455 vsize=15417412 memory=7680491646476186387 CPUtime=377.47 cores=1,3,5,7
/proc/22457/task/22473/stat : 22473 (java) R 22455 22455 21506 0 -1 4202560 3286 0 0 0 37741 6 0 0 20 0 19 0 445670052 15787429888 291321 33554432000 4194304 4196468 140724957588720 140595029277040 140595173575837 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 15282176 140724957594607 140724957594778 140724957594778 140724957597647 0
[pid=22457/tid=22474] ppid=22455 vsize=15417412 memory=4206468019014099040 CPUtime=377.54 cores=1,3,5,7
/proc/22457/task/22474/stat : 22474 (java) R 22455 22455 21506 0 -1 4202560 843 0 0 0 37754 0 0 0 20 0 19 0 445670052 15787429888 291321 33554432000 4194304 4196468 140724957588720 140595028221536 140595173574590 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 15282176 140724957594607 140724957594778 140724957594778 140724957597647 0
[pid=22457/tid=22475] ppid=22455 vsize=15417412 memory=4088 CPUtime=376.42 cores=1,3,5,7
/proc/22457/task/22475/stat : 22475 (java) R 22455 22455 21506 0 -1 4202560 3876 0 0 0 37635 7 0 0 20 0 19 0 445670052 15787429888 291321 33554432000 4194304 4196468 140724957588720 140595027169704 140595173574875 0 4 0 16800975 0 0 0 -1 1 0 0 33 0 0 6293624 6294260 15282176 140724957594607 140724957594778 140724957594778 140724957597647 0
Current children cumulated CPU time: 1514.39 s
Current children cumulated vsize: 15530540 KiB
Current children cumulated memory: 1166732 KiB
[startup+381.201 s]
/proc/loadavg: 8.61 8.11 5.69 9/237 22585
/proc/meminfo: memFree=29404208/32770624 swapFree=66976968/67108860
[pid=22455] ppid=22452 vsize=113128 memory=1448 CPUtime=0 cores=1,3,5,7
/proc/22455/stat : 22455 (xcsp3-exec) S 22452 22455 21506 0 -1 4202496 544 0 0 0 0 0 0 0 20 0 1 0 445669944 115843072 362 33554432000 4194304 5098028 140724152648256 140724152646360 139726369153660 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 21590016 140724152656763 140724152657005 140724152657005 140724152659914 0
/proc/22455/statm: 28282 362 304 221 0 87 0
[pid=22457] ppid=22455 vsize=15417412 memory=1164260 CPUtime=1515.97 cores=1,3,5,7
/proc/22457/stat : 22457 (java) S 22455 22455 21506 0 -1 1077944320 50743 0 0 0 151546 51 0 0 20 0 19 0 445669945 15787429888 291065 33554432000 4194304 4196468 140724957588720 140724957571264 140595579318007 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0 6293624 6294260 15282176 140724957594607 140724957594778 140724957594778 140724957597647 0
/proc/22457/statm: 3854353 291065 3511 1 0 3815453 0
[pid=22457/tid=22458] ppid=22455 vsize=15417412 memory=1165284 CPUtime=1.01 cores=1,3,5,7
/proc/22457/task/22458/stat : 22458 (java) S 22455 22455 21506 0 -1 1077944384 8967 0 0 0 97 4 0 0 20 0 19 0 445669945 15787429888 291065 33554432000 4194304 4196468 140724957588720 140595583558784 140595579328213 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 15282176 140724957594607 140724957594778 140724957594778 140724957597647 0
[pid=22457/tid=22459] ppid=22455 vsize=15417412 memory=2592 CPUtime=0.21 cores=1,3,5,7
/proc/22457/task/22459/stat : 22459 (java) S 22455 22455 21506 0 -1 1077944384 1647 0 0 0 15 6 0 0 20 0 19 0 445669946 15787429888 291065 33554432000 4194304 4196468 140724957588720 140595490974736 140595579328213 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 15282176 140724957594607 140724957594778 140724957594778 140724957597647 0
[pid=22457/tid=22460] ppid=22455 vsize=15417412 memory=2592 CPUtime=0.2 cores=1,3,5,7
/proc/22457/task/22460/stat : 22460 (java) S 22455 22455 21506 0 -1 1077944384 2120 0 0 0 14 6 0 0 20 0 19 0 445669946 15787429888 291065 33554432000 4194304 4196468 140724957588720 140595489922192 140595579328213 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 15282176 140724957594607 140724957594778 140724957594778 140724957597647 0
[pid=22457/tid=22461] ppid=22455 vsize=15417412 memory=1448 CPUtime=0.19 cores=1,3,5,7
/proc/22457/task/22461/stat : 22461 (java) S 22455 22455 21506 0 -1 1077944384 2476 0 0 0 13 6 0 0 20 0 19 0 445669946 15787429888 291065 33554432000 4194304 4196468 140724957588720 140595488869136 140595579328213 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 15282176 140724957594607 140724957594778 140724957594778 140724957597647 0
[pid=22457/tid=22462] ppid=22455 vsize=15417412 memory=1165284 CPUtime=0.21 cores=1,3,5,7
/proc/22457/task/22462/stat : 22462 (java) S 22455 22455 21506 0 -1 1077944384 1014 0 0 0 15 6 0 0 20 0 19 0 445669946 15787429888 291065 33554432000 4194304 4196468 140724957588720 140595487816592 140595579328213 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 15282176 140724957594607 140724957594778 140724957594778 140724957597647 0
[pid=22457/tid=22463] ppid=22455 vsize=15417412 memory=14008 CPUtime=0.06 cores=1,3,5,7
/proc/22457/task/22463/stat : 22463 (java) S 22455 22455 21506 0 -1 1077944384 3240 0 0 0 5 1 0 0 20 0 19 0 445669947 15787429888 291065 33554432000 4194304 4196468 140724957588720 140595047966960 140595579329154 0 0 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 15282176 140724957594607 140724957594778 140724957594778 140724957597647 0
[pid=22457/tid=22464] ppid=22455 vsize=15417412 memory=2120 CPUtime=0 cores=1,3,5,7
/proc/22457/task/22464/stat : 22464 (java) S 22455 22455 21506 0 -1 1077944384 39 0 0 0 0 0 0 0 20 0 19 0 445669947 15787429888 291065 33554432000 4194304 4196468 140724957588720 140595046913248 140595579328213 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 15282176 140724957594607 140724957594778 140724957594778 140724957597647 0
[pid=22457/tid=22465] ppid=22455 vsize=15417412 memory=11976 CPUtime=0 cores=1,3,5,7
/proc/22457/task/22465/stat : 22465 (java) S 22455 22455 21506 0 -1 1077944384 53 0 0 0 0 0 0 0 20 0 19 0 445669948 15787429888 291065 33554432000 4194304 4196468 140724957588720 140595045860096 140595579328213 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 15282176 140724957594607 140724957594778 140724957594778 140724957597647 0
[pid=22457/tid=22466] ppid=22455 vsize=15417412 memory=11388 CPUtime=0 cores=1,3,5,7
/proc/22457/task/22466/stat : 22466 (java) S 22455 22455 21506 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 445669950 15787429888 291065 33554432000 4194304 4196468 140724957588720 140595044808656 140595579336603 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 15282176 140724957594607 140724957594778 140724957594778 140724957597647 0
[pid=22457/tid=22467] ppid=22455 vsize=15417412 memory=512 CPUtime=1.78 cores=1,3,5,7
/proc/22457/task/22467/stat : 22467 (java) S 22455 22455 21506 0 -1 1077944384 6619 0 0 0 178 0 0 0 20 0 19 0 445669950 15787429888 291065 33554432000 4194304 4196468 140724957588720 140595043756784 140595579329154 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 15282176 140724957594607 140724957594778 140724957594778 140724957597647 0
[pid=22457/tid=22468] ppid=22455 vsize=15417412 memory=1564 CPUtime=1.63 cores=1,3,5,7
/proc/22457/task/22468/stat : 22468 (java) S 22455 22455 21506 0 -1 1077944384 8294 0 0 0 162 1 0 0 20 0 19 0 445669950 15787429888 291065 33554432000 4194304 4196468 140724957588720 140595042704240 140595579329154 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 15282176 140724957594607 140724957594778 140724957594778 140724957597647 0
[pid=22457/tid=22469] ppid=22455 vsize=15417412 memory=928 CPUtime=0.71 cores=1,3,5,7
/proc/22457/task/22469/stat : 22469 (java) S 22455 22455 21506 0 -1 1077944384 5496 0 0 0 71 0 0 0 20 0 19 0 445669950 15787429888 291065 33554432000 4194304 4196468 140724957588720 140595041651184 140595579329154 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 15282176 140724957594607 140724957594778 140724957594778 140724957597647 0
[pid=22457/tid=22470] ppid=22455 vsize=15417412 memory=3784 CPUtime=0 cores=1,3,5,7
/proc/22457/task/22470/stat : 22470 (java) S 22455 22455 21506 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 445669950 15787429888 291065 33554432000 4194304 4196468 140724957588720 140595040598880 140595579328213 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 15282176 140724957594607 140724957594778 140724957594778 140724957597647 0
[pid=22457/tid=22471] ppid=22455 vsize=15417412 memory=1412 CPUtime=0.07 cores=1,3,5,7
/proc/22457/task/22471/stat : 22471 (java) S 22455 22455 21506 0 -1 1077944384 673 0 0 0 0 7 0 0 20 0 19 0 445669951 15787429888 291065 33554432000 4194304 4196468 140724957588720 140595039545904 140595579329154 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 34 0 0 6293624 6294260 15282176 140724957594607 140724957594778 140724957594778 140724957597647 0
[pid=22457/tid=22472] ppid=22455 vsize=15417412 memory=3356 CPUtime=377.15 cores=1,3,5,7
/proc/22457/task/22472/stat : 22472 (java) R 22455 22455 21506 0 -1 4202560 853 0 0 0 37714 1 0 0 20 0 19 0 445670052 15787429888 291065 33554432000 4194304 4196468 140724957588720 140595030326432 140595174952671 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 15282176 140724957594607 140724957594778 140724957594778 140724957597647 0
[pid=22457/tid=22473] ppid=22455 vsize=15417412 memory=1448 CPUtime=377.86 cores=1,3,5,7
/proc/22457/task/22473/stat : 22473 (java) R 22455 22455 21506 0 -1 4202560 3288 0 0 0 37780 6 0 0 20 0 19 0 445670052 15787429888 291065 33554432000 4194304 4196468 140724957588720 140595029274136 140595173575247 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 15282176 140724957594607 140724957594778 140724957594778 140724957597647 0
[pid=22457/tid=22474] ppid=22455 vsize=15417412 memory=1162696 CPUtime=377.94 cores=1,3,5,7
/proc/22457/task/22474/stat : 22474 (java) R 22455 22455 21506 0 -1 4202560 845 0 0 0 37794 0 0 0 20 0 19 0 445670052 15787429888 291065 33554432000 4194304 4196468 140724957588720 140595028221536 140595173203174 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 15282176 140724957594607 140724957594778 140724957594778 140724957597647 0
[pid=22457/tid=22475] ppid=22455 vsize=15417412 memory=1408 CPUtime=376.8 cores=1,3,5,7
/proc/22457/task/22475/stat : 22475 (java) R 22455 22455 21506 0 -1 4202560 3877 0 0 0 37673 7 0 0 20 0 19 0 445670052 15787429888 291065 33554432000 4194304 4196468 140724957588720 140595027172368 140595173203485 0 4 0 16800975 0 0 0 -1 7 0 0 33 0 0 6293624 6294260 15282176 140724957594607 140724957594778 140724957594778 140724957597647 0
Current children cumulated CPU time: 1515.97 s
Current children cumulated vsize: 15530540 KiB
Current children cumulated memory: 1165708 KiB
[startup+381.601 s]
/proc/loadavg: 8.61 8.11 5.69 9/237 22585
/proc/meminfo: memFree=29404208/32770624 swapFree=66976968/67108860
[pid=22455] ppid=22452 vsize=113128 memory=1448 CPUtime=0 cores=1,3,5,7
/proc/22455/stat : 22455 (xcsp3-exec) S 22452 22455 21506 0 -1 4202496 544 0 0 0 0 0 0 0 20 0 1 0 445669944 115843072 362 33554432000 4194304 5098028 140724152648256 140724152646360 139726369153660 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 21590016 140724152656763 140724152657005 140724152657005 140724152659914 0
/proc/22455/statm: 28282 362 304 221 0 87 0
[pid=22457] ppid=22455 vsize=15417412 memory=1166308 CPUtime=1517.57 cores=1,3,5,7
/proc/22457/stat : 22457 (java) S 22455 22455 21506 0 -1 1077944320 50756 0 0 0 151706 51 0 0 20 0 19 0 445669945 15787429888 291577 33554432000 4194304 4196468 140724957588720 140724957571264 140595579318007 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0 6293624 6294260 15282176 140724957594607 140724957594778 140724957594778 140724957597647 0
/proc/22457/statm: 3854353 291577 3511 1 0 3815453 0
[pid=22457/tid=22458] ppid=22455 vsize=15417412 memory=2004 CPUtime=1.01 cores=1,3,5,7
/proc/22457/task/22458/stat : 22458 (java) S 22455 22455 21506 0 -1 1077944384 8967 0 0 0 97 4 0 0 20 0 19 0 445669945 15787429888 291577 33554432000 4194304 4196468 140724957588720 140595583558784 140595579328213 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 15282176 140724957594607 140724957594778 140724957594778 140724957597647 0
[pid=22457/tid=22459] ppid=22455 vsize=15417412 memory=984 CPUtime=0.22 cores=1,3,5,7
/proc/22457/task/22459/stat : 22459 (java) S 22455 22455 21506 0 -1 1077944384 1649 0 0 0 15 7 0 0 20 0 19 0 445669946 15787429888 291577 33554432000 4194304 4196468 140724957588720 140595490974736 140595579328213 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 15282176 140724957594607 140724957594778 140724957594778 140724957597647 0
[pid=22457/tid=22460] ppid=22455 vsize=15417412 memory=1164 CPUtime=0.2 cores=1,3,5,7
/proc/22457/task/22460/stat : 22460 (java) S 22455 22455 21506 0 -1 1077944384 2121 0 0 0 14 6 0 0 20 0 19 0 445669946 15787429888 291577 33554432000 4194304 4196468 140724957588720 140595489922192 140595579328213 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 15282176 140724957594607 140724957594778 140724957594778 140724957597647 0
[pid=22457/tid=22461] ppid=22455 vsize=15417412 memory=9448 CPUtime=0.19 cores=1,3,5,7
/proc/22457/task/22461/stat : 22461 (java) S 22455 22455 21506 0 -1 1077944384 2477 0 0 0 13 6 0 0 20 0 19 0 445669946 15787429888 291577 33554432000 4194304 4196468 140724957588720 140595488869136 140595579328213 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 15282176 140724957594607 140724957594778 140724957594778 140724957597647 0
[pid=22457/tid=22462] ppid=22455 vsize=15417412 memory=14008 CPUtime=0.21 cores=1,3,5,7
/proc/22457/task/22462/stat : 22462 (java) S 22455 22455 21506 0 -1 1077944384 1016 0 0 0 15 6 0 0 20 0 19 0 445669946 15787429888 291577 33554432000 4194304 4196468 140724957588720 140595487816592 140595579328213 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 15282176 140724957594607 140724957594778 140724957594778 140724957597647 0
[pid=22457/tid=22463] ppid=22455 vsize=15417412 memory=2120 CPUtime=0.06 cores=1,3,5,7
/proc/22457/task/22463/stat : 22463 (java) S 22455 22455 21506 0 -1 1077944384 3240 0 0 0 5 1 0 0 20 0 19 0 445669947 15787429888 291577 33554432000 4194304 4196468 140724957588720 140595047966960 140595579329154 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 15282176 140724957594607 140724957594778 140724957594778 140724957597647 0
[pid=22457/tid=22464] ppid=22455 vsize=15417412 memory=11976 CPUtime=0 cores=1,3,5,7
/proc/22457/task/22464/stat : 22464 (java) S 22455 22455 21506 0 -1 1077944384 39 0 0 0 0 0 0 0 20 0 19 0 445669947 15787429888 291577 33554432000 4194304 4196468 140724957588720 140595046913248 140595579328213 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 15282176 140724957594607 140724957594778 140724957594778 140724957597647 0
[pid=22457/tid=22465] ppid=22455 vsize=15417412 memory=11388 CPUtime=0 cores=1,3,5,7
/proc/22457/task/22465/stat : 22465 (java) S 22455 22455 21506 0 -1 1077944384 53 0 0 0 0 0 0 0 20 0 19 0 445669948 15787429888 291577 33554432000 4194304 4196468 140724957588720 140595045860096 140595579328213 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 15282176 140724957594607 140724957594778 140724957594778 140724957597647 0
[pid=22457/tid=22466] ppid=22455 vsize=15417412 memory=512 CPUtime=0 cores=1,3,5,7
/proc/22457/task/22466/stat : 22466 (java) S 22455 22455 21506 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 445669950 15787429888 291577 33554432000 4194304 4196468 140724957588720 140595044808656 140595579336603 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 15282176 140724957594607 140724957594778 140724957594778 140724957597647 0
[pid=22457/tid=22467] ppid=22455 vsize=15417412 memory=1564 CPUtime=1.78 cores=1,3,5,7
/proc/22457/task/22467/stat : 22467 (java) S 22455 22455 21506 0 -1 1077944384 6619 0 0 0 178 0 0 0 20 0 19 0 445669950 15787429888 291577 33554432000 4194304 4196468 140724957588720 140595043756784 140595579329154 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 15282176 140724957594607 140724957594778 140724957594778 140724957597647 0
[pid=22457/tid=22468] ppid=22455 vsize=15417412 memory=928 CPUtime=1.63 cores=1,3,5,7
/proc/22457/task/22468/stat : 22468 (java) S 22455 22455 21506 0 -1 1077944384 8294 0 0 0 162 1 0 0 20 0 19 0 445669950 15787429888 291577 33554432000 4194304 4196468 140724957588720 140595042704240 140595579329154 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 15282176 140724957594607 140724957594778 140724957594778 140724957597647 0
[pid=22457/tid=22469] ppid=22455 vsize=15417412 memory=3784 CPUtime=0.71 cores=1,3,5,7
/proc/22457/task/22469/stat : 22469 (java) S 22455 22455 21506 0 -1 1077944384 5496 0 0 0 71 0 0 0 20 0 19 0 445669950 15787429888 291577 33554432000 4194304 4196468 140724957588720 140595041651184 140595579329154 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 15282176 140724957594607 140724957594778 140724957594778 140724957597647 0
[pid=22457/tid=22470] ppid=22455 vsize=15417412 memory=1440 CPUtime=0 cores=1,3,5,7
/proc/22457/task/22470/stat : 22470 (java) S 22455 22455 21506 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 445669950 15787429888 291577 33554432000 4194304 4196468 140724957588720 140595040598880 140595579328213 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 15282176 140724957594607 140724957594778 140724957594778 140724957597647 0
[pid=22457/tid=22471] ppid=22455 vsize=15417412 memory=904 CPUtime=0.07 cores=1,3,5,7
/proc/22457/task/22471/stat : 22471 (java) S 22455 22455 21506 0 -1 1077944384 673 0 0 0 0 7 0 0 20 0 19 0 445669951 15787429888 291577 33554432000 4194304 4196468 140724957588720 140595039545904 140595579329154 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 34 0 0 6293624 6294260 15282176 140724957594607 140724957594778 140724957594778 140724957597647 0
[pid=22457/tid=22472] ppid=22455 vsize=15417412 memory=1984 CPUtime=377.54 cores=1,3,5,7
/proc/22457/task/22472/stat : 22472 (java) R 22455 22455 21506 0 -1 4202560 855 0 0 0 37753 1 0 0 20 0 19 0 445670052 15787429888 291577 33554432000 4194304 4196468 140724957588720 140595030326200 140595174952706 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 15282176 140724957594607 140724957594778 140724957594778 140724957597647 0
[pid=22457/tid=22473] ppid=22455 vsize=15417412 memory=2528 CPUtime=378.26 cores=1,3,5,7
/proc/22457/task/22473/stat : 22473 (java) R 22455 22455 21506 0 -1 4202560 3291 0 0 0 37820 6 0 0 20 0 19 0 445670052 15787429888 291577 33554432000 4194304 4196468 140724957588720 140595029277216 140595173597422 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 15282176 140724957594607 140724957594778 140724957594778 140724957597647 0
[pid=22457/tid=22474] ppid=22455 vsize=15417412 memory=1764 CPUtime=378.34 cores=1,3,5,7
/proc/22457/task/22474/stat : 22474 (java) R 22455 22455 21506 0 -1 4202560 847 0 0 0 37834 0 0 0 20 0 19 0 445670052 15787429888 291577 33554432000 4194304 4196468 140724957588720 140595028221584 140595173442211 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 15282176 140724957594607 140724957594778 140724957594778 140724957597647 0
[pid=22457/tid=22475] ppid=22455 vsize=15417412 memory=111632 CPUtime=377.2 cores=1,3,5,7
/proc/22457/task/22475/stat : 22475 (java) R 22455 22455 21506 0 -1 4202560 3877 0 0 0 37713 7 0 0 20 0 19 0 445670052 15787429888 291577 33554432000 4194304 4196468 140724957588720 140595027169704 140595173822933 0 4 0 16800975 0 0 0 -1 7 0 0 33 0 0 6293624 6294260 15282176 140724957594607 140724957594778 140724957594778 140724957597647 0
Current children cumulated CPU time: 1517.57 s
Current children cumulated vsize: 15530540 KiB
Current children cumulated memory: 1167756 KiB
[startup+381.701 s]
/proc/loadavg: 8.61 8.11 5.69 9/237 22585
/proc/meminfo: memFree=29404208/32770624 swapFree=66976968/67108860
[pid=22455] ppid=22452 vsize=113128 memory=1448 CPUtime=0 cores=1,3,5,7
/proc/22455/stat : 22455 (xcsp3-exec) S 22452 22455 21506 0 -1 4202496 544 0 0 0 0 0 0 0 20 0 1 0 445669944 115843072 362 33554432000 4194304 5098028 140724152648256 140724152646360 139726369153660 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 21590016 140724152656763 140724152657005 140724152657005 140724152659914 0
/proc/22455/statm: 28282 362 304 221 0 87 0
[pid=22457] ppid=22455 vsize=15417412 memory=1166308 CPUtime=1517.97 cores=1,3,5,7
/proc/22457/stat : 22457 (java) S 22455 22455 21506 0 -1 1077944320 50757 0 0 0 151746 51 0 0 20 0 19 0 445669945 15787429888 291577 33554432000 4194304 4196468 140724957588720 140724957571264 140595579318007 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0 6293624 6294260 15282176 140724957594607 140724957594778 140724957594778 140724957597647 0
/proc/22457/statm: 3854353 291577 3511 1 0 3815453 0
[pid=22457/tid=22458] ppid=22455 vsize=15417412 memory=1165284 CPUtime=1.01 cores=1,3,5,7
/proc/22457/task/22458/stat : 22458 (java) S 22455 22455 21506 0 -1 1077944384 8967 0 0 0 97 4 0 0 20 0 19 0 445669945 15787429888 291577 33554432000 4194304 4196468 140724957588720 140595583558784 140595579328213 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 15282176 140724957594607 140724957594778 140724957594778 140724957597647 0
[pid=22457/tid=22459] ppid=22455 vsize=15417412 memory=1165252 CPUtime=0.22 cores=1,3,5,7
/proc/22457/task/22459/stat : 22459 (java) S 22455 22455 21506 0 -1 1077944384 1649 0 0 0 15 7 0 0 20 0 19 0 445669946 15787429888 291577 33554432000 4194304 4196468 140724957588720 140595490974736 140595579328213 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 15282176 140724957594607 140724957594778 140724957594778 140724957597647 0
[pid=22457/tid=22460] ppid=22455 vsize=15417412 memory=1162696 CPUtime=0.2 cores=1,3,5,7
/proc/22457/task/22460/stat : 22460 (java) S 22455 22455 21506 0 -1 1077944384 2121 0 0 0 14 6 0 0 20 0 19 0 445669946 15787429888 291577 33554432000 4194304 4196468 140724957588720 140595489922192 140595579328213 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 15282176 140724957594607 140724957594778 140724957594778 140724957597647 0
[pid=22457/tid=22461] ppid=22455 vsize=15417412 memory=1163720 CPUtime=0.19 cores=1,3,5,7
/proc/22457/task/22461/stat : 22461 (java) S 22455 22455 21506 0 -1 1077944384 2477 0 0 0 13 6 0 0 20 0 19 0 445669946 15787429888 291577 33554432000 4194304 4196468 140724957588720 140595488869136 140595579328213 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 15282176 140724957594607 140724957594778 140724957594778 140724957597647 0
[pid=22457/tid=22462] ppid=22455 vsize=15417412 memory=1161124 CPUtime=0.21 cores=1,3,5,7
/proc/22457/task/22462/stat : 22462 (java) S 22455 22455 21506 0 -1 1077944384 1016 0 0 0 15 6 0 0 20 0 19 0 445669946 15787429888 291577 33554432000 4194304 4196468 140724957588720 140595487816592 140595579328213 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 15282176 140724957594607 140724957594778 140724957594778 140724957597647 0
[pid=22457/tid=22463] ppid=22455 vsize=15417412 memory=1448 CPUtime=0.06 cores=1,3,5,7
/proc/22457/task/22463/stat : 22463 (java) S 22455 22455 21506 0 -1 1077944384 3240 0 0 0 5 1 0 0 20 0 19 0 445669947 15787429888 291577 33554432000 4194304 4196468 140724957588720 140595047966960 140595579329154 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 15282176 140724957594607 140724957594778 140724957594778 140724957597647 0
[pid=22457/tid=22464] ppid=22455 vsize=15417412 memory=1166308 CPUtime=0 cores=1,3,5,7
/proc/22457/task/22464/stat : 22464 (java) S 22455 22455 21506 0 -1 1077944384 39 0 0 0 0 0 0 0 20 0 19 0 445669947 15787429888 291577 33554432000 4194304 4196468 140724957588720 140595046913248 140595579328213 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 15282176 140724957594607 140724957594778 140724957594778 140724957597647 0
[pid=22457/tid=22465] ppid=22455 vsize=15417412 memory=1448 CPUtime=0 cores=1,3,5,7
/proc/22457/task/22465/stat : 22465 (java) S 22455 22455 21506 0 -1 1077944384 53 0 0 0 0 0 0 0 20 0 19 0 445669948 15787429888 291577 33554432000 4194304 4196468 140724957588720 140595045860096 140595579328213 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 15282176 140724957594607 140724957594778 140724957594778 140724957597647 0
[pid=22457/tid=22466] ppid=22455 vsize=15417412 memory=1161108 CPUtime=0 cores=1,3,5,7
/proc/22457/task/22466/stat : 22466 (java) S 22455 22455 21506 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 445669950 15787429888 291577 33554432000 4194304 4196468 140724957588720 140595044808656 140595579336603 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 15282176 140724957594607 140724957594778 140724957594778 140724957597647 0
[pid=22457/tid=22467] ppid=22455 vsize=15417412 memory=8171313584581922903 CPUtime=1.78 cores=1,3,5,7
/proc/22457/task/22467/stat : 22467 (java) S 22455 22455 21506 0 -1 1077944384 6619 0 0 0 178 0 0 0 20 0 19 0 445669950 15787429888 291577 33554432000 4194304 4196468 140724957588720 140595043756784 140595579329154 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 15282176 140724957594607 140724957594778 140724957594778 140724957597647 0
[pid=22457/tid=22468] ppid=22455 vsize=15417412 memory=1163148 CPUtime=1.63 cores=1,3,5,7
/proc/22457/task/22468/stat : 22468 (java) S 22455 22455 21506 0 -1 1077944384 8294 0 0 0 162 1 0 0 20 0 19 0 445669950 15787429888 291577 33554432000 4194304 4196468 140724957588720 140595042704240 140595579329154 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 15282176 140724957594607 140724957594778 140724957594778 140724957597647 0
[pid=22457/tid=22469] ppid=22455 vsize=15417412 memory=1448 CPUtime=0.71 cores=1,3,5,7
/proc/22457/task/22469/stat : 22469 (java) S 22455 22455 21506 0 -1 1077944384 5496 0 0 0 71 0 0 0 20 0 19 0 445669950 15787429888 291577 33554432000 4194304 4196468 140724957588720 140595041651184 140595579329154 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 15282176 140724957594607 140724957594778 140724957594778 140724957597647 0
[pid=22457/tid=22470] ppid=22455 vsize=15417412 memory=1164260 CPUtime=0 cores=1,3,5,7
/proc/22457/task/22470/stat : 22470 (java) S 22455 22455 21506 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 445669950 15787429888 291577 33554432000 4194304 4196468 140724957588720 140595040598880 140595579328213 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 15282176 140724957594607 140724957594778 140724957594778 140724957597647 0
[pid=22457/tid=22471] ppid=22455 vsize=15417412 memory=1448 CPUtime=0.07 cores=1,3,5,7
/proc/22457/task/22471/stat : 22471 (java) S 22455 22455 21506 0 -1 1077944384 673 0 0 0 0 7 0 0 20 0 19 0 445669951 15787429888 291577 33554432000 4194304 4196468 140724957588720 140595039545904 140595579329154 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 34 0 0 6293624 6294260 15282176 140724957594607 140724957594778 140724957594778 140724957597647 0
[pid=22457/tid=22472] ppid=22455 vsize=15417412 memory=3620 CPUtime=377.64 cores=1,3,5,7
/proc/22457/task/22472/stat : 22472 (java) R 22455 22455 21506 0 -1 4202560 855 0 0 0 37763 1 0 0 20 0 19 0 445670052 15787429888 291577 33554432000 4194304 4196468 140724957588720 140595030326200 140595173203378 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 15282176 140724957594607 140724957594778 140724957594778 140724957597647 0
[pid=22457/tid=22473] ppid=22455 vsize=15417412 memory=30552 CPUtime=378.36 cores=1,3,5,7
/proc/22457/task/22473/stat : 22473 (java) R 22455 22455 21506 0 -1 4202560 3291 0 0 0 37830 6 0 0 20 0 19 0 445670052 15787429888 291577 33554432000 4194304 4196468 140724957588720 140595029277216 140595173574647 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 15282176 140724957594607 140724957594778 140724957594778 140724957597647 0
[pid=22457/tid=22474] ppid=22455 vsize=15417412 memory=1164264 CPUtime=378.44 cores=1,3,5,7
/proc/22457/task/22474/stat : 22474 (java) R 22455 22455 21506 0 -1 4202560 848 0 0 0 37844 0 0 0 20 0 19 0 445670052 15787429888 291577 33554432000 4194304 4196468 140724957588720 140595028221584 140595173551013 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 15282176 140724957594607 140724957594778 140724957594778 140724957597647 0
[pid=22457/tid=22475] ppid=22455 vsize=15417412 memory=3620 CPUtime=377.3 cores=1,3,5,7
/proc/22457/task/22475/stat : 22475 (java) R 22455 22455 21506 0 -1 4202560 3877 0 0 0 37723 7 0 0 20 0 19 0 445670052 15787429888 291577 33554432000 4194304 4196468 140724957588720 140595027169704 140724957796795 0 4 0 16800975 0 0 0 -1 7 0 0 33 0 0 6293624 6294260 15282176 140724957594607 140724957594778 140724957594778 140724957597647 0
Current children cumulated CPU time: 1517.97 s
Current children cumulated vsize: 15530540 KiB
Current children cumulated memory: 1167756 KiB
Child status: 0
Real time (s): 381.775
CPU time (s): 1518.2
CPU user time (s): 1517.67
CPU system time (s): 0.524228
CPU usage (%): 397.668
Max. virtual memory (cumulated for all children) (KiB): 15530540
Max. memory (cumulated for all children) (KiB): 1168716
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1517.67
system time used= 0.524228
maximum resident set size= 1168888
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 52674
page faults= 0
swaps= 0
block input operations= 0
block output operations= 560
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 11802
involuntary context switches= 28568
# summary of solver processes directly reported to runsolver:
# pid: 22455
# total CPU time (s): 1518.2
# total CPU user time (s): 1517.67
# total CPU system time (s): 0.524228
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 2.42068 second user time and 4.17896 second system time
The end