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 (14273 MiB free)
memory of node 1: 16384 MiB (15351 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4393267-1568313450/watcher-4393267-1568313450 -o /tmp/evaluation-result-4393267-1568313450/solver-4393267-1568313450 -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 1535399809 HOME/instance-4393267-1568313450.xml
running on 4 cores: 1,3,5,7
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 2520 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 2550 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 2520 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB
Linux 3.10.0-514.16.1.el7.x86_64
Starting watchdog thread
Current StackSize limit: 8192 KiB
solver pid=14512, runsolver pid=14509
[startup+0.101653 s]*
/proc/loadavg: 7.81 3.70 2.03 6/233 14528
/proc/meminfo: memFree=30318792/32770624 swapFree=66996208/67108860
[pid=14512] ppid=14509 vsize=113128 memory=1448 CPUtime=0 cores=1,3,5,7
/proc/14512/stat : 14512 (xcsp3-exec) S 14509 14512 14062 0 -1 4202496 543 0 0 0 0 0 0 0 20 0 1 0 407599716 115843072 362 33554432000 4194304 5098028 140735880441568 140735880439672 139664268829308 0 65536 4100 65538 18446744071579417331 0 0 17 5 0 0 0 0 0 7196144 7232144 32321536 140735880446842 140735880447085 140735880447085 140735880449994 0
/proc/14512/statm: 28282 362 304 221 0 87 0
[pid=14514] ppid=14512 vsize=15144768 memory=29628 CPUtime=0.14 cores=1,3,5,7
/proc/14514/stat : 14514 (java) S 14512 14512 14062 0 -1 1077944320 5870 0 0 0 13 1 0 0 20 0 15 0 407599716 15508242432 7407 33554432000 4194304 4196468 140730551762640 140730551745184 140658965393143 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 16130048 140730551768047 140730551768218 140730551768218 140730551771087 0
/proc/14514/statm: 3786192 7407 3149 1 0 3748377 0
[pid=14514/tid=14515] ppid=14512 vsize=15144768 memory=-2698087569006908830 CPUtime=0.09 cores=1,3,5,7
/proc/14514/task/14515/stat : 14515 (java) R 14512 14512 14062 0 -1 4202560 3738 0 0 0 8 1 0 0 20 0 15 0 407599716 15508242432 7407 33554432000 4194304 4196468 140730551762640 140658969622736 140658965405078 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 16130048 140730551768047 140730551768218 140730551768218 140730551771087 0
[pid=14514/tid=14516] ppid=14512 vsize=15144768 memory=-3689349214911541841 CPUtime=0 cores=1,3,5,7
/proc/14514/task/14516/stat : 14516 (java) S 14512 14512 14062 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 407599717 15508242432 7407 33554432000 4194304 4196468 140730551762640 140658918013840 140658965403349 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 16130048 140730551768047 140730551768218 140730551768218 140730551771087 0
[pid=14514/tid=14517] ppid=14512 vsize=15144768 memory=140231578748544 CPUtime=0 cores=1,3,5,7
/proc/14514/task/14517/stat : 14517 (java) S 14512 14512 14062 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 407599717 15508242432 7407 33554432000 4194304 4196468 140730551762640 140658916961040 140658965403349 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 16130048 140730551768047 140730551768218 140730551768218 140730551771087 0
[pid=14514/tid=14518] ppid=14512 vsize=15144768 memory=0 CPUtime=0 cores=1,3,5,7
/proc/14514/task/14518/stat : 14518 (java) S 14512 14512 14062 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 407599717 15508242432 7407 33554432000 4194304 4196468 140730551762640 140658915908752 140658965403349 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 16130048 140730551768047 140730551768218 140730551768218 140730551771087 0
[pid=14514/tid=14519] ppid=14512 vsize=15144768 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/14514/task/14519/stat : 14519 (java) S 14512 14512 14062 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 407599717 15508242432 7407 33554432000 4194304 4196468 140730551762640 140658914855952 140658965403349 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 16130048 140730551768047 140730551768218 140730551768218 140730551771087 0
[pid=14514/tid=14520] ppid=14512 vsize=15144768 memory=140231578748544 CPUtime=0 cores=1,3,5,7
/proc/14514/task/14520/stat : 14520 (java) S 14512 14512 14062 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 407599718 15508242432 7407 33554432000 4194304 4196468 140730551762640 140658433054832 140658965404290 0 0 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 16130048 140730551768047 140730551768218 140730551768218 140730551771087 0
[pid=14514/tid=14521] ppid=14512 vsize=15144768 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/14514/task/14521/stat : 14521 (java) S 14512 14512 14062 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 407599719 15508242432 7407 33554432000 4194304 4196468 140730551762640 140658432000800 140658965403349 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 16130048 140730551768047 140730551768218 140730551768218 140730551771087 0
[pid=14514/tid=14522] ppid=14512 vsize=15144768 memory=0 CPUtime=0 cores=1,3,5,7
/proc/14514/task/14522/stat : 14522 (java) S 14512 14512 14062 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 407599719 15508242432 7407 33554432000 4194304 4196468 140730551762640 140658430948464 140658965403349 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 16130048 140730551768047 140730551768218 140730551768218 140730551771087 0
[pid=14514/tid=14523] ppid=14512 vsize=15144768 memory=0 CPUtime=0 cores=1,3,5,7
/proc/14514/task/14523/stat : 14523 (java) S 14512 14512 14062 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 407599721 15508242432 7407 33554432000 4194304 4196468 140730551762640 140658429896784 140658965411739 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 16130048 140730551768047 140730551768218 140730551768218 140730551771087 0
[pid=14514/tid=14524] ppid=14512 vsize=15144768 memory=0 CPUtime=0 cores=1,3,5,7
/proc/14514/task/14524/stat : 14524 (java) R 14512 14512 14062 0 -1 4202560 418 0 0 0 0 0 0 0 20 0 15 0 407599721 15508242432 7407 33554432000 4194304 4196468 140730551762640 140658428844656 140658965405078 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 16130048 140730551768047 140730551768218 140730551768218 140730551771087 0
[pid=14514/tid=14525] ppid=14512 vsize=15144768 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/14514/task/14525/stat : 14525 (java) R 14512 14512 14062 0 -1 1077944384 50 0 0 0 0 0 0 0 20 0 15 0 407599721 15508242432 7407 33554432000 4194304 4196468 140730551762640 140658427791856 140658965404290 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 16130048 140730551768047 140730551768218 140730551768218 140730551771087 0
[pid=14514/tid=14526] ppid=14512 vsize=15144768 memory=140231578748544 CPUtime=0.02 cores=1,3,5,7
/proc/14514/task/14526/stat : 14526 (java) R 14512 14512 14062 0 -1 4202560 360 0 0 0 2 0 0 0 20 0 15 0 407599721 15508242432 7407 33554432000 4194304 4196468 140730551762640 140658426739568 140658950764075 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 16130048 140730551768047 140730551768218 140730551768218 140730551771087 0
[pid=14514/tid=14527] ppid=14512 vsize=15144768 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/14514/task/14527/stat : 14527 (java) S 14512 14512 14062 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 407599722 15508242432 7407 33554432000 4194304 4196468 140730551762640 140658425687008 140658965403349 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 16130048 140730551768047 140730551768218 140730551768218 140730551771087 0
[pid=14514/tid=14528] ppid=14512 vsize=15144768 memory=140231578748544 CPUtime=0 cores=1,3,5,7
/proc/14514/task/14528/stat : 14528 (java) R 14512 14512 14062 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 407599722 15508242432 7407 33554432000 4194304 4196468 140730551762640 140658424633776 140658965404290 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 16130048 140730551768047 140730551768218 140730551768218 140730551771087 0
Current children cumulated CPU time: 0.14 s
Current children cumulated vsize: 15257896 KiB
Current children cumulated memory: 31076 KiB
[startup+0.211212 s]*
/proc/loadavg: 7.81 3.70 2.03 6/233 14528
/proc/meminfo: memFree=30304364/32770624 swapFree=66996208/67108860
[pid=14512] ppid=14509 vsize=113128 memory=1448 CPUtime=0 cores=1,3,5,7
/proc/14512/stat : 14512 (xcsp3-exec) S 14509 14512 14062 0 -1 4202496 543 0 0 0 0 0 0 0 20 0 1 0 407599716 115843072 362 33554432000 4194304 5098028 140735880441568 140735880439672 139664268829308 0 65536 4100 65538 18446744071579417331 0 0 17 5 0 0 0 0 0 7196144 7232144 32321536 140735880446842 140735880447085 140735880447085 140735880449994 0
/proc/14512/statm: 28282 362 304 221 0 87 0
[pid=14514] ppid=14512 vsize=15144768 memory=40844 CPUtime=0.34 cores=1,3,5,7
/proc/14514/stat : 14514 (java) S 14512 14512 14062 0 -1 1077944320 9453 0 0 0 32 2 0 0 20 0 15 0 407599716 15508242432 10211 33554432000 4194304 4196468 140730551762640 140730551745184 140658965393143 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 16130048 140730551768047 140730551768218 140730551768218 140730551771087 0
/proc/14514/statm: 3786192 10211 3276 1 0 3748377 0
[pid=14514/tid=14515] ppid=14512 vsize=15144768 memory=7883960649037381690 CPUtime=0.2 cores=1,3,5,7
/proc/14514/task/14515/stat : 14515 (java) R 14512 14512 14062 0 -1 4202560 6648 0 0 0 18 2 0 0 20 0 15 0 407599716 15508242432 10211 33554432000 4194304 4196468 140730551762640 140658969628944 140658949436773 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 16130048 140730551768047 140730551768218 140730551768218 140730551771087 0
[pid=14514/tid=14516] ppid=14512 vsize=15144768 memory=2670165 CPUtime=0 cores=1,3,5,7
/proc/14514/task/14516/stat : 14516 (java) S 14512 14512 14062 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 407599717 15508242432 10211 33554432000 4194304 4196468 140730551762640 140658918013840 140658965403349 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 16130048 140730551768047 140730551768218 140730551768218 140730551771087 0
[pid=14514/tid=14517] ppid=14512 vsize=15144768 memory=2850583 CPUtime=0 cores=1,3,5,7
/proc/14514/task/14517/stat : 14517 (java) S 14512 14512 14062 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 407599717 15508242432 10211 33554432000 4194304 4196468 140730551762640 140658916961040 140658965403349 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 16130048 140730551768047 140730551768218 140730551768218 140730551771087 0
[pid=14514/tid=14518] ppid=14512 vsize=15144768 memory=0 CPUtime=0 cores=1,3,5,7
/proc/14514/task/14518/stat : 14518 (java) S 14512 14512 14062 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 407599717 15508242432 10211 33554432000 4194304 4196468 140730551762640 140658915908752 140658965403349 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 16130048 140730551768047 140730551768218 140730551768218 140730551771087 0
[pid=14514/tid=14519] ppid=14512 vsize=15144768 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/14514/task/14519/stat : 14519 (java) S 14512 14512 14062 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 407599717 15508242432 10211 33554432000 4194304 4196468 140730551762640 140658914855952 140658965403349 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 16130048 140730551768047 140730551768218 140730551768218 140730551771087 0
[pid=14514/tid=14520] ppid=14512 vsize=15144768 memory=0 CPUtime=0 cores=1,3,5,7
/proc/14514/task/14520/stat : 14520 (java) S 14512 14512 14062 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 407599718 15508242432 10211 33554432000 4194304 4196468 140730551762640 140658433054832 140658965404290 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 16130048 140730551768047 140730551768218 140730551768218 140730551771087 0
[pid=14514/tid=14521] ppid=14512 vsize=15144768 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/14514/task/14521/stat : 14521 (java) S 14512 14512 14062 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 407599719 15508242432 10211 33554432000 4194304 4196468 140730551762640 140658432000800 140658965403349 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 16130048 140730551768047 140730551768218 140730551768218 140730551771087 0
[pid=14514/tid=14522] ppid=14512 vsize=15144768 memory=140231578748544 CPUtime=0 cores=1,3,5,7
/proc/14514/task/14522/stat : 14522 (java) S 14512 14512 14062 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 407599719 15508242432 10211 33554432000 4194304 4196468 140730551762640 140658430948464 140658965403349 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 16130048 140730551768047 140730551768218 140730551768218 140730551771087 0
[pid=14514/tid=14523] ppid=14512 vsize=15144768 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/14514/task/14523/stat : 14523 (java) S 14512 14512 14062 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 407599721 15508242432 10211 33554432000 4194304 4196468 140730551762640 140658429896784 140658965411739 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 16130048 140730551768047 140730551768218 140730551768218 140730551771087 0
[pid=14514/tid=14524] ppid=14512 vsize=15144768 memory=0 CPUtime=0.02 cores=1,3,5,7
/proc/14514/task/14524/stat : 14524 (java) S 14512 14512 14062 0 -1 1077944384 451 0 0 0 2 0 0 0 20 0 15 0 407599721 15508242432 10211 33554432000 4194304 4196468 140730551762640 140658428844656 140658965404290 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 16130048 140730551768047 140730551768218 140730551768218 140730551771087 0
[pid=14514/tid=14525] ppid=14512 vsize=15144768 memory=-1 CPUtime=0.03 cores=1,3,5,7
/proc/14514/task/14525/stat : 14525 (java) S 14512 14512 14062 0 -1 1077944384 307 0 0 0 3 0 0 0 20 0 15 0 407599721 15508242432 10211 33554432000 4194304 4196468 140730551762640 140658427791856 140658965404290 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 16130048 140730551768047 140730551768218 140730551768218 140730551771087 0
[pid=14514/tid=14526] ppid=14512 vsize=15144768 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/14514/task/14526/stat : 14526 (java) R 14512 14512 14062 0 -1 4202560 744 0 0 0 8 0 0 0 20 0 15 0 407599721 15508242432 10211 33554432000 4194304 4196468 140730551762640 140658426739568 140658965405078 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 16130048 140730551768047 140730551768218 140730551768218 140730551771087 0
[pid=14514/tid=14527] ppid=14512 vsize=15144768 memory=0 CPUtime=0 cores=1,3,5,7
/proc/14514/task/14527/stat : 14527 (java) S 14512 14512 14062 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 407599722 15508242432 10211 33554432000 4194304 4196468 140730551762640 140658425687008 140658965403349 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 16130048 140730551768047 140730551768218 140730551768218 140730551771087 0
[pid=14514/tid=14528] ppid=14512 vsize=15144768 memory=0 CPUtime=0 cores=1,3,5,7
/proc/14514/task/14528/stat : 14528 (java) S 14512 14512 14062 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 407599722 15508242432 10211 33554432000 4194304 4196468 140730551762640 140658424633776 140658965404290 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 16130048 140730551768047 140730551768218 140730551768218 140730551771087 0
Current children cumulated CPU time: 0.34 s
Current children cumulated vsize: 15257896 KiB
Current children cumulated memory: 42292 KiB
[startup+0.310509 s]*
/proc/loadavg: 7.81 3.70 2.03 7/233 14528
/proc/meminfo: memFree=30297340/32770624 swapFree=66996208/67108860
[pid=14512] ppid=14509 vsize=113128 memory=1448 CPUtime=0 cores=1,3,5,7
/proc/14512/stat : 14512 (xcsp3-exec) S 14509 14512 14062 0 -1 4202496 543 0 0 0 0 0 0 0 20 0 1 0 407599716 115843072 362 33554432000 4194304 5098028 140735880441568 140735880439672 139664268829308 0 65536 4100 65538 18446744071579417331 0 0 17 5 0 0 0 0 0 7196144 7232144 32321536 140735880446842 140735880447085 140735880447085 140735880449994 0
/proc/14512/statm: 28282 362 304 221 0 87 0
[pid=14514] ppid=14512 vsize=15149024 memory=50120 CPUtime=0.53 cores=1,3,5,7
/proc/14514/stat : 14514 (java) S 14512 14512 14062 0 -1 1077944320 10890 0 0 0 50 3 0 0 20 0 15 0 407599716 15512600576 12530 33554432000 4194304 4196468 140730551762640 140730551745184 140658965393143 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 16130048 140730551768047 140730551768218 140730551768218 140730551771087 0
/proc/14514/statm: 3787256 12530 3372 1 0 3748377 0
[pid=14514/tid=14515] ppid=14512 vsize=15149024 memory=8389772277269004345 CPUtime=0.29 cores=1,3,5,7
/proc/14514/task/14515/stat : 14515 (java) R 14512 14512 14062 0 -1 4202560 7856 0 0 0 27 2 0 0 20 0 15 0 407599716 15512600576 12530 33554432000 4194304 4196468 140730551762640 140658969624256 140658949473630 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 16130048 140730551768047 140730551768218 140730551768218 140730551771087 0
[pid=14514/tid=14516] ppid=14512 vsize=15149024 memory=0 CPUtime=0 cores=1,3,5,7
/proc/14514/task/14516/stat : 14516 (java) S 14512 14512 14062 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 407599717 15512600576 12530 33554432000 4194304 4196468 140730551762640 140658918013840 140658965403349 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 16130048 140730551768047 140730551768218 140730551768218 140730551771087 0
[pid=14514/tid=14517] ppid=14512 vsize=15149024 memory=2853883 CPUtime=0 cores=1,3,5,7
/proc/14514/task/14517/stat : 14517 (java) S 14512 14512 14062 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 407599717 15512600576 12530 33554432000 4194304 4196468 140730551762640 140658916961040 140658965403349 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 16130048 140730551768047 140730551768218 140730551768218 140730551771087 0
[pid=14514/tid=14518] ppid=14512 vsize=15149024 memory=0 CPUtime=0 cores=1,3,5,7
/proc/14514/task/14518/stat : 14518 (java) S 14512 14512 14062 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 407599717 15512600576 12530 33554432000 4194304 4196468 140730551762640 140658915908752 140658965403349 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 16130048 140730551768047 140730551768218 140730551768218 140730551771087 0
[pid=14514/tid=14519] ppid=14512 vsize=15149024 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/14514/task/14519/stat : 14519 (java) S 14512 14512 14062 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 407599717 15512600576 12530 33554432000 4194304 4196468 140730551762640 140658914855952 140658965403349 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 16130048 140730551768047 140730551768218 140730551768218 140730551771087 0
[pid=14514/tid=14520] ppid=14512 vsize=15149024 memory=140231578748544 CPUtime=0 cores=1,3,5,7
/proc/14514/task/14520/stat : 14520 (java) S 14512 14512 14062 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 407599718 15512600576 12530 33554432000 4194304 4196468 140730551762640 140658433054832 140658965404290 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 16130048 140730551768047 140730551768218 140730551768218 140730551771087 0
[pid=14514/tid=14521] ppid=14512 vsize=15149024 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/14514/task/14521/stat : 14521 (java) S 14512 14512 14062 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 407599719 15512600576 12530 33554432000 4194304 4196468 140730551762640 140658432000800 140658965403349 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 16130048 140730551768047 140730551768218 140730551768218 140730551771087 0
[pid=14514/tid=14522] ppid=14512 vsize=15149024 memory=0 CPUtime=0 cores=1,3,5,7
/proc/14514/task/14522/stat : 14522 (java) S 14512 14512 14062 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 407599719 15512600576 12530 33554432000 4194304 4196468 140730551762640 140658430948464 140658965403349 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 16130048 140730551768047 140730551768218 140730551768218 140730551771087 0
[pid=14514/tid=14523] ppid=14512 vsize=15149024 memory=0 CPUtime=0 cores=1,3,5,7
/proc/14514/task/14523/stat : 14523 (java) S 14512 14512 14062 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 407599721 15512600576 12530 33554432000 4194304 4196468 140730551762640 140658429896784 140658965411739 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 16130048 140730551768047 140730551768218 140730551768218 140730551771087 0
[pid=14514/tid=14524] ppid=14512 vsize=15149024 memory=0 CPUtime=0.03 cores=1,3,5,7
/proc/14514/task/14524/stat : 14524 (java) S 14512 14512 14062 0 -1 1077944384 481 0 0 0 3 0 0 0 20 0 15 0 407599721 15512600576 12530 33554432000 4194304 4196468 140730551762640 140658428844656 140658965404290 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 16130048 140730551768047 140730551768218 140730551768218 140730551771087 0
[pid=14514/tid=14525] ppid=14512 vsize=15149024 memory=-1 CPUtime=0.06 cores=1,3,5,7
/proc/14514/task/14525/stat : 14525 (java) S 14512 14512 14062 0 -1 1077944384 427 0 0 0 6 0 0 0 20 0 15 0 407599721 15512600576 12530 33554432000 4194304 4196468 140730551762640 140658427791856 140658965404290 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 16130048 140730551768047 140730551768218 140730551768218 140730551771087 0
[pid=14514/tid=14526] ppid=14512 vsize=15149024 memory=140231578748544 CPUtime=0.12 cores=1,3,5,7
/proc/14514/task/14526/stat : 14526 (java) S 14512 14512 14062 0 -1 1077944384 829 0 0 0 12 0 0 0 20 0 15 0 407599721 15512600576 12530 33554432000 4194304 4196468 140730551762640 140658426739568 140658965404290 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 16130048 140730551768047 140730551768218 140730551768218 140730551771087 0
[pid=14514/tid=14527] ppid=14512 vsize=15149024 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/14514/task/14527/stat : 14527 (java) S 14512 14512 14062 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 407599722 15512600576 12530 33554432000 4194304 4196468 140730551762640 140658425687008 140658965403349 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 16130048 140730551768047 140730551768218 140730551768218 140730551771087 0
[pid=14514/tid=14528] ppid=14512 vsize=15149024 memory=140231578748544 CPUtime=0 cores=1,3,5,7
/proc/14514/task/14528/stat : 14528 (java) S 14512 14512 14062 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 407599722 15512600576 12530 33554432000 4194304 4196468 140730551762640 140658424633776 140658965404290 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 16130048 140730551768047 140730551768218 140730551768218 140730551771087 0
Current children cumulated CPU time: 0.53 s
Current children cumulated vsize: 15262152 KiB
Current children cumulated memory: 51568 KiB
[startup+0.703183 s]
/proc/loadavg: 7.81 3.70 2.03 7/233 14528
/proc/meminfo: memFree=30285472/32770624 swapFree=66996208/67108860
[pid=14512] ppid=14509 vsize=113128 memory=1448 CPUtime=0 cores=1,3,5,7
/proc/14512/stat : 14512 (xcsp3-exec) S 14509 14512 14062 0 -1 4202496 543 0 0 0 0 0 0 0 20 0 1 0 407599716 115843072 362 33554432000 4194304 5098028 140735880441568 140735880439672 139664268829308 0 65536 4100 65538 18446744071579417331 0 0 17 5 0 0 0 0 0 7196144 7232144 32321536 140735880446842 140735880447085 140735880447085 140735880449994 0
/proc/14512/statm: 28282 362 304 221 0 87 0
[pid=14514] ppid=14512 vsize=15418432 memory=124676 CPUtime=1.6 cores=1,3,5,7
/proc/14514/stat : 14514 (java) S 14512 14512 14062 0 -1 1077944320 15068 0 0 0 154 6 0 0 20 0 19 0 407599716 15788474368 31169 33554432000 4194304 4196468 140730551762640 140730551745184 140658965393143 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 16130048 140730551768047 140730551768218 140730551768218 140730551771087 0
/proc/14514/statm: 3854608 31169 3458 1 0 3815710 0
[pid=14514/tid=14515] ppid=14512 vsize=15418432 memory=11932 CPUtime=0.62 cores=1,3,5,7
/proc/14514/task/14515/stat : 14515 (java) S 14512 14512 14062 0 -1 1077944384 9335 0 0 0 58 4 0 0 20 0 19 0 407599716 15788474368 31169 33554432000 4194304 4196468 140730551762640 140658969633920 140658965403349 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 16130048 140730551768047 140730551768218 140730551768218 140730551771087 0
[pid=14514/tid=14516] ppid=14512 vsize=15418432 memory=1556 CPUtime=0 cores=1,3,5,7
/proc/14514/task/14516/stat : 14516 (java) S 14512 14512 14062 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 19 0 407599717 15788474368 31169 33554432000 4194304 4196468 140730551762640 140658918013840 140658965403349 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 16130048 140730551768047 140730551768218 140730551768218 140730551771087 0
[pid=14514/tid=14517] ppid=14512 vsize=15418432 memory=500 CPUtime=0 cores=1,3,5,7
/proc/14514/task/14517/stat : 14517 (java) S 14512 14512 14062 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 19 0 407599717 15788474368 31169 33554432000 4194304 4196468 140730551762640 140658916961040 140658965403349 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 16130048 140730551768047 140730551768218 140730551768218 140730551771087 0
[pid=14514/tid=14518] ppid=14512 vsize=15418432 memory=928 CPUtime=0 cores=1,3,5,7
/proc/14514/task/14518/stat : 14518 (java) S 14512 14512 14062 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 19 0 407599717 15788474368 31169 33554432000 4194304 4196468 140730551762640 140658915908752 140658965403349 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 16130048 140730551768047 140730551768218 140730551768218 140730551771087 0
[pid=14514/tid=14519] ppid=14512 vsize=15418432 memory=1528 CPUtime=0 cores=1,3,5,7
/proc/14514/task/14519/stat : 14519 (java) S 14512 14512 14062 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 19 0 407599717 15788474368 31169 33554432000 4194304 4196468 140730551762640 140658914855952 140658965403349 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 16130048 140730551768047 140730551768218 140730551768218 140730551771087 0
[pid=14514/tid=14520] ppid=14512 vsize=15418432 memory=1448 CPUtime=0 cores=1,3,5,7
/proc/14514/task/14520/stat : 14520 (java) S 14512 14512 14062 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 19 0 407599718 15788474368 31169 33554432000 4194304 4196468 140730551762640 140658433054832 140658965404290 0 0 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 16130048 140730551768047 140730551768218 140730551768218 140730551771087 0
[pid=14514/tid=14521] ppid=14512 vsize=15418432 memory=876 CPUtime=0 cores=1,3,5,7
/proc/14514/task/14521/stat : 14521 (java) S 14512 14512 14062 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 19 0 407599719 15788474368 31169 33554432000 4194304 4196468 140730551762640 140658432000800 140658965403349 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 16130048 140730551768047 140730551768218 140730551768218 140730551771087 0
[pid=14514/tid=14522] ppid=14512 vsize=15418432 memory=1980 CPUtime=0 cores=1,3,5,7
/proc/14514/task/14522/stat : 14522 (java) S 14512 14512 14062 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 19 0 407599719 15788474368 31169 33554432000 4194304 4196468 140730551762640 140658430948464 140658965403349 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 16130048 140730551768047 140730551768218 140730551768218 140730551771087 0
[pid=14514/tid=14523] ppid=14512 vsize=15418432 memory=7086240636179075427 CPUtime=0 cores=1,3,5,7
/proc/14514/task/14523/stat : 14523 (java) S 14512 14512 14062 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 407599721 15788474368 31169 33554432000 4194304 4196468 140730551762640 140658429896784 140658965411739 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 16130048 140730551768047 140730551768218 140730551768218 140730551771087 0
[pid=14514/tid=14524] ppid=14512 vsize=15418432 memory=7453282923427948884 CPUtime=0.21 cores=1,3,5,7
/proc/14514/task/14524/stat : 14524 (java) R 14512 14512 14062 0 -1 4202560 1187 0 0 0 21 0 0 0 20 0 19 0 407599721 15788474368 31169 33554432000 4194304 4196468 140730551762640 140658428824496 140658949789919 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 16130048 140730551768047 140730551768218 140730551768218 140730551771087 0
[pid=14514/tid=14525] ppid=14512 vsize=15418432 memory=7223879631928058176 CPUtime=0.24 cores=1,3,5,7
/proc/14514/task/14525/stat : 14525 (java) R 14512 14512 14062 0 -1 1077944384 833 0 0 0 24 0 0 0 20 0 19 0 407599721 15788474368 31169 33554432000 4194304 4196468 140730551762640 140658427791984 140658965403349 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 16130048 140730551768047 140730551768218 140730551768218 140730551771087 0
[pid=14514/tid=14526] ppid=14512 vsize=15418432 memory=8514726395714826909 CPUtime=0.42 cores=1,3,5,7
/proc/14514/task/14526/stat : 14526 (java) R 14512 14512 14062 0 -1 4202560 1849 0 0 0 42 0 0 0 20 0 19 0 407599721 15788474368 31169 33554432000 4194304 4196468 140730551762640 140658426735328 140658943882368 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 16130048 140730551768047 140730551768218 140730551768218 140730551771087 0
[pid=14514/tid=14527] ppid=14512 vsize=15418432 memory=0 CPUtime=0 cores=1,3,5,7
/proc/14514/task/14527/stat : 14527 (java) S 14512 14512 14062 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 407599722 15788474368 31169 33554432000 4194304 4196468 140730551762640 140658425687008 140658965403349 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 16130048 140730551768047 140730551768218 140730551768218 140730551771087 0
[pid=14514/tid=14528] ppid=14512 vsize=15418432 memory=0 CPUtime=0 cores=1,3,5,7
/proc/14514/task/14528/stat : 14528 (java) S 14512 14512 14062 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 19 0 407599722 15788474368 31169 33554432000 4194304 4196468 140730551762640 140658424633776 140658965404290 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 16130048 140730551768047 140730551768218 140730551768218 140730551771087 0
Current children cumulated CPU time: 1.6 s
Current children cumulated vsize: 15531560 KiB
Current children cumulated memory: 126124 KiB
[startup+1.50543 s]
/proc/loadavg: 7.81 3.70 2.03 12/238 14576
/proc/meminfo: memFree=30169036/32770624 swapFree=66996208/67108860
[pid=14512] ppid=14509 vsize=113128 memory=1448 CPUtime=0 cores=1,3,5,7
/proc/14512/stat : 14512 (xcsp3-exec) S 14509 14512 14062 0 -1 4202496 543 0 0 0 0 0 0 0 20 0 1 0 407599716 115843072 362 33554432000 4194304 5098028 140735880441568 140735880439672 139664268829308 0 65536 4100 65538 18446744071579417331 0 0 17 5 0 0 0 0 0 7196144 7232144 32321536 140735880446842 140735880447085 140735880447085 140735880449994 0
/proc/14512/statm: 28282 362 304 221 0 87 0
################
# More data... #
################
/proc/14514/task/14528/stat : 14528 (java) S 14512 14512 14062 0 -1 1077944384 169 0 0 0 0 0 0 0 20 0 19 0 407599722 15925841920 52045 33554432000 4194304 4196468 140730551762640 140658424633776 140658965404290 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 19 0 0 6293624 6294260 16130048 140730551768047 140730551768218 140730551768218 140730551771087 0
[pid=14514/tid=14573] ppid=14512 vsize=15552580 memory=1980 CPUtime=6.34 cores=1,3,5,7
/proc/14514/task/14573/stat : 14573 (java) R 14512 14512 14062 0 -1 4202560 210 0 0 0 634 0 0 0 20 0 19 0 407599815 15925841920 52045 33554432000 4194304 4196468 140730551762640 140658415660776 140658592031860 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 16130048 140730551768047 140730551768218 140730551768218 140730551771087 0
[pid=14514/tid=14574] ppid=14512 vsize=15552580 memory=2552 CPUtime=6.24 cores=1,3,5,7
/proc/14514/task/14574/stat : 14574 (java) R 14512 14512 14062 0 -1 4202560 572 0 0 0 624 0 0 0 20 0 19 0 407599815 15925841920 52045 33554432000 4194304 4196468 140730551762640 140658414609008 140658589717380 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 16130048 140730551768047 140730551768218 140730551768218 140730551771087 0
[pid=14514/tid=14575] ppid=14512 vsize=15552580 memory=1760 CPUtime=6.09 cores=1,3,5,7
/proc/14514/task/14575/stat : 14575 (java) R 14512 14512 14062 0 -1 4202560 498 0 0 0 609 0 0 0 20 0 19 0 407599815 15925841920 52045 33554432000 4194304 4196468 140730551762640 140658410398888 140658592109324 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 16130048 140730551768047 140730551768218 140730551768218 140730551771087 0
[pid=14514/tid=14576] ppid=14512 vsize=15552580 memory=111632 CPUtime=6.47 cores=1,3,5,7
/proc/14514/task/14576/stat : 14576 (java) R 14512 14512 14062 0 -1 4202560 418 0 0 0 647 0 0 0 20 0 19 0 407599815 15925841920 52045 33554432000 4194304 4196468 140730551762640 140658412503368 140658588477847 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 16130048 140730551768047 140730551768218 140730551768218 140730551771087 0
Current children cumulated CPU time: 30.55 s
Current children cumulated vsize: 15665708 KiB
Current children cumulated memory: 209628 KiB
[startup+8.80143 s]
/proc/loadavg: 7.91 3.85 2.10 9/237 14577
/proc/meminfo: memFree=30107768/32770624 swapFree=66996208/67108860
[pid=14512] ppid=14509 vsize=113128 memory=1448 CPUtime=0 cores=1,3,5,7
/proc/14512/stat : 14512 (xcsp3-exec) S 14509 14512 14062 0 -1 4202496 543 0 0 0 0 0 0 0 20 0 1 0 407599716 115843072 362 33554432000 4194304 5098028 140735880441568 140735880439672 139664268829308 0 65536 4100 65538 18446744071579417331 0 0 17 5 0 0 0 0 0 7196144 7232144 32321536 140735880446842 140735880447085 140735880447085 140735880449994 0
/proc/14512/statm: 28282 362 304 221 0 87 0
[pid=14514] ppid=14512 vsize=15552580 memory=208196 CPUtime=33.7 cores=1,3,5,7
/proc/14514/stat : 14514 (java) S 14512 14512 14062 0 -1 1077944320 30384 0 0 0 3359 11 0 0 20 0 19 0 407599716 15925841920 52049 33554432000 4194304 4196468 140730551762640 140730551745184 140658965393143 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 16130048 140730551768047 140730551768218 140730551768218 140730551771087 0
/proc/14514/statm: 3888145 52049 3526 1 0 3849247 0
[pid=14514/tid=14515] ppid=14512 vsize=15552580 memory=6791534058613427641 CPUtime=0.62 cores=1,3,5,7
/proc/14514/task/14515/stat : 14515 (java) S 14512 14512 14062 0 -1 1077944384 9335 0 0 0 58 4 0 0 20 0 19 0 407599716 15925841920 52049 33554432000 4194304 4196468 140730551762640 140658969633920 140658965403349 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 16130048 140730551768047 140730551768218 140730551768218 140730551771087 0
[pid=14514/tid=14516] ppid=14512 vsize=15552580 memory=203388 CPUtime=0.02 cores=1,3,5,7
/proc/14514/task/14516/stat : 14516 (java) S 14512 14512 14062 0 -1 1077944384 280 0 0 0 2 0 0 0 20 0 19 0 407599717 15925841920 52049 33554432000 4194304 4196468 140730551762640 140658918013840 140658965403349 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 16130048 140730551768047 140730551768218 140730551768218 140730551771087 0
[pid=14514/tid=14517] ppid=14512 vsize=15552580 memory=1448 CPUtime=0.01 cores=1,3,5,7
/proc/14514/task/14517/stat : 14517 (java) S 14512 14512 14062 0 -1 1077944384 99 0 0 0 1 0 0 0 20 0 19 0 407599717 15925841920 52049 33554432000 4194304 4196468 140730551762640 140658916961040 140658965403349 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 16130048 140730551768047 140730551768218 140730551768218 140730551771087 0
[pid=14514/tid=14518] ppid=14512 vsize=15552580 memory=206396 CPUtime=0.01 cores=1,3,5,7
/proc/14514/task/14518/stat : 14518 (java) S 14512 14512 14062 0 -1 1077944384 179 0 0 0 1 0 0 0 20 0 19 0 407599717 15925841920 52049 33554432000 4194304 4196468 140730551762640 140658915908752 140658965403349 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 16130048 140730551768047 140730551768218 140730551768218 140730551771087 0
[pid=14514/tid=14519] ppid=14512 vsize=15552580 memory=0 CPUtime=0.01 cores=1,3,5,7
/proc/14514/task/14519/stat : 14519 (java) S 14512 14512 14062 0 -1 1077944384 1351 0 0 0 1 0 0 0 20 0 19 0 407599717 15925841920 52049 33554432000 4194304 4196468 140730551762640 140658914855952 140658965403349 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 16130048 140730551768047 140730551768218 140730551768218 140730551771087 0
[pid=14514/tid=14520] ppid=14512 vsize=15552580 memory=202559247642980 CPUtime=0.01 cores=1,3,5,7
/proc/14514/task/14520/stat : 14520 (java) S 14512 14512 14062 0 -1 1077944384 502 0 0 0 1 0 0 0 20 0 19 0 407599718 15925841920 52049 33554432000 4194304 4196468 140730551762640 140658433054832 140658965404290 0 0 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 16130048 140730551768047 140730551768218 140730551768218 140730551771087 0
[pid=14514/tid=14521] ppid=14512 vsize=15552580 memory=202559247642981 CPUtime=0 cores=1,3,5,7
/proc/14514/task/14521/stat : 14521 (java) S 14512 14512 14062 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 19 0 407599719 15925841920 52049 33554432000 4194304 4196468 140730551762640 140658432000864 140658965403349 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 16130048 140730551768047 140730551768218 140730551768218 140730551771087 0
[pid=14514/tid=14522] ppid=14512 vsize=15552580 memory=6791534058613427641 CPUtime=0 cores=1,3,5,7
/proc/14514/task/14522/stat : 14522 (java) S 14512 14512 14062 0 -1 1077944384 23 0 0 0 0 0 0 0 20 0 19 0 407599719 15925841920 52049 33554432000 4194304 4196468 140730551762640 140658430948480 140658965403349 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 16130048 140730551768047 140730551768218 140730551768218 140730551771087 0
[pid=14514/tid=14523] ppid=14512 vsize=15552580 memory=928 CPUtime=0 cores=1,3,5,7
/proc/14514/task/14523/stat : 14523 (java) S 14512 14512 14062 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 407599721 15925841920 52049 33554432000 4194304 4196468 140730551762640 140658429896784 140658965411739 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 16130048 140730551768047 140730551768218 140730551768218 140730551771087 0
[pid=14514/tid=14524] ppid=14512 vsize=15552580 memory=1528 CPUtime=1.57 cores=1,3,5,7
/proc/14514/task/14524/stat : 14524 (java) S 14512 14512 14062 0 -1 1077944384 5864 0 0 0 157 0 0 0 20 0 19 0 407599721 15925841920 52049 33554432000 4194304 4196468 140730551762640 140658428844656 140658965404290 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 18 0 0 6293624 6294260 16130048 140730551768047 140730551768218 140730551768218 140730551771087 0
[pid=14514/tid=14525] ppid=14512 vsize=15552580 memory=1448 CPUtime=1.79 cores=1,3,5,7
/proc/14514/task/14525/stat : 14525 (java) S 14512 14512 14062 0 -1 1077944384 5047 0 0 0 178 1 0 0 20 0 19 0 407599721 15925841920 52049 33554432000 4194304 4196468 140730551762640 140658427791856 140658965404290 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 16130048 140730551768047 140730551768218 140730551768218 140730551771087 0
[pid=14514/tid=14526] ppid=14512 vsize=15552580 memory=876 CPUtime=0.67 cores=1,3,5,7
/proc/14514/task/14526/stat : 14526 (java) S 14512 14512 14062 0 -1 1077944384 3519 0 0 0 66 1 0 0 20 0 19 0 407599721 15925841920 52049 33554432000 4194304 4196468 140730551762640 140658426739568 140658965404290 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 16130048 140730551768047 140730551768218 140730551768218 140730551771087 0
[pid=14514/tid=14527] ppid=14512 vsize=15552580 memory=1980 CPUtime=0 cores=1,3,5,7
/proc/14514/task/14527/stat : 14527 (java) S 14512 14512 14062 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 407599722 15925841920 52049 33554432000 4194304 4196468 140730551762640 140658425687008 140658965403349 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 16130048 140730551768047 140730551768218 140730551768218 140730551771087 0
[pid=14514/tid=14528] ppid=14512 vsize=15552580 memory=2552 CPUtime=0 cores=1,3,5,7
/proc/14514/task/14528/stat : 14528 (java) S 14512 14512 14062 0 -1 1077944384 169 0 0 0 0 0 0 0 20 0 19 0 407599722 15925841920 52049 33554432000 4194304 4196468 140730551762640 140658424633776 140658965404290 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 19 0 0 6293624 6294260 16130048 140730551768047 140730551768218 140730551768218 140730551771087 0
[pid=14514/tid=14573] ppid=14512 vsize=15552580 memory=0 CPUtime=7.12 cores=1,3,5,7
/proc/14514/task/14573/stat : 14573 (java) R 14512 14512 14062 0 -1 4202560 210 0 0 0 712 0 0 0 20 0 19 0 407599815 15925841920 52049 33554432000 4194304 4196468 140730551762640 140658415660152 140658592550654 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 16130048 140730551768047 140730551768218 140730551768218 140730551771087 0
[pid=14514/tid=14574] ppid=14512 vsize=15552580 memory=5937503940875731041 CPUtime=7.03 cores=1,3,5,7
/proc/14514/task/14574/stat : 14574 (java) R 14512 14512 14062 0 -1 4202560 580 0 0 0 703 0 0 0 20 0 19 0 407599815 15925841920 52049 33554432000 4194304 4196468 140730551762640 140658414609192 140658591631045 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 16130048 140730551768047 140730551768218 140730551768218 140730551771087 0
[pid=14514/tid=14575] ppid=14512 vsize=15552580 memory=7956005031678667109 CPUtime=6.88 cores=1,3,5,7
/proc/14514/task/14575/stat : 14575 (java) R 14512 14512 14062 0 -1 4202560 512 0 0 0 688 0 0 0 20 0 19 0 407599815 15925841920 52049 33554432000 4194304 4196468 140730551762640 140658410398664 140658591918592 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 16130048 140730551768047 140730551768218 140730551768218 140730551771087 0
[pid=14514/tid=14576] ppid=14512 vsize=15552580 memory=6299802978650451056 CPUtime=7.25 cores=1,3,5,7
/proc/14514/task/14576/stat : 14576 (java) R 14512 14512 14062 0 -1 4202560 423 0 0 0 725 0 0 0 20 0 19 0 407599815 15925841920 52049 33554432000 4194304 4196468 140730551762640 140658412502640 140658590427094 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 16130048 140730551768047 140730551768218 140730551768218 140730551771087 0
Current children cumulated CPU time: 33.7 s
Current children cumulated vsize: 15665708 KiB
Current children cumulated memory: 209644 KiB
[startup+9.20143 s]
/proc/loadavg: 7.91 3.85 2.10 12/237 14581
/proc/meminfo: memFree=30108232/32770624 swapFree=66996208/67108860
[pid=14512] ppid=14509 vsize=113128 memory=1448 CPUtime=0 cores=1,3,5,7
/proc/14512/stat : 14512 (xcsp3-exec) S 14509 14512 14062 0 -1 4202496 543 0 0 0 0 0 0 0 20 0 1 0 407599716 115843072 362 33554432000 4194304 5098028 140735880441568 140735880439672 139664268829308 0 65536 4100 65538 18446744071579417331 0 0 17 5 0 0 0 0 0 7196144 7232144 32321536 140735880446842 140735880447085 140735880447085 140735880449994 0
/proc/14512/statm: 28282 362 304 221 0 87 0
[pid=14514] ppid=14512 vsize=15552580 memory=204740 CPUtime=35.27 cores=1,3,5,7
/proc/14514/stat : 14514 (java) S 14512 14512 14062 0 -1 1077944320 32126 0 0 0 3516 11 0 0 20 0 19 0 407599716 15925841920 51185 33554432000 4194304 4196468 140730551762640 140730551745184 140658965393143 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 16130048 140730551768047 140730551768218 140730551768218 140730551771087 0
/proc/14514/statm: 3888145 51185 3526 1 0 3849247 0
[pid=14514/tid=14515] ppid=14512 vsize=15552580 memory=0 CPUtime=0.62 cores=1,3,5,7
/proc/14514/task/14515/stat : 14515 (java) S 14512 14512 14062 0 -1 1077944384 9522 0 0 0 58 4 0 0 20 0 19 0 407599716 15925841920 51185 33554432000 4194304 4196468 140730551762640 140658969633920 140658965403349 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 16130048 140730551768047 140730551768218 140730551768218 140730551771087 0
[pid=14514/tid=14516] ppid=14512 vsize=15552580 memory=0 CPUtime=0.02 cores=1,3,5,7
/proc/14514/task/14516/stat : 14516 (java) S 14512 14512 14062 0 -1 1077944384 281 0 0 0 2 0 0 0 20 0 19 0 407599717 15925841920 51185 33554432000 4194304 4196468 140730551762640 140658918013840 140658965403349 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 16130048 140730551768047 140730551768218 140730551768218 140730551771087 0
[pid=14514/tid=14517] ppid=14512 vsize=15552580 memory=6944656592455359580 CPUtime=0.01 cores=1,3,5,7
/proc/14514/task/14517/stat : 14517 (java) S 14512 14512 14062 0 -1 1077944384 99 0 0 0 1 0 0 0 20 0 19 0 407599717 15925841920 51185 33554432000 4194304 4196468 140730551762640 140658916961040 140658965403349 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 16130048 140730551768047 140730551768218 140730551768218 140730551771087 0
[pid=14514/tid=14518] ppid=14512 vsize=15552580 memory=6656426216303648864 CPUtime=0.01 cores=1,3,5,7
/proc/14514/task/14518/stat : 14518 (java) S 14512 14512 14062 0 -1 1077944384 179 0 0 0 1 0 0 0 20 0 19 0 407599717 15925841920 51185 33554432000 4194304 4196468 140730551762640 140658915908752 140658965403349 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 16130048 140730551768047 140730551768218 140730551768218 140730551771087 0
[pid=14514/tid=14519] ppid=14512 vsize=15552580 memory=0 CPUtime=0.01 cores=1,3,5,7
/proc/14514/task/14519/stat : 14519 (java) S 14512 14512 14062 0 -1 1077944384 1355 0 0 0 1 0 0 0 20 0 19 0 407599717 15925841920 51185 33554432000 4194304 4196468 140730551762640 140658914855952 140658965403349 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 16130048 140730551768047 140730551768218 140730551768218 140730551771087 0
[pid=14514/tid=14520] ppid=14512 vsize=15552580 memory=0 CPUtime=0.01 cores=1,3,5,7
/proc/14514/task/14520/stat : 14520 (java) S 14512 14512 14062 0 -1 1077944384 503 0 0 0 1 0 0 0 20 0 19 0 407599718 15925841920 51185 33554432000 4194304 4196468 140730551762640 140658433054832 140658965404290 0 0 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 16130048 140730551768047 140730551768218 140730551768218 140730551771087 0
[pid=14514/tid=14521] ppid=14512 vsize=15552580 memory=0 CPUtime=0 cores=1,3,5,7
/proc/14514/task/14521/stat : 14521 (java) S 14512 14512 14062 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 19 0 407599719 15925841920 51185 33554432000 4194304 4196468 140730551762640 140658432000864 140658965403349 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 16130048 140730551768047 140730551768218 140730551768218 140730551771087 0
[pid=14514/tid=14522] ppid=14512 vsize=15552580 memory=0 CPUtime=0 cores=1,3,5,7
/proc/14514/task/14522/stat : 14522 (java) S 14512 14512 14062 0 -1 1077944384 23 0 0 0 0 0 0 0 20 0 19 0 407599719 15925841920 51185 33554432000 4194304 4196468 140730551762640 140658430948480 140658965403349 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 16130048 140730551768047 140730551768218 140730551768218 140730551771087 0
[pid=14514/tid=14523] ppid=14512 vsize=15552580 memory=0 CPUtime=0 cores=1,3,5,7
/proc/14514/task/14523/stat : 14523 (java) S 14512 14512 14062 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 407599721 15925841920 51185 33554432000 4194304 4196468 140730551762640 140658429896784 140658965411739 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 16130048 140730551768047 140730551768218 140730551768218 140730551771087 0
[pid=14514/tid=14524] ppid=14512 vsize=15552580 memory=0 CPUtime=1.71 cores=1,3,5,7
/proc/14514/task/14524/stat : 14524 (java) S 14512 14512 14062 0 -1 1077944384 6189 0 0 0 171 0 0 0 20 0 19 0 407599721 15925841920 51185 33554432000 4194304 4196468 140730551762640 140658428844656 140658965404290 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 18 0 0 6293624 6294260 16130048 140730551768047 140730551768218 140730551768218 140730551771087 0
[pid=14514/tid=14525] ppid=14512 vsize=15552580 memory=0 CPUtime=1.92 cores=1,3,5,7
/proc/14514/task/14525/stat : 14525 (java) S 14512 14512 14062 0 -1 1077944384 5654 0 0 0 191 1 0 0 20 0 19 0 407599721 15925841920 51185 33554432000 4194304 4196468 140730551762640 140658427791856 140658965404290 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 16130048 140730551768047 140730551768218 140730551768218 140730551771087 0
[pid=14514/tid=14526] ppid=14512 vsize=15552580 memory=0 CPUtime=0.68 cores=1,3,5,7
/proc/14514/task/14526/stat : 14526 (java) S 14512 14512 14062 0 -1 1077944384 3891 0 0 0 67 1 0 0 20 0 19 0 407599721 15925841920 51185 33554432000 4194304 4196468 140730551762640 140658426739568 140658965404290 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 16130048 140730551768047 140730551768218 140730551768218 140730551771087 0
[pid=14514/tid=14527] ppid=14512 vsize=15552580 memory=280462840964640 CPUtime=0 cores=1,3,5,7
/proc/14514/task/14527/stat : 14527 (java) S 14512 14512 14062 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 407599722 15925841920 51185 33554432000 4194304 4196468 140730551762640 140658425687008 140658965403349 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 16130048 140730551768047 140730551768218 140730551768218 140730551771087 0
[pid=14514/tid=14528] ppid=14512 vsize=15552580 memory=0 CPUtime=0 cores=1,3,5,7
/proc/14514/task/14528/stat : 14528 (java) S 14512 14512 14062 0 -1 1077944384 169 0 0 0 0 0 0 0 20 0 19 0 407599722 15925841920 51185 33554432000 4194304 4196468 140730551762640 140658424633776 140658965404290 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 19 0 0 6293624 6294260 16130048 140730551768047 140730551768218 140730551768218 140730551771087 0
[pid=14514/tid=14578] ppid=14512 vsize=15552580 memory=0 CPUtime=0.25 cores=1,3,5,7
/proc/14514/task/14578/stat : 14578 (java) R 14512 14512 14062 0 -1 4202560 31 0 0 0 25 0 0 0 20 0 19 0 407600602 15925841920 51185 33554432000 4194304 4196468 140730551762640 140658414607280 140658586259668 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 16130048 140730551768047 140730551768218 140730551768218 140730551771087 0
[pid=14514/tid=14579] ppid=14512 vsize=15552580 memory=0 CPUtime=0.32 cores=1,3,5,7
/proc/14514/task/14579/stat : 14579 (java) R 14512 14512 14062 0 -1 4202560 52 0 0 0 32 0 0 0 20 0 19 0 407600602 15925841920 51185 33554432000 4194304 4196468 140730551762640 140658415663840 140658593127398 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 16130048 140730551768047 140730551768218 140730551768218 140730551771087 0
[pid=14514/tid=14580] ppid=14512 vsize=15552580 memory=280462840824048 CPUtime=0.25 cores=1,3,5,7
/proc/14514/task/14580/stat : 14580 (java) R 14512 14512 14062 0 -1 4202560 22 0 0 0 25 0 0 0 20 0 19 0 407600602 15925841920 51185 33554432000 4194304 4196468 140730551762640 140658412503344 140658950604465 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 16130048 140730551768047 140730551768218 140730551768218 140730551771087 0
[pid=14514/tid=14581] ppid=14512 vsize=15552580 memory=280462840824048 CPUtime=0.22 cores=1,3,5,7
/proc/14514/task/14581/stat : 14581 (java) R 14512 14512 14062 0 -1 4202560 17 0 0 0 22 0 0 0 20 0 19 0 407600602 15925841920 51185 33554432000 4194304 4196468 140730551762640 140658410400256 140658957709652 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 16130048 140730551768047 140730551768218 140730551768218 140730551771087 0
Current children cumulated CPU time: 35.27 s
Current children cumulated vsize: 15665708 KiB
Current children cumulated memory: 206188 KiB
[startup+9.40143 s]
/proc/loadavg: 7.91 3.85 2.10 12/237 14581
/proc/meminfo: memFree=30108232/32770624 swapFree=66996208/67108860
[pid=14512] ppid=14509 vsize=113128 memory=1448 CPUtime=0 cores=1,3,5,7
/proc/14512/stat : 14512 (xcsp3-exec) S 14509 14512 14062 0 -1 4202496 543 0 0 0 0 0 0 0 20 0 1 0 407599716 115843072 362 33554432000 4194304 5098028 140735880441568 140735880439672 139664268829308 0 65536 4100 65538 18446744071579417331 0 0 17 5 0 0 0 0 0 7196144 7232144 32321536 140735880446842 140735880447085 140735880447085 140735880449994 0
/proc/14512/statm: 28282 362 304 221 0 87 0
[pid=14514] ppid=14512 vsize=15552580 memory=204740 CPUtime=36.07 cores=1,3,5,7
/proc/14514/stat : 14514 (java) S 14512 14512 14062 0 -1 1077944320 32126 0 0 0 3596 11 0 0 20 0 19 0 407599716 15925841920 51185 33554432000 4194304 4196468 140730551762640 140730551745184 140658965393143 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 16130048 140730551768047 140730551768218 140730551768218 140730551771087 0
/proc/14514/statm: 3888145 51185 3526 1 0 3849247 0
[pid=14514/tid=14515] ppid=14512 vsize=15552580 memory=280462840824048 CPUtime=0.62 cores=1,3,5,7
/proc/14514/task/14515/stat : 14515 (java) S 14512 14512 14062 0 -1 1077944384 9522 0 0 0 58 4 0 0 20 0 19 0 407599716 15925841920 51185 33554432000 4194304 4196468 140730551762640 140658969633920 140658965403349 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 16130048 140730551768047 140730551768218 140730551768218 140730551771087 0
[pid=14514/tid=14516] ppid=14512 vsize=15552580 memory=280462840824048 CPUtime=0.02 cores=1,3,5,7
/proc/14514/task/14516/stat : 14516 (java) S 14512 14512 14062 0 -1 1077944384 281 0 0 0 2 0 0 0 20 0 19 0 407599717 15925841920 51185 33554432000 4194304 4196468 140730551762640 140658918013840 140658965403349 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 16130048 140730551768047 140730551768218 140730551768218 140730551771087 0
[pid=14514/tid=14517] ppid=14512 vsize=15552580 memory=280462840824048 CPUtime=0.01 cores=1,3,5,7
/proc/14514/task/14517/stat : 14517 (java) S 14512 14512 14062 0 -1 1077944384 99 0 0 0 1 0 0 0 20 0 19 0 407599717 15925841920 51185 33554432000 4194304 4196468 140730551762640 140658916961040 140658965403349 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 16130048 140730551768047 140730551768218 140730551768218 140730551771087 0
[pid=14514/tid=14518] ppid=14512 vsize=15552580 memory=280462840824048 CPUtime=0.01 cores=1,3,5,7
/proc/14514/task/14518/stat : 14518 (java) S 14512 14512 14062 0 -1 1077944384 179 0 0 0 1 0 0 0 20 0 19 0 407599717 15925841920 51185 33554432000 4194304 4196468 140730551762640 140658915908752 140658965403349 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 16130048 140730551768047 140730551768218 140730551768218 140730551771087 0
[pid=14514/tid=14519] ppid=14512 vsize=15552580 memory=280462840827760 CPUtime=0.01 cores=1,3,5,7
/proc/14514/task/14519/stat : 14519 (java) S 14512 14512 14062 0 -1 1077944384 1355 0 0 0 1 0 0 0 20 0 19 0 407599717 15925841920 51185 33554432000 4194304 4196468 140730551762640 140658914855952 140658965403349 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 16130048 140730551768047 140730551768218 140730551768218 140730551771087 0
[pid=14514/tid=14520] ppid=14512 vsize=15552580 memory=0 CPUtime=0.01 cores=1,3,5,7
/proc/14514/task/14520/stat : 14520 (java) S 14512 14512 14062 0 -1 1077944384 503 0 0 0 1 0 0 0 20 0 19 0 407599718 15925841920 51185 33554432000 4194304 4196468 140730551762640 140658433054832 140658965404290 0 0 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 16130048 140730551768047 140730551768218 140730551768218 140730551771087 0
[pid=14514/tid=14521] ppid=14512 vsize=15552580 memory=-4695052241013923951 CPUtime=0 cores=1,3,5,7
/proc/14514/task/14521/stat : 14521 (java) S 14512 14512 14062 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 19 0 407599719 15925841920 51185 33554432000 4194304 4196468 140730551762640 140658432000864 140658965403349 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 16130048 140730551768047 140730551768218 140730551768218 140730551771087 0
[pid=14514/tid=14522] ppid=14512 vsize=15552580 memory=280462841031216 CPUtime=0 cores=1,3,5,7
/proc/14514/task/14522/stat : 14522 (java) S 14512 14512 14062 0 -1 1077944384 23 0 0 0 0 0 0 0 20 0 19 0 407599719 15925841920 51185 33554432000 4194304 4196468 140730551762640 140658430948480 140658965403349 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 16130048 140730551768047 140730551768218 140730551768218 140730551771087 0
[pid=14514/tid=14523] ppid=14512 vsize=15552580 memory=0 CPUtime=0 cores=1,3,5,7
/proc/14514/task/14523/stat : 14523 (java) S 14512 14512 14062 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 407599721 15925841920 51185 33554432000 4194304 4196468 140730551762640 140658429896784 140658965411739 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 16130048 140730551768047 140730551768218 140730551768218 140730551771087 0
[pid=14514/tid=14524] ppid=14512 vsize=15552580 memory=0 CPUtime=1.71 cores=1,3,5,7
/proc/14514/task/14524/stat : 14524 (java) S 14512 14512 14062 0 -1 1077944384 6189 0 0 0 171 0 0 0 20 0 19 0 407599721 15925841920 51185 33554432000 4194304 4196468 140730551762640 140658428844656 140658965404290 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 18 0 0 6293624 6294260 16130048 140730551768047 140730551768218 140730551768218 140730551771087 0
[pid=14514/tid=14525] ppid=14512 vsize=15552580 memory=0 CPUtime=1.92 cores=1,3,5,7
/proc/14514/task/14525/stat : 14525 (java) S 14512 14512 14062 0 -1 1077944384 5654 0 0 0 191 1 0 0 20 0 19 0 407599721 15925841920 51185 33554432000 4194304 4196468 140730551762640 140658427791856 140658965404290 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 16130048 140730551768047 140730551768218 140730551768218 140730551771087 0
[pid=14514/tid=14526] ppid=14512 vsize=15552580 memory=0 CPUtime=0.68 cores=1,3,5,7
/proc/14514/task/14526/stat : 14526 (java) S 14512 14512 14062 0 -1 1077944384 3891 0 0 0 67 1 0 0 20 0 19 0 407599721 15925841920 51185 33554432000 4194304 4196468 140730551762640 140658426739568 140658965404290 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 16130048 140730551768047 140730551768218 140730551768218 140730551771087 0
[pid=14514/tid=14527] ppid=14512 vsize=15552580 memory=0 CPUtime=0 cores=1,3,5,7
/proc/14514/task/14527/stat : 14527 (java) S 14512 14512 14062 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 407599722 15925841920 51185 33554432000 4194304 4196468 140730551762640 140658425687008 140658965403349 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 16130048 140730551768047 140730551768218 140730551768218 140730551771087 0
[pid=14514/tid=14528] ppid=14512 vsize=15552580 memory=0 CPUtime=0 cores=1,3,5,7
/proc/14514/task/14528/stat : 14528 (java) S 14512 14512 14062 0 -1 1077944384 169 0 0 0 0 0 0 0 20 0 19 0 407599722 15925841920 51185 33554432000 4194304 4196468 140730551762640 140658424633776 140658965404290 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 19 0 0 6293624 6294260 16130048 140730551768047 140730551768218 140730551768218 140730551771087 0
[pid=14514/tid=14578] ppid=14512 vsize=15552580 memory=0 CPUtime=0.45 cores=1,3,5,7
/proc/14514/task/14578/stat : 14578 (java) R 14512 14512 14062 0 -1 4202560 31 0 0 0 45 0 0 0 20 0 19 0 407600602 15925841920 51185 33554432000 4194304 4196468 140730551762640 140658414607280 140658589930461 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 16130048 140730551768047 140730551768218 140730551768218 140730551771087 0
[pid=14514/tid=14579] ppid=14512 vsize=15552580 memory=0 CPUtime=0.52 cores=1,3,5,7
/proc/14514/task/14579/stat : 14579 (java) R 14512 14512 14062 0 -1 4202560 52 0 0 0 52 0 0 0 20 0 19 0 407600602 15925841920 51185 33554432000 4194304 4196468 140730551762640 140658415663840 140658590290389 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 16130048 140730551768047 140730551768218 140730551768218 140730551771087 0
[pid=14514/tid=14580] ppid=14512 vsize=15552580 memory=0 CPUtime=0.45 cores=1,3,5,7
/proc/14514/task/14580/stat : 14580 (java) R 14512 14512 14062 0 -1 4202560 22 0 0 0 45 0 0 0 20 0 19 0 407600602 15925841920 51185 33554432000 4194304 4196468 140730551762640 140658412503480 140658945118215 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 16130048 140730551768047 140730551768218 140730551768218 140730551771087 0
[pid=14514/tid=14581] ppid=14512 vsize=15552580 memory=0 CPUtime=0.42 cores=1,3,5,7
/proc/14514/task/14581/stat : 14581 (java) R 14512 14512 14062 0 -1 4202560 17 0 0 0 42 0 0 0 20 0 19 0 407600602 15925841920 51185 33554432000 4194304 4196468 140730551762640 140658410400144 140658590629513 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 16130048 140730551768047 140730551768218 140730551768218 140730551771087 0
Current children cumulated CPU time: 36.07 s
Current children cumulated vsize: 15665708 KiB
Current children cumulated memory: 206188 KiB
Child status: 0
Real time (s): 9.49078
CPU time (s): 36.4246
CPU user time (s): 36.2995
CPU system time (s): 0.125095
CPU usage (%): 383.789
Max. virtual memory (cumulated for all children) (KiB): 15665708
Max. memory (cumulated for all children) (KiB): 209768
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 36.2995
system time used= 0.125095
maximum resident set size= 209548
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 32981
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= 3128
involuntary context switches= 1201
# summary of solver processes directly reported to runsolver:
# pid: 14512
# total CPU time (s): 36.4246
# total CPU user time (s): 36.2995
# total CPU system time (s): 0.125095
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 0.083969 second user time and 0.149279 second system time
The end