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 (3622 MiB free)
memory of node 1: 16384 MiB (14308 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4393361-1568317490/watcher-4393361-1568317490 -o /tmp/evaluation-result-4393361-1568317490/solver-4393361-1568317490 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node106-1568309633-14094 --watchdog 2580 xcsp3-exec -dir HOME -tl 2520 -p 4 -ml 12000 -tdir HOME -seed 2063070543 HOME/instance-4393361-1568317490.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=18528, runsolver pid=18525
Current StackSize limit: 8192 KiB
[startup+0.101556 s]*
/proc/loadavg: 8.33 8.00 8.11 6/229 18544
/proc/meminfo: memFree=18343900/32770624 swapFree=66996244/67108860
[pid=18528] ppid=18525 vsize=113128 memory=1452 CPUtime=0 cores=1,3,5,7
/proc/18528/stat : 18528 (xcsp3-exec) S 18525 18528 14062 0 -1 4202496 545 0 0 0 0 0 0 0 20 0 1 0 408003669 115843072 363 33554432000 4194304 5098028 140733297342560 140733297340664 140010836750972 0 65536 4100 65538 18446744071579417331 0 0 17 7 0 0 0 0 0 7196144 7232144 39772160 140733297345402 140733297345645 140733297345645 140733297348554 0
/proc/18528/statm: 28282 363 304 221 0 87 0
[pid=18530] ppid=18528 vsize=15144768 memory=30304 CPUtime=0.13 cores=1,3,5,7
/proc/18530/stat : 18530 (java) S 18528 18528 14062 0 -1 1077944320 5514 0 0 0 12 1 0 0 20 0 15 0 408003669 15508242432 7576 33554432000 4194304 4196468 140730561984688 140730561967232 140608681443063 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 28286976 140730561991663 140730561991834 140730561991834 140730561994703 0
/proc/18530/statm: 3786192 7576 3151 1 0 3748377 0
[pid=18530/tid=18531] ppid=18528 vsize=15144768 memory=-2698087569006908830 CPUtime=0.09 cores=1,3,5,7
/proc/18530/task/18531/stat : 18531 (java) R 18528 18528 14062 0 -1 4202560 3391 0 0 0 8 1 0 0 20 0 15 0 408003669 15508242432 7576 33554432000 4194304 4196468 140730561984688 140608685673280 140608665994943 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 28286976 140730561991663 140730561991834 140730561991834 140730561994703 0
[pid=18530/tid=18532] ppid=18528 vsize=15144768 memory=-3689349214911541841 CPUtime=0 cores=1,3,5,7
/proc/18530/task/18532/stat : 18532 (java) S 18528 18528 14062 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 408003670 15508242432 7576 33554432000 4194304 4196468 140730561984688 140608273460112 140608681453269 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 28286976 140730561991663 140730561991834 140730561991834 140730561994703 0
[pid=18530/tid=18533] ppid=18528 vsize=15144768 memory=140337695917696 CPUtime=0 cores=1,3,5,7
/proc/18530/task/18533/stat : 18533 (java) S 18528 18528 14062 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 408003670 15508242432 7576 33554432000 4194304 4196468 140730561984688 140608272407312 140608681453269 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 28286976 140730561991663 140730561991834 140730561991834 140730561994703 0
[pid=18530/tid=18534] ppid=18528 vsize=15144768 memory=0 CPUtime=0 cores=1,3,5,7
/proc/18530/task/18534/stat : 18534 (java) S 18528 18528 14062 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 408003670 15508242432 7576 33554432000 4194304 4196468 140730561984688 140608271355024 140608681453269 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 28286976 140730561991663 140730561991834 140730561991834 140730561994703 0
[pid=18530/tid=18535] ppid=18528 vsize=15144768 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/18530/task/18535/stat : 18535 (java) S 18528 18528 14062 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 408003670 15508242432 7576 33554432000 4194304 4196468 140730561984688 140608270302224 140608681453269 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 28286976 140730561991663 140730561991834 140730561991834 140730561994703 0
[pid=18530/tid=18536] ppid=18528 vsize=15144768 memory=140337695917696 CPUtime=0 cores=1,3,5,7
/proc/18530/task/18536/stat : 18536 (java) S 18528 18528 14062 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 408003671 15508242432 7576 33554432000 4194304 4196468 140730561984688 140608015382640 140608681454210 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 28286976 140730561991663 140730561991834 140730561991834 140730561994703 0
[pid=18530/tid=18537] ppid=18528 vsize=15144768 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/18530/task/18537/stat : 18537 (java) S 18528 18528 14062 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 408003672 15508242432 7576 33554432000 4194304 4196468 140730561984688 140608014328608 140608681453269 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 28286976 140730561991663 140730561991834 140730561991834 140730561994703 0
[pid=18530/tid=18538] ppid=18528 vsize=15144768 memory=0 CPUtime=0 cores=1,3,5,7
/proc/18530/task/18538/stat : 18538 (java) S 18528 18528 14062 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 408003672 15508242432 7576 33554432000 4194304 4196468 140730561984688 140608013276272 140608681453269 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 28286976 140730561991663 140730561991834 140730561991834 140730561994703 0
[pid=18530/tid=18539] ppid=18528 vsize=15144768 memory=0 CPUtime=0 cores=1,3,5,7
/proc/18530/task/18539/stat : 18539 (java) S 18528 18528 14062 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 408003674 15508242432 7576 33554432000 4194304 4196468 140730561984688 140608012224592 140608681461659 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 28286976 140730561991663 140730561991834 140730561991834 140730561994703 0
[pid=18530/tid=18540] ppid=18528 vsize=15144768 memory=0 CPUtime=0 cores=1,3,5,7
/proc/18530/task/18540/stat : 18540 (java) R 18528 18528 14062 0 -1 4202560 335 0 0 0 0 0 0 0 20 0 15 0 408003674 15508242432 7576 33554432000 4194304 4196468 140730561984688 140608011172464 140608666353004 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 28286976 140730561991663 140730561991834 140730561991834 140730561994703 0
[pid=18530/tid=18541] ppid=18528 vsize=15144768 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/18530/task/18541/stat : 18541 (java) R 18528 18528 14062 0 -1 1077944384 123 0 0 0 0 0 0 0 20 0 15 0 408003674 15508242432 7576 33554432000 4194304 4196468 140730561984688 140608010119664 140608681454210 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 28286976 140730561991663 140730561991834 140730561991834 140730561994703 0
[pid=18530/tid=18542] ppid=18528 vsize=15144768 memory=140337695917696 CPUtime=0.02 cores=1,3,5,7
/proc/18530/task/18542/stat : 18542 (java) R 18528 18528 14062 0 -1 4202560 361 0 0 0 2 0 0 0 20 0 15 0 408003674 15508242432 7576 33554432000 4194304 4196468 140730561984688 140608009067376 140608665635854 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 28286976 140730561991663 140730561991834 140730561991834 140730561994703 0
[pid=18530/tid=18543] ppid=18528 vsize=15144768 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/18530/task/18543/stat : 18543 (java) S 18528 18528 14062 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 408003674 15508242432 7576 33554432000 4194304 4196468 140730561984688 140608008014816 140608681453269 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 28286976 140730561991663 140730561991834 140730561991834 140730561994703 0
[pid=18530/tid=18544] ppid=18528 vsize=15144768 memory=140337695917696 CPUtime=0 cores=1,3,5,7
/proc/18530/task/18544/stat : 18544 (java) S 18528 18528 14062 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 408003675 15508242432 7576 33554432000 4194304 4196468 140730561984688 140608006961584 140608681454210 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 28286976 140730561991663 140730561991834 140730561991834 140730561994703 0
Current children cumulated CPU time: 0.13 s
Current children cumulated vsize: 15257896 KiB
Current children cumulated memory: 31756 KiB
[startup+0.210696 s]*
/proc/loadavg: 8.33 8.00 8.11 8/229 18544
/proc/meminfo: memFree=18331168/32770624 swapFree=66996244/67108860
[pid=18528] ppid=18525 vsize=113128 memory=1452 CPUtime=0 cores=1,3,5,7
/proc/18528/stat : 18528 (xcsp3-exec) S 18525 18528 14062 0 -1 4202496 545 0 0 0 0 0 0 0 20 0 1 0 408003669 115843072 363 33554432000 4194304 5098028 140733297342560 140733297340664 140010836750972 0 65536 4100 65538 18446744071579417331 0 0 17 7 0 0 0 0 0 7196144 7232144 39772160 140733297345402 140733297345645 140733297345645 140733297348554 0
/proc/18528/statm: 28282 363 304 221 0 87 0
[pid=18530] ppid=18528 vsize=15144768 memory=41352 CPUtime=0.34 cores=1,3,5,7
/proc/18530/stat : 18530 (java) S 18528 18528 14062 0 -1 1077944320 9031 0 0 0 31 3 0 0 20 0 15 0 408003669 15508242432 10338 33554432000 4194304 4196468 140730561984688 140730561967232 140608681443063 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 28286976 140730561991663 140730561991834 140730561991834 140730561994703 0
/proc/18530/statm: 3786192 10338 3279 1 0 3748377 0
[pid=18530/tid=18531] ppid=18528 vsize=15144768 memory=7883960649037381690 CPUtime=0.2 cores=1,3,5,7
/proc/18530/task/18531/stat : 18531 (java) R 18528 18528 14062 0 -1 4202560 6190 0 0 0 18 2 0 0 20 0 15 0 408003669 15508242432 10338 33554432000 4194304 4196468 140730561984688 140608685678048 140608681464989 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 28286976 140730561991663 140730561991834 140730561991834 140730561994703 0
[pid=18530/tid=18532] ppid=18528 vsize=15144768 memory=2670165 CPUtime=0 cores=1,3,5,7
/proc/18530/task/18532/stat : 18532 (java) S 18528 18528 14062 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 408003670 15508242432 10338 33554432000 4194304 4196468 140730561984688 140608273460112 140608681453269 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 28286976 140730561991663 140730561991834 140730561991834 140730561994703 0
[pid=18530/tid=18533] ppid=18528 vsize=15144768 memory=2854506 CPUtime=0 cores=1,3,5,7
/proc/18530/task/18533/stat : 18533 (java) S 18528 18528 14062 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 408003670 15508242432 10338 33554432000 4194304 4196468 140730561984688 140608272407312 140608681453269 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 28286976 140730561991663 140730561991834 140730561991834 140730561994703 0
[pid=18530/tid=18534] ppid=18528 vsize=15144768 memory=0 CPUtime=0 cores=1,3,5,7
/proc/18530/task/18534/stat : 18534 (java) S 18528 18528 14062 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 408003670 15508242432 10338 33554432000 4194304 4196468 140730561984688 140608271355024 140608681453269 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 28286976 140730561991663 140730561991834 140730561991834 140730561994703 0
[pid=18530/tid=18535] ppid=18528 vsize=15144768 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/18530/task/18535/stat : 18535 (java) S 18528 18528 14062 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 408003670 15508242432 10338 33554432000 4194304 4196468 140730561984688 140608270302224 140608681453269 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 28286976 140730561991663 140730561991834 140730561991834 140730561994703 0
[pid=18530/tid=18536] ppid=18528 vsize=15144768 memory=0 CPUtime=0 cores=1,3,5,7
/proc/18530/task/18536/stat : 18536 (java) S 18528 18528 14062 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 408003671 15508242432 10338 33554432000 4194304 4196468 140730561984688 140608015382640 140608681454210 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 28286976 140730561991663 140730561991834 140730561991834 140730561994703 0
[pid=18530/tid=18537] ppid=18528 vsize=15144768 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/18530/task/18537/stat : 18537 (java) S 18528 18528 14062 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 408003672 15508242432 10338 33554432000 4194304 4196468 140730561984688 140608014328608 140608681453269 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 28286976 140730561991663 140730561991834 140730561991834 140730561994703 0
[pid=18530/tid=18538] ppid=18528 vsize=15144768 memory=140337695917696 CPUtime=0 cores=1,3,5,7
/proc/18530/task/18538/stat : 18538 (java) S 18528 18528 14062 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 408003672 15508242432 10338 33554432000 4194304 4196468 140730561984688 140608013276272 140608681453269 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 28286976 140730561991663 140730561991834 140730561991834 140730561994703 0
[pid=18530/tid=18539] ppid=18528 vsize=15144768 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/18530/task/18539/stat : 18539 (java) S 18528 18528 14062 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 408003674 15508242432 10338 33554432000 4194304 4196468 140730561984688 140608012224592 140608681461659 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 28286976 140730561991663 140730561991834 140730561991834 140730561994703 0
[pid=18530/tid=18540] ppid=18528 vsize=15144768 memory=0 CPUtime=0.03 cores=1,3,5,7
/proc/18530/task/18540/stat : 18540 (java) S 18528 18528 14062 0 -1 1077944384 438 0 0 0 3 0 0 0 20 0 15 0 408003674 15508242432 10338 33554432000 4194304 4196468 140730561984688 140608011172464 140608681454210 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 28286976 140730561991663 140730561991834 140730561991834 140730561994703 0
[pid=18530/tid=18541] ppid=18528 vsize=15144768 memory=-1 CPUtime=0.01 cores=1,3,5,7
/proc/18530/task/18541/stat : 18541 (java) S 18528 18528 14062 0 -1 1077944384 348 0 0 0 1 0 0 0 20 0 15 0 408003674 15508242432 10338 33554432000 4194304 4196468 140730561984688 140608010119664 140608681454210 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 28286976 140730561991663 140730561991834 140730561991834 140730561994703 0
[pid=18530/tid=18542] ppid=18528 vsize=15144768 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/18530/task/18542/stat : 18542 (java) R 18528 18528 14062 0 -1 4202560 748 0 0 0 8 0 0 0 20 0 15 0 408003674 15508242432 10338 33554432000 4194304 4196468 140730561984688 140608009067376 140608681464410 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 28286976 140730561991663 140730561991834 140730561991834 140730561994703 0
[pid=18530/tid=18543] ppid=18528 vsize=15144768 memory=0 CPUtime=0 cores=1,3,5,7
/proc/18530/task/18543/stat : 18543 (java) S 18528 18528 14062 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 408003674 15508242432 10338 33554432000 4194304 4196468 140730561984688 140608008014816 140608681453269 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 28286976 140730561991663 140730561991834 140730561991834 140730561994703 0
[pid=18530/tid=18544] ppid=18528 vsize=15144768 memory=0 CPUtime=0 cores=1,3,5,7
/proc/18530/task/18544/stat : 18544 (java) S 18528 18528 14062 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 408003675 15508242432 10338 33554432000 4194304 4196468 140730561984688 140608006961584 140608681454210 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 28286976 140730561991663 140730561991834 140730561991834 140730561994703 0
Current children cumulated CPU time: 0.34 s
Current children cumulated vsize: 15257896 KiB
Current children cumulated memory: 42804 KiB
[startup+0.316255 s]*
/proc/loadavg: 8.33 8.00 8.11 7/229 18544
/proc/meminfo: memFree=18324608/32770624 swapFree=66996244/67108860
[pid=18528] ppid=18525 vsize=113128 memory=1452 CPUtime=0 cores=1,3,5,7
/proc/18528/stat : 18528 (xcsp3-exec) S 18525 18528 14062 0 -1 4202496 545 0 0 0 0 0 0 0 20 0 1 0 408003669 115843072 363 33554432000 4194304 5098028 140733297342560 140733297340664 140010836750972 0 65536 4100 65538 18446744071579417331 0 0 17 7 0 0 0 0 0 7196144 7232144 39772160 140733297345402 140733297345645 140733297345645 140733297348554 0
/proc/18528/statm: 28282 363 304 221 0 87 0
[pid=18530] ppid=18528 vsize=15149024 memory=50712 CPUtime=0.53 cores=1,3,5,7
/proc/18530/stat : 18530 (java) S 18528 18528 14062 0 -1 1077944320 10481 0 0 0 49 4 0 0 20 0 15 0 408003669 15512600576 12678 33554432000 4194304 4196468 140730561984688 140730561967232 140608681443063 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 28286976 140730561991663 140730561991834 140730561991834 140730561994703 0
/proc/18530/statm: 3787256 12678 3331 1 0 3748377 0
[pid=18530/tid=18531] ppid=18528 vsize=15149024 memory=8389772277269004345 CPUtime=0.3 cores=1,3,5,7
/proc/18530/task/18531/stat : 18531 (java) R 18528 18528 14062 0 -1 4202560 7439 0 0 0 27 3 0 0 20 0 15 0 408003669 15512600576 12678 33554432000 4194304 4196468 140730561984688 140608685679776 140608665523550 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 28286976 140730561991663 140730561991834 140730561991834 140730561994703 0
[pid=18530/tid=18532] ppid=18528 vsize=15149024 memory=0 CPUtime=0 cores=1,3,5,7
/proc/18530/task/18532/stat : 18532 (java) S 18528 18528 14062 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 408003670 15512600576 12678 33554432000 4194304 4196468 140730561984688 140608273460112 140608681453269 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 28286976 140730561991663 140730561991834 140730561991834 140730561994703 0
[pid=18530/tid=18533] ppid=18528 vsize=15149024 memory=2856532 CPUtime=0 cores=1,3,5,7
/proc/18530/task/18533/stat : 18533 (java) S 18528 18528 14062 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 408003670 15512600576 12678 33554432000 4194304 4196468 140730561984688 140608272407312 140608681453269 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 28286976 140730561991663 140730561991834 140730561991834 140730561994703 0
[pid=18530/tid=18534] ppid=18528 vsize=15149024 memory=0 CPUtime=0 cores=1,3,5,7
/proc/18530/task/18534/stat : 18534 (java) S 18528 18528 14062 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 408003670 15512600576 12678 33554432000 4194304 4196468 140730561984688 140608271355024 140608681453269 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 28286976 140730561991663 140730561991834 140730561991834 140730561994703 0
[pid=18530/tid=18535] ppid=18528 vsize=15149024 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/18530/task/18535/stat : 18535 (java) S 18528 18528 14062 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 408003670 15512600576 12678 33554432000 4194304 4196468 140730561984688 140608270302224 140608681453269 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 28286976 140730561991663 140730561991834 140730561991834 140730561994703 0
[pid=18530/tid=18536] ppid=18528 vsize=15149024 memory=140337695917696 CPUtime=0 cores=1,3,5,7
/proc/18530/task/18536/stat : 18536 (java) S 18528 18528 14062 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 408003671 15512600576 12678 33554432000 4194304 4196468 140730561984688 140608015382640 140608681454210 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 28286976 140730561991663 140730561991834 140730561991834 140730561994703 0
[pid=18530/tid=18537] ppid=18528 vsize=15149024 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/18530/task/18537/stat : 18537 (java) S 18528 18528 14062 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 408003672 15512600576 12678 33554432000 4194304 4196468 140730561984688 140608014328608 140608681453269 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 28286976 140730561991663 140730561991834 140730561991834 140730561994703 0
[pid=18530/tid=18538] ppid=18528 vsize=15149024 memory=0 CPUtime=0 cores=1,3,5,7
/proc/18530/task/18538/stat : 18538 (java) S 18528 18528 14062 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 408003672 15512600576 12678 33554432000 4194304 4196468 140730561984688 140608013276272 140608681453269 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 28286976 140730561991663 140730561991834 140730561991834 140730561994703 0
[pid=18530/tid=18539] ppid=18528 vsize=15149024 memory=0 CPUtime=0 cores=1,3,5,7
/proc/18530/task/18539/stat : 18539 (java) S 18528 18528 14062 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 408003674 15512600576 12678 33554432000 4194304 4196468 140730561984688 140608012224592 140608681461659 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 28286976 140730561991663 140730561991834 140730561991834 140730561994703 0
[pid=18530/tid=18540] ppid=18528 vsize=15149024 memory=0 CPUtime=0.04 cores=1,3,5,7
/proc/18530/task/18540/stat : 18540 (java) S 18528 18528 14062 0 -1 1077944384 457 0 0 0 4 0 0 0 20 0 15 0 408003674 15512600576 12678 33554432000 4194304 4196468 140730561984688 140608011172464 140608681454210 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 28286976 140730561991663 140730561991834 140730561991834 140730561994703 0
[pid=18530/tid=18541] ppid=18528 vsize=15149024 memory=-1 CPUtime=0.04 cores=1,3,5,7
/proc/18530/task/18541/stat : 18541 (java) S 18528 18528 14062 0 -1 1077944384 467 0 0 0 4 0 0 0 20 0 15 0 408003674 15512600576 12678 33554432000 4194304 4196468 140730561984688 140608010119664 140608681454210 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 28286976 140730561991663 140730561991834 140730561991834 140730561994703 0
[pid=18530/tid=18542] ppid=18528 vsize=15149024 memory=140337695917696 CPUtime=0.12 cores=1,3,5,7
/proc/18530/task/18542/stat : 18542 (java) S 18528 18528 14062 0 -1 1077944384 815 0 0 0 12 0 0 0 20 0 15 0 408003674 15512600576 12678 33554432000 4194304 4196468 140730561984688 140608009067376 140608681454210 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 28286976 140730561991663 140730561991834 140730561991834 140730561994703 0
[pid=18530/tid=18543] ppid=18528 vsize=15149024 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/18530/task/18543/stat : 18543 (java) S 18528 18528 14062 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 408003674 15512600576 12678 33554432000 4194304 4196468 140730561984688 140608008014816 140608681453269 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 28286976 140730561991663 140730561991834 140730561991834 140730561994703 0
[pid=18530/tid=18544] ppid=18528 vsize=15149024 memory=140337695917696 CPUtime=0 cores=1,3,5,7
/proc/18530/task/18544/stat : 18544 (java) S 18528 18528 14062 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 408003675 15512600576 12678 33554432000 4194304 4196468 140730561984688 140608006961584 140608681454210 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 28286976 140730561991663 140730561991834 140730561991834 140730561994703 0
Current children cumulated CPU time: 0.53 s
Current children cumulated vsize: 15262152 KiB
Current children cumulated memory: 52164 KiB
[startup+0.70078 s]
/proc/loadavg: 8.33 8.00 8.11 9/229 18544
/proc/meminfo: memFree=18301408/32770624 swapFree=66996244/67108860
[pid=18528] ppid=18525 vsize=113128 memory=1452 CPUtime=0 cores=1,3,5,7
/proc/18528/stat : 18528 (xcsp3-exec) S 18525 18528 14062 0 -1 4202496 545 0 0 0 0 0 0 0 20 0 1 0 408003669 115843072 363 33554432000 4194304 5098028 140733297342560 140733297340664 140010836750972 0 65536 4100 65538 18446744071579417331 0 0 17 7 0 0 0 0 0 7196144 7232144 39772160 140733297345402 140733297345645 140733297345645 140733297348554 0
/proc/18528/statm: 28282 363 304 221 0 87 0
[pid=18530] ppid=18528 vsize=15151148 memory=92848 CPUtime=1.77 cores=1,3,5,7
/proc/18530/stat : 18530 (java) S 18528 18528 14062 0 -1 1077944320 14471 0 0 0 169 8 0 0 20 0 15 0 408003669 15514775552 23212 33554432000 4194304 4196468 140730561984688 140730561967232 140608681443063 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 28286976 140730561991663 140730561991834 140730561991834 140730561994703 0
/proc/18530/statm: 3787787 23212 3454 1 0 3748889 0
[pid=18530/tid=18531] ppid=18528 vsize=15151148 memory=12024 CPUtime=0.67 cores=1,3,5,7
/proc/18530/task/18531/stat : 18531 (java) R 18528 18528 14062 0 -1 4202560 8439 0 0 0 62 5 0 0 20 0 15 0 408003669 15514775552 23212 33554432000 4194304 4196468 140730561984688 140608685668928 140608681454998 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 28286976 140730561991663 140730561991834 140730561991834 140730561994703 0
[pid=18530/tid=18532] ppid=18528 vsize=15151148 memory=1556 CPUtime=0 cores=1,3,5,7
/proc/18530/task/18532/stat : 18532 (java) S 18528 18528 14062 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 408003670 15514775552 23212 33554432000 4194304 4196468 140730561984688 140608273460112 140608681453269 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 28286976 140730561991663 140730561991834 140730561991834 140730561994703 0
[pid=18530/tid=18533] ppid=18528 vsize=15151148 memory=500 CPUtime=0 cores=1,3,5,7
/proc/18530/task/18533/stat : 18533 (java) S 18528 18528 14062 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 408003670 15514775552 23212 33554432000 4194304 4196468 140730561984688 140608272407312 140608681453269 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 28286976 140730561991663 140730561991834 140730561991834 140730561994703 0
[pid=18530/tid=18534] ppid=18528 vsize=15151148 memory=928 CPUtime=0 cores=1,3,5,7
/proc/18530/task/18534/stat : 18534 (java) S 18528 18528 14062 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 408003670 15514775552 23212 33554432000 4194304 4196468 140730561984688 140608271355024 140608681453269 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 28286976 140730561991663 140730561991834 140730561991834 140730561994703 0
[pid=18530/tid=18535] ppid=18528 vsize=15151148 memory=1528 CPUtime=0 cores=1,3,5,7
/proc/18530/task/18535/stat : 18535 (java) S 18528 18528 14062 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 408003670 15514775552 23212 33554432000 4194304 4196468 140730561984688 140608270302224 140608681453269 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 28286976 140730561991663 140730561991834 140730561991834 140730561994703 0
[pid=18530/tid=18536] ppid=18528 vsize=15151148 memory=1448 CPUtime=0 cores=1,3,5,7
/proc/18530/task/18536/stat : 18536 (java) S 18528 18528 14062 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 408003671 15514775552 23212 33554432000 4194304 4196468 140730561984688 140608015382640 140608681454210 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 28286976 140730561991663 140730561991834 140730561991834 140730561994703 0
[pid=18530/tid=18537] ppid=18528 vsize=15151148 memory=876 CPUtime=0 cores=1,3,5,7
/proc/18530/task/18537/stat : 18537 (java) S 18528 18528 14062 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 408003672 15514775552 23212 33554432000 4194304 4196468 140730561984688 140608014328608 140608681453269 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 28286976 140730561991663 140730561991834 140730561991834 140730561994703 0
[pid=18530/tid=18538] ppid=18528 vsize=15151148 memory=1980 CPUtime=0 cores=1,3,5,7
/proc/18530/task/18538/stat : 18538 (java) S 18528 18528 14062 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 408003672 15514775552 23212 33554432000 4194304 4196468 140730561984688 140608013276272 140608681453269 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 28286976 140730561991663 140730561991834 140730561991834 140730561994703 0
[pid=18530/tid=18539] ppid=18528 vsize=15151148 memory=7086240636179075427 CPUtime=0 cores=1,3,5,7
/proc/18530/task/18539/stat : 18539 (java) S 18528 18528 14062 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 408003674 15514775552 23212 33554432000 4194304 4196468 140730561984688 140608012224592 140608681461659 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 28286976 140730561991663 140730561991834 140730561991834 140730561994703 0
[pid=18530/tid=18540] ppid=18528 vsize=15151148 memory=7453282923427948884 CPUtime=0.3 cores=1,3,5,7
/proc/18530/task/18540/stat : 18540 (java) S 18528 18528 14062 0 -1 1077944384 1237 0 0 0 30 0 0 0 20 0 15 0 408003674 15514775552 23212 33554432000 4194304 4196468 140730561984688 140608011172464 140608681454210 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 28286976 140730561991663 140730561991834 140730561991834 140730561994703 0
[pid=18530/tid=18541] ppid=18528 vsize=15151148 memory=7223879631928058176 CPUtime=0.35 cores=1,3,5,7
/proc/18530/task/18541/stat : 18541 (java) S 18528 18528 14062 0 -1 1077944384 1280 0 0 0 34 1 0 0 20 0 15 0 408003674 15514775552 23212 33554432000 4194304 4196468 140730561984688 140608010119664 140608681454210 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 28286976 140730561991663 140730561991834 140730561991834 140730561994703 0
[pid=18530/tid=18542] ppid=18528 vsize=15151148 memory=8514726395714826909 CPUtime=0.41 cores=1,3,5,7
/proc/18530/task/18542/stat : 18542 (java) R 18528 18528 14062 0 -1 4202560 2209 0 0 0 41 0 0 0 20 0 15 0 408003674 15514775552 23212 33554432000 4194304 4196468 140730561984688 140608009067376 140608660578534 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 28286976 140730561991663 140730561991834 140730561991834 140730561994703 0
[pid=18530/tid=18543] ppid=18528 vsize=15151148 memory=7594596650029836651 CPUtime=0 cores=1,3,5,7
/proc/18530/task/18543/stat : 18543 (java) S 18528 18528 14062 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 408003674 15514775552 23212 33554432000 4194304 4196468 140730561984688 140608008014816 140608681453269 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 28286976 140730561991663 140730561991834 140730561991834 140730561994703 0
[pid=18530/tid=18544] ppid=18528 vsize=15151148 memory=0 CPUtime=0 cores=1,3,5,7
/proc/18530/task/18544/stat : 18544 (java) S 18528 18528 14062 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 408003675 15514775552 23212 33554432000 4194304 4196468 140730561984688 140608006961584 140608681454210 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 28286976 140730561991663 140730561991834 140730561991834 140730561994703 0
Current children cumulated CPU time: 1.77 s
Current children cumulated vsize: 15264276 KiB
Current children cumulated memory: 94300 KiB
[startup+1.50125 s]
/proc/loadavg: 8.33 8.00 8.11 9/229 18544
/proc/meminfo: memFree=18219688/32770624 swapFree=66996244/67108860
[pid=18528] ppid=18525 vsize=113128 memory=1452 CPUtime=0 cores=1,3,5,7
/proc/18528/stat : 18528 (xcsp3-exec) S 18525 18528 14062 0 -1 4202496 545 0 0 0 0 0 0 0 20 0 1 0 408003669 115843072 363 33554432000 4194304 5098028 140733297342560 140733297340664 140010836750972 0 65536 4100 65538 18446744071579417331 0 0 17 7 0 0 0 0 0 7196144 7232144 39772160 140733297345402 140733297345645 140733297345645 140733297348554 0
/proc/18528/statm: 28282 363 304 221 0 87 0
################
# More data... #
################
/proc/18530/task/18544/stat : 18544 (java) S 18528 18528 14062 0 -1 1077944384 626 0 0 0 0 2 0 0 20 0 19 0 408003675 15790571520 88417 33554432000 4194304 4196468 140730561984688 140608006961584 140608681454210 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 28286976 140730561991663 140730561991834 140730561991834 140730561994703 0
[pid=18530/tid=18591] ppid=18528 vsize=15420480 memory=8852 CPUtime=6.98 cores=1,3,5,7
/proc/18530/task/18591/stat : 18591 (java) R 18528 18528 14062 0 -1 4202560 111 0 0 0 698 0 0 0 20 0 19 0 408010163 15790571520 88417 33554432000 4194304 4196468 140730561984688 140607994837544 140608325522351 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 28286976 140730561991663 140730561991834 140730561991834 140730561994703 0
[pid=18530/tid=18592] ppid=18528 vsize=15420480 memory=12024 CPUtime=6.88 cores=1,3,5,7
/proc/18530/task/18592/stat : 18592 (java) R 18528 18528 14062 0 -1 4202560 369 0 0 0 688 0 0 0 20 0 19 0 408010163 15790571520 88417 33554432000 4194304 4196468 140730561984688 140607995891552 140608330088748 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 28286976 140730561991663 140730561991834 140730561991834 140730561994703 0
[pid=18530/tid=18593] ppid=18528 vsize=15420480 memory=1556 CPUtime=7 cores=1,3,5,7
/proc/18530/task/18593/stat : 18593 (java) R 18528 18528 14062 0 -1 4202560 347 0 0 0 700 0 0 0 20 0 19 0 408010163 15790571520 88417 33554432000 4194304 4196468 140730561984688 140607991680984 140608325724899 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 28286976 140730561991663 140730561991834 140730561991834 140730561994703 0
[pid=18530/tid=18594] ppid=18528 vsize=15420480 memory=500 CPUtime=7.03 cores=1,3,5,7
/proc/18530/task/18594/stat : 18594 (java) R 18528 18528 14062 0 -1 4202560 128 0 0 0 703 0 0 0 20 0 19 0 408010163 15790571520 88417 33554432000 4194304 4196468 140730561984688 140607992733912 140608325522369 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 28286976 140730561991663 140730561991834 140730561991834 140730561994703 0
Current children cumulated CPU time: 285.01 s
Current children cumulated vsize: 15533608 KiB
Current children cumulated memory: 355120 KiB
[startup+72.8013 s]
/proc/loadavg: 8.20 8.04 8.12 10/233 18594
/proc/meminfo: memFree=18018480/32770624 swapFree=66996244/67108860
[pid=18528] ppid=18525 vsize=113128 memory=1452 CPUtime=0 cores=1,3,5,7
/proc/18528/stat : 18528 (xcsp3-exec) S 18525 18528 14062 0 -1 4202496 545 0 0 0 0 0 0 0 20 0 1 0 408003669 115843072 363 33554432000 4194304 5098028 140733297342560 140733297340664 140010836750972 0 65536 4100 65538 18446744071579417331 0 0 17 7 0 0 0 0 0 7196144 7232144 39772160 140733297345402 140733297345645 140733297345645 140733297348554 0
/proc/18528/statm: 28282 363 304 221 0 87 0
[pid=18530] ppid=18528 vsize=15420480 memory=353668 CPUtime=288.15 cores=1,3,5,7
/proc/18530/stat : 18530 (java) S 18528 18528 14062 0 -1 1077944320 68724 0 0 0 28789 26 0 0 20 0 19 0 408003669 15790571520 88417 33554432000 4194304 4196468 140730561984688 140730561967232 140608681443063 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 28286976 140730561991663 140730561991834 140730561991834 140730561994703 0
/proc/18530/statm: 3855120 88417 3534 1 0 3816222 0
[pid=18530/tid=18531] ppid=18528 vsize=15420480 memory=353668 CPUtime=1.2 cores=1,3,5,7
/proc/18530/task/18531/stat : 18531 (java) S 18528 18528 14062 0 -1 1077944384 11618 0 0 0 113 7 0 0 20 0 19 0 408003669 15790571520 88417 33554432000 4194304 4196468 140730561984688 140608685683840 140608681453269 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 28286976 140730561991663 140730561991834 140730561991834 140730561994703 0
[pid=18530/tid=18532] ppid=18528 vsize=15420480 memory=1448 CPUtime=0.06 cores=1,3,5,7
/proc/18530/task/18532/stat : 18532 (java) S 18528 18528 14062 0 -1 1077944384 621 0 0 0 5 1 0 0 20 0 19 0 408003670 15790571520 88417 33554432000 4194304 4196468 140730561984688 140608273460112 140608681453269 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 28286976 140730561991663 140730561991834 140730561991834 140730561994703 0
[pid=18530/tid=18533] ppid=18528 vsize=15420480 memory=876 CPUtime=0.08 cores=1,3,5,7
/proc/18530/task/18533/stat : 18533 (java) S 18528 18528 14062 0 -1 1077944384 4464 0 0 0 6 2 0 0 20 0 19 0 408003670 15790571520 88417 33554432000 4194304 4196468 140730561984688 140608272407312 140608681453269 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 28286976 140730561991663 140730561991834 140730561991834 140730561994703 0
[pid=18530/tid=18534] ppid=18528 vsize=15420480 memory=1980 CPUtime=0.07 cores=1,3,5,7
/proc/18530/task/18534/stat : 18534 (java) S 18528 18528 14062 0 -1 1077944384 700 0 0 0 6 1 0 0 20 0 19 0 408003670 15790571520 88417 33554432000 4194304 4196468 140730561984688 140608271355024 140608681453269 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 28286976 140730561991663 140730561991834 140730561991834 140730561994703 0
[pid=18530/tid=18535] ppid=18528 vsize=15420480 memory=2552 CPUtime=0.08 cores=1,3,5,7
/proc/18530/task/18535/stat : 18535 (java) S 18528 18528 14062 0 -1 1077944384 2110 0 0 0 7 1 0 0 20 0 19 0 408003670 15790571520 88417 33554432000 4194304 4196468 140730561984688 140608270302224 140608681453269 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 28286976 140730561991663 140730561991834 140730561991834 140730561994703 0
[pid=18530/tid=18536] ppid=18528 vsize=15420480 memory=1760 CPUtime=0.02 cores=1,3,5,7
/proc/18530/task/18536/stat : 18536 (java) S 18528 18528 14062 0 -1 1077944384 1590 0 0 0 2 0 0 0 20 0 19 0 408003671 15790571520 88417 33554432000 4194304 4196468 140730561984688 140608015382640 140608681454210 0 0 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 28286976 140730561991663 140730561991834 140730561991834 140730561994703 0
[pid=18530/tid=18537] ppid=18528 vsize=15420480 memory=353668 CPUtime=0 cores=1,3,5,7
/proc/18530/task/18537/stat : 18537 (java) S 18528 18528 14062 0 -1 1077944384 55 0 0 0 0 0 0 0 20 0 19 0 408003672 15790571520 88417 33554432000 4194304 4196468 140730561984688 140608014328672 140608681453269 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 28286976 140730561991663 140730561991834 140730561991834 140730561994703 0
[pid=18530/tid=18538] ppid=18528 vsize=15420480 memory=1556 CPUtime=0 cores=1,3,5,7
/proc/18530/task/18538/stat : 18538 (java) S 18528 18528 14062 0 -1 1077944384 48 0 0 0 0 0 0 0 20 0 19 0 408003672 15790571520 88417 33554432000 4194304 4196468 140730561984688 140608013276288 140608681453269 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 28286976 140730561991663 140730561991834 140730561991834 140730561994703 0
[pid=18530/tid=18539] ppid=18528 vsize=15420480 memory=5908 CPUtime=0 cores=1,3,5,7
/proc/18530/task/18539/stat : 18539 (java) S 18528 18528 14062 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 408003674 15790571520 88417 33554432000 4194304 4196468 140730561984688 140608012224592 140608681461659 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 28286976 140730561991663 140730561991834 140730561991834 140730561994703 0
[pid=18530/tid=18540] ppid=18528 vsize=15420480 memory=353396 CPUtime=3.1 cores=1,3,5,7
/proc/18530/task/18540/stat : 18540 (java) S 18528 18528 14062 0 -1 1077944384 11073 0 0 0 309 1 0 0 20 0 19 0 408003674 15790571520 88417 33554432000 4194304 4196468 140730561984688 140608011172464 140608681454210 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 28286976 140730561991663 140730561991834 140730561991834 140730561994703 0
[pid=18530/tid=18541] ppid=18528 vsize=15420480 memory=353396 CPUtime=3.49 cores=1,3,5,7
/proc/18530/task/18541/stat : 18541 (java) S 18528 18528 14062 0 -1 1077944384 12567 0 0 0 347 2 0 0 20 0 19 0 408003674 15790571520 88417 33554432000 4194304 4196468 140730561984688 140608010119664 140608681454210 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 28286976 140730561991663 140730561991834 140730561991834 140730561994703 0
[pid=18530/tid=18542] ppid=18528 vsize=15420480 memory=876 CPUtime=1.1 cores=1,3,5,7
/proc/18530/task/18542/stat : 18542 (java) S 18528 18528 14062 0 -1 1077944384 11705 0 0 0 108 2 0 0 20 0 19 0 408003674 15790571520 88417 33554432000 4194304 4196468 140730561984688 140608009067376 140608681454210 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 28286976 140730561991663 140730561991834 140730561991834 140730561994703 0
[pid=18530/tid=18543] ppid=18528 vsize=15420480 memory=1980 CPUtime=0 cores=1,3,5,7
/proc/18530/task/18543/stat : 18543 (java) S 18528 18528 14062 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 408003674 15790571520 88417 33554432000 4194304 4196468 140730561984688 140608008014816 140608681453269 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 28286976 140730561991663 140730561991834 140730561991834 140730561994703 0
[pid=18530/tid=18544] ppid=18528 vsize=15420480 memory=984 CPUtime=0.02 cores=1,3,5,7
/proc/18530/task/18544/stat : 18544 (java) S 18528 18528 14062 0 -1 1077944384 643 0 0 0 0 2 0 0 20 0 19 0 408003675 15790571520 88417 33554432000 4194304 4196468 140730561984688 140608006961584 140608681454210 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 28286976 140730561991663 140730561991834 140730561991834 140730561994703 0
[pid=18530/tid=18591] ppid=18528 vsize=15420480 memory=2024 CPUtime=7.77 cores=1,3,5,7
/proc/18530/task/18591/stat : 18591 (java) R 18528 18528 14062 0 -1 4202560 208 0 0 0 777 0 0 0 20 0 19 0 408010163 15790571520 88417 33554432000 4194304 4196468 140730561984688 140607994837544 140608325522222 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 28286976 140730561991663 140730561991834 140730561991834 140730561994703 0
[pid=18530/tid=18592] ppid=18528 vsize=15420480 memory=1380 CPUtime=7.66 cores=1,3,5,7
/proc/18530/task/18592/stat : 18592 (java) R 18528 18528 14062 0 -1 4202560 593 0 0 0 766 0 0 0 20 0 19 0 408010163 15790571520 88417 33554432000 4194304 4196468 140730561984688 140607995891552 140608327962644 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 28286976 140730561991663 140730561991834 140730561991834 140730561994703 0
[pid=18530/tid=18593] ppid=18528 vsize=15420480 memory=1128 CPUtime=7.78 cores=1,3,5,7
/proc/18530/task/18593/stat : 18593 (java) R 18528 18528 14062 0 -1 4202560 603 0 0 0 778 0 0 0 20 0 19 0 408010163 15790571520 88417 33554432000 4194304 4196468 140730561984688 140607991680984 140608325521969 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 28286976 140730561991663 140730561991834 140730561991834 140730561994703 0
[pid=18530/tid=18594] ppid=18528 vsize=15420480 memory=772 CPUtime=7.81 cores=1,3,5,7
/proc/18530/task/18594/stat : 18594 (java) R 18528 18528 14062 0 -1 4202560 219 0 0 0 781 0 0 0 20 0 19 0 408010163 15790571520 88417 33554432000 4194304 4196468 140730561984688 140607992733912 140608325521891 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 28286976 140730561991663 140730561991834 140730561991834 140730561994703 0
Current children cumulated CPU time: 288.15 s
Current children cumulated vsize: 15533608 KiB
Current children cumulated memory: 355120 KiB
[startup+73.0009 s]*
/proc/loadavg: 8.20 8.04 8.12 11/233 18594
/proc/meminfo: memFree=18018480/32770624 swapFree=66996244/67108860
[pid=18528] ppid=18525 vsize=113128 memory=1452 CPUtime=0 cores=1,3,5,7
/proc/18528/stat : 18528 (xcsp3-exec) S 18525 18528 14062 0 -1 4202496 545 0 0 0 0 0 0 0 20 0 1 0 408003669 115843072 363 33554432000 4194304 5098028 140733297342560 140733297340664 140010836750972 0 65536 4100 65538 18446744071579417331 0 0 17 7 0 0 0 0 0 7196144 7232144 39772160 140733297345402 140733297345645 140733297345645 140733297348554 0
/proc/18528/statm: 28282 363 304 221 0 87 0
[pid=18530] ppid=18528 vsize=15420480 memory=353668 CPUtime=289.02 cores=1,3,5,7
/proc/18530/stat : 18530 (java) S 18528 18528 14062 0 -1 1077944320 68778 0 0 0 28876 26 0 0 20 0 19 0 408003669 15790571520 88417 33554432000 4194304 4196468 140730561984688 140730561967232 140608681443063 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 28286976 140730561991663 140730561991834 140730561991834 140730561994703 0
/proc/18530/statm: 3855120 88417 3534 1 0 3816222 0
[pid=18530/tid=18531] ppid=18528 vsize=15420480 memory=8317482817917895235 CPUtime=1.2 cores=1,3,5,7
/proc/18530/task/18531/stat : 18531 (java) S 18528 18528 14062 0 -1 1077944384 11618 0 0 0 113 7 0 0 20 0 19 0 408003669 15790571520 88417 33554432000 4194304 4196468 140730561984688 140608685683840 140608681453269 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 28286976 140730561991663 140730561991834 140730561991834 140730561994703 0
[pid=18530/tid=18532] ppid=18528 vsize=15420480 memory=4126316290023845779 CPUtime=0.06 cores=1,3,5,7
/proc/18530/task/18532/stat : 18532 (java) S 18528 18528 14062 0 -1 1077944384 621 0 0 0 5 1 0 0 20 0 19 0 408003670 15790571520 88417 33554432000 4194304 4196468 140730561984688 140608273460112 140608681453269 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 28286976 140730561991663 140730561991834 140730561991834 140730561994703 0
[pid=18530/tid=18533] ppid=18528 vsize=15420480 memory=-3039135443232236825 CPUtime=0.08 cores=1,3,5,7
/proc/18530/task/18533/stat : 18533 (java) S 18528 18528 14062 0 -1 1077944384 4464 0 0 0 6 2 0 0 20 0 19 0 408003670 15790571520 88417 33554432000 4194304 4196468 140730561984688 140608272407312 140608681453269 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 28286976 140730561991663 140730561991834 140730561991834 140730561994703 0
[pid=18530/tid=18534] ppid=18528 vsize=15420480 memory=-2748367524519556131 CPUtime=0.07 cores=1,3,5,7
/proc/18530/task/18534/stat : 18534 (java) S 18528 18528 14062 0 -1 1077944384 700 0 0 0 6 1 0 0 20 0 19 0 408003670 15790571520 88417 33554432000 4194304 4196468 140730561984688 140608271355024 140608681453269 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 28286976 140730561991663 140730561991834 140730561991834 140730561994703 0
[pid=18530/tid=18535] ppid=18528 vsize=15420480 memory=6944656575208382560 CPUtime=0.08 cores=1,3,5,7
/proc/18530/task/18535/stat : 18535 (java) S 18528 18528 14062 0 -1 1077944384 2110 0 0 0 7 1 0 0 20 0 19 0 408003670 15790571520 88417 33554432000 4194304 4196468 140730561984688 140608270302224 140608681453269 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 28286976 140730561991663 140730561991834 140730561991834 140730561994703 0
[pid=18530/tid=18536] ppid=18528 vsize=15420480 memory=-4190076264842474805 CPUtime=0.02 cores=1,3,5,7
/proc/18530/task/18536/stat : 18536 (java) S 18528 18528 14062 0 -1 1077944384 1595 0 0 0 2 0 0 0 20 0 19 0 408003671 15790571520 88417 33554432000 4194304 4196468 140730561984688 140608015382640 140608681454210 0 0 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 28286976 140730561991663 140730561991834 140730561991834 140730561994703 0
[pid=18530/tid=18537] ppid=18528 vsize=15420480 memory=-3039135443232236825 CPUtime=0 cores=1,3,5,7
/proc/18530/task/18537/stat : 18537 (java) S 18528 18528 14062 0 -1 1077944384 55 0 0 0 0 0 0 0 20 0 19 0 408003672 15790571520 88417 33554432000 4194304 4196468 140730561984688 140608014328672 140608681453269 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 28286976 140730561991663 140730561991834 140730561991834 140730561994703 0
[pid=18530/tid=18538] ppid=18528 vsize=15420480 memory=-4051592751533505334 CPUtime=0 cores=1,3,5,7
/proc/18530/task/18538/stat : 18538 (java) S 18528 18528 14062 0 -1 1077944384 48 0 0 0 0 0 0 0 20 0 19 0 408003672 15790571520 88417 33554432000 4194304 4196468 140730561984688 140608013276288 140608681453269 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 28286976 140730561991663 140730561991834 140730561991834 140730561994703 0
[pid=18530/tid=18539] ppid=18528 vsize=15420480 memory=-4051592751533505334 CPUtime=0 cores=1,3,5,7
/proc/18530/task/18539/stat : 18539 (java) S 18528 18528 14062 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 408003674 15790571520 88417 33554432000 4194304 4196468 140730561984688 140608012224592 140608681461659 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 28286976 140730561991663 140730561991834 140730561991834 140730561994703 0
[pid=18530/tid=18540] ppid=18528 vsize=15420480 memory=-2605811476043407915 CPUtime=3.1 cores=1,3,5,7
/proc/18530/task/18540/stat : 18540 (java) S 18528 18528 14062 0 -1 1077944384 11073 0 0 0 309 1 0 0 20 0 19 0 408003674 15790571520 88417 33554432000 4194304 4196468 140730561984688 140608011172464 140608681454210 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 28286976 140730561991663 140730561991834 140730561991834 140730561994703 0
[pid=18530/tid=18541] ppid=18528 vsize=15420480 memory=-2461829820114675750 CPUtime=3.49 cores=1,3,5,7
/proc/18530/task/18541/stat : 18541 (java) S 18528 18528 14062 0 -1 1077944384 12567 0 0 0 347 2 0 0 20 0 19 0 408003674 15790571520 88417 33554432000 4194304 4196468 140730561984688 140608010119664 140608681454210 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 28286976 140730561991663 140730561991834 140730561991834 140730561994703 0
[pid=18530/tid=18542] ppid=18528 vsize=15420480 memory=-2098775911743863648 CPUtime=1.1 cores=1,3,5,7
/proc/18530/task/18542/stat : 18542 (java) S 18528 18528 14062 0 -1 1077944384 11705 0 0 0 108 2 0 0 20 0 19 0 408003674 15790571520 88417 33554432000 4194304 4196468 140730561984688 140608009067376 140608681454210 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 28286976 140730561991663 140730561991834 140730561991834 140730561994703 0
[pid=18530/tid=18543] ppid=18528 vsize=15420480 memory=-2461829820114675750 CPUtime=0 cores=1,3,5,7
/proc/18530/task/18543/stat : 18543 (java) S 18528 18528 14062 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 408003674 15790571520 88417 33554432000 4194304 4196468 140730561984688 140608008014816 140608681453269 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 28286976 140730561991663 140730561991834 140730561991834 140730561994703 0
[pid=18530/tid=18544] ppid=18528 vsize=15420480 memory=8546823402028195750 CPUtime=0.02 cores=1,3,5,7
/proc/18530/task/18544/stat : 18544 (java) S 18528 18528 14062 0 -1 1077944384 643 0 0 0 0 2 0 0 20 0 19 0 408003675 15790571520 88417 33554432000 4194304 4196468 140730561984688 140608006961584 140608681454210 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 28286976 140730561991663 140730561991834 140730561991834 140730561994703 0
[pid=18530/tid=18591] ppid=18528 vsize=15420480 memory=5495740422247797458 CPUtime=7.99 cores=1,3,5,7
/proc/18530/task/18591/stat : 18591 (java) R 18528 18528 14062 0 -1 4202560 211 0 0 0 799 0 0 0 20 0 19 0 408010163 15790571520 88417 33554432000 4194304 4196468 140730561984688 140607994837544 140608327768770 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 28286976 140730561991663 140730561991834 140730561991834 140730561994703 0
[pid=18530/tid=18592] ppid=18528 vsize=15420480 memory=0 CPUtime=7.87 cores=1,3,5,7
/proc/18530/task/18592/stat : 18592 (java) R 18528 18528 14062 0 -1 4202560 627 0 0 0 787 0 0 0 20 0 19 0 408010163 15790571520 88417 33554432000 4194304 4196468 140730561984688 140607995891552 140608325484240 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 28286976 140730561991663 140730561991834 140730561991834 140730561994703 0
[pid=18530/tid=18593] ppid=18528 vsize=15420480 memory=0 CPUtime=8 cores=1,3,5,7
/proc/18530/task/18593/stat : 18593 (java) R 18528 18528 14062 0 -1 4202560 611 0 0 0 800 0 0 0 20 0 19 0 408010163 15790571520 88417 33554432000 4194304 4196468 140730561984688 140607991680984 140608327396815 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 28286976 140730561991663 140730561991834 140730561991834 140730561994703 0
[pid=18530/tid=18594] ppid=18528 vsize=15420480 memory=0 CPUtime=8.03 cores=1,3,5,7
/proc/18530/task/18594/stat : 18594 (java) R 18528 18528 14062 0 -1 4202560 223 0 0 0 803 0 0 0 20 0 19 0 408010163 15790571520 88417 33554432000 4194304 4196468 140730561984688 140607992733912 140608326141902 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 28286976 140730561991663 140730561991834 140730561991834 140730561994703 0
Current children cumulated CPU time: 289.02 s
Current children cumulated vsize: 15533608 KiB
Current children cumulated memory: 355120 KiB
[startup+73.1223 s]
/proc/loadavg: 8.20 8.04 8.12 11/233 18594
/proc/meminfo: memFree=18018480/32770624 swapFree=66996244/67108860
[pid=18528] ppid=18525 vsize=113128 memory=1452 CPUtime=0 cores=1,3,5,7
/proc/18528/stat : 18528 (xcsp3-exec) S 18525 18528 14062 0 -1 4202496 545 0 0 0 0 0 0 0 20 0 1 0 408003669 115843072 363 33554432000 4194304 5098028 140733297342560 140733297340664 140010836750972 0 65536 4100 65538 18446744071579417331 0 0 17 7 0 0 0 0 0 7196144 7232144 39772160 140733297345402 140733297345645 140733297345645 140733297348554 0
/proc/18528/statm: 28282 363 304 221 0 87 0
[pid=18530] ppid=18528 vsize=15420480 memory=353668 CPUtime=289.42 cores=1,3,5,7
/proc/18530/stat : 18530 (java) S 18528 18528 14062 0 -1 1077944320 68782 0 0 0 28916 26 0 0 20 0 19 0 408003669 15790571520 88417 33554432000 4194304 4196468 140730561984688 140730561967232 140608681443063 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 28286976 140730561991663 140730561991834 140730561991834 140730561994703 0
/proc/18530/statm: 3855120 88417 3534 1 0 3816222 0
[pid=18530/tid=18531] ppid=18528 vsize=15420480 memory=353668 CPUtime=1.2 cores=1,3,5,7
/proc/18530/task/18531/stat : 18531 (java) S 18528 18528 14062 0 -1 1077944384 11618 0 0 0 113 7 0 0 20 0 19 0 408003669 15790571520 88417 33554432000 4194304 4196468 140730561984688 140608685683840 140608681453269 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 28286976 140730561991663 140730561991834 140730561991834 140730561994703 0
[pid=18530/tid=18532] ppid=18528 vsize=15420480 memory=353668 CPUtime=0.06 cores=1,3,5,7
/proc/18530/task/18532/stat : 18532 (java) S 18528 18528 14062 0 -1 1077944384 621 0 0 0 5 1 0 0 20 0 19 0 408003670 15790571520 88417 33554432000 4194304 4196468 140730561984688 140608273460112 140608681453269 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 28286976 140730561991663 140730561991834 140730561991834 140730561994703 0
[pid=18530/tid=18533] ppid=18528 vsize=15420480 memory=353396 CPUtime=0.08 cores=1,3,5,7
/proc/18530/task/18533/stat : 18533 (java) S 18528 18528 14062 0 -1 1077944384 4464 0 0 0 6 2 0 0 20 0 19 0 408003670 15790571520 88417 33554432000 4194304 4196468 140730561984688 140608272407312 140608681453269 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 28286976 140730561991663 140730561991834 140730561991834 140730561994703 0
[pid=18530/tid=18534] ppid=18528 vsize=15420480 memory=353668 CPUtime=0.07 cores=1,3,5,7
/proc/18530/task/18534/stat : 18534 (java) S 18528 18528 14062 0 -1 1077944384 700 0 0 0 6 1 0 0 20 0 19 0 408003670 15790571520 88417 33554432000 4194304 4196468 140730561984688 140608271355024 140608681453269 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 28286976 140730561991663 140730561991834 140730561991834 140730561994703 0
[pid=18530/tid=18535] ppid=18528 vsize=15420480 memory=353668 CPUtime=0.08 cores=1,3,5,7
/proc/18530/task/18535/stat : 18535 (java) S 18528 18528 14062 0 -1 1077944384 2110 0 0 0 7 1 0 0 20 0 19 0 408003670 15790571520 88417 33554432000 4194304 4196468 140730561984688 140608270302224 140608681453269 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 28286976 140730561991663 140730561991834 140730561991834 140730561994703 0
[pid=18530/tid=18536] ppid=18528 vsize=15420480 memory=353668 CPUtime=0.02 cores=1,3,5,7
/proc/18530/task/18536/stat : 18536 (java) S 18528 18528 14062 0 -1 1077944384 1595 0 0 0 2 0 0 0 20 0 19 0 408003671 15790571520 88417 33554432000 4194304 4196468 140730561984688 140608015382640 140608681454210 0 0 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 28286976 140730561991663 140730561991834 140730561991834 140730561994703 0
[pid=18530/tid=18537] ppid=18528 vsize=15420480 memory=353668 CPUtime=0 cores=1,3,5,7
/proc/18530/task/18537/stat : 18537 (java) S 18528 18528 14062 0 -1 1077944384 55 0 0 0 0 0 0 0 20 0 19 0 408003672 15790571520 88417 33554432000 4194304 4196468 140730561984688 140608014328672 140608681453269 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 28286976 140730561991663 140730561991834 140730561991834 140730561994703 0
[pid=18530/tid=18538] ppid=18528 vsize=15420480 memory=1452 CPUtime=0 cores=1,3,5,7
/proc/18530/task/18538/stat : 18538 (java) S 18528 18528 14062 0 -1 1077944384 48 0 0 0 0 0 0 0 20 0 19 0 408003672 15790571520 88417 33554432000 4194304 4196468 140730561984688 140608013276288 140608681453269 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 28286976 140730561991663 140730561991834 140730561991834 140730561994703 0
[pid=18530/tid=18539] ppid=18528 vsize=15420480 memory=280675173556472 CPUtime=0 cores=1,3,5,7
/proc/18530/task/18539/stat : 18539 (java) S 18528 18528 14062 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 408003674 15790571520 88417 33554432000 4194304 4196468 140730561984688 140608012224592 140608681461659 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 28286976 140730561991663 140730561991834 140730561991834 140730561994703 0
[pid=18530/tid=18540] ppid=18528 vsize=15420480 memory=351440 CPUtime=3.1 cores=1,3,5,7
/proc/18530/task/18540/stat : 18540 (java) S 18528 18528 14062 0 -1 1077944384 11073 0 0 0 309 1 0 0 20 0 19 0 408003674 15790571520 88417 33554432000 4194304 4196468 140730561984688 140608011172464 140608681454210 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 28286976 140730561991663 140730561991834 140730561991834 140730561994703 0
[pid=18530/tid=18541] ppid=18528 vsize=15420480 memory=876 CPUtime=3.49 cores=1,3,5,7
/proc/18530/task/18541/stat : 18541 (java) S 18528 18528 14062 0 -1 1077944384 12567 0 0 0 347 2 0 0 20 0 19 0 408003674 15790571520 88417 33554432000 4194304 4196468 140730561984688 140608010119664 140608681454210 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 28286976 140730561991663 140730561991834 140730561991834 140730561994703 0
[pid=18530/tid=18542] ppid=18528 vsize=15420480 memory=1980 CPUtime=1.1 cores=1,3,5,7
/proc/18530/task/18542/stat : 18542 (java) S 18528 18528 14062 0 -1 1077944384 11705 0 0 0 108 2 0 0 20 0 19 0 408003674 15790571520 88417 33554432000 4194304 4196468 140730561984688 140608009067376 140608681454210 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 28286976 140730561991663 140730561991834 140730561991834 140730561994703 0
[pid=18530/tid=18543] ppid=18528 vsize=15420480 memory=2552 CPUtime=0 cores=1,3,5,7
/proc/18530/task/18543/stat : 18543 (java) S 18528 18528 14062 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 408003674 15790571520 88417 33554432000 4194304 4196468 140730561984688 140608008014816 140608681453269 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 28286976 140730561991663 140730561991834 140730561991834 140730561994703 0
[pid=18530/tid=18544] ppid=18528 vsize=15420480 memory=351440 CPUtime=0.02 cores=1,3,5,7
/proc/18530/task/18544/stat : 18544 (java) S 18528 18528 14062 0 -1 1077944384 643 0 0 0 0 2 0 0 20 0 19 0 408003675 15790571520 88417 33554432000 4194304 4196468 140730561984688 140608006961584 140608681454210 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 28286976 140730561991663 140730561991834 140730561991834 140730561994703 0
[pid=18530/tid=18591] ppid=18528 vsize=15420480 memory=1452 CPUtime=8.09 cores=1,3,5,7
/proc/18530/task/18591/stat : 18591 (java) R 18528 18528 14062 0 -1 4202560 211 0 0 0 809 0 0 0 20 0 19 0 408010163 15790571520 88417 33554432000 4194304 4196468 140730561984688 140607994837544 140608325522088 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 28286976 140730561991663 140730561991834 140730561991834 140730561994703 0
[pid=18530/tid=18592] ppid=18528 vsize=15420480 memory=1452 CPUtime=7.97 cores=1,3,5,7
/proc/18530/task/18592/stat : 18592 (java) R 18528 18528 14062 0 -1 4202560 631 0 0 0 797 0 0 0 20 0 19 0 408010163 15790571520 88417 33554432000 4194304 4196468 140730561984688 140607995891552 140608325331349 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 28286976 140730561991663 140730561991834 140730561991834 140730561994703 0
[pid=18530/tid=18593] ppid=18528 vsize=15420480 memory=1452 CPUtime=8.1 cores=1,3,5,7
/proc/18530/task/18593/stat : 18593 (java) R 18528 18528 14062 0 -1 4202560 611 0 0 0 810 0 0 0 20 0 19 0 408010163 15790571520 88417 33554432000 4194304 4196468 140730561984688 140607991680984 140608325522222 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 28286976 140730561991663 140730561991834 140730561991834 140730561994703 0
[pid=18530/tid=18594] ppid=18528 vsize=15420480 memory=356572 CPUtime=8.13 cores=1,3,5,7
/proc/18530/task/18594/stat : 18594 (java) R 18528 18528 14062 0 -1 4202560 223 0 0 0 813 0 0 0 20 0 19 0 408010163 15790571520 88417 33554432000 4194304 4196468 140730561984688 140607992733912 140608327396587 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 28286976 140730561991663 140730561991834 140730561991834 140730561994703 0
Current children cumulated CPU time: 289.42 s
Current children cumulated vsize: 15533608 KiB
Current children cumulated memory: 355120 KiB
Child status: 0
Real time (s): 73.1347
CPU time (s): 289.451
CPU user time (s): 289.183
CPU system time (s): 0.267497
CPU usage (%): 395.777
Max. virtual memory (cumulated for all children) (KiB): 15533608
Max. memory (cumulated for all children) (KiB): 365712
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 289.183
system time used= 0.267497
maximum resident set size= 369388
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 70259
page faults= 0
swaps= 0
block input operations= 0
block output operations= 192
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 5105
involuntary context switches= 4851
# summary of solver processes directly reported to runsolver:
# pid: 18528
# total CPU time (s): 289.451
# total CPU user time (s): 289.183
# total CPU system time (s): 0.267497
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 0.449441 second user time and 0.932389 second system time
The end