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 (13893 MiB free)
memory of node 1: 16384 MiB (15116 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4399358-1568699206/watcher-4399358-1568699206 -o /tmp/evaluation-result-4399358-1568699206/solver-4399358-1568699206 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node150-1568698397-5773 --watchdog 2580 xcsp3-exec -dir HOME -tl 2520 -p 4 -ml 12000 -tdir HOME -seed 939570970 HOME/instance-4399358-1568699206.xml
running on 4 cores: 0,2,4,6
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 2520 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 2550 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 2520 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB
Linux 3.10.0-514.16.1.el7.x86_64
Starting watchdog thread
solver pid=6554, runsolver pid=6551
Current StackSize limit: 8192 KiB
[startup+0.102033 s]*
/proc/loadavg: 7.80 7.70 5.17 6/234 6570
/proc/meminfo: memFree=29699036/32770624 swapFree=67027412/67108860
[pid=6554] ppid=6551 vsize=113128 memory=1448 CPUtime=0 cores=0,2,4,6
/proc/6554/stat : 6554 (xcsp3-exec) S 6551 6554 5742 0 -1 4202496 544 0 0 0 0 0 0 0 20 0 1 0 446193227 115843072 362 33554432000 4194304 5098028 140730092183760 140730092181864 140441529971324 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 32129024 140730092192635 140730092192877 140730092192877 140730092195786 0
/proc/6554/statm: 28282 362 304 221 0 87 0
[pid=6556] ppid=6554 vsize=15144776 memory=29372 CPUtime=0.13 cores=0,2,4,6
/proc/6556/stat : 6556 (java) S 6554 6554 5742 0 -1 1077944320 5794 0 0 0 12 1 0 0 20 0 15 0 446193227 15508250624 7343 33554432000 4194304 4196468 140723085839664 140723085822208 140697805950711 0 0 0 16800975 18446744073709551615 0 0 17 6 0 0 0 0 0 6293624 6294260 37392384 140723085841391 140723085841562 140723085841562 140723085844431 0
/proc/6556/statm: 3786194 7343 3184 1 0 3748377 0
[pid=6556/tid=6557] ppid=6554 vsize=15144776 memory=7900621750270137179 CPUtime=0.1 cores=0,2,4,6
/proc/6556/task/6557/stat : 6557 (java) R 6554 6554 5742 0 -1 4202560 3667 0 0 0 9 1 0 0 20 0 15 0 446193227 15508250624 7343 33554432000 4194304 4196468 140723085839664 140697810179888 140697805962646 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 37392384 140723085841391 140723085841562 140723085841562 140723085844431 0
[pid=6556/tid=6558] ppid=6554 vsize=15144776 memory=-3689349214911541841 CPUtime=0 cores=0,2,4,6
/proc/6556/task/6558/stat : 6558 (java) S 6554 6554 5742 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 446193228 15508250624 7343 33554432000 4194304 4196468 140723085839664 140697762503312 140697805960917 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 37392384 140723085841391 140723085841562 140723085841562 140723085844431 0
[pid=6556/tid=6559] ppid=6554 vsize=15144776 memory=140068672034432 CPUtime=0 cores=0,2,4,6
/proc/6556/task/6559/stat : 6559 (java) S 6554 6554 5742 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 446193228 15508250624 7343 33554432000 4194304 4196468 140723085839664 140697761450512 140697805960917 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 37392384 140723085841391 140723085841562 140723085841562 140723085844431 0
[pid=6556/tid=6560] ppid=6554 vsize=15144776 memory=0 CPUtime=0 cores=0,2,4,6
/proc/6556/task/6560/stat : 6560 (java) S 6554 6554 5742 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 446193228 15508250624 7343 33554432000 4194304 4196468 140723085839664 140697396238736 140697805960917 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 37392384 140723085841391 140723085841562 140723085841562 140723085844431 0
[pid=6556/tid=6561] ppid=6554 vsize=15144776 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/6556/task/6561/stat : 6561 (java) S 6554 6554 5742 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 446193228 15508250624 7343 33554432000 4194304 4196468 140723085839664 140697395185936 140697805960917 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 37392384 140723085841391 140723085841562 140723085841562 140723085844431 0
[pid=6556/tid=6562] ppid=6554 vsize=15144776 memory=140068672034432 CPUtime=0 cores=0,2,4,6
/proc/6556/task/6562/stat : 6562 (java) S 6554 6554 5742 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 446193229 15508250624 7343 33554432000 4194304 4196468 140723085839664 140697274350448 140697805961858 0 0 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 37392384 140723085841391 140723085841562 140723085841562 140723085844431 0
[pid=6556/tid=6563] ppid=6554 vsize=15144776 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/6556/task/6563/stat : 6563 (java) S 6554 6554 5742 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 446193230 15508250624 7343 33554432000 4194304 4196468 140723085839664 140697273296416 140697805960917 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 37392384 140723085841391 140723085841562 140723085841562 140723085844431 0
[pid=6556/tid=6564] ppid=6554 vsize=15144776 memory=0 CPUtime=0 cores=0,2,4,6
/proc/6556/task/6564/stat : 6564 (java) S 6554 6554 5742 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 446193230 15508250624 7343 33554432000 4194304 4196468 140723085839664 140697272243568 140697805960917 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 37392384 140723085841391 140723085841562 140723085841562 140723085844431 0
[pid=6556/tid=6565] ppid=6554 vsize=15144776 memory=0 CPUtime=0 cores=0,2,4,6
/proc/6556/task/6565/stat : 6565 (java) S 6554 6554 5742 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 446193233 15508250624 7343 33554432000 4194304 4196468 140723085839664 140697271191888 140697805969307 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 37392384 140723085841391 140723085841562 140723085841562 140723085844431 0
[pid=6556/tid=6566] ppid=6554 vsize=15144776 memory=0 CPUtime=0 cores=0,2,4,6
/proc/6556/task/6566/stat : 6566 (java) R 6554 6554 5742 0 -1 4202560 303 0 0 0 0 0 0 0 20 0 15 0 446193233 15508250624 7343 33554432000 4194304 4196468 140723085839664 140697270139344 140697798935753 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 37392384 140723085841391 140723085841562 140723085841562 140723085844431 0
[pid=6556/tid=6567] ppid=6554 vsize=15144776 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/6556/task/6567/stat : 6567 (java) R 6554 6554 5742 0 -1 1077944384 160 0 0 0 0 0 0 0 20 0 15 0 446193233 15508250624 7343 33554432000 4194304 4196468 140723085839664 140697269086448 140697805961858 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 37392384 140723085841391 140723085841562 140723085841562 140723085844431 0
[pid=6556/tid=6568] ppid=6554 vsize=15144776 memory=140068672034432 CPUtime=0.02 cores=0,2,4,6
/proc/6556/task/6568/stat : 6568 (java) R 6554 6554 5742 0 -1 4202560 360 0 0 0 2 0 0 0 20 0 15 0 446193233 15508250624 7343 33554432000 4194304 4196468 140723085839664 140697268033648 140697805964584 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 37392384 140723085841391 140723085841562 140723085841562 140723085844431 0
[pid=6556/tid=6569] ppid=6554 vsize=15144776 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/6556/task/6569/stat : 6569 (java) S 6554 6554 5742 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 446193233 15508250624 7343 33554432000 4194304 4196468 140723085839664 140697266981088 140697805960917 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 37392384 140723085841391 140723085841562 140723085841562 140723085844431 0
[pid=6556/tid=6570] ppid=6554 vsize=15144776 memory=140068672034432 CPUtime=0 cores=0,2,4,6
/proc/6556/task/6570/stat : 6570 (java) R 6554 6554 5742 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 446193233 15508250624 7343 33554432000 4194304 4196468 140723085839664 140697265929392 140697805961858 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 37392384 140723085841391 140723085841562 140723085841562 140723085844431 0
Current children cumulated CPU time: 0.13 s
Current children cumulated vsize: 15257904 KiB
Current children cumulated memory: 30820 KiB
[startup+0.210718 s]*
/proc/loadavg: 7.80 7.70 5.17 7/233 6570
/proc/meminfo: memFree=29685972/32770624 swapFree=67027412/67108860
[pid=6554] ppid=6551 vsize=113128 memory=1448 CPUtime=0 cores=0,2,4,6
/proc/6554/stat : 6554 (xcsp3-exec) S 6551 6554 5742 0 -1 4202496 544 0 0 0 0 0 0 0 20 0 1 0 446193227 115843072 362 33554432000 4194304 5098028 140730092183760 140730092181864 140441529971324 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 32129024 140730092192635 140730092192877 140730092192877 140730092195786 0
/proc/6554/statm: 28282 362 304 221 0 87 0
[pid=6556] ppid=6554 vsize=15144776 memory=41040 CPUtime=0.34 cores=0,2,4,6
/proc/6556/stat : 6556 (java) S 6554 6554 5742 0 -1 1077944320 9461 0 0 0 31 3 0 0 20 0 15 0 446193227 15508250624 10260 33554432000 4194304 4196468 140723085839664 140723085822208 140697805950711 0 0 0 16800975 18446744073709551615 0 0 17 6 0 0 0 0 0 6293624 6294260 37392384 140723085841391 140723085841562 140723085841562 140723085844431 0
/proc/6556/statm: 3786194 10260 3311 1 0 3748377 0
[pid=6556/tid=6557] ppid=6554 vsize=15144776 memory=7883960649037381690 CPUtime=0.2 cores=0,2,4,6
/proc/6556/task/6557/stat : 6557 (java) R 6554 6554 5742 0 -1 4202560 6639 0 0 0 18 2 0 0 20 0 15 0 446193227 15508250624 10260 33554432000 4194304 4196468 140723085839664 140697810184832 140697790031198 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 37392384 140723085841391 140723085841562 140723085841562 140723085844431 0
[pid=6556/tid=6558] ppid=6554 vsize=15144776 memory=13574 CPUtime=0 cores=0,2,4,6
/proc/6556/task/6558/stat : 6558 (java) S 6554 6554 5742 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 446193228 15508250624 10260 33554432000 4194304 4196468 140723085839664 140697762503312 140697805960917 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 37392384 140723085841391 140723085841562 140723085841562 140723085844431 0
[pid=6556/tid=6559] ppid=6554 vsize=15144776 memory=140068675380717 CPUtime=0 cores=0,2,4,6
/proc/6556/task/6559/stat : 6559 (java) S 6554 6554 5742 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 446193228 15508250624 10260 33554432000 4194304 4196468 140723085839664 140697761450512 140697805960917 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 37392384 140723085841391 140723085841562 140723085841562 140723085844431 0
[pid=6556/tid=6560] ppid=6554 vsize=15144776 memory=0 CPUtime=0 cores=0,2,4,6
/proc/6556/task/6560/stat : 6560 (java) S 6554 6554 5742 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 446193228 15508250624 10260 33554432000 4194304 4196468 140723085839664 140697396238736 140697805960917 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 37392384 140723085841391 140723085841562 140723085841562 140723085844431 0
[pid=6556/tid=6561] ppid=6554 vsize=15144776 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/6556/task/6561/stat : 6561 (java) S 6554 6554 5742 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 446193228 15508250624 10260 33554432000 4194304 4196468 140723085839664 140697395185936 140697805960917 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 37392384 140723085841391 140723085841562 140723085841562 140723085844431 0
[pid=6556/tid=6562] ppid=6554 vsize=15144776 memory=140068672034432 CPUtime=0 cores=0,2,4,6
/proc/6556/task/6562/stat : 6562 (java) S 6554 6554 5742 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 446193229 15508250624 10260 33554432000 4194304 4196468 140723085839664 140697274350448 140697805961858 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 37392384 140723085841391 140723085841562 140723085841562 140723085844431 0
[pid=6556/tid=6563] ppid=6554 vsize=15144776 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/6556/task/6563/stat : 6563 (java) S 6554 6554 5742 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 446193230 15508250624 10260 33554432000 4194304 4196468 140723085839664 140697273296416 140697805960917 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 37392384 140723085841391 140723085841562 140723085841562 140723085844431 0
[pid=6556/tid=6564] ppid=6554 vsize=15144776 memory=0 CPUtime=0 cores=0,2,4,6
/proc/6556/task/6564/stat : 6564 (java) S 6554 6554 5742 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 446193230 15508250624 10260 33554432000 4194304 4196468 140723085839664 140697272243568 140697805960917 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 37392384 140723085841391 140723085841562 140723085841562 140723085844431 0
[pid=6556/tid=6565] ppid=6554 vsize=15144776 memory=0 CPUtime=0 cores=0,2,4,6
/proc/6556/task/6565/stat : 6565 (java) S 6554 6554 5742 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 446193233 15508250624 10260 33554432000 4194304 4196468 140723085839664 140697271191888 140697805969307 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 37392384 140723085841391 140723085841562 140723085841562 140723085844431 0
[pid=6556/tid=6566] ppid=6554 vsize=15144776 memory=0 CPUtime=0.02 cores=0,2,4,6
/proc/6556/task/6566/stat : 6566 (java) S 6554 6554 5742 0 -1 1077944384 351 0 0 0 2 0 0 0 20 0 15 0 446193233 15508250624 10260 33554432000 4194304 4196468 140723085839664 140697270139248 140697805961858 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 37392384 140723085841391 140723085841562 140723085841562 140723085844431 0
[pid=6556/tid=6567] ppid=6554 vsize=15144776 memory=-1 CPUtime=0.02 cores=0,2,4,6
/proc/6556/task/6567/stat : 6567 (java) S 6554 6554 5742 0 -1 1077944384 405 0 0 0 2 0 0 0 20 0 15 0 446193233 15508250624 10260 33554432000 4194304 4196468 140723085839664 140697269086448 140697805961858 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 37392384 140723085841391 140723085841562 140723085841562 140723085844431 0
[pid=6556/tid=6568] ppid=6554 vsize=15144776 memory=140068672034432 CPUtime=0.08 cores=0,2,4,6
/proc/6556/task/6568/stat : 6568 (java) S 6554 6554 5742 0 -1 1077944384 760 0 0 0 8 0 0 0 20 0 15 0 446193233 15508250624 10260 33554432000 4194304 4196468 140723085839664 140697268033648 140697805961858 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 37392384 140723085841391 140723085841562 140723085841562 140723085844431 0
[pid=6556/tid=6569] ppid=6554 vsize=15144776 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/6556/task/6569/stat : 6569 (java) S 6554 6554 5742 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 446193233 15508250624 10260 33554432000 4194304 4196468 140723085839664 140697266981088 140697805960917 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 37392384 140723085841391 140723085841562 140723085841562 140723085844431 0
[pid=6556/tid=6570] ppid=6554 vsize=15144776 memory=0 CPUtime=0 cores=0,2,4,6
/proc/6556/task/6570/stat : 6570 (java) S 6554 6554 5742 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 446193233 15508250624 10260 33554432000 4194304 4196468 140723085839664 140697265929392 140697805961858 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 37392384 140723085841391 140723085841562 140723085841562 140723085844431 0
Current children cumulated CPU time: 0.34 s
Current children cumulated vsize: 15257904 KiB
Current children cumulated memory: 42488 KiB
[startup+0.318726 s]*
/proc/loadavg: 7.80 7.70 5.17 7/233 6570
/proc/meminfo: memFree=29677336/32770624 swapFree=67027412/67108860
[pid=6554] ppid=6551 vsize=113128 memory=1448 CPUtime=0 cores=0,2,4,6
/proc/6554/stat : 6554 (xcsp3-exec) S 6551 6554 5742 0 -1 4202496 544 0 0 0 0 0 0 0 20 0 1 0 446193227 115843072 362 33554432000 4194304 5098028 140730092183760 140730092181864 140441529971324 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 32129024 140730092192635 140730092192877 140730092192877 140730092195786 0
/proc/6554/statm: 28282 362 304 221 0 87 0
[pid=6556] ppid=6554 vsize=15149032 memory=50476 CPUtime=0.54 cores=0,2,4,6
/proc/6556/stat : 6556 (java) S 6554 6554 5742 0 -1 1077944320 10941 0 0 0 50 4 0 0 20 0 15 0 446193227 15512608768 12619 33554432000 4194304 4196468 140723085839664 140723085822208 140697805950711 0 0 0 16800975 18446744073709551615 0 0 17 6 0 0 0 0 0 6293624 6294260 37392384 140723085841391 140723085841562 140723085841562 140723085844431 0
/proc/6556/statm: 3787258 12619 3358 1 0 3748377 0
[pid=6556/tid=6557] ppid=6554 vsize=15149032 memory=7883960649037381690 CPUtime=0.31 cores=0,2,4,6
/proc/6556/task/6557/stat : 6557 (java) R 6554 6554 5742 0 -1 4202560 7905 0 0 0 28 3 0 0 20 0 15 0 446193227 15512608768 12619 33554432000 4194304 4196468 140723085839664 140697810178480 140697805974301 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 37392384 140723085841391 140723085841562 140723085841562 140723085844431 0
[pid=6556/tid=6558] ppid=6554 vsize=15149032 memory=13917 CPUtime=0 cores=0,2,4,6
/proc/6556/task/6558/stat : 6558 (java) S 6554 6554 5742 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 446193228 15512608768 12619 33554432000 4194304 4196468 140723085839664 140697762503312 140697805960917 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 37392384 140723085841391 140723085841562 140723085841562 140723085844431 0
[pid=6556/tid=6559] ppid=6554 vsize=15149032 memory=3345472 CPUtime=0 cores=0,2,4,6
/proc/6556/task/6559/stat : 6559 (java) S 6554 6554 5742 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 446193228 15512608768 12619 33554432000 4194304 4196468 140723085839664 140697761450512 140697805960917 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 37392384 140723085841391 140723085841562 140723085841562 140723085844431 0
[pid=6556/tid=6560] ppid=6554 vsize=15149032 memory=0 CPUtime=0 cores=0,2,4,6
/proc/6556/task/6560/stat : 6560 (java) S 6554 6554 5742 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 446193228 15512608768 12619 33554432000 4194304 4196468 140723085839664 140697396238736 140697805960917 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 37392384 140723085841391 140723085841562 140723085841562 140723085844431 0
[pid=6556/tid=6561] ppid=6554 vsize=15149032 memory=0 CPUtime=0 cores=0,2,4,6
/proc/6556/task/6561/stat : 6561 (java) S 6554 6554 5742 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 446193228 15512608768 12619 33554432000 4194304 4196468 140723085839664 140697395185936 140697805960917 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 37392384 140723085841391 140723085841562 140723085841562 140723085844431 0
[pid=6556/tid=6562] ppid=6554 vsize=15149032 memory=0 CPUtime=0 cores=0,2,4,6
/proc/6556/task/6562/stat : 6562 (java) S 6554 6554 5742 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 446193229 15512608768 12619 33554432000 4194304 4196468 140723085839664 140697274350448 140697805961858 0 0 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 37392384 140723085841391 140723085841562 140723085841562 140723085844431 0
[pid=6556/tid=6563] ppid=6554 vsize=15149032 memory=0 CPUtime=0 cores=0,2,4,6
/proc/6556/task/6563/stat : 6563 (java) S 6554 6554 5742 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 446193230 15512608768 12619 33554432000 4194304 4196468 140723085839664 140697273296416 140697805960917 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 37392384 140723085841391 140723085841562 140723085841562 140723085844431 0
[pid=6556/tid=6564] ppid=6554 vsize=15149032 memory=0 CPUtime=0 cores=0,2,4,6
/proc/6556/task/6564/stat : 6564 (java) S 6554 6554 5742 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 446193230 15512608768 12619 33554432000 4194304 4196468 140723085839664 140697272243568 140697805960917 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 37392384 140723085841391 140723085841562 140723085841562 140723085844431 0
[pid=6556/tid=6565] ppid=6554 vsize=15149032 memory=0 CPUtime=0 cores=0,2,4,6
/proc/6556/task/6565/stat : 6565 (java) S 6554 6554 5742 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 446193233 15512608768 12619 33554432000 4194304 4196468 140723085839664 140697271191888 140697805969307 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 37392384 140723085841391 140723085841562 140723085841562 140723085844431 0
[pid=6556/tid=6566] ppid=6554 vsize=15149032 memory=0 CPUtime=0.03 cores=0,2,4,6
/proc/6556/task/6566/stat : 6566 (java) S 6554 6554 5742 0 -1 1077944384 364 0 0 0 3 0 0 0 20 0 15 0 446193233 15512608768 12619 33554432000 4194304 4196468 140723085839664 140697270139248 140697805961858 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 37392384 140723085841391 140723085841562 140723085841562 140723085844431 0
[pid=6556/tid=6567] ppid=6554 vsize=15149032 memory=0 CPUtime=0.04 cores=0,2,4,6
/proc/6556/task/6567/stat : 6567 (java) S 6554 6554 5742 0 -1 1077944384 501 0 0 0 4 0 0 0 20 0 15 0 446193233 15512608768 12619 33554432000 4194304 4196468 140723085839664 140697269086448 140697805961858 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 37392384 140723085841391 140723085841562 140723085841562 140723085844431 0
[pid=6556/tid=6568] ppid=6554 vsize=15149032 memory=0 CPUtime=0.13 cores=0,2,4,6
/proc/6556/task/6568/stat : 6568 (java) S 6554 6554 5742 0 -1 1077944384 873 0 0 0 13 0 0 0 20 0 15 0 446193233 15512608768 12619 33554432000 4194304 4196468 140723085839664 140697268033648 140697805961858 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 37392384 140723085841391 140723085841562 140723085841562 140723085844431 0
[pid=6556/tid=6569] ppid=6554 vsize=15149032 memory=0 CPUtime=0 cores=0,2,4,6
/proc/6556/task/6569/stat : 6569 (java) S 6554 6554 5742 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 446193233 15512608768 12619 33554432000 4194304 4196468 140723085839664 140697266981088 140697805960917 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 37392384 140723085841391 140723085841562 140723085841562 140723085844431 0
[pid=6556/tid=6570] ppid=6554 vsize=15149032 memory=0 CPUtime=0 cores=0,2,4,6
/proc/6556/task/6570/stat : 6570 (java) S 6554 6554 5742 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 446193233 15512608768 12619 33554432000 4194304 4196468 140723085839664 140697265929392 140697805961858 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 37392384 140723085841391 140723085841562 140723085841562 140723085844431 0
Current children cumulated CPU time: 0.54 s
Current children cumulated vsize: 15262160 KiB
Current children cumulated memory: 51924 KiB
[startup+0.702712 s]
/proc/loadavg: 7.80 7.70 5.17 8/233 6570
/proc/meminfo: memFree=29664016/32770624 swapFree=67027412/67108860
[pid=6554] ppid=6551 vsize=113128 memory=1448 CPUtime=0 cores=0,2,4,6
/proc/6554/stat : 6554 (xcsp3-exec) S 6551 6554 5742 0 -1 4202496 544 0 0 0 0 0 0 0 20 0 1 0 446193227 115843072 362 33554432000 4194304 5098028 140730092183760 140730092181864 140441529971324 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 32129024 140730092192635 140730092192877 140730092192877 140730092195786 0
/proc/6554/statm: 28282 362 304 221 0 87 0
[pid=6556] ppid=6554 vsize=15417412 memory=82732 CPUtime=1.66 cores=0,2,4,6
/proc/6556/stat : 6556 (java) S 6554 6554 5742 0 -1 1077944320 15040 0 0 0 161 5 0 0 20 0 19 0 446193227 15787429888 20683 33554432000 4194304 4196468 140723085839664 140723085822208 140697805950711 0 0 0 16800975 18446744073709551615 0 0 17 6 0 0 0 0 0 6293624 6294260 37392384 140723085841391 140723085841562 140723085841562 140723085844431 0
/proc/6556/statm: 3854353 20683 3451 1 0 3815453 0
[pid=6556/tid=6557] ppid=6554 vsize=15417412 memory=13240 CPUtime=0.52 cores=0,2,4,6
/proc/6556/task/6557/stat : 6557 (java) S 6554 6554 5742 0 -1 1077944384 9163 0 0 0 49 3 0 0 20 0 19 0 446193227 15787429888 20683 33554432000 4194304 4196468 140723085839664 140697810191488 140697805960917 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 37392384 140723085841391 140723085841562 140723085841562 140723085844431 0
[pid=6556/tid=6558] ppid=6554 vsize=15417412 memory=500 CPUtime=0 cores=0,2,4,6
/proc/6556/task/6558/stat : 6558 (java) S 6554 6554 5742 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 19 0 446193228 15787429888 20683 33554432000 4194304 4196468 140723085839664 140697762503312 140697805960917 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 37392384 140723085841391 140723085841562 140723085841562 140723085844431 0
[pid=6556/tid=6559] ppid=6554 vsize=15417412 memory=1736 CPUtime=0 cores=0,2,4,6
/proc/6556/task/6559/stat : 6559 (java) S 6554 6554 5742 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 19 0 446193228 15787429888 20683 33554432000 4194304 4196468 140723085839664 140697761450512 140697805960917 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 37392384 140723085841391 140723085841562 140723085841562 140723085844431 0
[pid=6556/tid=6560] ppid=6554 vsize=15417412 memory=1772 CPUtime=0 cores=0,2,4,6
/proc/6556/task/6560/stat : 6560 (java) S 6554 6554 5742 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 19 0 446193228 15787429888 20683 33554432000 4194304 4196468 140723085839664 140697396238736 140697805960917 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 37392384 140723085841391 140723085841562 140723085841562 140723085844431 0
[pid=6556/tid=6561] ppid=6554 vsize=15417412 memory=924 CPUtime=0 cores=0,2,4,6
/proc/6556/task/6561/stat : 6561 (java) S 6554 6554 5742 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 19 0 446193228 15787429888 20683 33554432000 4194304 4196468 140723085839664 140697395185936 140697805960917 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 37392384 140723085841391 140723085841562 140723085841562 140723085844431 0
[pid=6556/tid=6562] ppid=6554 vsize=15417412 memory=2344 CPUtime=0 cores=0,2,4,6
/proc/6556/task/6562/stat : 6562 (java) S 6554 6554 5742 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 19 0 446193229 15787429888 20683 33554432000 4194304 4196468 140723085839664 140697274350448 140697805961858 0 0 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 37392384 140723085841391 140723085841562 140723085841562 140723085844431 0
[pid=6556/tid=6563] ppid=6554 vsize=15417412 memory=2064 CPUtime=0 cores=0,2,4,6
/proc/6556/task/6563/stat : 6563 (java) S 6554 6554 5742 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 19 0 446193230 15787429888 20683 33554432000 4194304 4196468 140723085839664 140697273296416 140697805960917 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 37392384 140723085841391 140723085841562 140723085841562 140723085844431 0
[pid=6556/tid=6564] ppid=6554 vsize=15417412 memory=2876 CPUtime=0 cores=0,2,4,6
/proc/6556/task/6564/stat : 6564 (java) S 6554 6554 5742 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 19 0 446193230 15787429888 20683 33554432000 4194304 4196468 140723085839664 140697272243568 140697805960917 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 37392384 140723085841391 140723085841562 140723085841562 140723085844431 0
[pid=6556/tid=6565] ppid=6554 vsize=15417412 memory=1572 CPUtime=0 cores=0,2,4,6
/proc/6556/task/6565/stat : 6565 (java) S 6554 6554 5742 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 446193233 15787429888 20683 33554432000 4194304 4196468 140723085839664 140697271191888 140697805969307 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 37392384 140723085841391 140723085841562 140723085841562 140723085844431 0
[pid=6556/tid=6566] ppid=6554 vsize=15417412 memory=872 CPUtime=0.26 cores=0,2,4,6
/proc/6556/task/6566/stat : 6566 (java) R 6554 6554 5742 0 -1 4202560 1545 0 0 0 26 0 0 0 20 0 19 0 446193233 15787429888 20683 33554432000 4194304 4196468 140723085839664 140697270120264 140697786522244 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 37392384 140723085841391 140723085841562 140723085841562 140723085844431 0
[pid=6556/tid=6567] ppid=6554 vsize=15417412 memory=1760 CPUtime=0.18 cores=0,2,4,6
/proc/6556/task/6567/stat : 6567 (java) R 6554 6554 5742 0 -1 4202560 1017 0 0 0 18 0 0 0 20 0 19 0 446193233 15787429888 20683 33554432000 4194304 4196468 140723085839664 140697269072472 140697791075981 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 37392384 140723085841391 140723085841562 140723085841562 140723085844431 0
[pid=6556/tid=6568] ppid=6554 vsize=15417412 memory=111632 CPUtime=0.32 cores=0,2,4,6
/proc/6556/task/6568/stat : 6568 (java) S 6554 6554 5742 0 -1 1077944384 1799 0 0 0 32 0 0 0 20 0 19 0 446193233 15787429888 20683 33554432000 4194304 4196468 140723085839664 140697268033648 140697805961858 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 37392384 140723085841391 140723085841562 140723085841562 140723085844431 0
[pid=6556/tid=6569] ppid=6554 vsize=15417412 memory=804 CPUtime=0 cores=0,2,4,6
/proc/6556/task/6569/stat : 6569 (java) S 6554 6554 5742 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 446193233 15787429888 20683 33554432000 4194304 4196468 140723085839664 140697266981088 140697805960917 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 37392384 140723085841391 140723085841562 140723085841562 140723085844431 0
[pid=6556/tid=6570] ppid=6554 vsize=15417412 memory=1808 CPUtime=0 cores=0,2,4,6
/proc/6556/task/6570/stat : 6570 (java) S 6554 6554 5742 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 19 0 446193233 15787429888 20683 33554432000 4194304 4196468 140723085839664 140697265929392 140697805961858 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 37392384 140723085841391 140723085841562 140723085841562 140723085844431 0
Current children cumulated CPU time: 1.66 s
Current children cumulated vsize: 15530540 KiB
Current children cumulated memory: 84180 KiB
[startup+1.5012 s]
/proc/loadavg: 7.80 7.70 5.17 12/237 6574
/proc/meminfo: memFree=29643364/32770624 swapFree=67027412/67108860
[pid=6554] ppid=6551 vsize=113128 memory=1448 CPUtime=0 cores=0,2,4,6
/proc/6554/stat : 6554 (xcsp3-exec) S 6551 6554 5742 0 -1 4202496 544 0 0 0 0 0 0 0 20 0 1 0 446193227 115843072 362 33554432000 4194304 5098028 140730092183760 140730092181864 140441529971324 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 32129024 140730092192635 140730092192877 140730092192877 140730092195786 0
/proc/6554/statm: 28282 362 304 221 0 87 0
################
# More data... #
################
/proc/6556/stat : 6556 (java) S 6554 6554 5742 0 -1 1077944320 76204 0 0 0 231534 28 0 0 20 0 19 0 446193227 15787429888 49664 33554432000 4194304 4196468 140723085839664 140723085822208 140697805950711 0 0 0 16800975 18446744073709551615 0 0 17 6 0 0 0 0 0 6293624 6294260 37392384 140723085841391 140723085841562 140723085841562 140723085844431 0
/proc/6556/statm: 3854353 49664 3529 1 0 3815453 0
[pid=6556/tid=6557] ppid=6554 vsize=15417412 memory=198656 CPUtime=0.52 cores=0,2,4,6
/proc/6556/task/6557/stat : 6557 (java) S 6554 6554 5742 0 -1 1077944384 9354 0 0 0 49 3 0 0 20 0 19 0 446193227 15787429888 49664 33554432000 4194304 4196468 140723085839664 140697810191488 140697805960917 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 37392384 140723085841391 140723085841562 140723085841562 140723085844431 0
[pid=6556/tid=6558] ppid=6554 vsize=15417412 memory=198656 CPUtime=0.39 cores=0,2,4,6
/proc/6556/task/6558/stat : 6558 (java) S 6554 6554 5742 0 -1 1077944384 2202 0 0 0 36 3 0 0 20 0 19 0 446193228 15787429888 49664 33554432000 4194304 4196468 140723085839664 140697762503312 140697805960917 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 37392384 140723085841391 140723085841562 140723085841562 140723085844431 0
[pid=6556/tid=6559] ppid=6554 vsize=15417412 memory=198656 CPUtime=0.39 cores=0,2,4,6
/proc/6556/task/6559/stat : 6559 (java) S 6554 6554 5742 0 -1 1077944384 3852 0 0 0 36 3 0 0 20 0 19 0 446193228 15787429888 49664 33554432000 4194304 4196468 140723085839664 140697761450512 140697805960917 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 37392384 140723085841391 140723085841562 140723085841562 140723085844431 0
[pid=6556/tid=6560] ppid=6554 vsize=15417412 memory=198656 CPUtime=0.39 cores=0,2,4,6
/proc/6556/task/6560/stat : 6560 (java) S 6554 6554 5742 0 -1 1077944384 1710 0 0 0 36 3 0 0 20 0 19 0 446193228 15787429888 49664 33554432000 4194304 4196468 140723085839664 140697396238736 140697805960917 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 37392384 140723085841391 140723085841562 140723085841562 140723085844431 0
[pid=6556/tid=6561] ppid=6554 vsize=15417412 memory=198356 CPUtime=0.39 cores=0,2,4,6
/proc/6556/task/6561/stat : 6561 (java) S 6554 6554 5742 0 -1 1077944384 2784 0 0 0 37 2 0 0 20 0 19 0 446193228 15787429888 49664 33554432000 4194304 4196468 140723085839664 140697395185936 140697805960917 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 37392384 140723085841391 140723085841562 140723085841562 140723085844431 0
[pid=6556/tid=6562] ppid=6554 vsize=15417412 memory=1448 CPUtime=0.19 cores=0,2,4,6
/proc/6556/task/6562/stat : 6562 (java) S 6554 6554 5742 0 -1 1077944384 3632 0 0 0 13 6 0 0 20 0 19 0 446193229 15787429888 49664 33554432000 4194304 4196468 140723085839664 140697274350448 140697805961858 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 37392384 140723085841391 140723085841562 140723085841562 140723085844431 0
[pid=6556/tid=6563] ppid=6554 vsize=15417412 memory=198656 CPUtime=0 cores=0,2,4,6
/proc/6556/task/6563/stat : 6563 (java) S 6554 6554 5742 0 -1 1077944384 74 0 0 0 0 0 0 0 20 0 19 0 446193230 15787429888 49664 33554432000 4194304 4196468 140723085839664 140697273296480 140697805960917 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 37392384 140723085841391 140723085841562 140723085841562 140723085844431 0
[pid=6556/tid=6564] ppid=6554 vsize=15417412 memory=198356 CPUtime=0 cores=0,2,4,6
/proc/6556/task/6564/stat : 6564 (java) S 6554 6554 5742 0 -1 1077944384 115 0 0 0 0 0 0 0 20 0 19 0 446193230 15787429888 49664 33554432000 4194304 4196468 140723085839664 140697272243584 140697805960917 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 37392384 140723085841391 140723085841562 140723085841562 140723085844431 0
[pid=6556/tid=6565] ppid=6554 vsize=15417412 memory=198656 CPUtime=0 cores=0,2,4,6
/proc/6556/task/6565/stat : 6565 (java) S 6554 6554 5742 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 446193233 15787429888 49664 33554432000 4194304 4196468 140723085839664 140697271191888 140697805969307 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 37392384 140723085841391 140723085841562 140723085841562 140723085844431 0
[pid=6556/tid=6566] ppid=6554 vsize=15417412 memory=1448 CPUtime=2.02 cores=0,2,4,6
/proc/6556/task/6566/stat : 6566 (java) S 6554 6554 5742 0 -1 1077944384 18272 0 0 0 202 0 0 0 20 0 19 0 446193233 15787429888 49664 33554432000 4194304 4196468 140723085839664 140697270139248 140697805961858 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 37392384 140723085841391 140723085841562 140723085841562 140723085844431 0
[pid=6556/tid=6567] ppid=6554 vsize=15417412 memory=198356 CPUtime=1.97 cores=0,2,4,6
/proc/6556/task/6567/stat : 6567 (java) S 6554 6554 5742 0 -1 1077944384 13596 0 0 0 196 1 0 0 20 0 19 0 446193233 15787429888 49664 33554432000 4194304 4196468 140723085839664 140697269086448 140697805961858 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 28 0 0 6293624 6294260 37392384 140723085841391 140723085841562 140723085841562 140723085844431 0
[pid=6556/tid=6568] ppid=6554 vsize=15417412 memory=1448 CPUtime=0.55 cores=0,2,4,6
/proc/6556/task/6568/stat : 6568 (java) S 6554 6554 5742 0 -1 1077944384 7603 0 0 0 55 0 0 0 20 0 19 0 446193233 15787429888 49664 33554432000 4194304 4196468 140723085839664 140697268033648 140697805961858 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 37392384 140723085841391 140723085841562 140723085841562 140723085844431 0
[pid=6556/tid=6569] ppid=6554 vsize=15417412 memory=1448 CPUtime=0 cores=0,2,4,6
/proc/6556/task/6569/stat : 6569 (java) S 6554 6554 5742 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 446193233 15787429888 49664 33554432000 4194304 4196468 140723085839664 140697266981088 140697805960917 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 37392384 140723085841391 140723085841562 140723085841562 140723085844431 0
[pid=6556/tid=6570] ppid=6554 vsize=15417412 memory=1448 CPUtime=0.12 cores=0,2,4,6
/proc/6556/task/6570/stat : 6570 (java) S 6554 6554 5742 0 -1 1077944384 937 0 0 0 8 4 0 0 20 0 19 0 446193233 15787429888 49664 33554432000 4194304 4196468 140723085839664 140697265929392 140697805961858 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 29 0 0 6293624 6294260 37392384 140723085841391 140723085841562 140723085841562 140723085844431 0
[pid=6556/tid=6575] ppid=6554 vsize=15417412 memory=1448 CPUtime=540.67 cores=0,2,4,6
/proc/6556/task/6575/stat : 6575 (java) R 6554 6554 5742 0 -1 4202560 1112 0 0 0 54067 0 0 0 20 0 19 0 446197007 15787429888 49664 33554432000 4194304 4196468 140723085839664 140697255893864 140697446095683 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 37392384 140723085841391 140723085841562 140723085841562 140723085844431 0
[pid=6556/tid=6576] ppid=6554 vsize=15417412 memory=1448 CPUtime=541.25 cores=0,2,4,6
/proc/6556/task/6576/stat : 6576 (java) R 6554 6554 5742 0 -1 4202560 3267 0 0 0 54124 1 0 0 20 0 19 0 446197007 15787429888 49664 33554432000 4194304 4196468 140723085839664 140697253792112 140697444752056 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 37392384 140723085841391 140723085841562 140723085841562 140723085844431 0
[pid=6556/tid=6577] ppid=6554 vsize=15417412 memory=1448 CPUtime=541.46 cores=0,2,4,6
/proc/6556/task/6577/stat : 6577 (java) R 6554 6554 5742 0 -1 4202560 805 0 0 0 54146 0 0 0 20 0 19 0 446197008 15787429888 49664 33554432000 4194304 4196468 140723085839664 140697254841808 140697446095295 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 37392384 140723085841391 140723085841562 140723085841562 140723085844431 0
[pid=6556/tid=6578] ppid=6554 vsize=15417412 memory=198356 CPUtime=541.24 cores=0,2,4,6
/proc/6556/task/6578/stat : 6578 (java) R 6554 6554 5742 0 -1 4202560 1785 0 0 0 54124 0 0 0 20 0 19 0 446197008 15787429888 49664 33554432000 4194304 4196468 140723085839664 140697256948296 140697446094420 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 37392384 140723085841391 140723085841562 140723085841562 140723085844431 0
Current children cumulated CPU time: 2315.62 s
Current children cumulated vsize: 15530540 KiB
Current children cumulated memory: 200104 KiB
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+633.702 s]
/proc/loadavg: 9.20 8.81 6.98 9/237 6720
/proc/meminfo: memFree=25511128/32770624 swapFree=67027420/67108860
[pid=6554] ppid=6551 vsize=113128 memory=1448 CPUtime=0 cores=0,2,4,6
/proc/6554/stat : 6554 (xcsp3-exec) S 6551 6554 5742 0 -1 4202496 544 0 0 0 0 0 0 0 20 0 1 0 446193227 115843072 362 33554432000 4194304 5098028 140730092183760 140730092181864 140441529971324 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 32129024 140730092192635 140730092192877 140730092192877 140730092195786 0
/proc/6554/statm: 28282 362 304 221 0 87 0
[pid=6556] ppid=6554 vsize=15417412 memory=209044 CPUtime=2520.16 cores=0,2,4,6
/proc/6556/stat : 6556 (java) S 6554 6554 5742 0 -1 1077944320 76450 0 0 0 251986 30 0 0 20 0 19 0 446193227 15787429888 52261 33554432000 4194304 4196468 140723085839664 140723085822208 140697805950711 0 0 0 16800975 18446744073709551615 0 0 17 6 0 0 0 0 0 6293624 6294260 37392384 140723085841391 140723085841562 140723085841562 140723085844431 0
/proc/6556/statm: 3854353 52261 3529 1 0 3815453 0
[pid=6556/tid=6557] ppid=6554 vsize=15417412 memory=209044 CPUtime=0.52 cores=0,2,4,6
/proc/6556/task/6557/stat : 6557 (java) S 6554 6554 5742 0 -1 1077944384 9354 0 0 0 49 3 0 0 20 0 19 0 446193227 15787429888 52261 33554432000 4194304 4196468 140723085839664 140697810191488 140697805960917 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 37392384 140723085841391 140723085841562 140723085841562 140723085844431 0
[pid=6556/tid=6558] ppid=6554 vsize=15417412 memory=209044 CPUtime=0.45 cores=0,2,4,6
/proc/6556/task/6558/stat : 6558 (java) S 6554 6554 5742 0 -1 1077944384 2232 0 0 0 41 4 0 0 20 0 19 0 446193228 15787429888 52261 33554432000 4194304 4196468 140723085839664 140697762503312 140697805960917 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 37392384 140723085841391 140723085841562 140723085841562 140723085844431 0
[pid=6556/tid=6559] ppid=6554 vsize=15417412 memory=209044 CPUtime=0.45 cores=0,2,4,6
/proc/6556/task/6559/stat : 6559 (java) S 6554 6554 5742 0 -1 1077944384 3881 0 0 0 42 3 0 0 20 0 19 0 446193228 15787429888 52261 33554432000 4194304 4196468 140723085839664 140697761450512 140697805960917 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 37392384 140723085841391 140723085841562 140723085841562 140723085844431 0
[pid=6556/tid=6560] ppid=6554 vsize=15417412 memory=1448 CPUtime=0.44 cores=0,2,4,6
/proc/6556/task/6560/stat : 6560 (java) S 6554 6554 5742 0 -1 1077944384 1742 0 0 0 41 3 0 0 20 0 19 0 446193228 15787429888 52261 33554432000 4194304 4196468 140723085839664 140697396238736 140697805960917 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 37392384 140723085841391 140723085841562 140723085841562 140723085844431 0
[pid=6556/tid=6561] ppid=6554 vsize=15417412 memory=209044 CPUtime=0.45 cores=0,2,4,6
/proc/6556/task/6561/stat : 6561 (java) S 6554 6554 5742 0 -1 1077944384 2820 0 0 0 42 3 0 0 20 0 19 0 446193228 15787429888 52261 33554432000 4194304 4196468 140723085839664 140697395185936 140697805960917 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 37392384 140723085841391 140723085841562 140723085841562 140723085844431 0
[pid=6556/tid=6562] ppid=6554 vsize=15417412 memory=1448 CPUtime=0.22 cores=0,2,4,6
/proc/6556/task/6562/stat : 6562 (java) S 6554 6554 5742 0 -1 1077944384 3661 0 0 0 15 7 0 0 20 0 19 0 446193229 15787429888 52261 33554432000 4194304 4196468 140723085839664 140697274350448 140697805961858 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 37392384 140723085841391 140723085841562 140723085841562 140723085844431 0
[pid=6556/tid=6563] ppid=6554 vsize=15417412 memory=209044 CPUtime=0 cores=0,2,4,6
/proc/6556/task/6563/stat : 6563 (java) S 6554 6554 5742 0 -1 1077944384 74 0 0 0 0 0 0 0 20 0 19 0 446193230 15787429888 52261 33554432000 4194304 4196468 140723085839664 140697273296480 140697805960917 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 37392384 140723085841391 140723085841562 140723085841562 140723085844431 0
[pid=6556/tid=6564] ppid=6554 vsize=15417412 memory=1448 CPUtime=0 cores=0,2,4,6
/proc/6556/task/6564/stat : 6564 (java) S 6554 6554 5742 0 -1 1077944384 115 0 0 0 0 0 0 0 20 0 19 0 446193230 15787429888 52261 33554432000 4194304 4196468 140723085839664 140697272243584 140697805960917 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 37392384 140723085841391 140723085841562 140723085841562 140723085844431 0
[pid=6556/tid=6565] ppid=6554 vsize=15417412 memory=13872 CPUtime=0 cores=0,2,4,6
/proc/6556/task/6565/stat : 6565 (java) S 6554 6554 5742 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 446193233 15787429888 52261 33554432000 4194304 4196468 140723085839664 140697271191888 140697805969307 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 37392384 140723085841391 140723085841562 140723085841562 140723085844431 0
[pid=6556/tid=6566] ppid=6554 vsize=15417412 memory=209044 CPUtime=2.02 cores=0,2,4,6
/proc/6556/task/6566/stat : 6566 (java) S 6554 6554 5742 0 -1 1077944384 18272 0 0 0 202 0 0 0 20 0 19 0 446193233 15787429888 52261 33554432000 4194304 4196468 140723085839664 140697270139248 140697805961858 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 37392384 140723085841391 140723085841562 140723085841562 140723085844431 0
[pid=6556/tid=6567] ppid=6554 vsize=15417412 memory=1448 CPUtime=1.97 cores=0,2,4,6
/proc/6556/task/6567/stat : 6567 (java) S 6554 6554 5742 0 -1 1077944384 13596 0 0 0 196 1 0 0 20 0 19 0 446193233 15787429888 52261 33554432000 4194304 4196468 140723085839664 140697269086448 140697805961858 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 28 0 0 6293624 6294260 37392384 140723085841391 140723085841562 140723085841562 140723085844431 0
[pid=6556/tid=6568] ppid=6554 vsize=15417412 memory=1448 CPUtime=0.55 cores=0,2,4,6
/proc/6556/task/6568/stat : 6568 (java) S 6554 6554 5742 0 -1 1077944384 7603 0 0 0 55 0 0 0 20 0 19 0 446193233 15787429888 52261 33554432000 4194304 4196468 140723085839664 140697268033648 140697805961858 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 37392384 140723085841391 140723085841562 140723085841562 140723085844431 0
[pid=6556/tid=6569] ppid=6554 vsize=15417412 memory=209044 CPUtime=0 cores=0,2,4,6
/proc/6556/task/6569/stat : 6569 (java) S 6554 6554 5742 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 446193233 15787429888 52261 33554432000 4194304 4196468 140723085839664 140697266981088 140697805960917 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 37392384 140723085841391 140723085841562 140723085841562 140723085844431 0
[pid=6556/tid=6570] ppid=6554 vsize=15417412 memory=4120 CPUtime=0.12 cores=0,2,4,6
/proc/6556/task/6570/stat : 6570 (java) S 6554 6554 5742 0 -1 1077944384 941 0 0 0 8 4 0 0 20 0 19 0 446193233 15787429888 52261 33554432000 4194304 4196468 140723085839664 140697265929392 140697805961858 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 29 0 0 6293624 6294260 37392384 140723085841391 140723085841562 140723085841562 140723085844431 0
[pid=6556/tid=6575] ppid=6554 vsize=15417412 memory=33920 CPUtime=591.8 cores=0,2,4,6
/proc/6556/task/6575/stat : 6575 (java) R 6554 6554 5742 0 -1 4202560 1130 0 0 0 59180 0 0 0 20 0 19 0 446197007 15787429888 52261 33554432000 4194304 4196468 140723085839664 140697255893864 140697446094588 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 37392384 140723085841391 140723085841562 140723085841562 140723085844431 0
[pid=6556/tid=6576] ppid=6554 vsize=15417412 memory=1296 CPUtime=592.44 cores=0,2,4,6
/proc/6556/task/6576/stat : 6576 (java) R 6554 6554 5742 0 -1 4202560 3322 0 0 0 59243 1 0 0 20 0 19 0 446197007 15787429888 52261 33554432000 4194304 4196468 140723085839664 140697253792096 140697444751977 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 37392384 140723085841391 140723085841562 140723085841562 140723085844431 0
[pid=6556/tid=6577] ppid=6554 vsize=15417412 memory=2184 CPUtime=592.32 cores=0,2,4,6
/proc/6556/task/6577/stat : 6577 (java) R 6554 6554 5742 0 -1 4202560 809 0 0 0 59232 0 0 0 20 0 19 0 446197008 15787429888 52261 33554432000 4194304 4196468 140723085839664 140697254841808 140697446096854 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 37392384 140723085841391 140723085841562 140723085841562 140723085844431 0
[pid=6556/tid=6578] ppid=6554 vsize=15417412 memory=0 CPUtime=592.35 cores=0,2,4,6
/proc/6556/task/6578/stat : 6578 (java) R 6554 6554 5742 0 -1 4202560 1794 0 0 0 59235 0 0 0 20 0 19 0 446197008 15787429888 52261 33554432000 4194304 4196468 140723085839664 140697256948120 140697446094461 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 37392384 140723085841391 140723085841562 140723085841562 140723085844431 0
Current children cumulated CPU time: 2520.16 s
Current children cumulated vsize: 15530540 KiB
Current children cumulated memory: 210492 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
[startup+633.724 s]
# the end of solver process 6554 was just reported to runsolver
# cumulated CPU time of all completed processes: user=0.001163 s, system=0.001163 s
[startup+633.778 s]
# the end of solver process 6556 was just reported to runsolver
# cumulated CPU time of all completed processes: user=2520.13 s, system=0.318589 s
# this solver process was not waited by its parent and was adopted by runsolver
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+633.702 s]
/proc/loadavg: 9.20 8.81 6.98 9/237 6720
/proc/meminfo: memFree=25511128/32770624 swapFree=67027420/67108860
[pid=6554] ppid=6551 vsize=113128 memory=1448 CPUtime=0 cores=0,2,4,6
/proc/6554/stat : 6554 (xcsp3-exec) S 6551 6554 5742 0 -1 4202496 544 0 0 0 0 0 0 0 20 0 1 0 446193227 115843072 362 33554432000 4194304 5098028 140730092183760 140730092181864 140441529971324 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 32129024 140730092192635 140730092192877 140730092192877 140730092195786 0
/proc/6554/statm: 28282 362 304 221 0 87 0
[pid=6556] ppid=6554 vsize=15417412 memory=209044 CPUtime=2520.16 cores=0,2,4,6
/proc/6556/stat : 6556 (java) S 6554 6554 5742 0 -1 1077944320 76450 0 0 0 251986 30 0 0 20 0 19 0 446193227 15787429888 52261 33554432000 4194304 4196468 140723085839664 140723085822208 140697805950711 0 0 0 16800975 18446744073709551615 0 0 17 6 0 0 0 0 0 6293624 6294260 37392384 140723085841391 140723085841562 140723085841562 140723085844431 0
/proc/6556/statm: 3854353 52261 3529 1 0 3815453 0
[pid=6556/tid=6557] ppid=6554 vsize=15417412 memory=209044 CPUtime=0.52 cores=0,2,4,6
/proc/6556/task/6557/stat : 6557 (java) S 6554 6554 5742 0 -1 1077944384 9354 0 0 0 49 3 0 0 20 0 19 0 446193227 15787429888 52261 33554432000 4194304 4196468 140723085839664 140697810191488 140697805960917 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 37392384 140723085841391 140723085841562 140723085841562 140723085844431 0
[pid=6556/tid=6558] ppid=6554 vsize=15417412 memory=209044 CPUtime=0.45 cores=0,2,4,6
/proc/6556/task/6558/stat : 6558 (java) S 6554 6554 5742 0 -1 1077944384 2232 0 0 0 41 4 0 0 20 0 19 0 446193228 15787429888 52261 33554432000 4194304 4196468 140723085839664 140697762503312 140697805960917 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 37392384 140723085841391 140723085841562 140723085841562 140723085844431 0
[pid=6556/tid=6559] ppid=6554 vsize=15417412 memory=209044 CPUtime=0.45 cores=0,2,4,6
/proc/6556/task/6559/stat : 6559 (java) S 6554 6554 5742 0 -1 1077944384 3881 0 0 0 42 3 0 0 20 0 19 0 446193228 15787429888 52261 33554432000 4194304 4196468 140723085839664 140697761450512 140697805960917 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 37392384 140723085841391 140723085841562 140723085841562 140723085844431 0
[pid=6556/tid=6560] ppid=6554 vsize=15417412 memory=1448 CPUtime=0.44 cores=0,2,4,6
/proc/6556/task/6560/stat : 6560 (java) S 6554 6554 5742 0 -1 1077944384 1742 0 0 0 41 3 0 0 20 0 19 0 446193228 15787429888 52261 33554432000 4194304 4196468 140723085839664 140697396238736 140697805960917 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 37392384 140723085841391 140723085841562 140723085841562 140723085844431 0
[pid=6556/tid=6561] ppid=6554 vsize=15417412 memory=209044 CPUtime=0.45 cores=0,2,4,6
/proc/6556/task/6561/stat : 6561 (java) S 6554 6554 5742 0 -1 1077944384 2820 0 0 0 42 3 0 0 20 0 19 0 446193228 15787429888 52261 33554432000 4194304 4196468 140723085839664 140697395185936 140697805960917 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 37392384 140723085841391 140723085841562 140723085841562 140723085844431 0
[pid=6556/tid=6562] ppid=6554 vsize=15417412 memory=1448 CPUtime=0.22 cores=0,2,4,6
/proc/6556/task/6562/stat : 6562 (java) S 6554 6554 5742 0 -1 1077944384 3661 0 0 0 15 7 0 0 20 0 19 0 446193229 15787429888 52261 33554432000 4194304 4196468 140723085839664 140697274350448 140697805961858 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 37392384 140723085841391 140723085841562 140723085841562 140723085844431 0
[pid=6556/tid=6563] ppid=6554 vsize=15417412 memory=209044 CPUtime=0 cores=0,2,4,6
/proc/6556/task/6563/stat : 6563 (java) S 6554 6554 5742 0 -1 1077944384 74 0 0 0 0 0 0 0 20 0 19 0 446193230 15787429888 52261 33554432000 4194304 4196468 140723085839664 140697273296480 140697805960917 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 37392384 140723085841391 140723085841562 140723085841562 140723085844431 0
[pid=6556/tid=6564] ppid=6554 vsize=15417412 memory=1448 CPUtime=0 cores=0,2,4,6
/proc/6556/task/6564/stat : 6564 (java) S 6554 6554 5742 0 -1 1077944384 115 0 0 0 0 0 0 0 20 0 19 0 446193230 15787429888 52261 33554432000 4194304 4196468 140723085839664 140697272243584 140697805960917 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 37392384 140723085841391 140723085841562 140723085841562 140723085844431 0
[pid=6556/tid=6565] ppid=6554 vsize=15417412 memory=13872 CPUtime=0 cores=0,2,4,6
/proc/6556/task/6565/stat : 6565 (java) S 6554 6554 5742 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 446193233 15787429888 52261 33554432000 4194304 4196468 140723085839664 140697271191888 140697805969307 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 37392384 140723085841391 140723085841562 140723085841562 140723085844431 0
[pid=6556/tid=6566] ppid=6554 vsize=15417412 memory=209044 CPUtime=2.02 cores=0,2,4,6
/proc/6556/task/6566/stat : 6566 (java) S 6554 6554 5742 0 -1 1077944384 18272 0 0 0 202 0 0 0 20 0 19 0 446193233 15787429888 52261 33554432000 4194304 4196468 140723085839664 140697270139248 140697805961858 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 37392384 140723085841391 140723085841562 140723085841562 140723085844431 0
[pid=6556/tid=6567] ppid=6554 vsize=15417412 memory=1448 CPUtime=1.97 cores=0,2,4,6
/proc/6556/task/6567/stat : 6567 (java) S 6554 6554 5742 0 -1 1077944384 13596 0 0 0 196 1 0 0 20 0 19 0 446193233 15787429888 52261 33554432000 4194304 4196468 140723085839664 140697269086448 140697805961858 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 28 0 0 6293624 6294260 37392384 140723085841391 140723085841562 140723085841562 140723085844431 0
[pid=6556/tid=6568] ppid=6554 vsize=15417412 memory=1448 CPUtime=0.55 cores=0,2,4,6
/proc/6556/task/6568/stat : 6568 (java) S 6554 6554 5742 0 -1 1077944384 7603 0 0 0 55 0 0 0 20 0 19 0 446193233 15787429888 52261 33554432000 4194304 4196468 140723085839664 140697268033648 140697805961858 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 37392384 140723085841391 140723085841562 140723085841562 140723085844431 0
[pid=6556/tid=6569] ppid=6554 vsize=15417412 memory=209044 CPUtime=0 cores=0,2,4,6
/proc/6556/task/6569/stat : 6569 (java) S 6554 6554 5742 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 446193233 15787429888 52261 33554432000 4194304 4196468 140723085839664 140697266981088 140697805960917 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 37392384 140723085841391 140723085841562 140723085841562 140723085844431 0
[pid=6556/tid=6570] ppid=6554 vsize=15417412 memory=4120 CPUtime=0.12 cores=0,2,4,6
/proc/6556/task/6570/stat : 6570 (java) S 6554 6554 5742 0 -1 1077944384 941 0 0 0 8 4 0 0 20 0 19 0 446193233 15787429888 52261 33554432000 4194304 4196468 140723085839664 140697265929392 140697805961858 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 29 0 0 6293624 6294260 37392384 140723085841391 140723085841562 140723085841562 140723085844431 0
[pid=6556/tid=6575] ppid=6554 vsize=15417412 memory=33920 CPUtime=591.8 cores=0,2,4,6
/proc/6556/task/6575/stat : 6575 (java) R 6554 6554 5742 0 -1 4202560 1130 0 0 0 59180 0 0 0 20 0 19 0 446197007 15787429888 52261 33554432000 4194304 4196468 140723085839664 140697255893864 140697446094588 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 37392384 140723085841391 140723085841562 140723085841562 140723085844431 0
[pid=6556/tid=6576] ppid=6554 vsize=15417412 memory=1296 CPUtime=592.44 cores=0,2,4,6
/proc/6556/task/6576/stat : 6576 (java) R 6554 6554 5742 0 -1 4202560 3322 0 0 0 59243 1 0 0 20 0 19 0 446197007 15787429888 52261 33554432000 4194304 4196468 140723085839664 140697253792096 140697444751977 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 37392384 140723085841391 140723085841562 140723085841562 140723085844431 0
[pid=6556/tid=6577] ppid=6554 vsize=15417412 memory=2184 CPUtime=592.32 cores=0,2,4,6
/proc/6556/task/6577/stat : 6577 (java) R 6554 6554 5742 0 -1 4202560 809 0 0 0 59232 0 0 0 20 0 19 0 446197008 15787429888 52261 33554432000 4194304 4196468 140723085839664 140697254841808 140697446096854 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 37392384 140723085841391 140723085841562 140723085841562 140723085844431 0
[pid=6556/tid=6578] ppid=6554 vsize=15417412 memory=0 CPUtime=592.35 cores=0,2,4,6
/proc/6556/task/6578/stat : 6578 (java) R 6554 6554 5742 0 -1 4202560 1794 0 0 0 59235 0 0 0 20 0 19 0 446197008 15787429888 52261 33554432000 4194304 4196468 140723085839664 140697256948120 140697446094461 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 37392384 140723085841391 140723085841562 140723085841562 140723085844431 0
Current children cumulated CPU time: 2520.16 s
Current children cumulated vsize: 15530540 KiB
Current children cumulated memory: 210492 KiB
Child status: 143
Real time (s): 633.778
CPU time (s): 2520.44
CPU user time (s): 2520.13
CPU system time (s): 0.318589
CPU usage (%): 397.686
Max. virtual memory (cumulated for all children) (KiB): 15530540
Max. memory (cumulated for all children) (KiB): 253820
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2520.13
system time used= 0.318589
maximum resident set size= 252376
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 77559
page faults= 0
swaps= 0
block input operations= 0
block output operations= 816
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 22531
involuntary context switches= 43036
# summary of solver processes directly reported to runsolver:
# pid: 6554,6556
# total CPU time (s): 2520.44
# total CPU user time (s): 2520.13
# total CPU system time (s): 0.318589
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 3.6769 second user time and 7.03378 second system time
The end