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 (5483 MiB free)
memory of node 1: 16384 MiB (4922 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4403961-1568991821/watcher-4403961-1568991821 -o /tmp/evaluation-result-4403961-1568991821/solver-4403961-1568991821 -C 2400 -W 2500 -M 15500 --bin-var /tmp/runsolver-exch-node141-1568991778-30563 --watchdog 2560 xcsp3-exec -dir HOME -tl 2400 -p 4 -ml 12000 -tdir HOME -seed 497429676 HOME/instance-4403961-1568991821.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=30588, runsolver pid=30583
[startup+0.100058 s]*
/proc/loadavg: 0.76 0.81 1.10 4/230 30624
/proc/meminfo: memFree=10623320/32770624 swapFree=66935460/67108860
[pid=30588] ppid=30583 vsize=113128 memory=1448 CPUtime=0 cores=1,3,5,7
/proc/30588/stat : 30588 (xcsp3-exec) S 30583 30588 30531 0 -1 4202496 544 0 0 0 0 0 0 0 20 0 1 0 475119946 115843072 362 33554432000 4194304 5098028 140721139646992 140721139645096 140135604822652 0 65536 4100 65538 18446744071579417331 0 0 17 7 0 0 0 0 0 7196144 7232144 31358976 140721139651451 140721139651693 140721139651693 140721139654602 0
/proc/30588/statm: 28282 362 304 221 0 87 0
[pid=30594] ppid=30588 vsize=15144776 memory=28600 CPUtime=0.13 cores=1,3,5,7
/proc/30594/stat : 30594 (java) S 30588 30588 30531 0 -1 1077944320 5683 0 0 0 11 2 0 0 20 0 15 0 475119947 15508250624 7150 33554432000 4194304 4196468 140722223937264 140722223919808 140693042892535 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 21172224 140722223940591 140722223940762 140722223940762 140722223943631 0
/proc/30594/statm: 3786194 7150 3120 1 0 3748377 0
[pid=30594/tid=30596] ppid=30588 vsize=15144776 memory=7682489639022458387 CPUtime=0.09 cores=1,3,5,7
/proc/30594/task/30596/stat : 30596 (java) R 30588 30588 30531 0 -1 4202560 3571 0 0 0 8 1 0 0 20 0 15 0 475119947 15508250624 7216 33554432000 4194304 4196468 140722223937264 140693047120560 140693026936165 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 21172224 140722223940591 140722223940762 140722223940762 140722223943631 0
[pid=30594/tid=30598] ppid=30588 vsize=15144776 memory=3472467758600156368 CPUtime=0 cores=1,3,5,7
/proc/30594/task/30598/stat : 30598 (java) S 30588 30588 30531 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 475119948 15508250624 7216 33554432000 4194304 4196468 140722223937264 140692635442064 140693042902741 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 21172224 140722223940591 140722223940762 140722223940762 140722223943631 0
[pid=30594/tid=30599] ppid=30588 vsize=15144776 memory=139629705004672 CPUtime=0 cores=1,3,5,7
/proc/30594/task/30599/stat : 30599 (java) S 30588 30588 30531 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 475119948 15508250624 7216 33554432000 4194304 4196468 140722223937264 140692634389264 140693042902741 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 21172224 140722223940591 140722223940762 140722223940762 140722223943631 0
[pid=30594/tid=30600] ppid=30588 vsize=15144776 memory=0 CPUtime=0 cores=1,3,5,7
/proc/30594/task/30600/stat : 30600 (java) S 30588 30588 30531 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 475119948 15508250624 7216 33554432000 4194304 4196468 140722223937264 140692633336976 140693042902741 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 21172224 140722223940591 140722223940762 140722223940762 140722223943631 0
[pid=30594/tid=30601] ppid=30588 vsize=15144776 memory=0 CPUtime=0 cores=1,3,5,7
/proc/30594/task/30601/stat : 30601 (java) S 30588 30588 30531 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 475119948 15508250624 7216 33554432000 4194304 4196468 140722223937264 140692632284176 140693042902741 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 21172224 140722223940591 140722223940762 140722223940762 140722223943631 0
[pid=30594/tid=30606] ppid=30588 vsize=15144776 memory=0 CPUtime=0 cores=1,3,5,7
/proc/30594/task/30606/stat : 30606 (java) S 30588 30588 30531 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 475119949 15508250624 7216 33554432000 4194304 4196468 140722223937264 140692117493872 140693042903682 0 0 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 21172224 140722223940591 140722223940762 140722223940762 140722223943631 0
[pid=30594/tid=30608] ppid=30588 vsize=15144776 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/30594/task/30608/stat : 30608 (java) S 30588 30588 30531 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 475119950 15508250624 7216 33554432000 4194304 4196468 140722223937264 140692116439840 140693042902741 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 21172224 140722223940591 140722223940762 140722223940762 140722223943631 0
[pid=30594/tid=30610] ppid=30588 vsize=15144776 memory=0 CPUtime=0 cores=1,3,5,7
/proc/30594/task/30610/stat : 30610 (java) S 30588 30588 30531 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 475119950 15508250624 7216 33554432000 4194304 4196468 140722223937264 140692115387504 140693042902741 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 21172224 140722223940591 140722223940762 140722223940762 140722223943631 0
[pid=30594/tid=30612] ppid=30588 vsize=15144776 memory=0 CPUtime=0 cores=1,3,5,7
/proc/30594/task/30612/stat : 30612 (java) S 30588 30588 30531 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 475119952 15508250624 7216 33554432000 4194304 4196468 140722223937264 140692114335824 140693042911131 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 21172224 140722223940591 140722223940762 140722223940762 140722223943631 0
[pid=30594/tid=30613] ppid=30588 vsize=15144776 memory=0 CPUtime=0 cores=1,3,5,7
/proc/30594/task/30613/stat : 30613 (java) R 30588 30588 30531 0 -1 4202560 331 0 0 0 0 0 0 0 20 0 15 0 475119952 15508250624 7282 33554432000 4194304 4196468 140722223937264 140692113283696 140693020732736 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 21172224 140722223940591 140722223940762 140722223940762 140722223943631 0
[pid=30594/tid=30614] ppid=30588 vsize=15144776 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/30594/task/30614/stat : 30614 (java) R 30588 30588 30531 0 -1 1077944384 123 0 0 0 0 0 0 0 20 0 15 0 475119952 15508250624 7282 33554432000 4194304 4196468 140722223937264 140692112230896 140693042903682 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 21172224 140722223940591 140722223940762 140722223940762 140722223943631 0
[pid=30594/tid=30615] ppid=30588 vsize=15144776 memory=139629705004672 CPUtime=0.01 cores=1,3,5,7
/proc/30594/task/30615/stat : 30615 (java) R 30588 30588 30531 0 -1 4202560 369 0 0 0 1 0 0 0 20 0 15 0 475119952 15508250624 7282 33554432000 4194304 4196468 140722223937264 140692111178608 140693042904470 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 21172224 140722223940591 140722223940762 140722223940762 140722223943631 0
[pid=30594/tid=30621] ppid=30588 vsize=15144776 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/30594/task/30621/stat : 30621 (java) S 30588 30588 30531 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 475119952 15508250624 7282 33554432000 4194304 4196468 140722223937264 140692110126048 140693042902741 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 21172224 140722223940591 140722223940762 140722223940762 140722223943631 0
[pid=30594/tid=30623] ppid=30588 vsize=15144776 memory=139629705004672 CPUtime=0 cores=1,3,5,7
/proc/30594/task/30623/stat : 30623 (java) S 30588 30588 30531 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 475119953 15508250624 7282 33554432000 4194304 4196468 140722223937264 140692109072816 140693042903682 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 21172224 140722223940591 140722223940762 140722223940762 140722223943631 0
Current children cumulated CPU time: 0.13 s
Current children cumulated vsize: 15257904 KiB
Current children cumulated memory: 30048 KiB
[startup+0.210896 s]*
/proc/loadavg: 0.76 0.81 1.10 7/230 30624
/proc/meminfo: memFree=10596296/32770624 swapFree=66935460/67108860
[pid=30588] ppid=30583 vsize=113128 memory=1448 CPUtime=0 cores=1,3,5,7
/proc/30588/stat : 30588 (xcsp3-exec) S 30583 30588 30531 0 -1 4202496 544 0 0 0 0 0 0 0 20 0 1 0 475119946 115843072 362 33554432000 4194304 5098028 140721139646992 140721139645096 140135604822652 0 65536 4100 65538 18446744071579417331 0 0 17 7 0 0 0 0 0 7196144 7232144 31358976 140721139651451 140721139651693 140721139651693 140721139654602 0
/proc/30588/statm: 28282 362 304 221 0 87 0
[pid=30594] ppid=30588 vsize=15144776 memory=40868 CPUtime=0.35 cores=1,3,5,7
/proc/30594/stat : 30594 (java) S 30588 30588 30531 0 -1 1077944320 9448 0 0 0 31 4 0 0 20 0 15 0 475119947 15508250624 10217 33554432000 4194304 4196468 140722223937264 140722223919808 140693042892535 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 21172224 140722223940591 140722223940762 140722223940762 140722223943631 0
/proc/30594/statm: 3786194 10217 3295 1 0 3748377 0
[pid=30594/tid=30596] ppid=30588 vsize=15144776 memory=7682489639022458387 CPUtime=0.2 cores=1,3,5,7
/proc/30594/task/30596/stat : 30596 (java) D 30588 30588 30531 0 -1 4202560 6616 0 0 0 18 2 0 0 20 0 15 0 475119947 15508250624 10217 33554432000 4194304 4196468 140722223937264 140693047128176 140693042914461 0 4 0 16800975 18446744071580419588 0 0 -1 1 0 0 0 0 0 6293624 6294260 21172224 140722223940591 140722223940762 140722223940762 140722223943631 0
[pid=30594/tid=30598] ppid=30588 vsize=15144776 memory=3472467758600156368 CPUtime=0 cores=1,3,5,7
/proc/30594/task/30598/stat : 30598 (java) S 30588 30588 30531 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 475119948 15508250624 10217 33554432000 4194304 4196468 140722223937264 140692635442064 140693042902741 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 21172224 140722223940591 140722223940762 140722223940762 140722223943631 0
[pid=30594/tid=30599] ppid=30588 vsize=15144776 memory=139629705004672 CPUtime=0 cores=1,3,5,7
/proc/30594/task/30599/stat : 30599 (java) S 30588 30588 30531 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 475119948 15508250624 10217 33554432000 4194304 4196468 140722223937264 140692634389264 140693042902741 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 21172224 140722223940591 140722223940762 140722223940762 140722223943631 0
[pid=30594/tid=30600] ppid=30588 vsize=15144776 memory=0 CPUtime=0 cores=1,3,5,7
/proc/30594/task/30600/stat : 30600 (java) S 30588 30588 30531 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 475119948 15508250624 10217 33554432000 4194304 4196468 140722223937264 140692633336976 140693042902741 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 21172224 140722223940591 140722223940762 140722223940762 140722223943631 0
[pid=30594/tid=30601] ppid=30588 vsize=15144776 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/30594/task/30601/stat : 30601 (java) S 30588 30588 30531 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 475119948 15508250624 10217 33554432000 4194304 4196468 140722223937264 140692632284176 140693042902741 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 21172224 140722223940591 140722223940762 140722223940762 140722223943631 0
[pid=30594/tid=30606] ppid=30588 vsize=15144776 memory=139629705004672 CPUtime=0 cores=1,3,5,7
/proc/30594/task/30606/stat : 30606 (java) S 30588 30588 30531 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 475119949 15508250624 10217 33554432000 4194304 4196468 140722223937264 140692117493872 140693042903682 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 21172224 140722223940591 140722223940762 140722223940762 140722223943631 0
[pid=30594/tid=30608] ppid=30588 vsize=15144776 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/30594/task/30608/stat : 30608 (java) S 30588 30588 30531 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 475119950 15508250624 10217 33554432000 4194304 4196468 140722223937264 140692116439840 140693042902741 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 21172224 140722223940591 140722223940762 140722223940762 140722223943631 0
[pid=30594/tid=30610] ppid=30588 vsize=15144776 memory=0 CPUtime=0 cores=1,3,5,7
/proc/30594/task/30610/stat : 30610 (java) S 30588 30588 30531 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 475119950 15508250624 10217 33554432000 4194304 4196468 140722223937264 140692115387504 140693042902741 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 21172224 140722223940591 140722223940762 140722223940762 140722223943631 0
[pid=30594/tid=30612] ppid=30588 vsize=15144776 memory=0 CPUtime=0 cores=1,3,5,7
/proc/30594/task/30612/stat : 30612 (java) S 30588 30588 30531 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 475119952 15508250624 10217 33554432000 4194304 4196468 140722223937264 140692114335824 140693042911131 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 21172224 140722223940591 140722223940762 140722223940762 140722223943631 0
[pid=30594/tid=30613] ppid=30588 vsize=15144776 memory=0 CPUtime=0.02 cores=1,3,5,7
/proc/30594/task/30613/stat : 30613 (java) S 30588 30588 30531 0 -1 1077944384 394 0 0 0 2 0 0 0 20 0 15 0 475119952 15508250624 10217 33554432000 4194304 4196468 140722223937264 140692113283696 140693042903682 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 21172224 140722223940591 140722223940762 140722223940762 140722223943631 0
[pid=30594/tid=30614] ppid=30588 vsize=15144776 memory=-1 CPUtime=0.02 cores=1,3,5,7
/proc/30594/task/30614/stat : 30614 (java) S 30588 30588 30531 0 -1 1077944384 322 0 0 0 2 0 0 0 20 0 15 0 475119952 15508250624 10217 33554432000 4194304 4196468 140722223937264 140692112230896 140693042903682 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 21172224 140722223940591 140722223940762 140722223940762 140722223943631 0
[pid=30594/tid=30615] ppid=30588 vsize=15144776 memory=139629705004672 CPUtime=0.08 cores=1,3,5,7
/proc/30594/task/30615/stat : 30615 (java) S 30588 30588 30531 0 -1 1077944384 807 0 0 0 8 0 0 0 20 0 15 0 475119952 15508250624 10217 33554432000 4194304 4196468 140722223937264 140692111178608 140693042903682 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 21172224 140722223940591 140722223940762 140722223940762 140722223943631 0
[pid=30594/tid=30621] ppid=30588 vsize=15144776 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/30594/task/30621/stat : 30621 (java) S 30588 30588 30531 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 475119952 15508250624 10217 33554432000 4194304 4196468 140722223937264 140692110126048 140693042902741 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 21172224 140722223940591 140722223940762 140722223940762 140722223943631 0
[pid=30594/tid=30623] ppid=30588 vsize=15144776 memory=139629705004672 CPUtime=0 cores=1,3,5,7
/proc/30594/task/30623/stat : 30623 (java) S 30588 30588 30531 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 475119953 15508250624 10217 33554432000 4194304 4196468 140722223937264 140692109072816 140693042903682 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 21172224 140722223940591 140722223940762 140722223940762 140722223943631 0
Current children cumulated CPU time: 0.35 s
Current children cumulated vsize: 15257904 KiB
Current children cumulated memory: 42316 KiB
[startup+0.310691 s]*
/proc/loadavg: 0.76 0.81 1.10 4/230 30624
/proc/meminfo: memFree=10586988/32770624 swapFree=66935460/67108860
[pid=30588] ppid=30583 vsize=113128 memory=1448 CPUtime=0 cores=1,3,5,7
/proc/30588/stat : 30588 (xcsp3-exec) S 30583 30588 30531 0 -1 4202496 544 0 0 0 0 0 0 0 20 0 1 0 475119946 115843072 362 33554432000 4194304 5098028 140721139646992 140721139645096 140135604822652 0 65536 4100 65538 18446744071579417331 0 0 17 7 0 0 0 0 0 7196144 7232144 31358976 140721139651451 140721139651693 140721139651693 140721139654602 0
/proc/30588/statm: 28282 362 304 221 0 87 0
[pid=30594] ppid=30588 vsize=15149032 memory=47228 CPUtime=0.49 cores=1,3,5,7
/proc/30594/stat : 30594 (java) S 30588 30588 30531 0 -1 1077944320 10590 0 1 0 45 4 0 0 20 0 15 0 475119947 15512608768 11807 33554432000 4194304 4196468 140722223937264 140722223919808 140693042892535 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 21172224 140722223940591 140722223940762 140722223940762 140722223943631 0
/proc/30594/statm: 3787258 11807 3360 1 0 3748377 0
[pid=30594/tid=30596] ppid=30588 vsize=15149032 memory=279259176239344 CPUtime=0.28 cores=1,3,5,7
/proc/30594/task/30596/stat : 30596 (java) R 30588 30588 30531 0 -1 4202560 7642 0 1 0 25 3 0 0 20 0 15 0 475119947 15512608768 12319 33554432000 4194304 4196468 140722223937264 140693047129168 140693042914461 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 21172224 140722223940591 140722223940762 140722223940762 140722223943631 0
[pid=30594/tid=30598] ppid=30588 vsize=15149032 memory=6055707664168806735 CPUtime=0 cores=1,3,5,7
/proc/30594/task/30598/stat : 30598 (java) S 30588 30588 30531 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 475119948 15512608768 12319 33554432000 4194304 4196468 140722223937264 140692635442064 140693042902741 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 21172224 140722223940591 140722223940762 140722223940762 140722223943631 0
[pid=30594/tid=30599] ppid=30588 vsize=15149032 memory=279259293230976 CPUtime=0 cores=1,3,5,7
/proc/30594/task/30599/stat : 30599 (java) S 30588 30588 30531 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 475119948 15512608768 12319 33554432000 4194304 4196468 140722223937264 140692634389264 140693042902741 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 21172224 140722223940591 140722223940762 140722223940762 140722223943631 0
[pid=30594/tid=30600] ppid=30588 vsize=15149032 memory=279259176489504 CPUtime=0 cores=1,3,5,7
/proc/30594/task/30600/stat : 30600 (java) S 30588 30588 30531 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 475119948 15512608768 12319 33554432000 4194304 4196468 140722223937264 140692633336976 140693042902741 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 21172224 140722223940591 140722223940762 140722223940762 140722223943631 0
[pid=30594/tid=30601] ppid=30588 vsize=15149032 memory=139629588226319 CPUtime=0 cores=1,3,5,7
/proc/30594/task/30601/stat : 30601 (java) S 30588 30588 30531 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 475119948 15512608768 12319 33554432000 4194304 4196468 140722223937264 140692632284176 140693042902741 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 21172224 140722223940591 140722223940762 140722223940762 140722223943631 0
[pid=30594/tid=30606] ppid=30588 vsize=15149032 memory=279259293237888 CPUtime=0 cores=1,3,5,7
/proc/30594/task/30606/stat : 30606 (java) S 30588 30588 30531 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 475119949 15512608768 12319 33554432000 4194304 4196468 140722223937264 140692117493872 140693042903682 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 21172224 140722223940591 140722223940762 140722223940762 140722223943631 0
[pid=30594/tid=30608] ppid=30588 vsize=15149032 memory=139629588230927 CPUtime=0 cores=1,3,5,7
/proc/30594/task/30608/stat : 30608 (java) S 30588 30588 30531 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 475119950 15512608768 12319 33554432000 4194304 4196468 140722223937264 140692116439840 140693042902741 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 21172224 140722223940591 140722223940762 140722223940762 140722223943631 0
[pid=30594/tid=30610] ppid=30588 vsize=15149032 memory=139629588263790 CPUtime=0 cores=1,3,5,7
/proc/30594/task/30610/stat : 30610 (java) S 30588 30588 30531 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 475119950 15512608768 12319 33554432000 4194304 4196468 140722223937264 140692115387504 140693042902741 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 21172224 140722223940591 140722223940762 140722223940762 140722223943631 0
[pid=30594/tid=30612] ppid=30588 vsize=15149032 memory=139629588266098 CPUtime=0 cores=1,3,5,7
/proc/30594/task/30612/stat : 30612 (java) S 30588 30588 30531 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 475119952 15512608768 12319 33554432000 4194304 4196468 140722223937264 140692114335824 140693042911131 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 21172224 140722223940591 140722223940762 140722223940762 140722223943631 0
[pid=30594/tid=30613] ppid=30588 vsize=15149032 memory=0 CPUtime=0.03 cores=1,3,5,7
/proc/30594/task/30613/stat : 30613 (java) S 30588 30588 30531 0 -1 1077944384 404 0 0 0 3 0 0 0 20 0 15 0 475119952 15512608768 12319 33554432000 4194304 4196468 140722223937264 140692113283696 140693042903682 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 21172224 140722223940591 140722223940762 140722223940762 140722223943631 0
[pid=30594/tid=30614] ppid=30588 vsize=15149032 memory=-1 CPUtime=0.03 cores=1,3,5,7
/proc/30594/task/30614/stat : 30614 (java) S 30588 30588 30531 0 -1 1077944384 329 0 0 0 3 0 0 0 20 0 15 0 475119952 15512608768 12319 33554432000 4194304 4196468 140722223937264 140692112230896 140693042903682 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 21172224 140722223940591 140722223940762 140722223940762 140722223943631 0
[pid=30594/tid=30615] ppid=30588 vsize=15149032 memory=139629705006080 CPUtime=0.12 cores=1,3,5,7
/proc/30594/task/30615/stat : 30615 (java) S 30588 30588 30531 0 -1 1077944384 907 0 0 0 12 0 0 0 20 0 15 0 475119952 15512608768 12319 33554432000 4194304 4196468 140722223937264 140692111178608 140693042903682 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 21172224 140722223940591 140722223940762 140722223940762 140722223943631 0
[pid=30594/tid=30621] ppid=30588 vsize=15149032 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/30594/task/30621/stat : 30621 (java) S 30588 30588 30531 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 475119952 15512608768 12319 33554432000 4194304 4196468 140722223937264 140692110126048 140693042902741 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 21172224 140722223940591 140722223940762 140722223940762 140722223943631 0
[pid=30594/tid=30623] ppid=30588 vsize=15149032 memory=139629705006120 CPUtime=0 cores=1,3,5,7
/proc/30594/task/30623/stat : 30623 (java) S 30588 30588 30531 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 475119953 15512608768 12319 33554432000 4194304 4196468 140722223937264 140692109072816 140693042903682 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 21172224 140722223940591 140722223940762 140722223940762 140722223943631 0
Current children cumulated CPU time: 0.49 s
Current children cumulated vsize: 15262160 KiB
Current children cumulated memory: 48676 KiB
[startup+0.700757 s]
/proc/loadavg: 0.76 0.81 1.10 7/230 30624
/proc/meminfo: memFree=10552872/32770624 swapFree=66935460/67108860
[pid=30588] ppid=30583 vsize=113128 memory=1448 CPUtime=0 cores=1,3,5,7
/proc/30588/stat : 30588 (xcsp3-exec) S 30583 30588 30531 0 -1 4202496 544 0 0 0 0 0 0 0 20 0 1 0 475119946 115843072 362 33554432000 4194304 5098028 140721139646992 140721139645096 140135604822652 0 65536 4100 65538 18446744071579417331 0 0 17 7 0 0 0 0 0 7196144 7232144 31358976 140721139651451 140721139651693 140721139651693 140721139654602 0
/proc/30588/statm: 28282 362 304 221 0 87 0
[pid=30594] ppid=30588 vsize=15417412 memory=78180 CPUtime=1.6 cores=1,3,5,7
/proc/30594/stat : 30594 (java) S 30588 30588 30531 0 -1 1077944320 13917 0 1 0 154 6 0 0 20 0 19 0 475119947 15787429888 19545 33554432000 4194304 4196468 140722223937264 140722223919808 140693042892535 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 21172224 140722223940591 140722223940762 140722223940762 140722223943631 0
/proc/30594/statm: 3854353 19545 3449 1 0 3815453 0
[pid=30594/tid=30596] ppid=30588 vsize=15417412 memory=0 CPUtime=0.52 cores=1,3,5,7
/proc/30594/task/30596/stat : 30596 (java) S 30588 30588 30531 0 -1 1077944384 9170 0 1 0 48 4 0 0 20 0 19 0 475119947 15787429888 19545 33554432000 4194304 4196468 140722223937264 140693047133312 140693042902741 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 21172224 140722223940591 140722223940762 140722223940762 140722223943631 0
[pid=30594/tid=30598] ppid=30588 vsize=15417412 memory=0 CPUtime=0 cores=1,3,5,7
/proc/30594/task/30598/stat : 30598 (java) S 30588 30588 30531 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 19 0 475119948 15787429888 19545 33554432000 4194304 4196468 140722223937264 140692635442064 140693042902741 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 21172224 140722223940591 140722223940762 140722223940762 140722223943631 0
[pid=30594/tid=30599] ppid=30588 vsize=15417412 memory=2 CPUtime=0 cores=1,3,5,7
/proc/30594/task/30599/stat : 30599 (java) S 30588 30588 30531 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 19 0 475119948 15787429888 19545 33554432000 4194304 4196468 140722223937264 140692634389264 140693042902741 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 21172224 140722223940591 140722223940762 140722223940762 140722223943631 0
[pid=30594/tid=30600] ppid=30588 vsize=15417412 memory=0 CPUtime=0 cores=1,3,5,7
/proc/30594/task/30600/stat : 30600 (java) S 30588 30588 30531 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 475119948 15787429888 19545 33554432000 4194304 4196468 140722223937264 140692633336976 140693042902741 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 21172224 140722223940591 140722223940762 140722223940762 140722223943631 0
[pid=30594/tid=30601] ppid=30588 vsize=15417412 memory=0 CPUtime=0 cores=1,3,5,7
/proc/30594/task/30601/stat : 30601 (java) S 30588 30588 30531 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 19 0 475119948 15787429888 19545 33554432000 4194304 4196468 140722223937264 140692632284176 140693042902741 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 21172224 140722223940591 140722223940762 140722223940762 140722223943631 0
[pid=30594/tid=30606] ppid=30588 vsize=15417412 memory=0 CPUtime=0 cores=1,3,5,7
/proc/30594/task/30606/stat : 30606 (java) S 30588 30588 30531 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 19 0 475119949 15787429888 19545 33554432000 4194304 4196468 140722223937264 140692117493872 140693042903682 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 21172224 140722223940591 140722223940762 140722223940762 140722223943631 0
[pid=30594/tid=30608] ppid=30588 vsize=15417412 memory=56 CPUtime=0 cores=1,3,5,7
/proc/30594/task/30608/stat : 30608 (java) S 30588 30588 30531 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 19 0 475119950 15787429888 19545 33554432000 4194304 4196468 140722223937264 140692116439840 140693042902741 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 21172224 140722223940591 140722223940762 140722223940762 140722223943631 0
[pid=30594/tid=30610] ppid=30588 vsize=15417412 memory=4 CPUtime=0 cores=1,3,5,7
/proc/30594/task/30610/stat : 30610 (java) S 30588 30588 30531 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 19 0 475119950 15787429888 19545 33554432000 4194304 4196468 140722223937264 140692115387504 140693042902741 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 21172224 140722223940591 140722223940762 140722223940762 140722223943631 0
[pid=30594/tid=30612] ppid=30588 vsize=15417412 memory=87 CPUtime=0 cores=1,3,5,7
/proc/30594/task/30612/stat : 30612 (java) S 30588 30588 30531 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 475119952 15787429888 19545 33554432000 4194304 4196468 140722223937264 140692114335824 140693042911131 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 21172224 140722223940591 140722223940762 140722223940762 140722223943631 0
[pid=30594/tid=30613] ppid=30588 vsize=15417412 memory=8751464017575293497 CPUtime=0.25 cores=1,3,5,7
/proc/30594/task/30613/stat : 30613 (java) R 30588 30588 30531 0 -1 4202560 852 0 0 0 25 0 0 0 20 0 19 0 475119952 15787429888 19545 33554432000 4194304 4196468 140722223937264 140692113276888 140693024436675 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 21172224 140722223940591 140722223940762 140722223940762 140722223943631 0
[pid=30594/tid=30614] ppid=30588 vsize=15417412 memory=6940719180917264720 CPUtime=0.21 cores=1,3,5,7
/proc/30594/task/30614/stat : 30614 (java) R 30588 30588 30531 0 -1 4202560 837 0 0 0 21 0 0 0 20 0 19 0 475119952 15787429888 19545 33554432000 4194304 4196468 140722223937264 140692112211912 140693026798440 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 21172224 140722223940591 140722223940762 140722223940762 140722223943631 0
[pid=30594/tid=30615] ppid=30588 vsize=15417412 memory=2012 CPUtime=0.33 cores=1,3,5,7
/proc/30594/task/30615/stat : 30615 (java) R 30588 30588 30531 0 -1 1077944384 1549 0 0 0 33 0 0 0 20 0 19 0 475119952 15787429888 19545 33554432000 4194304 4196468 140722223937264 140692111178608 140693042903682 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 21172224 140722223940591 140722223940762 140722223940762 140722223943631 0
[pid=30594/tid=30621] ppid=30588 vsize=15417412 memory=1320 CPUtime=0 cores=1,3,5,7
/proc/30594/task/30621/stat : 30621 (java) S 30588 30588 30531 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 475119952 15787429888 19545 33554432000 4194304 4196468 140722223937264 140692110126048 140693042902741 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 21172224 140722223940591 140722223940762 140722223940762 140722223943631 0
[pid=30594/tid=30623] ppid=30588 vsize=15417412 memory=1700 CPUtime=0 cores=1,3,5,7
/proc/30594/task/30623/stat : 30623 (java) S 30588 30588 30531 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 19 0 475119953 15787429888 19545 33554432000 4194304 4196468 140722223937264 140692109072816 140693042903682 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 21172224 140722223940591 140722223940762 140722223940762 140722223943631 0
Current children cumulated CPU time: 1.6 s
Current children cumulated vsize: 15530540 KiB
Current children cumulated memory: 79628 KiB
[startup+1.50141 s]
/proc/loadavg: 1.26 0.91 1.13 12/238 30633
/proc/meminfo: memFree=10514112/32770624 swapFree=66935460/67108860
[pid=30588] ppid=30583 vsize=113128 memory=1448 CPUtime=0 cores=1,3,5,7
/proc/30588/stat : 30588 (xcsp3-exec) S 30583 30588 30531 0 -1 4202496 544 0 0 0 0 0 0 0 20 0 1 0 475119946 115843072 362 33554432000 4194304 5098028 140721139646992 140721139645096 140135604822652 0 65536 4100 65538 18446744071579417331 0 0 17 7 0 0 0 0 0 7196144 7232144 31358976 140721139651451 140721139651693 140721139651693 140721139654602 0
/proc/30588/statm: 28282 362 304 221 0 87 0
################
# More data... #
################
/proc/30594/task/30623/stat : 30623 (java) S 30588 30588 30531 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 19 0 475119953 15787429888 35150 33554432000 4194304 4196468 140722223937264 140692109072816 140693042903682 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 21172224 140722223940591 140722223940762 140722223940762 140722223943631 0
[pid=30594/tid=30638] ppid=30588 vsize=15417412 memory=0 CPUtime=0.78 cores=1,3,5,7
/proc/30594/task/30638/stat : 30638 (java) R 30588 30588 30531 0 -1 4202560 35 0 0 0 78 0 0 0 20 0 19 0 475120223 15787429888 35150 33554432000 4194304 4196468 140722223937264 140692100092560 140692681478917 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 21172224 140722223940591 140722223940762 140722223940762 140722223943631 0
[pid=30594/tid=30639] ppid=30588 vsize=15417412 memory=0 CPUtime=0.74 cores=1,3,5,7
/proc/30594/task/30639/stat : 30639 (java) R 30588 30588 30531 0 -1 4202560 24 0 0 0 71 3 0 0 20 0 19 0 475120224 15787429888 35150 33554432000 4194304 4196468 140722223937264 140692099039176 140692681481199 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 21172224 140722223940591 140722223940762 140722223940762 140722223943631 0
[pid=30594/tid=30640] ppid=30588 vsize=15417412 memory=1560 CPUtime=0.79 cores=1,3,5,7
/proc/30594/task/30640/stat : 30640 (java) R 30588 30588 30531 0 -1 4202560 18 0 0 0 79 0 0 0 20 0 19 0 475120224 15787429888 35150 33554432000 4194304 4196468 140722223937264 140692097986240 140692681479122 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 21172224 140722223940591 140722223940762 140722223940762 140722223943631 0
[pid=30594/tid=30641] ppid=30588 vsize=15417412 memory=932 CPUtime=0.66 cores=1,3,5,7
/proc/30594/task/30641/stat : 30641 (java) R 30588 30588 30531 0 -1 4202560 19 0 0 0 66 0 0 0 20 0 19 0 475120224 15787429888 35150 33554432000 4194304 4196468 140722223937264 140692096933944 140692681481903 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 21172224 140722223940591 140722223940762 140722223940762 140722223943631 0
Current children cumulated CPU time: 13.04 s
Current children cumulated vsize: 15530540 KiB
Current children cumulated memory: 142048 KiB
[startup+3.9014 s]
/proc/loadavg: 1.26 0.91 1.13 11/238 30641
/proc/meminfo: memFree=10422036/32770624 swapFree=66935460/67108860
[pid=30588] ppid=30583 vsize=113128 memory=1448 CPUtime=0 cores=1,3,5,7
/proc/30588/stat : 30588 (xcsp3-exec) S 30583 30588 30531 0 -1 4202496 544 0 0 0 0 0 0 0 20 0 1 0 475119946 115843072 362 33554432000 4194304 5098028 140721139646992 140721139645096 140135604822652 0 65536 4100 65538 18446744071579417331 0 0 17 7 0 0 0 0 0 7196144 7232144 31358976 140721139651451 140721139651693 140721139651693 140721139654602 0
/proc/30588/statm: 28282 362 304 221 0 87 0
[pid=30594] ppid=30588 vsize=15417412 memory=146984 CPUtime=14.31 cores=1,3,5,7
/proc/30594/stat : 30594 (java) S 30588 30588 30531 0 -1 1077944320 24293 0 1 0 1419 12 0 0 20 0 19 0 475119947 15787429888 36746 33554432000 4194304 4196468 140722223937264 140722223919808 140693042892535 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 21172224 140722223940591 140722223940762 140722223940762 140722223943631 0
/proc/30594/statm: 3854353 36746 3492 1 0 3815453 0
[pid=30594/tid=30596] ppid=30588 vsize=15417412 memory=1700 CPUtime=0.52 cores=1,3,5,7
/proc/30594/task/30596/stat : 30596 (java) S 30588 30588 30531 0 -1 1077944384 9271 0 1 0 48 4 0 0 20 0 19 0 475119947 15787429888 36746 33554432000 4194304 4196468 140722223937264 140693047133312 140693042902741 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 21172224 140722223940591 140722223940762 140722223940762 140722223943631 0
[pid=30594/tid=30598] ppid=30588 vsize=15417412 memory=5972 CPUtime=0 cores=1,3,5,7
/proc/30594/task/30598/stat : 30598 (java) S 30588 30588 30531 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 19 0 475119948 15787429888 36746 33554432000 4194304 4196468 140722223937264 140692635442064 140693042902741 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 21172224 140722223940591 140722223940762 140722223940762 140722223943631 0
[pid=30594/tid=30599] ppid=30588 vsize=15417412 memory=1320 CPUtime=0 cores=1,3,5,7
/proc/30594/task/30599/stat : 30599 (java) S 30588 30588 30531 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 19 0 475119948 15787429888 36746 33554432000 4194304 4196468 140722223937264 140692634389264 140693042902741 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 21172224 140722223940591 140722223940762 140722223940762 140722223943631 0
[pid=30594/tid=30600] ppid=30588 vsize=15417412 memory=1700 CPUtime=0 cores=1,3,5,7
/proc/30594/task/30600/stat : 30600 (java) S 30588 30588 30531 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 475119948 15787429888 36746 33554432000 4194304 4196468 140722223937264 140692633336976 140693042902741 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 21172224 140722223940591 140722223940762 140722223940762 140722223943631 0
[pid=30594/tid=30601] ppid=30588 vsize=15417412 memory=5972 CPUtime=0 cores=1,3,5,7
/proc/30594/task/30601/stat : 30601 (java) S 30588 30588 30531 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 19 0 475119948 15787429888 36746 33554432000 4194304 4196468 140722223937264 140692632284176 140693042902741 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 21172224 140722223940591 140722223940762 140722223940762 140722223943631 0
[pid=30594/tid=30606] ppid=30588 vsize=15417412 memory=588 CPUtime=0 cores=1,3,5,7
/proc/30594/task/30606/stat : 30606 (java) S 30588 30588 30531 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 19 0 475119949 15787429888 36746 33554432000 4194304 4196468 140722223937264 140692117493872 140693042903682 0 0 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 21172224 140722223940591 140722223940762 140722223940762 140722223943631 0
[pid=30594/tid=30608] ppid=30588 vsize=15417412 memory=780 CPUtime=0 cores=1,3,5,7
/proc/30594/task/30608/stat : 30608 (java) S 30588 30588 30531 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 19 0 475119950 15787429888 36746 33554432000 4194304 4196468 140722223937264 140692116439840 140693042902741 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 21172224 140722223940591 140722223940762 140722223940762 140722223943631 0
[pid=30594/tid=30610] ppid=30588 vsize=15417412 memory=1056 CPUtime=0 cores=1,3,5,7
/proc/30594/task/30610/stat : 30610 (java) S 30588 30588 30531 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 19 0 475119950 15787429888 36746 33554432000 4194304 4196468 140722223937264 140692115387504 140693042902741 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 21172224 140722223940591 140722223940762 140722223940762 140722223943631 0
[pid=30594/tid=30612] ppid=30588 vsize=15417412 memory=11620 CPUtime=0 cores=1,3,5,7
/proc/30594/task/30612/stat : 30612 (java) S 30588 30588 30531 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 475119952 15787429888 36746 33554432000 4194304 4196468 140722223937264 140692114335824 140693042911131 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 21172224 140722223940591 140722223940762 140722223940762 140722223943631 0
[pid=30594/tid=30613] ppid=30588 vsize=15417412 memory=3608 CPUtime=1.46 cores=1,3,5,7
/proc/30594/task/30613/stat : 30613 (java) S 30588 30588 30531 0 -1 1077944384 5654 0 0 0 145 1 0 0 20 0 19 0 475119952 15787429888 36746 33554432000 4194304 4196468 140722223937264 140692113283696 140693042903682 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 21172224 140722223940591 140722223940762 140722223940762 140722223943631 0
[pid=30594/tid=30614] ppid=30588 vsize=15417412 memory=2828 CPUtime=1.55 cores=1,3,5,7
/proc/30594/task/30614/stat : 30614 (java) S 30588 30588 30531 0 -1 1077944384 4402 0 0 0 154 1 0 0 20 0 19 0 475119952 15787429888 36746 33554432000 4194304 4196468 140722223937264 140692112230896 140693042903682 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 21172224 140722223940591 140722223940762 140722223940762 140722223943631 0
[pid=30594/tid=30615] ppid=30588 vsize=15417412 memory=1000 CPUtime=0.46 cores=1,3,5,7
/proc/30594/task/30615/stat : 30615 (java) S 30588 30588 30531 0 -1 1077944384 2481 0 0 0 45 1 0 0 20 0 19 0 475119952 15787429888 36746 33554432000 4194304 4196468 140722223937264 140692111178608 140693042903682 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 21172224 140722223940591 140722223940762 140722223940762 140722223943631 0
[pid=30594/tid=30621] ppid=30588 vsize=15417412 memory=1560 CPUtime=0 cores=1,3,5,7
/proc/30594/task/30621/stat : 30621 (java) S 30588 30588 30531 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 475119952 15787429888 36746 33554432000 4194304 4196468 140722223937264 140692110126048 140693042902741 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 21172224 140722223940591 140722223940762 140722223940762 140722223943631 0
[pid=30594/tid=30623] ppid=30588 vsize=15417412 memory=1172 CPUtime=0 cores=1,3,5,7
/proc/30594/task/30623/stat : 30623 (java) S 30588 30588 30531 0 -1 1077944384 16 0 0 0 0 0 0 0 20 0 19 0 475119953 15787429888 36746 33554432000 4194304 4196468 140722223937264 140692109072816 140693042903682 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 21172224 140722223940591 140722223940762 140722223940762 140722223943631 0
[pid=30594/tid=30638] ppid=30588 vsize=15417412 memory=6791534058613427641 CPUtime=1.1 cores=1,3,5,7
/proc/30594/task/30638/stat : 30638 (java) R 30588 30588 30531 0 -1 4202560 102 0 0 0 110 0 0 0 20 0 19 0 475120223 15787429888 36746 33554432000 4194304 4196468 140722223937264 140692100091192 140692680432188 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 21172224 140722223940591 140722223940762 140722223940762 140722223943631 0
[pid=30594/tid=30639] ppid=30588 vsize=15417412 memory=0 CPUtime=1.05 cores=1,3,5,7
/proc/30594/task/30639/stat : 30639 (java) R 30588 30588 30531 0 -1 4202560 65 0 0 0 102 3 0 0 20 0 19 0 475120224 15787429888 36746 33554432000 4194304 4196468 140722223937264 140692099039176 140692681478755 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 21172224 140722223940591 140722223940762 140722223940762 140722223943631 0
[pid=30594/tid=30640] ppid=30588 vsize=15417412 memory=0 CPUtime=1.08 cores=1,3,5,7
/proc/30594/task/30640/stat : 30640 (java) R 30588 30588 30531 0 -1 4202560 80 0 0 0 108 0 0 0 20 0 19 0 475120224 15787429888 36746 33554432000 4194304 4196468 140722223937264 140692097987176 140692681478755 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 21172224 140722223940591 140722223940762 140722223940762 140722223943631 0
[pid=30594/tid=30641] ppid=30588 vsize=15417412 memory=0 CPUtime=0.94 cores=1,3,5,7
/proc/30594/task/30641/stat : 30641 (java) R 30588 30588 30531 0 -1 4202560 115 0 0 0 94 0 0 0 20 0 19 0 475120224 15787429888 36746 33554432000 4194304 4196468 140722223937264 140692096934280 140692681573801 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 21172224 140722223940591 140722223940762 140722223940762 140722223943631 0
Current children cumulated CPU time: 14.31 s
Current children cumulated vsize: 15530540 KiB
Current children cumulated memory: 148432 KiB
[startup+4.1014 s]
/proc/loadavg: 1.26 0.91 1.13 11/238 30641
/proc/meminfo: memFree=10422036/32770624 swapFree=66935460/67108860
[pid=30588] ppid=30583 vsize=113128 memory=1448 CPUtime=0 cores=1,3,5,7
/proc/30588/stat : 30588 (xcsp3-exec) S 30583 30588 30531 0 -1 4202496 544 0 0 0 0 0 0 0 20 0 1 0 475119946 115843072 362 33554432000 4194304 5098028 140721139646992 140721139645096 140135604822652 0 65536 4100 65538 18446744071579417331 0 0 17 7 0 0 0 0 0 7196144 7232144 31358976 140721139651451 140721139651693 140721139651693 140721139654602 0
/proc/30588/statm: 28282 362 304 221 0 87 0
[pid=30594] ppid=30588 vsize=15417412 memory=149100 CPUtime=15.11 cores=1,3,5,7
/proc/30594/stat : 30594 (java) S 30588 30588 30531 0 -1 1077944320 24395 0 1 0 1499 12 0 0 20 0 19 0 475119947 15787429888 37275 33554432000 4194304 4196468 140722223937264 140722223919808 140693042892535 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 21172224 140722223940591 140722223940762 140722223940762 140722223943631 0
/proc/30594/statm: 3854353 37275 3492 1 0 3815453 0
[pid=30594/tid=30596] ppid=30588 vsize=15417412 memory=0 CPUtime=0.52 cores=1,3,5,7
/proc/30594/task/30596/stat : 30596 (java) S 30588 30588 30531 0 -1 1077944384 9271 0 1 0 48 4 0 0 20 0 19 0 475119947 15787429888 37275 33554432000 4194304 4196468 140722223937264 140693047133312 140693042902741 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 21172224 140722223940591 140722223940762 140722223940762 140722223943631 0
[pid=30594/tid=30598] ppid=30588 vsize=15417412 memory=0 CPUtime=0 cores=1,3,5,7
/proc/30594/task/30598/stat : 30598 (java) S 30588 30588 30531 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 19 0 475119948 15787429888 37275 33554432000 4194304 4196468 140722223937264 140692635442064 140693042902741 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 21172224 140722223940591 140722223940762 140722223940762 140722223943631 0
[pid=30594/tid=30599] ppid=30588 vsize=15417412 memory=33 CPUtime=0 cores=1,3,5,7
/proc/30594/task/30599/stat : 30599 (java) S 30588 30588 30531 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 19 0 475119948 15787429888 37275 33554432000 4194304 4196468 140722223937264 140692634389264 140693042902741 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 21172224 140722223940591 140722223940762 140722223940762 140722223943631 0
[pid=30594/tid=30600] ppid=30588 vsize=15417412 memory=-6513189477029388073 CPUtime=0 cores=1,3,5,7
/proc/30594/task/30600/stat : 30600 (java) S 30588 30588 30531 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 475119948 15787429888 37275 33554432000 4194304 4196468 140722223937264 140692633336976 140693042902741 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 21172224 140722223940591 140722223940762 140722223940762 140722223943631 0
[pid=30594/tid=30601] ppid=30588 vsize=15417412 memory=8026352880687599699 CPUtime=0 cores=1,3,5,7
/proc/30594/task/30601/stat : 30601 (java) S 30588 30588 30531 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 19 0 475119948 15787429888 37275 33554432000 4194304 4196468 140722223937264 140692632284176 140693042902741 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 21172224 140722223940591 140722223940762 140722223940762 140722223943631 0
[pid=30594/tid=30606] ppid=30588 vsize=15417412 memory=4051046345950363680 CPUtime=0 cores=1,3,5,7
/proc/30594/task/30606/stat : 30606 (java) S 30588 30588 30531 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 19 0 475119949 15787429888 37275 33554432000 4194304 4196468 140722223937264 140692117493872 140693042903682 0 0 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 21172224 140722223940591 140722223940762 140722223940762 140722223943631 0
[pid=30594/tid=30608] ppid=30588 vsize=15417412 memory=0 CPUtime=0 cores=1,3,5,7
/proc/30594/task/30608/stat : 30608 (java) S 30588 30588 30531 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 19 0 475119950 15787429888 37275 33554432000 4194304 4196468 140722223937264 140692116439840 140693042902741 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 21172224 140722223940591 140722223940762 140722223940762 140722223943631 0
[pid=30594/tid=30610] ppid=30588 vsize=15417412 memory=0 CPUtime=0 cores=1,3,5,7
/proc/30594/task/30610/stat : 30610 (java) S 30588 30588 30531 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 19 0 475119950 15787429888 37275 33554432000 4194304 4196468 140722223937264 140692115387504 140693042902741 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 21172224 140722223940591 140722223940762 140722223940762 140722223943631 0
[pid=30594/tid=30612] ppid=30588 vsize=15417412 memory=0 CPUtime=0 cores=1,3,5,7
/proc/30594/task/30612/stat : 30612 (java) S 30588 30588 30531 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 475119952 15787429888 37275 33554432000 4194304 4196468 140722223937264 140692114335824 140693042911131 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 21172224 140722223940591 140722223940762 140722223940762 140722223943631 0
[pid=30594/tid=30613] ppid=30588 vsize=15417412 memory=0 CPUtime=1.46 cores=1,3,5,7
/proc/30594/task/30613/stat : 30613 (java) S 30588 30588 30531 0 -1 1077944384 5654 0 0 0 145 1 0 0 20 0 19 0 475119952 15787429888 37275 33554432000 4194304 4196468 140722223937264 140692113283696 140693042903682 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 21172224 140722223940591 140722223940762 140722223940762 140722223943631 0
[pid=30594/tid=30614] ppid=30588 vsize=15417412 memory=0 CPUtime=1.55 cores=1,3,5,7
/proc/30594/task/30614/stat : 30614 (java) S 30588 30588 30531 0 -1 1077944384 4407 0 0 0 154 1 0 0 20 0 19 0 475119952 15787429888 37275 33554432000 4194304 4196468 140722223937264 140692112230896 140693042903682 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 21172224 140722223940591 140722223940762 140722223940762 140722223943631 0
[pid=30594/tid=30615] ppid=30588 vsize=15417412 memory=0 CPUtime=0.46 cores=1,3,5,7
/proc/30594/task/30615/stat : 30615 (java) S 30588 30588 30531 0 -1 1077944384 2481 0 0 0 45 1 0 0 20 0 19 0 475119952 15787429888 37275 33554432000 4194304 4196468 140722223937264 140692111178608 140693042903682 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 21172224 140722223940591 140722223940762 140722223940762 140722223943631 0
[pid=30594/tid=30621] ppid=30588 vsize=15417412 memory=0 CPUtime=0 cores=1,3,5,7
/proc/30594/task/30621/stat : 30621 (java) S 30588 30588 30531 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 475119952 15787429888 37275 33554432000 4194304 4196468 140722223937264 140692110126048 140693042902741 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 21172224 140722223940591 140722223940762 140722223940762 140722223943631 0
[pid=30594/tid=30623] ppid=30588 vsize=15417412 memory=0 CPUtime=0 cores=1,3,5,7
/proc/30594/task/30623/stat : 30623 (java) S 30588 30588 30531 0 -1 1077944384 16 0 0 0 0 0 0 0 20 0 19 0 475119953 15787429888 37275 33554432000 4194304 4196468 140722223937264 140692109072816 140693042903682 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 21172224 140722223940591 140722223940762 140722223940762 140722223943631 0
[pid=30594/tid=30638] ppid=30588 vsize=15417412 memory=0 CPUtime=1.3 cores=1,3,5,7
/proc/30594/task/30638/stat : 30638 (java) R 30588 30588 30531 0 -1 4202560 102 0 0 0 130 0 0 0 20 0 19 0 475120223 15787429888 37275 33554432000 4194304 4196468 140722223937264 140692100091192 140692681478994 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 21172224 140722223940591 140722223940762 140722223940762 140722223943631 0
[pid=30594/tid=30639] ppid=30588 vsize=15417412 memory=0 CPUtime=1.25 cores=1,3,5,7
/proc/30594/task/30639/stat : 30639 (java) R 30588 30588 30531 0 -1 4202560 147 0 0 0 122 3 0 0 20 0 19 0 475120224 15787429888 37275 33554432000 4194304 4196468 140722223937264 140692099039208 140692681481711 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 21172224 140722223940591 140722223940762 140722223940762 140722223943631 0
[pid=30594/tid=30640] ppid=30588 vsize=15417412 memory=1320 CPUtime=1.28 cores=1,3,5,7
/proc/30594/task/30640/stat : 30640 (java) R 30588 30588 30531 0 -1 4202560 80 0 0 0 128 0 0 0 20 0 19 0 475120224 15787429888 37275 33554432000 4194304 4196468 140722223937264 140692097987176 140692680767933 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 21172224 140722223940591 140722223940762 140722223940762 140722223943631 0
[pid=30594/tid=30641] ppid=30588 vsize=15417412 memory=1700 CPUtime=1.14 cores=1,3,5,7
/proc/30594/task/30641/stat : 30641 (java) R 30588 30588 30531 0 -1 4202560 130 0 0 0 114 0 0 0 20 0 19 0 475120224 15787429888 37275 33554432000 4194304 4196468 140722223937264 140692096934280 140692681478953 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 21172224 140722223940591 140722223940762 140722223940762 140722223943631 0
Current children cumulated CPU time: 15.11 s
Current children cumulated vsize: 15530540 KiB
Current children cumulated memory: 150548 KiB
[startup+4.2014 s]
/proc/loadavg: 1.26 0.91 1.13 11/238 30641
/proc/meminfo: memFree=10422036/32770624 swapFree=66935460/67108860
[pid=30588] ppid=30583 vsize=113128 memory=1448 CPUtime=0 cores=1,3,5,7
/proc/30588/stat : 30588 (xcsp3-exec) S 30583 30588 30531 0 -1 4202496 544 0 0 0 0 0 0 0 20 0 1 0 475119946 115843072 362 33554432000 4194304 5098028 140721139646992 140721139645096 140135604822652 0 65536 4100 65538 18446744071579417331 0 0 17 7 0 0 0 0 0 7196144 7232144 31358976 140721139651451 140721139651693 140721139651693 140721139654602 0
/proc/30588/statm: 28282 362 304 221 0 87 0
[pid=30594] ppid=30588 vsize=15417412 memory=151168 CPUtime=15.5 cores=1,3,5,7
/proc/30594/stat : 30594 (java) S 30588 30588 30531 0 -1 1077944320 24559 0 1 0 1538 12 0 0 20 0 19 0 475119947 15787429888 37792 33554432000 4194304 4196468 140722223937264 140722223919808 140693042892535 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 21172224 140722223940591 140722223940762 140722223940762 140722223943631 0
/proc/30594/statm: 3854353 37792 3496 1 0 3815453 0
[pid=30594/tid=30596] ppid=30588 vsize=15417412 memory=279259176483808 CPUtime=0.52 cores=1,3,5,7
/proc/30594/task/30596/stat : 30596 (java) S 30588 30588 30531 0 -1 1077944384 9271 0 1 0 48 4 0 0 20 0 19 0 475119947 15787429888 37792 33554432000 4194304 4196468 140722223937264 140693047133312 140693042902741 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 21172224 140722223940591 140722223940762 140722223940762 140722223943631 0
[pid=30594/tid=30598] ppid=30588 vsize=15417412 memory=0 CPUtime=0 cores=1,3,5,7
/proc/30594/task/30598/stat : 30598 (java) S 30588 30588 30531 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 19 0 475119948 15787429888 37792 33554432000 4194304 4196468 140722223937264 140692635442064 140693042902741 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 21172224 140722223940591 140722223940762 140722223940762 140722223943631 0
[pid=30594/tid=30599] ppid=30588 vsize=15417412 memory=0 CPUtime=0 cores=1,3,5,7
/proc/30594/task/30599/stat : 30599 (java) S 30588 30588 30531 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 19 0 475119948 15787429888 37792 33554432000 4194304 4196468 140722223937264 140692634389264 140693042902741 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 21172224 140722223940591 140722223940762 140722223940762 140722223943631 0
[pid=30594/tid=30600] ppid=30588 vsize=15417412 memory=0 CPUtime=0 cores=1,3,5,7
/proc/30594/task/30600/stat : 30600 (java) S 30588 30588 30531 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 475119948 15787429888 37792 33554432000 4194304 4196468 140722223937264 140692633336976 140693042902741 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 21172224 140722223940591 140722223940762 140722223940762 140722223943631 0
[pid=30594/tid=30601] ppid=30588 vsize=15417412 memory=0 CPUtime=0 cores=1,3,5,7
/proc/30594/task/30601/stat : 30601 (java) S 30588 30588 30531 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 19 0 475119948 15787429888 37792 33554432000 4194304 4196468 140722223937264 140692632284176 140693042902741 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 21172224 140722223940591 140722223940762 140722223940762 140722223943631 0
[pid=30594/tid=30606] ppid=30588 vsize=15417412 memory=1448 CPUtime=0 cores=1,3,5,7
/proc/30594/task/30606/stat : 30606 (java) S 30588 30588 30531 0 -1 1077944384 144 0 0 0 0 0 0 0 20 0 19 0 475119949 15787429888 37792 33554432000 4194304 4196468 140722223937264 140692117493872 140693042903682 0 0 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 21172224 140722223940591 140722223940762 140722223940762 140722223943631 0
[pid=30594/tid=30608] ppid=30588 vsize=15417412 memory=144900 CPUtime=0 cores=1,3,5,7
/proc/30594/task/30608/stat : 30608 (java) S 30588 30588 30531 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 19 0 475119950 15787429888 37792 33554432000 4194304 4196468 140722223937264 140692116439840 140693042902741 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 21172224 140722223940591 140722223940762 140722223940762 140722223943631 0
[pid=30594/tid=30610] ppid=30588 vsize=15417412 memory=1448 CPUtime=0 cores=1,3,5,7
/proc/30594/task/30610/stat : 30610 (java) S 30588 30588 30531 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 19 0 475119950 15787429888 37792 33554432000 4194304 4196468 140722223937264 140692115387504 140693042902741 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 21172224 140722223940591 140722223940762 140722223940762 140722223943631 0
[pid=30594/tid=30612] ppid=30588 vsize=15417412 memory=0 CPUtime=0 cores=1,3,5,7
/proc/30594/task/30612/stat : 30612 (java) S 30588 30588 30531 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 475119952 15787429888 37792 33554432000 4194304 4196468 140722223937264 140692114335824 140693042911131 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 21172224 140722223940591 140722223940762 140722223940762 140722223943631 0
[pid=30594/tid=30613] ppid=30588 vsize=15417412 memory=4639080790387871847 CPUtime=1.46 cores=1,3,5,7
/proc/30594/task/30613/stat : 30613 (java) S 30588 30588 30531 0 -1 1077944384 5655 0 0 0 145 1 0 0 20 0 19 0 475119952 15787429888 37792 33554432000 4194304 4196468 140722223937264 140692113283696 140693042903682 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 21172224 140722223940591 140722223940762 140722223940762 140722223943631 0
[pid=30594/tid=30614] ppid=30588 vsize=15417412 memory=7518872155032938072 CPUtime=1.55 cores=1,3,5,7
/proc/30594/task/30614/stat : 30614 (java) S 30588 30588 30531 0 -1 1077944384 4425 0 0 0 154 1 0 0 20 0 19 0 475119952 15787429888 37792 33554432000 4194304 4196468 140722223937264 140692112230896 140693042903682 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 21172224 140722223940591 140722223940762 140722223940762 140722223943631 0
[pid=30594/tid=30615] ppid=30588 vsize=15417412 memory=7086808065782081624 CPUtime=0.46 cores=1,3,5,7
/proc/30594/task/30615/stat : 30615 (java) S 30588 30588 30531 0 -1 1077944384 2495 0 0 0 45 1 0 0 20 0 19 0 475119952 15787429888 37792 33554432000 4194304 4196468 140722223937264 140692111178608 140693042903682 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 21172224 140722223940591 140722223940762 140722223940762 140722223943631 0
[pid=30594/tid=30621] ppid=30588 vsize=15417412 memory=0 CPUtime=0 cores=1,3,5,7
/proc/30594/task/30621/stat : 30621 (java) S 30588 30588 30531 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 475119952 15787429888 37792 33554432000 4194304 4196468 140722223937264 140692110126048 140693042902741 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 21172224 140722223940591 140722223940762 140722223940762 140722223943631 0
[pid=30594/tid=30623] ppid=30588 vsize=15417412 memory=0 CPUtime=0 cores=1,3,5,7
/proc/30594/task/30623/stat : 30623 (java) S 30588 30588 30531 0 -1 1077944384 18 0 0 0 0 0 0 0 20 0 19 0 475119953 15787429888 37792 33554432000 4194304 4196468 140722223937264 140692109072816 140693042903682 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 21172224 140722223940591 140722223940762 140722223940762 140722223943631 0
[pid=30594/tid=30638] ppid=30588 vsize=15417412 memory=0 CPUtime=1.4 cores=1,3,5,7
/proc/30594/task/30638/stat : 30638 (java) R 30588 30588 30531 0 -1 4202560 102 0 0 0 140 0 0 0 20 0 19 0 475120223 15787429888 37792 33554432000 4194304 4196468 140722223937264 140692100090200 140692680765027 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 21172224 140722223940591 140722223940762 140722223940762 140722223943631 0
[pid=30594/tid=30639] ppid=30588 vsize=15417412 memory=0 CPUtime=1.35 cores=1,3,5,7
/proc/30594/task/30639/stat : 30639 (java) R 30588 30588 30531 0 -1 4202560 150 0 0 0 132 3 0 0 20 0 19 0 475120224 15787429888 37792 33554432000 4194304 4196468 140722223937264 140692099039240 140692680153046 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 21172224 140722223940591 140722223940762 140722223940762 140722223943631 0
[pid=30594/tid=30640] ppid=30588 vsize=15417412 memory=1448 CPUtime=1.37 cores=1,3,5,7
/proc/30594/task/30640/stat : 30640 (java) R 30588 30588 30531 0 -1 4202560 82 0 0 0 137 0 0 0 20 0 19 0 475120224 15787429888 37792 33554432000 4194304 4196468 140722223937264 140692097986424 140692680651626 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 21172224 140722223940591 140722223940762 140722223940762 140722223943631 0
[pid=30594/tid=30641] ppid=30588 vsize=15417412 memory=142648 CPUtime=1.23 cores=1,3,5,7
/proc/30594/task/30641/stat : 30641 (java) R 30588 30588 30531 0 -1 4202560 131 0 0 0 123 0 0 0 20 0 19 0 475120224 15787429888 37792 33554432000 4194304 4196468 140722223937264 140692096935608 140692680153179 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 21172224 140722223940591 140722223940762 140722223940762 140722223943631 0
Current children cumulated CPU time: 15.5 s
Current children cumulated vsize: 15530540 KiB
Current children cumulated memory: 152616 KiB
Child status: 0
Real time (s): 4.22964
CPU time (s): 15.5912
CPU user time (s): 15.4524
CPU system time (s): 0.13879
CPU usage (%): 368.616
Max. virtual memory (cumulated for all children) (KiB): 15530540
Max. memory (cumulated for all children) (KiB): 152616
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 15.4524
system time used= 0.13879
maximum resident set size= 161532
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 25781
page faults= 1
swaps= 0
block input operations= 1024
block output operations= 112
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 2242
involuntary context switches= 699
# summary of solver processes directly reported to runsolver:
# pid: 30588
# total CPU time (s): 15.5912
# total CPU user time (s): 15.4524
# total CPU system time (s): 0.13879
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 0.042675 second user time and 0.087722 second system time
The end