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 (9179 MiB free)
memory of node 1: 16384 MiB (12393 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4394231-1568331686/watcher-4394231-1568331686 -o /tmp/evaluation-result-4394231-1568331686/solver-4394231-1568331686 -C 2400 -W 2500 -M 15500 --bin-var /tmp/runsolver-exch-node119-1568327905-19560 --watchdog 2560 xcsp3-exec -dir HOME -tl 2400 -p 4 -ml 12000 -tdir HOME -seed 1279346207 HOME/instance-4394231-1568331686.xml
running on 4 cores: 1,3,5,7
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 2400 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 2430 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 2500 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB
Linux 3.10.0-514.16.1.el7.x86_64
Starting watchdog thread
Current StackSize limit: 8192 KiB
solver pid=26929, runsolver pid=26926
[startup+0.100077 s]*
/proc/loadavg: 7.94 7.88 7.77 8/233 26945
/proc/meminfo: memFree=22076808/32770624 swapFree=66939828/67108860
[pid=26929] ppid=26926 vsize=113128 memory=1448 CPUtime=0 cores=1,3,5,7
/proc/26929/stat : 26929 (xcsp3-exec) S 26926 26929 19528 0 -1 4202496 543 0 0 0 0 0 0 0 20 0 1 0 409083506 115843072 362 33554432000 4194304 5098028 140732158610752 140732158608856 139716026552956 0 65536 4100 65538 18446744071579417331 0 0 17 1 0 0 0 0 0 7196144 7232144 18841600 140732158612346 140732158612589 140732158612589 140732158615498 0
/proc/26929/statm: 28282 362 304 221 0 87 0
[pid=26931] ppid=26929 vsize=15144768 memory=27724 CPUtime=0.13 cores=1,3,5,7
/proc/26931/stat : 26931 (java) S 26929 26929 19528 0 -1 1077944320 5817 0 0 0 12 1 0 0 20 0 15 0 409083506 15508242432 6931 33554432000 4194304 4196468 140725567887200 140725567869744 140059184369399 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 22233088 140725567894511 140725567894682 140725567894682 140725567897551 0
/proc/26931/statm: 3786192 6931 3206 1 0 3748377 0
[pid=26931/tid=26932] ppid=26929 vsize=15144768 memory=7100839878644302962 CPUtime=0.09 cores=1,3,5,7
/proc/26931/task/26932/stat : 26932 (java) R 26929 26929 19528 0 -1 4202560 3631 0 0 0 9 0 0 0 20 0 15 0 409083506 15508242432 6931 33554432000 4194304 4196468 140725567887200 140059188592400 140059176606526 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 22233088 140725567894511 140725567894682 140725567894682 140725567897551 0
[pid=26931/tid=26933] ppid=26929 vsize=15144768 memory=-3689451258167578675 CPUtime=0 cores=1,3,5,7
/proc/26931/task/26933/stat : 26933 (java) S 26929 26929 19528 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 409083507 15508242432 6931 33554432000 4194304 4196468 140725567887200 140059154082576 140059184379605 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 22233088 140725567894511 140725567894682 140725567894682 140725567897551 0
[pid=26931/tid=26934] ppid=26929 vsize=15144768 memory=140522552112768 CPUtime=0 cores=1,3,5,7
/proc/26931/task/26934/stat : 26934 (java) S 26929 26929 19528 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 409083507 15508242432 6931 33554432000 4194304 4196468 140725567887200 140059153030032 140059184379605 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 22233088 140725567894511 140725567894682 140725567894682 140725567897551 0
[pid=26931/tid=26935] ppid=26929 vsize=15144768 memory=0 CPUtime=0 cores=1,3,5,7
/proc/26931/task/26935/stat : 26935 (java) S 26929 26929 19528 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 409083507 15508242432 6931 33554432000 4194304 4196468 140725567887200 140058775129104 140059184379605 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 22233088 140725567894511 140725567894682 140725567894682 140725567897551 0
[pid=26931/tid=26936] ppid=26929 vsize=15144768 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/26931/task/26936/stat : 26936 (java) S 26929 26929 19528 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 409083507 15508242432 6931 33554432000 4194304 4196468 140725567887200 140058774076560 140059184379605 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 22233088 140725567894511 140725567894682 140725567894682 140725567897551 0
[pid=26931/tid=26937] ppid=26929 vsize=15144768 memory=140522552112768 CPUtime=0 cores=1,3,5,7
/proc/26931/task/26937/stat : 26937 (java) S 26929 26929 19528 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 409083509 15508242432 6931 33554432000 4194304 4196468 140725567887200 140058652350448 140059184380546 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 22233088 140725567894511 140725567894682 140725567894682 140725567897551 0
[pid=26931/tid=26938] ppid=26929 vsize=15144768 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/26931/task/26938/stat : 26938 (java) S 26929 26929 19528 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 409083509 15508242432 6931 33554432000 4194304 4196468 140725567887200 140058651296672 140059184379605 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 22233088 140725567894511 140725567894682 140725567894682 140725567897551 0
[pid=26931/tid=26939] ppid=26929 vsize=15144768 memory=0 CPUtime=0 cores=1,3,5,7
/proc/26931/task/26939/stat : 26939 (java) S 26929 26929 19528 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 409083509 15508242432 6931 33554432000 4194304 4196468 140725567887200 140058650244080 140059184379605 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 22233088 140725567894511 140725567894682 140725567894682 140725567897551 0
[pid=26931/tid=26940] ppid=26929 vsize=15144768 memory=0 CPUtime=0 cores=1,3,5,7
/proc/26931/task/26940/stat : 26940 (java) S 26929 26929 19528 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 409083512 15508242432 6931 33554432000 4194304 4196468 140725567887200 140058649192656 140059184387995 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 22233088 140725567894511 140725567894682 140725567894682 140725567897551 0
[pid=26931/tid=26941] ppid=26929 vsize=15144768 memory=0 CPUtime=0 cores=1,3,5,7
/proc/26931/task/26941/stat : 26941 (java) R 26929 26929 19528 0 -1 4202560 470 0 0 0 0 0 0 0 20 0 15 0 409083512 15508242432 6931 33554432000 4194304 4196468 140725567887200 140058648140272 140059161614144 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 22233088 140725567894511 140725567894682 140725567894682 140725567897551 0
[pid=26931/tid=26942] ppid=26929 vsize=15144768 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/26931/task/26942/stat : 26942 (java) R 26929 26929 19528 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 409083512 15508242432 6931 33554432000 4194304 4196468 140725567887200 140058647087728 140059184380546 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 22233088 140725567894511 140725567894682 140725567894682 140725567897551 0
[pid=26931/tid=26943] ppid=26929 vsize=15144768 memory=140522552112768 CPUtime=0.02 cores=1,3,5,7
/proc/26931/task/26943/stat : 26943 (java) R 26929 26929 19528 0 -1 1077944384 412 0 0 0 2 0 0 0 20 0 15 0 409083512 15508242432 6931 33554432000 4194304 4196468 140725567887200 140058646035184 140059184380546 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 22233088 140725567894511 140725567894682 140725567894682 140725567897551 0
[pid=26931/tid=26944] ppid=26929 vsize=15144768 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/26931/task/26944/stat : 26944 (java) S 26929 26929 19528 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 409083512 15508242432 6931 33554432000 4194304 4196468 140725567887200 140058644982880 140059184379605 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 22233088 140725567894511 140725567894682 140725567894682 140725567897551 0
[pid=26931/tid=26945] ppid=26929 vsize=15144768 memory=140522552112768 CPUtime=0 cores=1,3,5,7
/proc/26931/task/26945/stat : 26945 (java) S 26929 26929 19528 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 409083512 15508242432 6931 33554432000 4194304 4196468 140725567887200 140058643929392 140059184380546 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 22233088 140725567894511 140725567894682 140725567894682 140725567897551 0
Current children cumulated CPU time: 0.13 s
Current children cumulated vsize: 15257896 KiB
Current children cumulated memory: 29172 KiB
[startup+0.210698 s]*
/proc/loadavg: 7.94 7.88 7.77 7/233 26945
/proc/meminfo: memFree=22063320/32770624 swapFree=66939828/67108860
[pid=26929] ppid=26926 vsize=113128 memory=1448 CPUtime=0 cores=1,3,5,7
/proc/26929/stat : 26929 (xcsp3-exec) S 26926 26929 19528 0 -1 4202496 543 0 0 0 0 0 0 0 20 0 1 0 409083506 115843072 362 33554432000 4194304 5098028 140732158610752 140732158608856 139716026552956 0 65536 4100 65538 18446744071579417331 0 0 17 1 0 0 0 0 0 7196144 7232144 18841600 140732158612346 140732158612589 140732158612589 140732158615498 0
/proc/26929/statm: 28282 362 304 221 0 87 0
[pid=26931] ppid=26929 vsize=15144768 memory=39308 CPUtime=0.34 cores=1,3,5,7
/proc/26931/stat : 26931 (java) S 26929 26929 19528 0 -1 1077944320 9582 0 0 0 31 3 0 0 20 0 15 0 409083506 15508242432 9827 33554432000 4194304 4196468 140725567887200 140725567869744 140059184369399 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 22233088 140725567894511 140725567894682 140725567894682 140725567897551 0
/proc/26931/statm: 3786192 9827 3276 1 0 3748377 0
[pid=26931/tid=26932] ppid=26929 vsize=15144768 memory=7883960649037381690 CPUtime=0.2 cores=1,3,5,7
/proc/26931/task/26932/stat : 26932 (java) R 26929 26929 19528 0 -1 4202560 6651 0 0 0 18 2 0 0 20 0 15 0 409083506 15508242432 9827 33554432000 4194304 4196468 140725567887200 140059188599120 140058820130279 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 22233088 140725567894511 140725567894682 140725567894682 140725567897551 0
[pid=26931/tid=26933] ppid=26929 vsize=15144768 memory=11079 CPUtime=0 cores=1,3,5,7
/proc/26931/task/26933/stat : 26933 (java) S 26929 26929 19528 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 409083507 15508242432 9827 33554432000 4194304 4196468 140725567887200 140059154082576 140059184379605 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 22233088 140725567894511 140725567894682 140725567894682 140725567897551 0
[pid=26931/tid=26934] ppid=26929 vsize=15144768 memory=3005644 CPUtime=0 cores=1,3,5,7
/proc/26931/task/26934/stat : 26934 (java) S 26929 26929 19528 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 409083507 15508242432 9827 33554432000 4194304 4196468 140725567887200 140059153030032 140059184379605 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 22233088 140725567894511 140725567894682 140725567894682 140725567897551 0
[pid=26931/tid=26935] ppid=26929 vsize=15144768 memory=0 CPUtime=0 cores=1,3,5,7
/proc/26931/task/26935/stat : 26935 (java) S 26929 26929 19528 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 409083507 15508242432 9827 33554432000 4194304 4196468 140725567887200 140058775129104 140059184379605 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 22233088 140725567894511 140725567894682 140725567894682 140725567897551 0
[pid=26931/tid=26936] ppid=26929 vsize=15144768 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/26931/task/26936/stat : 26936 (java) S 26929 26929 19528 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 409083507 15508242432 9827 33554432000 4194304 4196468 140725567887200 140058774076560 140059184379605 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 22233088 140725567894511 140725567894682 140725567894682 140725567897551 0
[pid=26931/tid=26937] ppid=26929 vsize=15144768 memory=0 CPUtime=0 cores=1,3,5,7
/proc/26931/task/26937/stat : 26937 (java) S 26929 26929 19528 0 -1 1077944384 6 0 0 0 0 0 0 0 20 0 15 0 409083509 15508242432 9827 33554432000 4194304 4196468 140725567887200 140058652350448 140059184380546 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 22233088 140725567894511 140725567894682 140725567894682 140725567897551 0
[pid=26931/tid=26938] ppid=26929 vsize=15144768 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/26931/task/26938/stat : 26938 (java) S 26929 26929 19528 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 409083509 15508242432 9827 33554432000 4194304 4196468 140725567887200 140058651296672 140059184379605 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 22233088 140725567894511 140725567894682 140725567894682 140725567897551 0
[pid=26931/tid=26939] ppid=26929 vsize=15144768 memory=140522552112768 CPUtime=0 cores=1,3,5,7
/proc/26931/task/26939/stat : 26939 (java) S 26929 26929 19528 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 409083509 15508242432 9827 33554432000 4194304 4196468 140725567887200 140058650244080 140059184379605 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 22233088 140725567894511 140725567894682 140725567894682 140725567897551 0
[pid=26931/tid=26940] ppid=26929 vsize=15144768 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/26931/task/26940/stat : 26940 (java) S 26929 26929 19528 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 409083512 15508242432 9827 33554432000 4194304 4196468 140725567887200 140058649192656 140059184387995 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 22233088 140725567894511 140725567894682 140725567894682 140725567897551 0
[pid=26931/tid=26941] ppid=26929 vsize=15144768 memory=0 CPUtime=0.02 cores=1,3,5,7
/proc/26931/task/26941/stat : 26941 (java) S 26929 26929 19528 0 -1 1077944384 571 0 0 0 2 0 0 0 20 0 15 0 409083512 15508242432 9827 33554432000 4194304 4196468 140725567887200 140058648140272 140059184380546 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 22233088 140725567894511 140725567894682 140725567894682 140725567897551 0
[pid=26931/tid=26942] ppid=26929 vsize=15144768 memory=-1 CPUtime=0.02 cores=1,3,5,7
/proc/26931/task/26942/stat : 26942 (java) S 26929 26929 19528 0 -1 1077944384 110 0 0 0 2 0 0 0 20 0 15 0 409083512 15508242432 9827 33554432000 4194304 4196468 140725567887200 140058647087728 140059184380546 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 22233088 140725567894511 140725567894682 140725567894682 140725567897551 0
[pid=26931/tid=26943] ppid=26929 vsize=15144768 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/26931/task/26943/stat : 26943 (java) R 26929 26929 19528 0 -1 4202560 947 0 0 0 8 0 0 0 20 0 15 0 409083512 15508242432 9827 33554432000 4194304 4196468 140725567887200 140058646035184 140059163288127 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 22233088 140725567894511 140725567894682 140725567894682 140725567897551 0
[pid=26931/tid=26944] ppid=26929 vsize=15144768 memory=0 CPUtime=0 cores=1,3,5,7
/proc/26931/task/26944/stat : 26944 (java) S 26929 26929 19528 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 409083512 15508242432 9827 33554432000 4194304 4196468 140725567887200 140058644982880 140059184379605 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 22233088 140725567894511 140725567894682 140725567894682 140725567897551 0
[pid=26931/tid=26945] ppid=26929 vsize=15144768 memory=0 CPUtime=0 cores=1,3,5,7
/proc/26931/task/26945/stat : 26945 (java) S 26929 26929 19528 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 409083512 15508242432 9827 33554432000 4194304 4196468 140725567887200 140058643929392 140059184380546 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 22233088 140725567894511 140725567894682 140725567894682 140725567897551 0
Current children cumulated CPU time: 0.34 s
Current children cumulated vsize: 15257896 KiB
Current children cumulated memory: 40756 KiB
[startup+0.313114 s]*
/proc/loadavg: 7.94 7.88 7.77 9/233 26945
/proc/meminfo: memFree=22055680/32770624 swapFree=66939828/67108860
[pid=26929] ppid=26926 vsize=113128 memory=1448 CPUtime=0 cores=1,3,5,7
/proc/26929/stat : 26929 (xcsp3-exec) S 26926 26929 19528 0 -1 4202496 543 0 0 0 0 0 0 0 20 0 1 0 409083506 115843072 362 33554432000 4194304 5098028 140732158610752 140732158608856 139716026552956 0 65536 4100 65538 18446744071579417331 0 0 17 1 0 0 0 0 0 7196144 7232144 18841600 140732158612346 140732158612589 140732158612589 140732158615498 0
/proc/26929/statm: 28282 362 304 221 0 87 0
[pid=26931] ppid=26929 vsize=15149024 memory=49276 CPUtime=0.53 cores=1,3,5,7
/proc/26931/stat : 26931 (java) S 26929 26929 19528 0 -1 1077944320 11164 0 0 0 49 4 0 0 20 0 15 0 409083506 15512600576 12319 33554432000 4194304 4196468 140725567887200 140725567869744 140059184369399 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 22233088 140725567894511 140725567894682 140725567894682 140725567897551 0
/proc/26931/statm: 3787256 12319 3367 1 0 3748377 0
[pid=26931/tid=26932] ppid=26929 vsize=15149024 memory=7883960649037381690 CPUtime=0.3 cores=1,3,5,7
/proc/26931/task/26932/stat : 26932 (java) R 26929 26929 19528 0 -1 4202560 7840 0 0 0 27 3 0 0 20 0 15 0 409083506 15512600576 12319 33554432000 4194304 4196468 140725567887200 140059188600512 140059184391325 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 22233088 140725567894511 140725567894682 140725567894682 140725567897551 0
[pid=26931/tid=26933] ppid=26929 vsize=15149024 memory=0 CPUtime=0 cores=1,3,5,7
/proc/26931/task/26933/stat : 26933 (java) S 26929 26929 19528 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 409083507 15512600576 12319 33554432000 4194304 4196468 140725567887200 140059154082576 140059184379605 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 22233088 140725567894511 140725567894682 140725567894682 140725567897551 0
[pid=26931/tid=26934] ppid=26929 vsize=15149024 memory=3003589 CPUtime=0 cores=1,3,5,7
/proc/26931/task/26934/stat : 26934 (java) S 26929 26929 19528 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 409083507 15512600576 12319 33554432000 4194304 4196468 140725567887200 140059153030032 140059184379605 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 22233088 140725567894511 140725567894682 140725567894682 140725567897551 0
[pid=26931/tid=26935] ppid=26929 vsize=15149024 memory=0 CPUtime=0 cores=1,3,5,7
/proc/26931/task/26935/stat : 26935 (java) S 26929 26929 19528 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 409083507 15512600576 12319 33554432000 4194304 4196468 140725567887200 140058775129104 140059184379605 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 22233088 140725567894511 140725567894682 140725567894682 140725567897551 0
[pid=26931/tid=26936] ppid=26929 vsize=15149024 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/26931/task/26936/stat : 26936 (java) S 26929 26929 19528 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 409083507 15512600576 12319 33554432000 4194304 4196468 140725567887200 140058774076560 140059184379605 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 22233088 140725567894511 140725567894682 140725567894682 140725567897551 0
[pid=26931/tid=26937] ppid=26929 vsize=15149024 memory=140522552112768 CPUtime=0 cores=1,3,5,7
/proc/26931/task/26937/stat : 26937 (java) S 26929 26929 19528 0 -1 1077944384 6 0 0 0 0 0 0 0 20 0 15 0 409083509 15512600576 12319 33554432000 4194304 4196468 140725567887200 140058652350448 140059184380546 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 22233088 140725567894511 140725567894682 140725567894682 140725567897551 0
[pid=26931/tid=26938] ppid=26929 vsize=15149024 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/26931/task/26938/stat : 26938 (java) S 26929 26929 19528 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 409083509 15512600576 12319 33554432000 4194304 4196468 140725567887200 140058651296672 140059184379605 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 22233088 140725567894511 140725567894682 140725567894682 140725567897551 0
[pid=26931/tid=26939] ppid=26929 vsize=15149024 memory=0 CPUtime=0 cores=1,3,5,7
/proc/26931/task/26939/stat : 26939 (java) S 26929 26929 19528 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 409083509 15512600576 12384 33554432000 4194304 4196468 140725567887200 140058650244080 140059184379605 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 22233088 140725567894511 140725567894682 140725567894682 140725567897551 0
[pid=26931/tid=26940] ppid=26929 vsize=15149024 memory=0 CPUtime=0 cores=1,3,5,7
/proc/26931/task/26940/stat : 26940 (java) S 26929 26929 19528 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 409083512 15512600576 12384 33554432000 4194304 4196468 140725567887200 140058649192656 140059184387995 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 22233088 140725567894511 140725567894682 140725567894682 140725567897551 0
[pid=26931/tid=26941] ppid=26929 vsize=15149024 memory=0 CPUtime=0.04 cores=1,3,5,7
/proc/26931/task/26941/stat : 26941 (java) R 26929 26929 19528 0 -1 4202560 704 0 0 0 4 0 0 0 20 0 15 0 409083512 15512600576 12384 33554432000 4194304 4196468 140725567887200 140058648121288 140059165914012 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 22233088 140725567894511 140725567894682 140725567894682 140725567897551 0
[pid=26931/tid=26942] ppid=26929 vsize=15149024 memory=-1 CPUtime=0.04 cores=1,3,5,7
/proc/26931/task/26942/stat : 26942 (java) S 26929 26929 19528 0 -1 1077944384 144 0 0 0 4 0 0 0 20 0 15 0 409083512 15512600576 12384 33554432000 4194304 4196468 140725567887200 140058647087728 140059184380546 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 22233088 140725567894511 140725567894682 140725567894682 140725567897551 0
[pid=26931/tid=26943] ppid=26929 vsize=15149024 memory=140522552112768 CPUtime=0.12 cores=1,3,5,7
/proc/26931/task/26943/stat : 26943 (java) S 26929 26929 19528 0 -1 1077944384 1173 0 0 0 12 0 0 0 20 0 15 0 409083512 15512600576 12384 33554432000 4194304 4196468 140725567887200 140058646035184 140059184380546 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 22233088 140725567894511 140725567894682 140725567894682 140725567897551 0
[pid=26931/tid=26944] ppid=26929 vsize=15149024 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/26931/task/26944/stat : 26944 (java) S 26929 26929 19528 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 409083512 15512600576 12384 33554432000 4194304 4196468 140725567887200 140058644982880 140059184379605 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 22233088 140725567894511 140725567894682 140725567894682 140725567897551 0
[pid=26931/tid=26945] ppid=26929 vsize=15149024 memory=140522552112768 CPUtime=0 cores=1,3,5,7
/proc/26931/task/26945/stat : 26945 (java) S 26929 26929 19528 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 409083512 15512600576 12384 33554432000 4194304 4196468 140725567887200 140058643929392 140059184380546 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 22233088 140725567894511 140725567894682 140725567894682 140725567897551 0
Current children cumulated CPU time: 0.53 s
Current children cumulated vsize: 15262152 KiB
Current children cumulated memory: 50724 KiB
[startup+0.700861 s]
/proc/loadavg: 7.94 7.88 7.77 9/233 26945
/proc/meminfo: memFree=22037484/32770624 swapFree=66939828/67108860
[pid=26929] ppid=26926 vsize=113128 memory=1448 CPUtime=0 cores=1,3,5,7
/proc/26929/stat : 26929 (xcsp3-exec) S 26926 26929 19528 0 -1 4202496 543 0 0 0 0 0 0 0 20 0 1 0 409083506 115843072 362 33554432000 4194304 5098028 140732158610752 140732158608856 139716026552956 0 65536 4100 65538 18446744071579417331 0 0 17 1 0 0 0 0 0 7196144 7232144 18841600 140732158612346 140732158612589 140732158612589 140732158615498 0
/proc/26929/statm: 28282 362 304 221 0 87 0
[pid=26931] ppid=26929 vsize=15151148 memory=84720 CPUtime=1.59 cores=1,3,5,7
/proc/26931/stat : 26931 (java) S 26929 26929 19528 0 -1 1077944320 15361 0 0 0 152 7 0 0 20 0 15 0 409083506 15514775552 21180 33554432000 4194304 4196468 140725567887200 140725567869744 140059184369399 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 22233088 140725567894511 140725567894682 140725567894682 140725567897551 0
/proc/26931/statm: 3787787 21180 3449 1 0 3748889 0
[pid=26931/tid=26932] ppid=26929 vsize=15151148 memory=2116 CPUtime=0.68 cores=1,3,5,7
/proc/26931/task/26932/stat : 26932 (java) R 26929 26929 19528 0 -1 4202560 9361 0 0 0 64 4 0 0 20 0 15 0 409083506 15514775552 21180 33554432000 4194304 4196468 140725567887200 140059188604280 140059170068481 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 22233088 140725567894511 140725567894682 140725567894682 140725567897551 0
[pid=26931/tid=26933] ppid=26929 vsize=15151148 memory=520 CPUtime=0 cores=1,3,5,7
/proc/26931/task/26933/stat : 26933 (java) S 26929 26929 19528 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 409083507 15514775552 21180 33554432000 4194304 4196468 140725567887200 140059154082576 140059184379605 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 22233088 140725567894511 140725567894682 140725567894682 140725567897551 0
[pid=26931/tid=26934] ppid=26929 vsize=15151148 memory=1560 CPUtime=0 cores=1,3,5,7
/proc/26931/task/26934/stat : 26934 (java) S 26929 26929 19528 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 409083507 15514775552 21180 33554432000 4194304 4196468 140725567887200 140059153030032 140059184379605 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 22233088 140725567894511 140725567894682 140725567894682 140725567897551 0
[pid=26931/tid=26935] ppid=26929 vsize=15151148 memory=924 CPUtime=0 cores=1,3,5,7
/proc/26931/task/26935/stat : 26935 (java) S 26929 26929 19528 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 409083507 15514775552 21180 33554432000 4194304 4196468 140725567887200 140058775129104 140059184379605 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 22233088 140725567894511 140725567894682 140725567894682 140725567897551 0
[pid=26931/tid=26936] ppid=26929 vsize=15151148 memory=3688 CPUtime=0 cores=1,3,5,7
/proc/26931/task/26936/stat : 26936 (java) S 26929 26929 19528 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 409083507 15514775552 21180 33554432000 4194304 4196468 140725567887200 140058774076560 140059184379605 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 22233088 140725567894511 140725567894682 140725567894682 140725567897551 0
[pid=26931/tid=26937] ppid=26929 vsize=15151148 memory=1984 CPUtime=0 cores=1,3,5,7
/proc/26931/task/26937/stat : 26937 (java) S 26929 26929 19528 0 -1 1077944384 6 0 0 0 0 0 0 0 20 0 15 0 409083509 15514775552 21180 33554432000 4194304 4196468 140725567887200 140058652350448 140059184380546 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 22233088 140725567894511 140725567894682 140725567894682 140725567897551 0
[pid=26931/tid=26938] ppid=26929 vsize=15151148 memory=1440 CPUtime=0 cores=1,3,5,7
/proc/26931/task/26938/stat : 26938 (java) S 26929 26929 19528 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 409083509 15514775552 21180 33554432000 4194304 4196468 140725567887200 140058651296672 140059184379605 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 22233088 140725567894511 140725567894682 140725567894682 140725567897551 0
[pid=26931/tid=26939] ppid=26929 vsize=15151148 memory=804 CPUtime=0 cores=1,3,5,7
/proc/26931/task/26939/stat : 26939 (java) S 26929 26929 19528 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 409083509 15514775552 21180 33554432000 4194304 4196468 140725567887200 140058650244080 140059184379605 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 22233088 140725567894511 140725567894682 140725567894682 140725567897551 0
[pid=26931/tid=26940] ppid=26929 vsize=15151148 memory=2580 CPUtime=0 cores=1,3,5,7
/proc/26931/task/26940/stat : 26940 (java) S 26929 26929 19528 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 409083512 15514775552 21180 33554432000 4194304 4196468 140725567887200 140058649192656 140059184387995 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 22233088 140725567894511 140725567894682 140725567894682 140725567897551 0
[pid=26931/tid=26941] ppid=26929 vsize=15151148 memory=7302135314614015848 CPUtime=0.26 cores=1,3,5,7
/proc/26931/task/26941/stat : 26941 (java) R 26929 26929 19528 0 -1 4202560 1363 0 0 0 26 0 0 0 20 0 15 0 409083512 15514775552 21180 33554432000 4194304 4196468 140725567887200 140058648125232 140059162219584 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 22233088 140725567894511 140725567894682 140725567894682 140725567897551 0
[pid=26931/tid=26942] ppid=26929 vsize=15151148 memory=7372501795327076977 CPUtime=0.2 cores=1,3,5,7
/proc/26931/task/26942/stat : 26942 (java) R 26929 26929 19528 0 -1 4202560 860 0 0 0 20 0 0 0 20 0 15 0 409083512 15514775552 21180 33554432000 4194304 4196468 140725567887200 140058647076320 140059165071066 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 22233088 140725567894511 140725567894682 140725567894682 140725567897551 0
[pid=26931/tid=26943] ppid=26929 vsize=15151148 memory=7223887401239728208 CPUtime=0.42 cores=1,3,5,7
/proc/26931/task/26943/stat : 26943 (java) R 26929 26929 19528 0 -1 4202560 2470 0 0 0 41 1 0 0 20 0 15 0 409083512 15514775552 21180 33554432000 4194304 4196468 140725567887200 140058646035312 140059177466235 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 22233088 140725567894511 140725567894682 140725567894682 140725567897551 0
[pid=26931/tid=26944] ppid=26929 vsize=15151148 memory=7368002589315584080 CPUtime=0 cores=1,3,5,7
/proc/26931/task/26944/stat : 26944 (java) S 26929 26929 19528 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 409083512 15514775552 21180 33554432000 4194304 4196468 140725567887200 140058644982880 140059184379605 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 22233088 140725567894511 140725567894682 140725567894682 140725567897551 0
[pid=26931/tid=26945] ppid=26929 vsize=15151148 memory=7954309567434023767 CPUtime=0 cores=1,3,5,7
/proc/26931/task/26945/stat : 26945 (java) S 26929 26929 19528 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 409083512 15514775552 21180 33554432000 4194304 4196468 140725567887200 140058643929392 140059184380546 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 22233088 140725567894511 140725567894682 140725567894682 140725567897551 0
Current children cumulated CPU time: 1.59 s
Current children cumulated vsize: 15264276 KiB
Current children cumulated memory: 86168 KiB
[startup+1.50086 s]
/proc/loadavg: 7.94 7.88 7.77 10/237 26965
/proc/meminfo: memFree=21960848/32770624 swapFree=66939828/67108860
[pid=26929] ppid=26926 vsize=113128 memory=1448 CPUtime=0 cores=1,3,5,7
/proc/26929/stat : 26929 (xcsp3-exec) S 26926 26929 19528 0 -1 4202496 543 0 0 0 0 0 0 0 20 0 1 0 409083506 115843072 362 33554432000 4194304 5098028 140732158610752 140732158608856 139716026552956 0 65536 4100 65538 18446744071579417331 0 0 17 1 0 0 0 0 0 7196144 7232144 18841600 140732158612346 140732158612589 140732158612589 140732158615498 0
/proc/26929/statm: 28282 362 304 221 0 87 0
################
# More data... #
################
/proc/26931/task/26945/stat : 26945 (java) S 26929 26929 19528 0 -1 1077944384 770 0 0 0 0 0 0 0 20 0 19 0 409083512 15925841920 63575 33554432000 4194304 4196468 140725567887200 140058643929392 140059184380546 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 22233088 140725567894511 140725567894682 140725567894682 140725567897551 0
[pid=26931/tid=27158] ppid=26929 vsize=15552580 memory=38292 CPUtime=10.87 cores=1,3,5,7
/proc/26931/task/27158/stat : 27158 (java) R 26929 26929 19528 0 -1 4202560 141 0 0 0 1087 0 0 0 20 0 19 0 409085133 15925841920 63575 33554432000 4194304 4196468 140725567887200 140058633902760 140058826888974 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 22233088 140725567894511 140725567894682 140725567894682 140725567897551 0
[pid=26931/tid=27159] ppid=26929 vsize=15552580 memory=988 CPUtime=10.89 cores=1,3,5,7
/proc/26931/task/27159/stat : 27159 (java) R 26929 26929 19528 0 -1 4202560 657 0 0 0 1089 0 0 0 20 0 19 0 409085134 15925841920 63575 33554432000 4194304 4196468 140725567887200 140058628648856 140058826890420 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 22233088 140725567894511 140725567894682 140725567894682 140725567897551 0
[pid=26931/tid=27160] ppid=26929 vsize=15552580 memory=2008 CPUtime=10.8 cores=1,3,5,7
/proc/26931/task/27160/stat : 27160 (java) R 26929 26929 19528 0 -1 4202560 296 0 0 0 1080 0 0 0 20 0 19 0 409085134 15925841920 63575 33554432000 4194304 4196468 140725567887200 140058632851992 140058827389256 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 22233088 140725567894511 140725567894682 140725567894682 140725567897551 0
[pid=26931/tid=27161] ppid=26929 vsize=15552580 memory=1436 CPUtime=10.75 cores=1,3,5,7
/proc/26931/task/27161/stat : 27161 (java) R 26929 26929 19528 0 -1 4202560 368 0 0 0 1075 0 0 0 20 0 19 0 409085134 15925841920 63575 33554432000 4194304 4196468 140725567887200 140058627596760 140058827644223 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 22233088 140725567894511 140725567894682 140725567894682 140725567897551 0
Current children cumulated CPU time: 101.18 s
Current children cumulated vsize: 15665708 KiB
Current children cumulated memory: 255748 KiB
[startup+28.8009 s]
/proc/loadavg: 7.89 7.86 7.77 9/237 27168
/proc/meminfo: memFree=21861480/32770624 swapFree=66939828/67108860
[pid=26929] ppid=26926 vsize=113128 memory=1448 CPUtime=0 cores=1,3,5,7
/proc/26929/stat : 26929 (xcsp3-exec) S 26926 26929 19528 0 -1 4202496 543 0 0 0 0 0 0 0 20 0 1 0 409083506 115843072 362 33554432000 4194304 5098028 140732158610752 140732158608856 139716026552956 0 65536 4100 65538 18446744071579417331 0 0 17 1 0 0 0 0 0 7196144 7232144 18841600 140732158612346 140732158612589 140732158612589 140732158615498 0
/proc/26929/statm: 28282 362 304 221 0 87 0
[pid=26931] ppid=26929 vsize=15552580 memory=254300 CPUtime=107.55 cores=1,3,5,7
/proc/26931/stat : 26931 (java) S 26929 26929 19528 0 -1 1077944320 70570 0 0 0 10734 21 0 0 20 0 19 0 409083506 15925841920 63575 33554432000 4194304 4196468 140725567887200 140725567869744 140059184369399 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 22233088 140725567894511 140725567894682 140725567894682 140725567897551 0
/proc/26931/statm: 3888145 63575 3532 1 0 3849247 0
[pid=26931/tid=26932] ppid=26929 vsize=15552580 memory=4164 CPUtime=0.7 cores=1,3,5,7
/proc/26931/task/26932/stat : 26932 (java) S 26929 26929 19528 0 -1 1077944384 9912 0 0 0 66 4 0 0 20 0 19 0 409083506 15925841920 63575 33554432000 4194304 4196468 140725567887200 140059188610176 140059184379605 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 22233088 140725567894511 140725567894682 140725567894682 140725567897551 0
[pid=26931/tid=26933] ppid=26929 vsize=15552580 memory=1548 CPUtime=0 cores=1,3,5,7
/proc/26931/task/26933/stat : 26933 (java) S 26929 26929 19528 0 -1 1077944384 366 0 0 0 0 0 0 0 20 0 19 0 409083507 15925841920 63575 33554432000 4194304 4196468 140725567887200 140059154082576 140059184379605 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 22233088 140725567894511 140725567894682 140725567894682 140725567897551 0
[pid=26931/tid=26934] ppid=26929 vsize=15552580 memory=1608 CPUtime=0.01 cores=1,3,5,7
/proc/26931/task/26934/stat : 26934 (java) S 26929 26929 19528 0 -1 1077944384 823 0 0 0 1 0 0 0 20 0 19 0 409083507 15925841920 63575 33554432000 4194304 4196468 140725567887200 140059153030032 140059184379605 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 22233088 140725567894511 140725567894682 140725567894682 140725567897551 0
[pid=26931/tid=26935] ppid=26929 vsize=15552580 memory=2832 CPUtime=0.01 cores=1,3,5,7
/proc/26931/task/26935/stat : 26935 (java) S 26929 26929 19528 0 -1 1077944384 1562 0 0 0 1 0 0 0 20 0 19 0 409083507 15925841920 63575 33554432000 4194304 4196468 140725567887200 140058775129104 140059184379605 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 22233088 140725567894511 140725567894682 140725567894682 140725567897551 0
[pid=26931/tid=26936] ppid=26929 vsize=15552580 memory=668 CPUtime=0 cores=1,3,5,7
/proc/26931/task/26936/stat : 26936 (java) S 26929 26929 19528 0 -1 1077944384 168 0 0 0 0 0 0 0 20 0 19 0 409083507 15925841920 63575 33554432000 4194304 4196468 140725567887200 140058774076560 140059184379605 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 22233088 140725567894511 140725567894682 140725567894682 140725567897551 0
[pid=26931/tid=26937] ppid=26929 vsize=15552580 memory=1232 CPUtime=0.02 cores=1,3,5,7
/proc/26931/task/26937/stat : 26937 (java) S 26929 26929 19528 0 -1 1077944384 707 0 0 0 1 1 0 0 20 0 19 0 409083509 15925841920 63575 33554432000 4194304 4196468 140725567887200 140058652350448 140059184380546 0 0 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 22233088 140725567894511 140725567894682 140725567894682 140725567897551 0
[pid=26931/tid=26938] ppid=26929 vsize=15552580 memory=1064 CPUtime=0 cores=1,3,5,7
/proc/26931/task/26938/stat : 26938 (java) S 26929 26929 19528 0 -1 1077944384 76 0 0 0 0 0 0 0 20 0 19 0 409083509 15925841920 63575 33554432000 4194304 4196468 140725567887200 140058651296736 140059184379605 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 22233088 140725567894511 140725567894682 140725567894682 140725567897551 0
[pid=26931/tid=26939] ppid=26929 vsize=15552580 memory=14008 CPUtime=0 cores=1,3,5,7
/proc/26931/task/26939/stat : 26939 (java) S 26929 26929 19528 0 -1 1077944384 114 0 0 0 0 0 0 0 20 0 19 0 409083509 15925841920 63575 33554432000 4194304 4196468 140725567887200 140058650244096 140059184379605 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 22233088 140725567894511 140725567894682 140725567894682 140725567897551 0
[pid=26931/tid=26940] ppid=26929 vsize=15552580 memory=3504 CPUtime=0 cores=1,3,5,7
/proc/26931/task/26940/stat : 26940 (java) S 26929 26929 19528 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 409083512 15925841920 63575 33554432000 4194304 4196468 140725567887200 140058649192656 140059184387995 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 22233088 140725567894511 140725567894682 140725567894682 140725567897551 0
[pid=26931/tid=26941] ppid=26929 vsize=15552580 memory=38292 CPUtime=3.93 cores=1,3,5,7
/proc/26931/task/26941/stat : 26941 (java) S 26929 26929 19528 0 -1 1077944384 18364 0 0 0 390 3 0 0 20 0 19 0 409083512 15925841920 63575 33554432000 4194304 4196468 140725567887200 140058648140272 140059184380546 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 22233088 140725567894511 140725567894682 140725567894682 140725567897551 0
[pid=26931/tid=26942] ppid=26929 vsize=15552580 memory=988 CPUtime=4.13 cores=1,3,5,7
/proc/26931/task/26942/stat : 26942 (java) S 26929 26929 19528 0 -1 1077944384 22279 0 0 0 411 2 0 0 20 0 19 0 409083512 15925841920 63575 33554432000 4194304 4196468 140725567887200 140058647087728 140059184380546 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 22233088 140725567894511 140725567894682 140725567894682 140725567897551 0
[pid=26931/tid=26943] ppid=26929 vsize=15552580 memory=2008 CPUtime=0.76 cores=1,3,5,7
/proc/26931/task/26943/stat : 26943 (java) S 26929 26929 19528 0 -1 1077944384 7741 0 0 0 74 2 0 0 20 0 19 0 409083512 15925841920 63575 33554432000 4194304 4196468 140725567887200 140058646035184 140059184380546 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 22233088 140725567894511 140725567894682 140725567894682 140725567897551 0
[pid=26931/tid=26944] ppid=26929 vsize=15552580 memory=1436 CPUtime=0 cores=1,3,5,7
/proc/26931/task/26944/stat : 26944 (java) S 26929 26929 19528 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 409083512 15925841920 63575 33554432000 4194304 4196468 140725567887200 140058644982880 140059184379605 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 22233088 140725567894511 140725567894682 140725567894682 140725567897551 0
[pid=26931/tid=26945] ppid=26929 vsize=15552580 memory=4164 CPUtime=0 cores=1,3,5,7
/proc/26931/task/26945/stat : 26945 (java) S 26929 26929 19528 0 -1 1077944384 772 0 0 0 0 0 0 0 20 0 19 0 409083512 15925841920 63575 33554432000 4194304 4196468 140725567887200 140058643929392 140059184380546 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 22233088 140725567894511 140725567894682 140725567894682 140725567897551 0
[pid=26931/tid=27158] ppid=26929 vsize=15552580 memory=6791534058613427641 CPUtime=12.47 cores=1,3,5,7
/proc/26931/task/27158/stat : 27158 (java) R 26929 26929 19528 0 -1 4202560 160 0 0 0 1247 0 0 0 20 0 19 0 409085133 15925841920 63575 33554432000 4194304 4196468 140725567887200 140058633902760 140058826856638 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 22233088 140725567894511 140725567894682 140725567894682 140725567897551 0
[pid=26931/tid=27159] ppid=26929 vsize=15552580 memory=38292 CPUtime=12.49 cores=1,3,5,7
/proc/26931/task/27159/stat : 27159 (java) R 26929 26929 19528 0 -1 4202560 800 0 0 0 1249 0 0 0 20 0 19 0 409085134 15925841920 63575 33554432000 4194304 4196468 140725567887200 140058628648856 140058828251487 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 22233088 140725567894511 140725567894682 140725567894682 140725567897551 0
[pid=26931/tid=27160] ppid=26929 vsize=15552580 memory=988 CPUtime=12.4 cores=1,3,5,7
/proc/26931/task/27160/stat : 27160 (java) R 26929 26929 19528 0 -1 4202560 309 0 0 0 1240 0 0 0 20 0 19 0 409085134 15925841920 63575 33554432000 4194304 4196468 140725567887200 140058632851992 140058826924476 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 22233088 140725567894511 140725567894682 140725567894682 140725567897551 0
[pid=26931/tid=27161] ppid=26929 vsize=15552580 memory=1448 CPUtime=12.33 cores=1,3,5,7
/proc/26931/task/27161/stat : 27161 (java) R 26929 26929 19528 0 -1 4202560 491 0 0 0 1233 0 0 0 20 0 19 0 409085134 15925841920 63575 33554432000 4194304 4196468 140725567887200 140058627596760 140058827644299 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 22233088 140725567894511 140725567894682 140725567894682 140725567897551 0
Current children cumulated CPU time: 107.55 s
Current children cumulated vsize: 15665708 KiB
Current children cumulated memory: 255748 KiB
[startup+29.6009 s]
/proc/loadavg: 7.89 7.86 7.77 9/237 27168
/proc/meminfo: memFree=21861480/32770624 swapFree=66939828/67108860
[pid=26929] ppid=26926 vsize=113128 memory=1448 CPUtime=0 cores=1,3,5,7
/proc/26929/stat : 26929 (xcsp3-exec) S 26926 26929 19528 0 -1 4202496 543 0 0 0 0 0 0 0 20 0 1 0 409083506 115843072 362 33554432000 4194304 5098028 140732158610752 140732158608856 139716026552956 0 65536 4100 65538 18446744071579417331 0 0 17 1 0 0 0 0 0 7196144 7232144 18841600 140732158612346 140732158612589 140732158612589 140732158615498 0
/proc/26929/statm: 28282 362 304 221 0 87 0
[pid=26931] ppid=26929 vsize=15552580 memory=254304 CPUtime=110.55 cores=1,3,5,7
/proc/26931/stat : 26931 (java) S 26929 26929 19528 0 -1 1077944320 71267 0 0 0 11034 21 0 0 20 0 19 0 409083506 15925841920 63576 33554432000 4194304 4196468 140725567887200 140725567869744 140059184369399 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 22233088 140725567894511 140725567894682 140725567894682 140725567897551 0
/proc/26931/statm: 3888145 63576 3532 1 0 3849247 0
[pid=26931/tid=26932] ppid=26929 vsize=15552580 memory=6791534058613427641 CPUtime=0.7 cores=1,3,5,7
/proc/26931/task/26932/stat : 26932 (java) S 26929 26929 19528 0 -1 1077944384 9912 0 0 0 66 4 0 0 20 0 19 0 409083506 15925841920 63576 33554432000 4194304 4196468 140725567887200 140059188610176 140059184379605 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 22233088 140725567894511 140725567894682 140725567894682 140725567897551 0
[pid=26931/tid=26933] ppid=26929 vsize=15552580 memory=1436 CPUtime=0 cores=1,3,5,7
/proc/26931/task/26933/stat : 26933 (java) S 26929 26929 19528 0 -1 1077944384 366 0 0 0 0 0 0 0 20 0 19 0 409083507 15925841920 63576 33554432000 4194304 4196468 140725567887200 140059154082576 140059184379605 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 22233088 140725567894511 140725567894682 140725567894682 140725567897551 0
[pid=26931/tid=26934] ppid=26929 vsize=15552580 memory=4164 CPUtime=0.01 cores=1,3,5,7
/proc/26931/task/26934/stat : 26934 (java) S 26929 26929 19528 0 -1 1077944384 823 0 0 0 1 0 0 0 20 0 19 0 409083507 15925841920 63576 33554432000 4194304 4196468 140725567887200 140059153030032 140059184379605 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 22233088 140725567894511 140725567894682 140725567894682 140725567897551 0
[pid=26931/tid=26935] ppid=26929 vsize=15552580 memory=1548 CPUtime=0.01 cores=1,3,5,7
/proc/26931/task/26935/stat : 26935 (java) S 26929 26929 19528 0 -1 1077944384 1562 0 0 0 1 0 0 0 20 0 19 0 409083507 15925841920 63576 33554432000 4194304 4196468 140725567887200 140058775129104 140059184379605 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 22233088 140725567894511 140725567894682 140725567894682 140725567897551 0
[pid=26931/tid=26936] ppid=26929 vsize=15552580 memory=1608 CPUtime=0 cores=1,3,5,7
/proc/26931/task/26936/stat : 26936 (java) S 26929 26929 19528 0 -1 1077944384 168 0 0 0 0 0 0 0 20 0 19 0 409083507 15925841920 63576 33554432000 4194304 4196468 140725567887200 140058774076560 140059184379605 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 22233088 140725567894511 140725567894682 140725567894682 140725567897551 0
[pid=26931/tid=26937] ppid=26929 vsize=15552580 memory=7980 CPUtime=0.02 cores=1,3,5,7
/proc/26931/task/26937/stat : 26937 (java) S 26929 26929 19528 0 -1 1077944384 707 0 0 0 1 1 0 0 20 0 19 0 409083509 15925841920 63576 33554432000 4194304 4196468 140725567887200 140058652350448 140059184380546 0 0 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 22233088 140725567894511 140725567894682 140725567894682 140725567897551 0
[pid=26931/tid=26938] ppid=26929 vsize=15552580 memory=9580 CPUtime=0 cores=1,3,5,7
/proc/26931/task/26938/stat : 26938 (java) S 26929 26929 19528 0 -1 1077944384 76 0 0 0 0 0 0 0 20 0 19 0 409083509 15925841920 63576 33554432000 4194304 4196468 140725567887200 140058651296736 140059184379605 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 22233088 140725567894511 140725567894682 140725567894682 140725567897551 0
[pid=26931/tid=26939] ppid=26929 vsize=15552580 memory=14056 CPUtime=0 cores=1,3,5,7
/proc/26931/task/26939/stat : 26939 (java) S 26929 26929 19528 0 -1 1077944384 114 0 0 0 0 0 0 0 20 0 19 0 409083509 15925841920 63576 33554432000 4194304 4196468 140725567887200 140058650244096 140059184379605 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 22233088 140725567894511 140725567894682 140725567894682 140725567897551 0
[pid=26931/tid=26940] ppid=26929 vsize=15552580 memory=2116 CPUtime=0 cores=1,3,5,7
/proc/26931/task/26940/stat : 26940 (java) S 26929 26929 19528 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 409083512 15925841920 63576 33554432000 4194304 4196468 140725567887200 140058649192656 140059184387995 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 22233088 140725567894511 140725567894682 140725567894682 140725567897551 0
[pid=26931/tid=26941] ppid=26929 vsize=15552580 memory=520 CPUtime=3.93 cores=1,3,5,7
/proc/26931/task/26941/stat : 26941 (java) S 26929 26929 19528 0 -1 1077944384 18364 0 0 0 390 3 0 0 20 0 19 0 409083512 15925841920 63576 33554432000 4194304 4196468 140725567887200 140058648140272 140059184380546 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 22233088 140725567894511 140725567894682 140725567894682 140725567897551 0
[pid=26931/tid=26942] ppid=26929 vsize=15552580 memory=1560 CPUtime=4.14 cores=1,3,5,7
/proc/26931/task/26942/stat : 26942 (java) S 26929 26929 19528 0 -1 1077944384 22862 0 0 0 412 2 0 0 20 0 19 0 409083512 15925841920 63576 33554432000 4194304 4196468 140725567887200 140058647087728 140059184380546 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 22233088 140725567894511 140725567894682 140725567894682 140725567897551 0
[pid=26931/tid=26943] ppid=26929 vsize=15552580 memory=924 CPUtime=0.76 cores=1,3,5,7
/proc/26931/task/26943/stat : 26943 (java) S 26929 26929 19528 0 -1 1077944384 7741 0 0 0 74 2 0 0 20 0 19 0 409083512 15925841920 63576 33554432000 4194304 4196468 140725567887200 140058646035184 140059184380546 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 22233088 140725567894511 140725567894682 140725567894682 140725567897551 0
[pid=26931/tid=26944] ppid=26929 vsize=15552580 memory=3688 CPUtime=0 cores=1,3,5,7
/proc/26931/task/26944/stat : 26944 (java) S 26929 26929 19528 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 409083512 15925841920 63576 33554432000 4194304 4196468 140725567887200 140058644982880 140059184379605 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 22233088 140725567894511 140725567894682 140725567894682 140725567897551 0
[pid=26931/tid=26945] ppid=26929 vsize=15552580 memory=1984 CPUtime=0 cores=1,3,5,7
/proc/26931/task/26945/stat : 26945 (java) S 26929 26929 19528 0 -1 1077944384 772 0 0 0 0 0 0 0 20 0 19 0 409083512 15925841920 63576 33554432000 4194304 4196468 140725567887200 140058643929392 140059184380546 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 22233088 140725567894511 140725567894682 140725567894682 140725567897551 0
[pid=26931/tid=27158] ppid=26929 vsize=15552580 memory=1440 CPUtime=13.2 cores=1,3,5,7
/proc/26931/task/27158/stat : 27158 (java) S 26929 26929 19528 0 -1 1077944384 186 0 0 0 1320 0 0 0 20 0 19 0 409085133 15925841920 63576 33554432000 4194304 4196468 140725567887200 140058633907648 140059184379605 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 22233088 140725567894511 140725567894682 140725567894682 140725567897551 0
[pid=26931/tid=27159] ppid=26929 vsize=15552580 memory=804 CPUtime=13.23 cores=1,3,5,7
/proc/26931/task/27159/stat : 27159 (java) S 26929 26929 19528 0 -1 1077944384 866 0 0 0 1323 0 0 0 20 0 19 0 409085134 15925841920 63576 33554432000 4194304 4196468 140725567887200 140058628654032 140059184379605 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 22233088 140725567894511 140725567894682 140725567894682 140725567897551 0
[pid=26931/tid=27160] ppid=26929 vsize=15552580 memory=2580 CPUtime=13.13 cores=1,3,5,7
/proc/26931/task/27160/stat : 27160 (java) S 26929 26929 19528 0 -1 1077944384 330 0 0 0 1313 0 0 0 20 0 19 0 409085134 15925841920 63576 33554432000 4194304 4196468 140725567887200 140058632856656 140059184379605 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 22233088 140725567894511 140725567894682 140725567894682 140725567897551 0
[pid=26931/tid=27161] ppid=26929 vsize=15552580 memory=1760 CPUtime=13.11 cores=1,3,5,7
/proc/26931/task/27161/stat : 27161 (java) R 26929 26929 19528 0 -1 4202560 492 0 0 0 1311 0 0 0 20 0 19 0 409085134 15925841920 63576 33554432000 4194304 4196468 140725567887200 140058627596808 140058827644373 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 22233088 140725567894511 140725567894682 140725567894682 140725567897551 0
Current children cumulated CPU time: 110.55 s
Current children cumulated vsize: 15665708 KiB
Current children cumulated memory: 255752 KiB
[startup+29.8009 s]
/proc/loadavg: 7.89 7.86 7.77 9/237 27168
/proc/meminfo: memFree=21861480/32770624 swapFree=66939828/67108860
[pid=26929] ppid=26926 vsize=113128 memory=1448 CPUtime=0 cores=1,3,5,7
/proc/26929/stat : 26929 (xcsp3-exec) S 26926 26929 19528 0 -1 4202496 543 0 0 0 0 0 0 0 20 0 1 0 409083506 115843072 362 33554432000 4194304 5098028 140732158610752 140732158608856 139716026552956 0 65536 4100 65538 18446744071579417331 0 0 17 1 0 0 0 0 0 7196144 7232144 18841600 140732158612346 140732158612589 140732158612589 140732158615498 0
/proc/26929/statm: 28282 362 304 221 0 87 0
[pid=26931] ppid=26929 vsize=15552580 memory=254304 CPUtime=110.74 cores=1,3,5,7
/proc/26931/stat : 26931 (java) S 26929 26929 19528 0 -1 1077944320 71267 0 0 0 11053 21 0 0 20 0 19 0 409083506 15925841920 63576 33554432000 4194304 4196468 140725567887200 140725567869744 140059184369399 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 22233088 140725567894511 140725567894682 140725567894682 140725567897551 0
/proc/26931/statm: 3888145 63576 3532 1 0 3849247 0
[pid=26931/tid=26932] ppid=26929 vsize=15552580 memory=4872558044660077418 CPUtime=0.7 cores=1,3,5,7
/proc/26931/task/26932/stat : 26932 (java) S 26929 26929 19528 0 -1 1077944384 9912 0 0 0 66 4 0 0 20 0 19 0 409083506 15925841920 63576 33554432000 4194304 4196468 140725567887200 140059188610176 140059184379605 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 22233088 140725567894511 140725567894682 140725567894682 140725567897551 0
[pid=26931/tid=26933] ppid=26929 vsize=15552580 memory=920 CPUtime=0 cores=1,3,5,7
/proc/26931/task/26933/stat : 26933 (java) S 26929 26929 19528 0 -1 1077944384 366 0 0 0 0 0 0 0 20 0 19 0 409083507 15925841920 63576 33554432000 4194304 4196468 140725567887200 140059154082576 140059184379605 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 22233088 140725567894511 140725567894682 140725567894682 140725567897551 0
[pid=26931/tid=26934] ppid=26929 vsize=15552580 memory=3848 CPUtime=0.01 cores=1,3,5,7
/proc/26931/task/26934/stat : 26934 (java) S 26929 26929 19528 0 -1 1077944384 823 0 0 0 1 0 0 0 20 0 19 0 409083507 15925841920 63576 33554432000 4194304 4196468 140725567887200 140059153030032 140059184379605 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 22233088 140725567894511 140725567894682 140725567894682 140725567897551 0
[pid=26931/tid=26935] ppid=26929 vsize=15552580 memory=2940 CPUtime=0.01 cores=1,3,5,7
/proc/26931/task/26935/stat : 26935 (java) S 26929 26929 19528 0 -1 1077944384 1562 0 0 0 1 0 0 0 20 0 19 0 409083507 15925841920 63576 33554432000 4194304 4196468 140725567887200 140058775129104 140059184379605 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 22233088 140725567894511 140725567894682 140725567894682 140725567897551 0
[pid=26931/tid=26936] ppid=26929 vsize=15552580 memory=2596 CPUtime=0 cores=1,3,5,7
/proc/26931/task/26936/stat : 26936 (java) S 26929 26929 19528 0 -1 1077944384 168 0 0 0 0 0 0 0 20 0 19 0 409083507 15925841920 63576 33554432000 4194304 4196468 140725567887200 140058774076560 140059184379605 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 22233088 140725567894511 140725567894682 140725567894682 140725567897551 0
[pid=26931/tid=26937] ppid=26929 vsize=15552580 memory=4108 CPUtime=0.02 cores=1,3,5,7
/proc/26931/task/26937/stat : 26937 (java) S 26929 26929 19528 0 -1 1077944384 707 0 0 0 1 1 0 0 20 0 19 0 409083509 15925841920 63576 33554432000 4194304 4196468 140725567887200 140058652350448 140059184380546 0 0 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 22233088 140725567894511 140725567894682 140725567894682 140725567897551 0
[pid=26931/tid=26938] ppid=26929 vsize=15552580 memory=1412 CPUtime=0 cores=1,3,5,7
/proc/26931/task/26938/stat : 26938 (java) S 26929 26929 19528 0 -1 1077944384 76 0 0 0 0 0 0 0 20 0 19 0 409083509 15925841920 63576 33554432000 4194304 4196468 140725567887200 140058651296736 140059184379605 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 22233088 140725567894511 140725567894682 140725567894682 140725567897551 0
[pid=26931/tid=26939] ppid=26929 vsize=15552580 memory=2780 CPUtime=0 cores=1,3,5,7
/proc/26931/task/26939/stat : 26939 (java) S 26929 26929 19528 0 -1 1077944384 114 0 0 0 0 0 0 0 20 0 19 0 409083509 15925841920 63576 33554432000 4194304 4196468 140725567887200 140058650244096 140059184379605 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 22233088 140725567894511 140725567894682 140725567894682 140725567897551 0
[pid=26931/tid=26940] ppid=26929 vsize=15552580 memory=1448 CPUtime=0 cores=1,3,5,7
/proc/26931/task/26940/stat : 26940 (java) S 26929 26929 19528 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 409083512 15925841920 63576 33554432000 4194304 4196468 140725567887200 140058649192656 140059184387995 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 22233088 140725567894511 140725567894682 140725567894682 140725567897551 0
[pid=26931/tid=26941] ppid=26929 vsize=15552580 memory=241524 CPUtime=3.93 cores=1,3,5,7
/proc/26931/task/26941/stat : 26941 (java) S 26929 26929 19528 0 -1 1077944384 18364 0 0 0 390 3 0 0 20 0 19 0 409083512 15925841920 63576 33554432000 4194304 4196468 140725567887200 140058648140272 140059184380546 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 22233088 140725567894511 140725567894682 140725567894682 140725567897551 0
[pid=26931/tid=26942] ppid=26929 vsize=15552580 memory=1412 CPUtime=4.14 cores=1,3,5,7
/proc/26931/task/26942/stat : 26942 (java) S 26929 26929 19528 0 -1 1077944384 22862 0 0 0 412 2 0 0 20 0 19 0 409083512 15925841920 63576 33554432000 4194304 4196468 140725567887200 140058647087728 140059184380546 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 22233088 140725567894511 140725567894682 140725567894682 140725567897551 0
[pid=26931/tid=26943] ppid=26929 vsize=15552580 memory=2652 CPUtime=0.76 cores=1,3,5,7
/proc/26931/task/26943/stat : 26943 (java) S 26929 26929 19528 0 -1 1077944384 7741 0 0 0 74 2 0 0 20 0 19 0 409083512 15925841920 63576 33554432000 4194304 4196468 140725567887200 140058646035184 140059184380546 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 22233088 140725567894511 140725567894682 140725567894682 140725567897551 0
[pid=26931/tid=26944] ppid=26929 vsize=15552580 memory=1448 CPUtime=0 cores=1,3,5,7
/proc/26931/task/26944/stat : 26944 (java) S 26929 26929 19528 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 409083512 15925841920 63576 33554432000 4194304 4196468 140725567887200 140058644982880 140059184379605 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 22233088 140725567894511 140725567894682 140725567894682 140725567897551 0
[pid=26931/tid=26945] ppid=26929 vsize=15552580 memory=808 CPUtime=0 cores=1,3,5,7
/proc/26931/task/26945/stat : 26945 (java) S 26929 26929 19528 0 -1 1077944384 772 0 0 0 0 0 0 0 20 0 19 0 409083512 15925841920 63576 33554432000 4194304 4196468 140725567887200 140058643929392 140059184380546 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 22233088 140725567894511 140725567894682 140725567894682 140725567897551 0
[pid=26931/tid=27158] ppid=26929 vsize=15552580 memory=1804 CPUtime=13.2 cores=1,3,5,7
/proc/26931/task/27158/stat : 27158 (java) S 26929 26929 19528 0 -1 1077944384 186 0 0 0 1320 0 0 0 20 0 19 0 409085133 15925841920 63576 33554432000 4194304 4196468 140725567887200 140058633907648 140059184379605 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 22233088 140725567894511 140725567894682 140725567894682 140725567897551 0
[pid=26931/tid=27159] ppid=26929 vsize=15552580 memory=920 CPUtime=13.23 cores=1,3,5,7
/proc/26931/task/27159/stat : 27159 (java) S 26929 26929 19528 0 -1 1077944384 866 0 0 0 1323 0 0 0 20 0 19 0 409085134 15925841920 63576 33554432000 4194304 4196468 140725567887200 140058628654032 140059184379605 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 22233088 140725567894511 140725567894682 140725567894682 140725567897551 0
[pid=26931/tid=27160] ppid=26929 vsize=15552580 memory=3848 CPUtime=13.13 cores=1,3,5,7
/proc/26931/task/27160/stat : 27160 (java) S 26929 26929 19528 0 -1 1077944384 330 0 0 0 1313 0 0 0 20 0 19 0 409085134 15925841920 63576 33554432000 4194304 4196468 140725567887200 140058632856656 140059184379605 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 22233088 140725567894511 140725567894682 140725567894682 140725567897551 0
[pid=26931/tid=27161] ppid=26929 vsize=15552580 memory=2940 CPUtime=13.31 cores=1,3,5,7
/proc/26931/task/27161/stat : 27161 (java) R 26929 26929 19528 0 -1 4202560 492 0 0 0 1331 0 0 0 20 0 19 0 409085134 15925841920 63576 33554432000 4194304 4196468 140725567887200 140058627596808 140058827644314 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 22233088 140725567894511 140725567894682 140725567894682 140725567897551 0
Current children cumulated CPU time: 110.74 s
Current children cumulated vsize: 15665708 KiB
Current children cumulated memory: 255752 KiB
Child status: 0
Real time (s): 29.8983
CPU time (s): 110.856
CPU user time (s): 110.63
CPU system time (s): 0.226489
CPU usage (%): 370.776
Max. virtual memory (cumulated for all children) (KiB): 15668564
Max. memory (cumulated for all children) (KiB): 255752
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 110.63
system time used= 0.226489
maximum resident set size= 254304
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 72571
page faults= 0
swaps= 0
block input operations= 0
block output operations= 112
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 4724
involuntary context switches= 2510
# summary of solver processes directly reported to runsolver:
# pid: 26929
# total CPU time (s): 110.856
# total CPU user time (s): 110.63
# total CPU system time (s): 0.226489
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 0.195856 second user time and 0.387456 second system time
The end