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 (13004 MiB free)
memory of node 1: 16384 MiB (15626 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4393211-1568344860/watcher-4393211-1568344860 -o /tmp/evaluation-result-4393211-1568344860/solver-4393211-1568344860 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node146-1568343521-17190 --watchdog 2580 xcsp3-exec -dir HOME -tl 2520 -p 4 -ml 12000 -tdir HOME -seed 1751472923 HOME/instance-4393211-1568344860.xml
running on 4 cores: 1,3,5,7
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 2520 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 2550 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 2520 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB
Linux 3.10.0-514.16.1.el7.x86_64
Starting watchdog thread
Current StackSize limit: 8192 KiB
solver pid=18579, runsolver pid=18576
[startup+0.105408 s]*
/proc/loadavg: 8.59 8.38 6.62 7/234 18595
/proc/meminfo: memFree=29300848/32770624 swapFree=66999980/67108860
[pid=18579] ppid=18576 vsize=113128 memory=1448 CPUtime=0 cores=1,3,5,7
/proc/18579/stat : 18579 (xcsp3-exec) S 18576 18579 15420 0 -1 4202496 544 0 0 0 0 0 0 0 20 0 1 0 410400016 115843072 362 33554432000 4194304 5098028 140735831425840 140735831423944 139919318512252 0 65536 4100 65538 18446744071579417331 0 0 17 5 0 0 0 0 0 7196144 7232144 19648512 140735831434106 140735831434349 140735831434349 140735831437258 0
/proc/18579/statm: 28282 362 304 221 0 87 0
[pid=18581] ppid=18579 vsize=15144768 memory=29616 CPUtime=0.14 cores=1,3,5,7
/proc/18581/stat : 18581 (java) S 18579 18579 15420 0 -1 1077944320 5868 0 0 0 13 1 0 0 20 0 15 0 410400016 15508242432 7404 33554432000 4194304 4196468 140728047876144 140728047858688 140666569039607 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 25800704 140728047879151 140728047879322 140728047879322 140728047882191 0
/proc/18581/statm: 3786192 7404 3150 1 0 3748377 0
[pid=18581/tid=18582] ppid=18579 vsize=15144768 memory=7748307311448697419 CPUtime=0.09 cores=1,3,5,7
/proc/18581/task/18582/stat : 18582 (java) R 18579 18579 15420 0 -1 4202560 3737 0 0 0 9 0 0 0 20 0 15 0 410400016 15508242432 7404 33554432000 4194304 4196468 140728047876144 140666573269360 140666550445926 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 25800704 140728047879151 140728047879322 140728047879322 140728047882191 0
[pid=18581/tid=18583] ppid=18579 vsize=15144768 memory=-3689349214911541841 CPUtime=0 cores=1,3,5,7
/proc/18581/task/18583/stat : 18583 (java) S 18579 18579 15420 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 410400017 15508242432 7404 33554432000 4194304 4196468 140728047876144 140666497079824 140666569049813 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 25800704 140728047879151 140728047879322 140728047879322 140728047882191 0
[pid=18581/tid=18584] ppid=18579 vsize=15144768 memory=140347853002368 CPUtime=0 cores=1,3,5,7
/proc/18581/task/18584/stat : 18584 (java) S 18579 18579 15420 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 410400017 15508242432 7404 33554432000 4194304 4196468 140728047876144 140666496027280 140666569049813 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 25800704 140728047879151 140728047879322 140728047879322 140728047882191 0
[pid=18581/tid=18585] ppid=18579 vsize=15144768 memory=0 CPUtime=0 cores=1,3,5,7
/proc/18581/task/18585/stat : 18585 (java) S 18579 18579 15420 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 410400017 15508242432 7404 33554432000 4194304 4196468 140728047876144 140666494974224 140666569049813 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 25800704 140728047879151 140728047879322 140728047879322 140728047882191 0
[pid=18581/tid=18586] ppid=18579 vsize=15144768 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/18581/task/18586/stat : 18586 (java) S 18579 18579 15420 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 410400017 15508242432 7404 33554432000 4194304 4196468 140728047876144 140666493921680 140666569049813 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 25800704 140728047879151 140728047879322 140728047879322 140728047882191 0
[pid=18581/tid=18587] ppid=18579 vsize=15144768 memory=140347853002368 CPUtime=0 cores=1,3,5,7
/proc/18581/task/18587/stat : 18587 (java) S 18579 18579 15420 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 410400018 15508242432 7404 33554432000 4194304 4196468 140728047876144 140666037598960 140666569050754 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 25800704 140728047879151 140728047879322 140728047879322 140728047882191 0
[pid=18581/tid=18588] ppid=18579 vsize=15144768 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/18581/task/18588/stat : 18588 (java) S 18579 18579 15420 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 410400019 15508242432 7404 33554432000 4194304 4196468 140728047876144 140666036545184 140666569049813 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 25800704 140728047879151 140728047879322 140728047879322 140728047882191 0
[pid=18581/tid=18589] ppid=18579 vsize=15144768 memory=0 CPUtime=0 cores=1,3,5,7
/proc/18581/task/18589/stat : 18589 (java) S 18579 18579 15420 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 410400019 15508242432 7404 33554432000 4194304 4196468 140728047876144 140666035492080 140666569049813 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 25800704 140728047879151 140728047879322 140728047879322 140728047882191 0
[pid=18581/tid=18590] ppid=18579 vsize=15144768 memory=0 CPUtime=0 cores=1,3,5,7
/proc/18581/task/18590/stat : 18590 (java) S 18579 18579 15420 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 410400021 15508242432 7404 33554432000 4194304 4196468 140728047876144 140666034440656 140666569058203 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 25800704 140728047879151 140728047879322 140728047879322 140728047882191 0
[pid=18581/tid=18591] ppid=18579 vsize=15144768 memory=0 CPUtime=0.01 cores=1,3,5,7
/proc/18581/task/18591/stat : 18591 (java) S 18579 18579 15420 0 -1 1077944384 462 0 0 0 1 0 0 0 20 0 15 0 410400021 15508242432 7404 33554432000 4194304 4196468 140728047876144 140666033387760 140666569050754 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 25800704 140728047879151 140728047879322 140728047879322 140728047882191 0
[pid=18581/tid=18592] ppid=18579 vsize=15144768 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/18581/task/18592/stat : 18592 (java) S 18579 18579 15420 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 410400021 15508242432 7404 33554432000 4194304 4196468 140728047876144 140666032335216 140666569050754 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 25800704 140728047879151 140728047879322 140728047879322 140728047882191 0
[pid=18581/tid=18593] ppid=18579 vsize=15144768 memory=140347853002368 CPUtime=0.02 cores=1,3,5,7
/proc/18581/task/18593/stat : 18593 (java) R 18579 18579 15420 0 -1 1077944384 365 0 0 0 2 0 0 0 20 0 15 0 410400021 15508242432 7404 33554432000 4194304 4196468 140728047876144 140666031282160 140666569050754 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 25800704 140728047879151 140728047879322 140728047879322 140728047882191 0
[pid=18581/tid=18594] ppid=18579 vsize=15144768 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/18581/task/18594/stat : 18594 (java) S 18579 18579 15420 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 410400021 15508242432 7404 33554432000 4194304 4196468 140728047876144 140666030229856 140666569049813 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 25800704 140728047879151 140728047879322 140728047879322 140728047882191 0
[pid=18581/tid=18595] ppid=18579 vsize=15144768 memory=140347853002368 CPUtime=0 cores=1,3,5,7
/proc/18581/task/18595/stat : 18595 (java) S 18579 18579 15420 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 410400022 15508242432 7404 33554432000 4194304 4196468 140728047876144 140666029177904 140666569050754 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 25800704 140728047879151 140728047879322 140728047879322 140728047882191 0
Current children cumulated CPU time: 0.14 s
Current children cumulated vsize: 15257896 KiB
Current children cumulated memory: 31064 KiB
[startup+0.21183 s]*
/proc/loadavg: 8.59 8.38 6.62 6/234 18595
/proc/meminfo: memFree=29288388/32770624 swapFree=66999980/67108860
[pid=18579] ppid=18576 vsize=113128 memory=1448 CPUtime=0 cores=1,3,5,7
/proc/18579/stat : 18579 (xcsp3-exec) S 18576 18579 15420 0 -1 4202496 544 0 0 0 0 0 0 0 20 0 1 0 410400016 115843072 362 33554432000 4194304 5098028 140735831425840 140735831423944 139919318512252 0 65536 4100 65538 18446744071579417331 0 0 17 5 0 0 0 0 0 7196144 7232144 19648512 140735831434106 140735831434349 140735831434349 140735831437258 0
/proc/18579/statm: 28282 362 304 221 0 87 0
[pid=18581] ppid=18579 vsize=15144768 memory=40696 CPUtime=0.34 cores=1,3,5,7
/proc/18581/stat : 18581 (java) S 18579 18579 15420 0 -1 1077944320 9454 0 0 0 32 2 0 0 20 0 15 0 410400016 15508242432 10174 33554432000 4194304 4196468 140728047876144 140728047858688 140666569039607 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 25800704 140728047879151 140728047879322 140728047879322 140728047882191 0
/proc/18581/statm: 3786192 10174 3280 1 0 3748377 0
[pid=18581/tid=18582] ppid=18579 vsize=15144768 memory=7883960649037381690 CPUtime=0.2 cores=1,3,5,7
/proc/18581/task/18582/stat : 18582 (java) R 18579 18579 15420 0 -1 4202560 6640 0 0 0 18 2 0 0 20 0 15 0 410400016 15508242432 10174 33554432000 4194304 4196468 140728047876144 140666573275408 140666569061437 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 25800704 140728047879151 140728047879322 140728047879322 140728047882191 0
[pid=18581/tid=18583] ppid=18579 vsize=15144768 memory=13675 CPUtime=0 cores=1,3,5,7
/proc/18581/task/18583/stat : 18583 (java) S 18579 18579 15420 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 410400017 15508242432 10174 33554432000 4194304 4196468 140728047876144 140666497079824 140666569049813 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 25800704 140728047879151 140728047879322 140728047879322 140728047882191 0
[pid=18581/tid=18584] ppid=18579 vsize=15144768 memory=140347853019571 CPUtime=0 cores=1,3,5,7
/proc/18581/task/18584/stat : 18584 (java) S 18579 18579 15420 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 410400017 15508242432 10174 33554432000 4194304 4196468 140728047876144 140666496027280 140666569049813 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 25800704 140728047879151 140728047879322 140728047879322 140728047882191 0
[pid=18581/tid=18585] ppid=18579 vsize=15144768 memory=0 CPUtime=0 cores=1,3,5,7
/proc/18581/task/18585/stat : 18585 (java) S 18579 18579 15420 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 410400017 15508242432 10174 33554432000 4194304 4196468 140728047876144 140666494974224 140666569049813 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 25800704 140728047879151 140728047879322 140728047879322 140728047882191 0
[pid=18581/tid=18586] ppid=18579 vsize=15144768 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/18581/task/18586/stat : 18586 (java) S 18579 18579 15420 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 410400017 15508242432 10174 33554432000 4194304 4196468 140728047876144 140666493921680 140666569049813 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 25800704 140728047879151 140728047879322 140728047879322 140728047882191 0
[pid=18581/tid=18587] ppid=18579 vsize=15144768 memory=140347853002368 CPUtime=0 cores=1,3,5,7
/proc/18581/task/18587/stat : 18587 (java) S 18579 18579 15420 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 410400018 15508242432 10174 33554432000 4194304 4196468 140728047876144 140666037598960 140666569050754 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 25800704 140728047879151 140728047879322 140728047879322 140728047882191 0
[pid=18581/tid=18588] ppid=18579 vsize=15144768 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/18581/task/18588/stat : 18588 (java) S 18579 18579 15420 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 410400019 15508242432 10174 33554432000 4194304 4196468 140728047876144 140666036545184 140666569049813 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 25800704 140728047879151 140728047879322 140728047879322 140728047882191 0
[pid=18581/tid=18589] ppid=18579 vsize=15144768 memory=0 CPUtime=0 cores=1,3,5,7
/proc/18581/task/18589/stat : 18589 (java) S 18579 18579 15420 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 410400019 15508242432 10174 33554432000 4194304 4196468 140728047876144 140666035492080 140666569049813 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 25800704 140728047879151 140728047879322 140728047879322 140728047882191 0
[pid=18581/tid=18590] ppid=18579 vsize=15144768 memory=0 CPUtime=0 cores=1,3,5,7
/proc/18581/task/18590/stat : 18590 (java) S 18579 18579 15420 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 410400021 15508242432 10174 33554432000 4194304 4196468 140728047876144 140666034440656 140666569058203 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 25800704 140728047879151 140728047879322 140728047879322 140728047882191 0
[pid=18581/tid=18591] ppid=18579 vsize=15144768 memory=0 CPUtime=0.03 cores=1,3,5,7
/proc/18581/task/18591/stat : 18591 (java) S 18579 18579 15420 0 -1 1077944384 767 0 0 0 3 0 0 0 20 0 15 0 410400021 15508242432 10174 33554432000 4194304 4196468 140728047876144 140666033387760 140666569050754 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 25800704 140728047879151 140728047879322 140728047879322 140728047882191 0
[pid=18581/tid=18592] ppid=18579 vsize=15144768 memory=-1 CPUtime=0.01 cores=1,3,5,7
/proc/18581/task/18592/stat : 18592 (java) S 18579 18579 15420 0 -1 1077944384 30 0 0 0 1 0 0 0 20 0 15 0 410400021 15508242432 10174 33554432000 4194304 4196468 140728047876144 140666032335216 140666569050754 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 25800704 140728047879151 140728047879322 140728047879322 140728047882191 0
[pid=18581/tid=18593] ppid=18579 vsize=15144768 memory=140347853002368 CPUtime=0.08 cores=1,3,5,7
/proc/18581/task/18593/stat : 18593 (java) S 18579 18579 15420 0 -1 1077944384 714 0 0 0 8 0 0 0 20 0 15 0 410400021 15508242432 10174 33554432000 4194304 4196468 140728047876144 140666031282160 140666569050754 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 25800704 140728047879151 140728047879322 140728047879322 140728047882191 0
[pid=18581/tid=18594] ppid=18579 vsize=15144768 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/18581/task/18594/stat : 18594 (java) S 18579 18579 15420 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 410400021 15508242432 10174 33554432000 4194304 4196468 140728047876144 140666030229856 140666569049813 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 25800704 140728047879151 140728047879322 140728047879322 140728047882191 0
[pid=18581/tid=18595] ppid=18579 vsize=15144768 memory=0 CPUtime=0 cores=1,3,5,7
/proc/18581/task/18595/stat : 18595 (java) S 18579 18579 15420 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 410400022 15508242432 10174 33554432000 4194304 4196468 140728047876144 140666029177904 140666569050754 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 25800704 140728047879151 140728047879322 140728047879322 140728047882191 0
Current children cumulated CPU time: 0.34 s
Current children cumulated vsize: 15257896 KiB
Current children cumulated memory: 42144 KiB
[startup+0.314302 s]*
/proc/loadavg: 8.59 8.38 6.62 7/234 18595
/proc/meminfo: memFree=29281108/32770624 swapFree=66999980/67108860
[pid=18579] ppid=18576 vsize=113128 memory=1448 CPUtime=0 cores=1,3,5,7
/proc/18579/stat : 18579 (xcsp3-exec) S 18576 18579 15420 0 -1 4202496 544 0 0 0 0 0 0 0 20 0 1 0 410400016 115843072 362 33554432000 4194304 5098028 140735831425840 140735831423944 139919318512252 0 65536 4100 65538 18446744071579417331 0 0 17 5 0 0 0 0 0 7196144 7232144 19648512 140735831434106 140735831434349 140735831434349 140735831437258 0
/proc/18579/statm: 28282 362 304 221 0 87 0
[pid=18581] ppid=18579 vsize=15149024 memory=50440 CPUtime=0.53 cores=1,3,5,7
/proc/18581/stat : 18581 (java) S 18579 18579 15420 0 -1 1077944320 10931 0 0 0 50 3 0 0 20 0 15 0 410400016 15512600576 12610 33554432000 4194304 4196468 140728047876144 140728047858688 140666569039607 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 25800704 140728047879151 140728047879322 140728047879322 140728047882191 0
/proc/18581/statm: 3787256 12610 3357 1 0 3748377 0
[pid=18581/tid=18582] ppid=18579 vsize=15149024 memory=1398722017469774279 CPUtime=0.3 cores=1,3,5,7
/proc/18581/task/18582/stat : 18582 (java) R 18579 18579 15420 0 -1 4202560 7879 0 0 0 28 2 0 0 20 0 15 0 410400016 15512600576 12610 33554432000 4194304 4196468 140728047876144 140666573270720 140666554733088 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 25800704 140728047879151 140728047879322 140728047879322 140728047882191 0
[pid=18581/tid=18583] ppid=18579 vsize=15149024 memory=4126316290023845779 CPUtime=0 cores=1,3,5,7
/proc/18581/task/18583/stat : 18583 (java) S 18579 18579 15420 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 410400017 15512600576 12610 33554432000 4194304 4196468 140728047876144 140666497079824 140666569049813 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 25800704 140728047879151 140728047879322 140728047879322 140728047882191 0
[pid=18581/tid=18584] ppid=18579 vsize=15149024 memory=6655300316396806240 CPUtime=0 cores=1,3,5,7
/proc/18581/task/18584/stat : 18584 (java) S 18579 18579 15420 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 410400017 15512600576 12610 33554432000 4194304 4196468 140728047876144 140666496027280 140666569049813 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 25800704 140728047879151 140728047879322 140728047879322 140728047882191 0
[pid=18581/tid=18585] ppid=18579 vsize=15149024 memory=6944652177228980320 CPUtime=0 cores=1,3,5,7
/proc/18581/task/18585/stat : 18585 (java) S 18579 18579 15420 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 410400017 15512600576 12610 33554432000 4194304 4196468 140728047876144 140666494974224 140666569049813 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 25800704 140728047879151 140728047879322 140728047879322 140728047882191 0
[pid=18581/tid=18586] ppid=18579 vsize=15149024 memory=-4190076264842474805 CPUtime=0 cores=1,3,5,7
/proc/18581/task/18586/stat : 18586 (java) S 18579 18579 15420 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 410400017 15512600576 12610 33554432000 4194304 4196468 140728047876144 140666493921680 140666569049813 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 25800704 140728047879151 140728047879322 140728047879322 140728047882191 0
[pid=18581/tid=18587] ppid=18579 vsize=15149024 memory=-7595490506177102494 CPUtime=0 cores=1,3,5,7
/proc/18581/task/18587/stat : 18587 (java) S 18579 18579 15420 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 410400018 15512600576 12610 33554432000 4194304 4196468 140728047876144 140666037598960 140666569050754 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 25800704 140728047879151 140728047879322 140728047879322 140728047882191 0
[pid=18581/tid=18588] ppid=18579 vsize=15149024 memory=-7533229591079788448 CPUtime=0 cores=1,3,5,7
/proc/18581/task/18588/stat : 18588 (java) S 18579 18579 15420 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 410400019 15512600576 12610 33554432000 4194304 4196468 140728047876144 140666036545184 140666569049813 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 25800704 140728047879151 140728047879322 140728047879322 140728047882191 0
[pid=18581/tid=18589] ppid=18579 vsize=15149024 memory=7893295687695687954 CPUtime=0 cores=1,3,5,7
/proc/18581/task/18589/stat : 18589 (java) S 18579 18579 15420 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 410400019 15512600576 12610 33554432000 4194304 4196468 140728047876144 140666035492080 140666569049813 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 25800704 140728047879151 140728047879322 140728047879322 140728047882191 0
[pid=18581/tid=18590] ppid=18579 vsize=15149024 memory=-8813974798734826869 CPUtime=0 cores=1,3,5,7
/proc/18581/task/18590/stat : 18590 (java) S 18579 18579 15420 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 410400021 15512600576 12610 33554432000 4194304 4196468 140728047876144 140666034440656 140666569058203 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 25800704 140728047879151 140728047879322 140728047879322 140728047882191 0
[pid=18581/tid=18591] ppid=18579 vsize=15149024 memory=7827413994055111515 CPUtime=0.06 cores=1,3,5,7
/proc/18581/task/18591/stat : 18591 (java) S 18579 18579 15420 0 -1 1077944384 875 0 0 0 6 0 0 0 20 0 15 0 410400021 15512600576 12610 33554432000 4194304 4196468 140728047876144 140666033387760 140666569050754 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 25800704 140728047879151 140728047879322 140728047879322 140728047882191 0
[pid=18581/tid=18592] ppid=18579 vsize=15149024 memory=0 CPUtime=0.02 cores=1,3,5,7
/proc/18581/task/18592/stat : 18592 (java) S 18579 18579 15420 0 -1 1077944384 61 0 0 0 2 0 0 0 20 0 15 0 410400021 15512600576 12610 33554432000 4194304 4196468 140728047876144 140666032335216 140666569050754 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 25800704 140728047879151 140728047879322 140728047879322 140728047882191 0
[pid=18581/tid=18593] ppid=18579 vsize=15149024 memory=0 CPUtime=0.12 cores=1,3,5,7
/proc/18581/task/18593/stat : 18593 (java) S 18579 18579 15420 0 -1 1077944384 814 0 0 0 12 0 0 0 20 0 15 0 410400021 15512600576 12610 33554432000 4194304 4196468 140728047876144 140666031282160 140666569050754 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 25800704 140728047879151 140728047879322 140728047879322 140728047882191 0
[pid=18581/tid=18594] ppid=18579 vsize=15149024 memory=0 CPUtime=0 cores=1,3,5,7
/proc/18581/task/18594/stat : 18594 (java) S 18579 18579 15420 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 410400021 15512600576 12610 33554432000 4194304 4196468 140728047876144 140666030229856 140666569049813 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 25800704 140728047879151 140728047879322 140728047879322 140728047882191 0
[pid=18581/tid=18595] ppid=18579 vsize=15149024 memory=0 CPUtime=0 cores=1,3,5,7
/proc/18581/task/18595/stat : 18595 (java) S 18579 18579 15420 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 410400022 15512600576 12610 33554432000 4194304 4196468 140728047876144 140666029177904 140666569050754 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 25800704 140728047879151 140728047879322 140728047879322 140728047882191 0
Current children cumulated CPU time: 0.53 s
Current children cumulated vsize: 15262152 KiB
Current children cumulated memory: 51888 KiB
[startup+0.701274 s]
/proc/loadavg: 8.54 8.38 6.63 8/234 18595
/proc/meminfo: memFree=29265616/32770624 swapFree=66999980/67108860
[pid=18579] ppid=18576 vsize=113128 memory=1448 CPUtime=0 cores=1,3,5,7
/proc/18579/stat : 18579 (xcsp3-exec) S 18576 18579 15420 0 -1 4202496 544 0 0 0 0 0 0 0 20 0 1 0 410400016 115843072 362 33554432000 4194304 5098028 140735831425840 140735831423944 139919318512252 0 65536 4100 65538 18446744071579417331 0 0 17 5 0 0 0 0 0 7196144 7232144 19648512 140735831434106 140735831434349 140735831434349 140735831437258 0
/proc/18579/statm: 28282 362 304 221 0 87 0
[pid=18581] ppid=18579 vsize=15417404 memory=100980 CPUtime=1.67 cores=1,3,5,7
/proc/18581/stat : 18581 (java) S 18579 18579 15420 0 -1 1077944320 15297 0 0 0 161 6 0 0 20 0 19 0 410400016 15787421696 25245 33554432000 4194304 4196468 140728047876144 140728047858688 140666569039607 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 25800704 140728047879151 140728047879322 140728047879322 140728047882191 0
/proc/18581/statm: 3854351 25245 3455 1 0 3815453 0
[pid=18581/tid=18582] ppid=18579 vsize=15417404 memory=0 CPUtime=0.52 cores=1,3,5,7
/proc/18581/task/18582/stat : 18582 (java) S 18579 18579 15420 0 -1 1077944384 9232 0 0 0 49 3 0 0 20 0 19 0 410400016 15787421696 25245 33554432000 4194304 4196468 140728047876144 140666573280384 140666569049813 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 25800704 140728047879151 140728047879322 140728047879322 140728047882191 0
[pid=18581/tid=18583] ppid=18579 vsize=15417404 memory=33 CPUtime=0 cores=1,3,5,7
/proc/18581/task/18583/stat : 18583 (java) S 18579 18579 15420 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 19 0 410400017 15787421696 25245 33554432000 4194304 4196468 140728047876144 140666497079824 140666569049813 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 25800704 140728047879151 140728047879322 140728047879322 140728047882191 0
[pid=18581/tid=18584] ppid=18579 vsize=15417404 memory=-7604262568725289114 CPUtime=0 cores=1,3,5,7
/proc/18581/task/18584/stat : 18584 (java) S 18579 18579 15420 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 19 0 410400017 15787421696 25245 33554432000 4194304 4196468 140728047876144 140666496027280 140666569049813 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 25800704 140728047879151 140728047879322 140728047879322 140728047882191 0
[pid=18581/tid=18585] ppid=18579 vsize=15417404 memory=0 CPUtime=0 cores=1,3,5,7
/proc/18581/task/18585/stat : 18585 (java) S 18579 18579 15420 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 19 0 410400017 15787421696 25245 33554432000 4194304 4196468 140728047876144 140666494974224 140666569049813 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 25800704 140728047879151 140728047879322 140728047879322 140728047882191 0
[pid=18581/tid=18586] ppid=18579 vsize=15417404 memory=0 CPUtime=0 cores=1,3,5,7
/proc/18581/task/18586/stat : 18586 (java) S 18579 18579 15420 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 19 0 410400017 15787421696 25245 33554432000 4194304 4196468 140728047876144 140666493921680 140666569049813 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 25800704 140728047879151 140728047879322 140728047879322 140728047882191 0
[pid=18581/tid=18587] ppid=18579 vsize=15417404 memory=34364 CPUtime=0 cores=1,3,5,7
/proc/18581/task/18587/stat : 18587 (java) S 18579 18579 15420 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 19 0 410400018 15787421696 25245 33554432000 4194304 4196468 140728047876144 140666037598960 140666569050754 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 25800704 140728047879151 140728047879322 140728047879322 140728047882191 0
[pid=18581/tid=18588] ppid=18579 vsize=15417404 memory=988 CPUtime=0 cores=1,3,5,7
/proc/18581/task/18588/stat : 18588 (java) S 18579 18579 15420 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 19 0 410400019 15787421696 25245 33554432000 4194304 4196468 140728047876144 140666036545184 140666569049813 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 25800704 140728047879151 140728047879322 140728047879322 140728047882191 0
[pid=18581/tid=18589] ppid=18579 vsize=15417404 memory=2012 CPUtime=0 cores=1,3,5,7
/proc/18581/task/18589/stat : 18589 (java) S 18579 18579 15420 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 19 0 410400019 15787421696 25245 33554432000 4194304 4196468 140728047876144 140666035492080 140666569049813 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 25800704 140728047879151 140728047879322 140728047879322 140728047882191 0
[pid=18581/tid=18590] ppid=18579 vsize=15417404 memory=1240 CPUtime=0 cores=1,3,5,7
/proc/18581/task/18590/stat : 18590 (java) S 18579 18579 15420 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 410400021 15787421696 25245 33554432000 4194304 4196468 140728047876144 140666034440656 140666569058203 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 25800704 140728047879151 140728047879322 140728047879322 140728047882191 0
[pid=18581/tid=18591] ppid=18579 vsize=15417404 memory=580 CPUtime=0.26 cores=1,3,5,7
/proc/18581/task/18591/stat : 18591 (java) R 18579 18579 15420 0 -1 4202560 1537 0 0 0 26 0 0 0 20 0 19 0 410400021 15787421696 25245 33554432000 4194304 4196468 140728047876144 140666033368104 140666561329056 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 25800704 140728047879151 140728047879322 140728047879322 140728047882191 0
[pid=18581/tid=18592] ppid=18579 vsize=15417404 memory=1696 CPUtime=0.18 cores=1,3,5,7
/proc/18581/task/18592/stat : 18592 (java) D 18579 18579 15420 0 -1 4202560 917 0 0 0 18 0 0 0 20 0 19 0 410400021 15787421696 25245 33554432000 4194304 4196468 140728047876144 140666032316232 140666561756759 0 4 0 16800975 18446744071582151463 0 0 -1 1 0 0 0 0 0 6293624 6294260 25800704 140728047879151 140728047879322 140728047879322 140728047882191 0
[pid=18581/tid=18593] ppid=18579 vsize=15417404 memory=3436 CPUtime=0.36 cores=1,3,5,7
/proc/18581/task/18593/stat : 18593 (java) D 18579 18579 15420 0 -1 4202560 1943 0 0 0 36 0 0 0 20 0 19 0 410400021 15787421696 25245 33554432000 4194304 4196468 140728047876144 140666031278312 140666547995945 0 4 0 16800975 18446744071582151416 0 0 -1 1 0 0 0 0 0 6293624 6294260 25800704 140728047879151 140728047879322 140728047879322 140728047882191 0
[pid=18581/tid=18594] ppid=18579 vsize=15417404 memory=7548 CPUtime=0 cores=1,3,5,7
/proc/18581/task/18594/stat : 18594 (java) S 18579 18579 15420 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 410400021 15787421696 25245 33554432000 4194304 4196468 140728047876144 140666030229856 140666569049813 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 25800704 140728047879151 140728047879322 140728047879322 140728047882191 0
[pid=18581/tid=18595] ppid=18579 vsize=15417404 memory=2832 CPUtime=0 cores=1,3,5,7
/proc/18581/task/18595/stat : 18595 (java) S 18579 18579 15420 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 19 0 410400022 15787421696 25245 33554432000 4194304 4196468 140728047876144 140666029177904 140666569050754 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 25800704 140728047879151 140728047879322 140728047879322 140728047882191 0
Current children cumulated CPU time: 1.67 s
Current children cumulated vsize: 15530532 KiB
Current children cumulated memory: 102428 KiB
[startup+1.50127 s]
/proc/loadavg: 8.54 8.38 6.63 10/237 18634
/proc/meminfo: memFree=29148356/32770624 swapFree=66999980/67108860
[pid=18579] ppid=18576 vsize=113128 memory=1448 CPUtime=0 cores=1,3,5,7
/proc/18579/stat : 18579 (xcsp3-exec) S 18576 18579 15420 0 -1 4202496 544 0 0 0 0 0 0 0 20 0 1 0 410400016 115843072 362 33554432000 4194304 5098028 140735831425840 140735831423944 139919318512252 0 65536 4100 65538 18446744071579417331 0 0 17 5 0 0 0 0 0 7196144 7232144 19648512 140735831434106 140735831434349 140735831434349 140735831437258 0
/proc/18579/statm: 28282 362 304 221 0 87 0
################
# More data... #
################
/proc/18581/task/18595/stat : 18595 (java) S 18579 18579 15420 0 -1 1077944384 608 0 0 0 0 0 0 0 20 0 19 0 410400022 15855583232 54914 33554432000 4194304 4196468 140728047876144 140666029177904 140666569050754 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 36 0 0 6293624 6294260 25800704 140728047879151 140728047879322 140728047879322 140728047882191 0
[pid=18581/tid=18668] ppid=18579 vsize=15483968 memory=217520 CPUtime=28.32 cores=1,3,5,7
/proc/18581/task/18668/stat : 18668 (java) R 18579 18579 15420 0 -1 4202560 450 0 0 0 2832 0 0 0 20 0 19 0 410400662 15855583232 54914 33554432000 4194304 4196468 140728047876144 140666019967016 140666173661238 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 25800704 140728047879151 140728047879322 140728047879322 140728047882191 0
[pid=18581/tid=18669] ppid=18579 vsize=15483968 memory=928 CPUtime=28.11 cores=1,3,5,7
/proc/18581/task/18669/stat : 18669 (java) R 18579 18579 15420 0 -1 4202560 1020 0 0 0 2811 0 0 0 20 0 19 0 410400662 15855583232 54914 33554432000 4194304 4196468 140728047876144 140665353646384 140666172575627 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 25800704 140728047879151 140728047879322 140728047879322 140728047882191 0
[pid=18581/tid=18670] ppid=18579 vsize=15483968 memory=1980 CPUtime=28.28 cores=1,3,5,7
/proc/18581/task/18670/stat : 18670 (java) R 18579 18579 15420 0 -1 4202560 258 0 0 0 2828 0 0 0 20 0 19 0 410400662 15855583232 54914 33554432000 4194304 4196468 140728047876144 140665354699656 140666173411209 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 25800704 140728047879151 140728047879322 140728047879322 140728047882191 0
[pid=18581/tid=18671] ppid=18579 vsize=15483968 memory=1332 CPUtime=28.12 cores=1,3,5,7
/proc/18581/task/18671/stat : 18671 (java) R 18579 18579 15420 0 -1 4202560 3592 0 0 0 2811 1 0 0 20 0 19 0 410400662 15855583232 54914 33554432000 4194304 4196468 140728047876144 140666018916800 140666173411064 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 25800704 140728047879151 140728047879322 140728047879322 140728047882191 0
Current children cumulated CPU time: 137.94 s
Current children cumulated vsize: 15597096 KiB
Current children cumulated memory: 221104 KiB
[startup+36.0013 s]*
/proc/loadavg: 8.60 8.41 6.71 9/238 18674
/proc/meminfo: memFree=29112192/32770624 swapFree=66999980/67108860
[pid=18579] ppid=18576 vsize=113128 memory=1448 CPUtime=0 cores=1,3,5,7
/proc/18579/stat : 18579 (xcsp3-exec) S 18576 18579 15420 0 -1 4202496 544 0 0 0 0 0 0 0 20 0 1 0 410400016 115843072 362 33554432000 4194304 5098028 140735831425840 140735831423944 139919318512252 0 65536 4100 65538 18446744071579417331 0 0 17 5 0 0 0 0 0 7196144 7232144 19648512 140735831434106 140735831434349 140735831434349 140735831437258 0
/proc/18579/statm: 28282 362 304 221 0 87 0
[pid=18581] ppid=18579 vsize=15483968 memory=219656 CPUtime=141.14 cores=1,3,5,7
/proc/18581/stat : 18581 (java) S 18579 18579 15420 0 -1 1077944320 41605 0 0 0 14094 20 0 0 20 0 19 0 410400016 15855583232 54914 33554432000 4194304 4196468 140728047876144 140728047858688 140666569039607 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 25800704 140728047879151 140728047879322 140728047879322 140728047882191 0
/proc/18581/statm: 3870992 54914 3509 1 0 3832094 0
[pid=18581/tid=18582] ppid=18579 vsize=15483968 memory=81979114523114 CPUtime=0.53 cores=1,3,5,7
/proc/18581/task/18582/stat : 18582 (java) S 18579 18579 15420 0 -1 1077944384 9381 0 0 0 50 3 0 0 20 0 19 0 410400016 15855583232 54914 33554432000 4194304 4196468 140728047876144 140666573280384 140666569049813 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 25800704 140728047879151 140728047879322 140728047879322 140728047882191 0
[pid=18581/tid=18583] ppid=18579 vsize=15483968 memory=81979114523114 CPUtime=0.08 cores=1,3,5,7
/proc/18581/task/18583/stat : 18583 (java) S 18579 18579 15420 0 -1 1077944384 481 0 0 0 7 1 0 0 20 0 19 0 410400017 15855583232 54914 33554432000 4194304 4196468 140728047876144 140666497079824 140666569049813 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 25800704 140728047879151 140728047879322 140728047879322 140728047882191 0
[pid=18581/tid=18584] ppid=18579 vsize=15483968 memory=4126316290023845779 CPUtime=0.08 cores=1,3,5,7
/proc/18581/task/18584/stat : 18584 (java) S 18579 18579 15420 0 -1 1077944384 922 0 0 0 7 1 0 0 20 0 19 0 410400017 15855583232 54914 33554432000 4194304 4196468 140728047876144 140666496027280 140666569049813 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 25800704 140728047879151 140728047879322 140728047879322 140728047882191 0
[pid=18581/tid=18585] ppid=18579 vsize=15483968 memory=6 CPUtime=0.08 cores=1,3,5,7
/proc/18581/task/18585/stat : 18585 (java) S 18579 18579 15420 0 -1 1077944384 398 0 0 0 6 2 0 0 20 0 19 0 410400017 15855583232 54914 33554432000 4194304 4196468 140728047876144 140666494974224 140666569049813 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 25800704 140728047879151 140728047879322 140728047879322 140728047882191 0
[pid=18581/tid=18586] ppid=18579 vsize=15483968 memory=6 CPUtime=0.08 cores=1,3,5,7
/proc/18581/task/18586/stat : 18586 (java) S 18579 18579 15420 0 -1 1077944384 1910 0 0 0 6 2 0 0 20 0 19 0 410400017 15855583232 54914 33554432000 4194304 4196468 140728047876144 140666493921680 140666569049813 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 25800704 140728047879151 140728047879322 140728047879322 140728047882191 0
[pid=18581/tid=18587] ppid=18579 vsize=15483968 memory=7 CPUtime=0.09 cores=1,3,5,7
/proc/18581/task/18587/stat : 18587 (java) S 18579 18579 15420 0 -1 1077944384 1347 0 0 0 7 2 0 0 20 0 19 0 410400018 15855583232 54914 33554432000 4194304 4196468 140728047876144 140666037598960 140666569050754 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 25800704 140728047879151 140728047879322 140728047879322 140728047882191 0
[pid=18581/tid=18588] ppid=18579 vsize=15483968 memory=0 CPUtime=0 cores=1,3,5,7
/proc/18581/task/18588/stat : 18588 (java) S 18579 18579 15420 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 19 0 410400019 15855583232 54914 33554432000 4194304 4196468 140728047876144 140666036545248 140666569049813 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 25800704 140728047879151 140728047879322 140728047879322 140728047882191 0
[pid=18581/tid=18589] ppid=18579 vsize=15483968 memory=0 CPUtime=0 cores=1,3,5,7
/proc/18581/task/18589/stat : 18589 (java) S 18579 18579 15420 0 -1 1077944384 23 0 0 0 0 0 0 0 20 0 19 0 410400019 15855583232 54914 33554432000 4194304 4196468 140728047876144 140666035492096 140666569049813 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 25800704 140728047879151 140728047879322 140728047879322 140728047882191 0
[pid=18581/tid=18590] ppid=18579 vsize=15483968 memory=0 CPUtime=0 cores=1,3,5,7
/proc/18581/task/18590/stat : 18590 (java) S 18579 18579 15420 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 410400021 15855583232 54914 33554432000 4194304 4196468 140728047876144 140666034440656 140666569058203 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 25800704 140728047879151 140728047879322 140728047879322 140728047882191 0
[pid=18581/tid=18591] ppid=18579 vsize=15483968 memory=771 CPUtime=1.34 cores=1,3,5,7
/proc/18581/task/18591/stat : 18591 (java) S 18579 18579 15420 0 -1 1077944384 8058 0 0 0 133 1 0 0 20 0 19 0 410400021 15855583232 54914 33554432000 4194304 4196468 140728047876144 140666033387760 140666569050754 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 25800704 140728047879151 140728047879322 140728047879322 140728047882191 0
[pid=18581/tid=18592] ppid=18579 vsize=15483968 memory=0 CPUtime=1.16 cores=1,3,5,7
/proc/18581/task/18592/stat : 18592 (java) S 18579 18579 15420 0 -1 1077944384 5484 0 0 0 115 1 0 0 20 0 19 0 410400021 15855583232 54914 33554432000 4194304 4196468 140728047876144 140666032335216 140666569050754 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 25800704 140728047879151 140728047879322 140728047879322 140728047882191 0
[pid=18581/tid=18593] ppid=18579 vsize=15483968 memory=177905 CPUtime=0.5 cores=1,3,5,7
/proc/18581/task/18593/stat : 18593 (java) S 18579 18579 15420 0 -1 1077944384 4198 0 0 0 49 1 0 0 20 0 19 0 410400021 15855583232 54914 33554432000 4194304 4196468 140728047876144 140666031282160 140666569050754 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 25800704 140728047879151 140728047879322 140728047879322 140728047882191 0
[pid=18581/tid=18594] ppid=18579 vsize=15483968 memory=0 CPUtime=0 cores=1,3,5,7
/proc/18581/task/18594/stat : 18594 (java) S 18579 18579 15420 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 410400021 15855583232 54914 33554432000 4194304 4196468 140728047876144 140666030229856 140666569049813 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 25800704 140728047879151 140728047879322 140728047879322 140728047882191 0
[pid=18581/tid=18595] ppid=18579 vsize=15483968 memory=65 CPUtime=0.01 cores=1,3,5,7
/proc/18581/task/18595/stat : 18595 (java) S 18579 18579 15420 0 -1 1077944384 614 0 0 0 0 1 0 0 20 0 19 0 410400022 15855583232 54914 33554432000 4194304 4196468 140728047876144 140666029177904 140666569050754 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 36 0 0 6293624 6294260 25800704 140728047879151 140728047879322 140728047879322 140728047882191 0
[pid=18581/tid=18668] ppid=18579 vsize=15483968 memory=0 CPUtime=29.12 cores=1,3,5,7
/proc/18581/task/18668/stat : 18668 (java) R 18579 18579 15420 0 -1 4202560 452 0 0 0 2912 0 0 0 20 0 19 0 410400662 15855583232 54914 33554432000 4194304 4196468 140728047876144 140666019966112 140666172575593 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 25800704 140728047879151 140728047879322 140728047879322 140728047882191 0
[pid=18581/tid=18669] ppid=18579 vsize=15483968 memory=13320 CPUtime=28.9 cores=1,3,5,7
/proc/18581/task/18669/stat : 18669 (java) R 18579 18579 15420 0 -1 4202560 1034 0 0 0 2890 0 0 0 20 0 19 0 410400662 15855583232 54914 33554432000 4194304 4196468 140728047876144 140665353648864 140666173495540 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 25800704 140728047879151 140728047879322 140728047879322 140728047882191 0
[pid=18581/tid=18670] ppid=18579 vsize=15483968 memory=29727 CPUtime=29.08 cores=1,3,5,7
/proc/18581/task/18670/stat : 18670 (java) R 18579 18579 15420 0 -1 4202560 260 0 0 0 2908 0 0 0 20 0 19 0 410400662 15855583232 54914 33554432000 4194304 4196468 140728047876144 140665354699656 140666173998037 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 25800704 140728047879151 140728047879322 140728047879322 140728047882191 0
[pid=18581/tid=18671] ppid=18579 vsize=15483968 memory=53 CPUtime=28.92 cores=1,3,5,7
/proc/18581/task/18671/stat : 18671 (java) R 18579 18579 15420 0 -1 4202560 3596 0 0 0 2891 1 0 0 20 0 19 0 410400662 15855583232 54914 33554432000 4194304 4196468 140728047876144 140666018914824 140666172647824 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 25800704 140728047879151 140728047879322 140728047879322 140728047882191 0
Current children cumulated CPU time: 141.14 s
Current children cumulated vsize: 15597096 KiB
Current children cumulated memory: 221104 KiB
[startup+36.8013 s]
/proc/loadavg: 8.60 8.41 6.71 9/238 18674
/proc/meminfo: memFree=29112192/32770624 swapFree=66999980/67108860
[pid=18579] ppid=18576 vsize=113128 memory=1448 CPUtime=0 cores=1,3,5,7
/proc/18579/stat : 18579 (xcsp3-exec) S 18576 18579 15420 0 -1 4202496 544 0 0 0 0 0 0 0 20 0 1 0 410400016 115843072 362 33554432000 4194304 5098028 140735831425840 140735831423944 139919318512252 0 65536 4100 65538 18446744071579417331 0 0 17 5 0 0 0 0 0 7196144 7232144 19648512 140735831434106 140735831434349 140735831434349 140735831437258 0
/proc/18579/statm: 28282 362 304 221 0 87 0
[pid=18581] ppid=18579 vsize=15483968 memory=227872 CPUtime=144.24 cores=1,3,5,7
/proc/18581/stat : 18581 (java) S 18579 18579 15420 0 -1 1077944320 41639 0 0 0 14404 20 0 0 20 0 19 0 410400016 15855583232 56968 33554432000 4194304 4196468 140728047876144 140728047858688 140666569039607 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 25800704 140728047879151 140728047879322 140728047879322 140728047882191 0
/proc/18581/statm: 3870992 56968 3509 1 0 3832094 0
[pid=18581/tid=18582] ppid=18579 vsize=15483968 memory=0 CPUtime=0.53 cores=1,3,5,7
/proc/18581/task/18582/stat : 18582 (java) S 18579 18579 15420 0 -1 1077944384 9381 0 0 0 50 3 0 0 20 0 19 0 410400016 15855583232 56968 33554432000 4194304 4196468 140728047876144 140666573280384 140666569049813 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 25800704 140728047879151 140728047879322 140728047879322 140728047882191 0
[pid=18581/tid=18583] ppid=18579 vsize=15483968 memory=0 CPUtime=0.09 cores=1,3,5,7
/proc/18581/task/18583/stat : 18583 (java) S 18579 18579 15420 0 -1 1077944384 486 0 0 0 7 2 0 0 20 0 19 0 410400017 15855583232 56968 33554432000 4194304 4196468 140728047876144 140666497079824 140666569049813 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 25800704 140728047879151 140728047879322 140728047879322 140728047882191 0
[pid=18581/tid=18584] ppid=18579 vsize=15483968 memory=1448 CPUtime=0.08 cores=1,3,5,7
/proc/18581/task/18584/stat : 18584 (java) S 18579 18579 15420 0 -1 1077944384 922 0 0 0 7 1 0 0 20 0 19 0 410400017 15855583232 56968 33554432000 4194304 4196468 140728047876144 140666496027280 140666569049813 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 25800704 140728047879151 140728047879322 140728047879322 140728047882191 0
[pid=18581/tid=18585] ppid=18579 vsize=15483968 memory=1448 CPUtime=0.09 cores=1,3,5,7
/proc/18581/task/18585/stat : 18585 (java) S 18579 18579 15420 0 -1 1077944384 400 0 0 0 7 2 0 0 20 0 19 0 410400017 15855583232 56968 33554432000 4194304 4196468 140728047876144 140666494974224 140666569049813 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 25800704 140728047879151 140728047879322 140728047879322 140728047882191 0
[pid=18581/tid=18586] ppid=18579 vsize=15483968 memory=219656 CPUtime=0.09 cores=1,3,5,7
/proc/18581/task/18586/stat : 18586 (java) S 18579 18579 15420 0 -1 1077944384 1912 0 0 0 7 2 0 0 20 0 19 0 410400017 15855583232 56968 33554432000 4194304 4196468 140728047876144 140666493921680 140666569049813 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 25800704 140728047879151 140728047879322 140728047879322 140728047882191 0
[pid=18581/tid=18587] ppid=18579 vsize=15483968 memory=2612 CPUtime=0.1 cores=1,3,5,7
/proc/18581/task/18587/stat : 18587 (java) S 18579 18579 15420 0 -1 1077944384 1360 0 0 0 8 2 0 0 20 0 19 0 410400018 15855583232 56968 33554432000 4194304 4196468 140728047876144 140666037598960 140666569050754 0 0 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 25800704 140728047879151 140728047879322 140728047879322 140728047882191 0
[pid=18581/tid=18588] ppid=18579 vsize=15483968 memory=0 CPUtime=0 cores=1,3,5,7
/proc/18581/task/18588/stat : 18588 (java) S 18579 18579 15420 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 19 0 410400019 15855583232 56968 33554432000 4194304 4196468 140728047876144 140666036545248 140666569049813 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 25800704 140728047879151 140728047879322 140728047879322 140728047882191 0
[pid=18581/tid=18589] ppid=18579 vsize=15483968 memory=0 CPUtime=0 cores=1,3,5,7
/proc/18581/task/18589/stat : 18589 (java) S 18579 18579 15420 0 -1 1077944384 23 0 0 0 0 0 0 0 20 0 19 0 410400019 15855583232 56968 33554432000 4194304 4196468 140728047876144 140666035492096 140666569049813 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 25800704 140728047879151 140728047879322 140728047879322 140728047882191 0
[pid=18581/tid=18590] ppid=18579 vsize=15483968 memory=0 CPUtime=0 cores=1,3,5,7
/proc/18581/task/18590/stat : 18590 (java) S 18579 18579 15420 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 410400021 15855583232 56968 33554432000 4194304 4196468 140728047876144 140666034440656 140666569058203 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 25800704 140728047879151 140728047879322 140728047879322 140728047882191 0
[pid=18581/tid=18591] ppid=18579 vsize=15483968 memory=0 CPUtime=1.34 cores=1,3,5,7
/proc/18581/task/18591/stat : 18591 (java) S 18579 18579 15420 0 -1 1077944384 8058 0 0 0 133 1 0 0 20 0 19 0 410400021 15855583232 56968 33554432000 4194304 4196468 140728047876144 140666033387760 140666569050754 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 25800704 140728047879151 140728047879322 140728047879322 140728047882191 0
[pid=18581/tid=18592] ppid=18579 vsize=15483968 memory=0 CPUtime=1.16 cores=1,3,5,7
/proc/18581/task/18592/stat : 18592 (java) S 18579 18579 15420 0 -1 1077944384 5484 0 0 0 115 1 0 0 20 0 19 0 410400021 15855583232 56968 33554432000 4194304 4196468 140728047876144 140666032335216 140666569050754 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 25800704 140728047879151 140728047879322 140728047879322 140728047882191 0
[pid=18581/tid=18593] ppid=18579 vsize=15483968 memory=11089 CPUtime=0.5 cores=1,3,5,7
/proc/18581/task/18593/stat : 18593 (java) S 18579 18579 15420 0 -1 1077944384 4198 0 0 0 49 1 0 0 20 0 19 0 410400021 15855583232 56968 33554432000 4194304 4196468 140728047876144 140666031282160 140666569050754 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 25800704 140728047879151 140728047879322 140728047879322 140728047882191 0
[pid=18581/tid=18594] ppid=18579 vsize=15483968 memory=4420 CPUtime=0 cores=1,3,5,7
/proc/18581/task/18594/stat : 18594 (java) S 18579 18579 15420 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 410400021 15855583232 56968 33554432000 4194304 4196468 140728047876144 140666030229856 140666569049813 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 25800704 140728047879151 140728047879322 140728047879322 140728047882191 0
[pid=18581/tid=18595] ppid=18579 vsize=15483968 memory=6628 CPUtime=0.01 cores=1,3,5,7
/proc/18581/task/18595/stat : 18595 (java) S 18579 18579 15420 0 -1 1077944384 614 0 0 0 0 1 0 0 20 0 19 0 410400022 15855583232 56968 33554432000 4194304 4196468 140728047876144 140666029177904 140666569050754 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 36 0 0 6293624 6294260 25800704 140728047879151 140728047879322 140728047879322 140728047882191 0
[pid=18581/tid=18668] ppid=18579 vsize=15483968 memory=8836 CPUtime=29.89 cores=1,3,5,7
/proc/18581/task/18668/stat : 18668 (java) R 18579 18579 15420 0 -1 4202560 453 0 0 0 2989 0 0 0 20 0 19 0 410400662 15855583232 56968 33554432000 4194304 4196468 140728047876144 140666019967016 140728048535784 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 25800704 140728047879151 140728047879322 140728047879322 140728047882191 0
[pid=18581/tid=18669] ppid=18579 vsize=15483968 memory=11044 CPUtime=29.68 cores=1,3,5,7
/proc/18581/task/18669/stat : 18669 (java) R 18579 18579 15420 0 -1 4202560 1038 0 0 0 2968 0 0 0 20 0 19 0 410400662 15855583232 56968 33554432000 4194304 4196468 140728047876144 140665353649696 140666173918682 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 25800704 140728047879151 140728047879322 140728047879322 140728047882191 0
[pid=18581/tid=18670] ppid=18579 vsize=15483968 memory=1448 CPUtime=29.85 cores=1,3,5,7
/proc/18581/task/18670/stat : 18670 (java) R 18579 18579 15420 0 -1 4202560 263 0 0 0 2985 0 0 0 20 0 19 0 410400662 15855583232 56968 33554432000 4194304 4196468 140728047876144 140665354698752 140666173661692 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 25800704 140728047879151 140728047879322 140728047879322 140728047882191 0
[pid=18581/tid=18671] ppid=18579 vsize=15483968 memory=219656 CPUtime=29.68 cores=1,3,5,7
/proc/18581/task/18671/stat : 18671 (java) R 18579 18579 15420 0 -1 4202560 3600 0 0 0 2967 1 0 0 20 0 19 0 410400662 15855583232 56968 33554432000 4194304 4196468 140728047876144 140666018917112 140666174063997 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 25800704 140728047879151 140728047879322 140728047879322 140728047882191 0
Current children cumulated CPU time: 144.24 s
Current children cumulated vsize: 15597096 KiB
Current children cumulated memory: 229320 KiB
[startup+37.2013 s]
/proc/loadavg: 8.60 8.41 6.71 9/238 18674
/proc/meminfo: memFree=29077252/32770624 swapFree=66999980/67108860
[pid=18579] ppid=18576 vsize=113128 memory=1448 CPUtime=0 cores=1,3,5,7
/proc/18579/stat : 18579 (xcsp3-exec) S 18576 18579 15420 0 -1 4202496 544 0 0 0 0 0 0 0 20 0 1 0 410400016 115843072 362 33554432000 4194304 5098028 140735831425840 140735831423944 139919318512252 0 65536 4100 65538 18446744071579417331 0 0 17 5 0 0 0 0 0 7196144 7232144 19648512 140735831434106 140735831434349 140735831434349 140735831437258 0
/proc/18579/statm: 28282 362 304 221 0 87 0
[pid=18581] ppid=18579 vsize=15483968 memory=254656 CPUtime=145.82 cores=1,3,5,7
/proc/18581/stat : 18581 (java) S 18579 18579 15420 0 -1 1077944320 41719 0 0 0 14561 21 0 0 20 0 19 0 410400016 15855583232 63664 33554432000 4194304 4196468 140728047876144 140728047858688 140666569039607 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 25800704 140728047879151 140728047879322 140728047879322 140728047882191 0
/proc/18581/statm: 3870992 63664 3509 1 0 3832094 0
[pid=18581/tid=18582] ppid=18579 vsize=15483968 memory=16106965717748363 CPUtime=0.53 cores=1,3,5,7
/proc/18581/task/18582/stat : 18582 (java) S 18579 18579 15420 0 -1 1077944384 9381 0 0 0 50 3 0 0 20 0 19 0 410400016 15855583232 63664 33554432000 4194304 4196468 140728047876144 140666573280384 140666569049813 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 25800704 140728047879151 140728047879322 140728047879322 140728047882191 0
[pid=18581/tid=18583] ppid=18579 vsize=15483968 memory=217520 CPUtime=0.09 cores=1,3,5,7
/proc/18581/task/18583/stat : 18583 (java) S 18579 18579 15420 0 -1 1077944384 491 0 0 0 7 2 0 0 20 0 19 0 410400017 15855583232 63664 33554432000 4194304 4196468 140728047876144 140666497079824 140666569049813 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 25800704 140728047879151 140728047879322 140728047879322 140728047882191 0
[pid=18581/tid=18584] ppid=18579 vsize=15483968 memory=1056 CPUtime=0.09 cores=1,3,5,7
/proc/18581/task/18584/stat : 18584 (java) S 18579 18579 15420 0 -1 1077944384 929 0 0 0 8 1 0 0 20 0 19 0 410400017 15855583232 63664 33554432000 4194304 4196468 140728047876144 140666496027280 140666569049813 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 25800704 140728047879151 140728047879322 140728047879322 140728047882191 0
[pid=18581/tid=18585] ppid=18579 vsize=15483968 memory=964 CPUtime=0.09 cores=1,3,5,7
/proc/18581/task/18585/stat : 18585 (java) S 18579 18579 15420 0 -1 1077944384 408 0 0 0 7 2 0 0 20 0 19 0 410400017 15855583232 63664 33554432000 4194304 4196468 140728047876144 140666494974224 140666569049813 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 25800704 140728047879151 140728047879322 140728047879322 140728047882191 0
[pid=18581/tid=18586] ppid=18579 vsize=15483968 memory=288230574492221466 CPUtime=0.09 cores=1,3,5,7
/proc/18581/task/18586/stat : 18586 (java) S 18579 18579 15420 0 -1 1077944384 1921 0 0 0 7 2 0 0 20 0 19 0 410400017 15855583232 63664 33554432000 4194304 4196468 140728047876144 140666493921680 140666569049813 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 25800704 140728047879151 140728047879322 140728047879322 140728047882191 0
[pid=18581/tid=18587] ppid=18579 vsize=15483968 memory=288230596050944315 CPUtime=0.1 cores=1,3,5,7
/proc/18581/task/18587/stat : 18587 (java) S 18579 18579 15420 0 -1 1077944384 1376 0 0 0 8 2 0 0 20 0 19 0 410400018 15855583232 63664 33554432000 4194304 4196468 140728047876144 140666037598960 140666569050754 0 0 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 25800704 140728047879151 140728047879322 140728047879322 140728047882191 0
[pid=18581/tid=18588] ppid=18579 vsize=15483968 memory=16106965717748363 CPUtime=0 cores=1,3,5,7
/proc/18581/task/18588/stat : 18588 (java) S 18579 18579 15420 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 19 0 410400019 15855583232 63664 33554432000 4194304 4196468 140728047876144 140666036545248 140666569049813 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 25800704 140728047879151 140728047879322 140728047879322 140728047882191 0
[pid=18581/tid=18589] ppid=18579 vsize=15483968 memory=1440 CPUtime=0 cores=1,3,5,7
/proc/18581/task/18589/stat : 18589 (java) S 18579 18579 15420 0 -1 1077944384 23 0 0 0 0 0 0 0 20 0 19 0 410400019 15855583232 63664 33554432000 4194304 4196468 140728047876144 140666035492096 140666569049813 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 25800704 140728047879151 140728047879322 140728047879322 140728047882191 0
[pid=18581/tid=18590] ppid=18579 vsize=15483968 memory=1768 CPUtime=0 cores=1,3,5,7
/proc/18581/task/18590/stat : 18590 (java) S 18579 18579 15420 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 410400021 15855583232 63664 33554432000 4194304 4196468 140728047876144 140666034440656 140666569058203 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 25800704 140728047879151 140728047879322 140728047879322 140728047882191 0
[pid=18581/tid=18591] ppid=18579 vsize=15483968 memory=111636 CPUtime=1.34 cores=1,3,5,7
/proc/18581/task/18591/stat : 18591 (java) S 18579 18579 15420 0 -1 1077944384 8058 0 0 0 133 1 0 0 20 0 19 0 410400021 15855583232 63664 33554432000 4194304 4196468 140728047876144 140666033387760 140666569050754 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 25800704 140728047879151 140728047879322 140728047879322 140728047882191 0
[pid=18581/tid=18592] ppid=18579 vsize=15483968 memory=808 CPUtime=1.16 cores=1,3,5,7
/proc/18581/task/18592/stat : 18592 (java) S 18579 18579 15420 0 -1 1077944384 5484 0 0 0 115 1 0 0 20 0 19 0 410400021 15855583232 63664 33554432000 4194304 4196468 140728047876144 140666032335216 140666569050754 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 25800704 140728047879151 140728047879322 140728047879322 140728047882191 0
[pid=18581/tid=18593] ppid=18579 vsize=15483968 memory=1808 CPUtime=0.5 cores=1,3,5,7
/proc/18581/task/18593/stat : 18593 (java) S 18579 18579 15420 0 -1 1077944384 4198 0 0 0 49 1 0 0 20 0 19 0 410400021 15855583232 63664 33554432000 4194304 4196468 140728047876144 140666031282160 140666569050754 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 25800704 140728047879151 140728047879322 140728047879322 140728047882191 0
[pid=18581/tid=18594] ppid=18579 vsize=15483968 memory=1448 CPUtime=0 cores=1,3,5,7
/proc/18581/task/18594/stat : 18594 (java) S 18579 18579 15420 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 410400021 15855583232 63664 33554432000 4194304 4196468 140728047876144 140666030229856 140666569049813 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 25800704 140728047879151 140728047879322 140728047879322 140728047882191 0
[pid=18581/tid=18595] ppid=18579 vsize=15483968 memory=219656 CPUtime=0.01 cores=1,3,5,7
/proc/18581/task/18595/stat : 18595 (java) S 18579 18579 15420 0 -1 1077944384 614 0 0 0 0 1 0 0 20 0 19 0 410400022 15855583232 63664 33554432000 4194304 4196468 140728047876144 140666029177904 140666569050754 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 36 0 0 6293624 6294260 25800704 140728047879151 140728047879322 140728047879322 140728047882191 0
[pid=18581/tid=18668] ppid=18579 vsize=15483968 memory=988 CPUtime=30.28 cores=1,3,5,7
/proc/18581/task/18668/stat : 18668 (java) R 18579 18579 15420 0 -1 4202560 456 0 0 0 3028 0 0 0 20 0 19 0 410400662 15855583232 63664 33554432000 4194304 4196468 140728047876144 140666019967016 140666173410870 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 25800704 140728047879151 140728047879322 140728047879322 140728047882191 0
[pid=18581/tid=18669] ppid=18579 vsize=15483968 memory=2012 CPUtime=30.07 cores=1,3,5,7
/proc/18581/task/18669/stat : 18669 (java) R 18579 18579 15420 0 -1 4202560 1040 0 0 0 3007 0 0 0 20 0 19 0 410400662 15855583232 63664 33554432000 4194304 4196468 140728047876144 140665353646208 140666173569183 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 25800704 140728047879151 140728047879322 140728047879322 140728047882191 0
[pid=18581/tid=18670] ppid=18579 vsize=15483968 memory=1240 CPUtime=30.23 cores=1,3,5,7
/proc/18581/task/18670/stat : 18670 (java) R 18579 18579 15420 0 -1 4202560 267 0 0 0 3023 0 0 0 20 0 19 0 410400662 15855583232 63664 33554432000 4194304 4196468 140728047876144 140665354699656 140666173661251 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 25800704 140728047879151 140728047879322 140728047879322 140728047882191 0
[pid=18581/tid=18671] ppid=18579 vsize=15483968 memory=580 CPUtime=30.06 cores=1,3,5,7
/proc/18581/task/18671/stat : 18671 (java) R 18579 18579 15420 0 -1 4202560 3626 0 0 0 3005 1 0 0 20 0 19 0 410400662 15855583232 63664 33554432000 4194304 4196468 140728047876144 140666018916944 140666172840813 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 25800704 140728047879151 140728047879322 140728047879322 140728047882191 0
Current children cumulated CPU time: 145.82 s
Current children cumulated vsize: 15597096 KiB
Current children cumulated memory: 256104 KiB
Child status: 0
Real time (s): 37.2126
CPU time (s): 145.85
CPU user time (s): 145.629
CPU system time (s): 0.221038
CPU usage (%): 391.938
Max. virtual memory (cumulated for all children) (KiB): 15597096
Max. memory (cumulated for all children) (KiB): 256104
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 145.629
system time used= 0.221038
maximum resident set size= 255024
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 43136
page faults= 0
swaps= 0
block input operations= 0
block output operations= 152
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 7081
involuntary context switches= 3536
# summary of solver processes directly reported to runsolver:
# pid: 18579
# total CPU time (s): 145.85
# total CPU user time (s): 145.629
# total CPU system time (s): 0.221038
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 0.267797 second user time and 0.46256 second system time
The end