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 (13655 MiB free)
memory of node 1: 16384 MiB (13778 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4406604-1569405177/watcher-4406604-1569405177 -o /tmp/evaluation-result-4406604-1569405177/solver-4406604-1569405177 -C 2400 -W 2500 -M 15500 --bin-var /tmp/runsolver-exch-node103-1569396611-14059 --watchdog 2560 xcsp3-exec -dir HOME -tl 2400 -p 1 -ml 12000 -tdir HOME -seed 227994417 HOME/instance-4406604-1569405177.xml
running on 4 cores: 0,2,4,6
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=16712, runsolver pid=16709
[startup+0.100123 s]*
/proc/loadavg: 2.10 1.85 1.82 4/229 16728
/proc/meminfo: memFree=28076248/32770624 swapFree=66999256/67108860
[pid=16712] ppid=16709 vsize=113128 memory=1448 CPUtime=0 cores=0,2,4,6
/proc/16712/stat : 16712 (xcsp3-exec) S 16709 16712 14027 0 -1 4202496 542 0 0 0 0 0 0 0 20 0 1 0 516770782 115843072 362 33554432000 4194304 5098028 140720874089296 140720874087400 139973814375036 0 65536 4100 65538 18446744071579417331 0 0 17 0 0 0 0 0 0 7196144 7232144 8114176 140720874091387 140720874091629 140720874091629 140720874094538 0
/proc/16712/statm: 28282 362 304 221 0 87 0
[pid=16714] ppid=16712 vsize=15144776 memory=29044 CPUtime=0.13 cores=0,2,4,6
/proc/16714/stat : 16714 (java) S 16712 16712 14027 0 -1 1077944320 5674 0 0 0 12 1 0 0 20 0 15 0 516770782 15508250624 7261 33554432000 4194304 4196468 140732536576544 140732536559088 139658990989047 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0 6293624 6294260 15224832 140732536583151 140732536583322 140732536583322 140732536586191 0
/proc/16714/statm: 3786194 7261 3153 1 0 3748377 0
[pid=16714/tid=16715] ppid=16712 vsize=15144776 memory=576460756329955459 CPUtime=0.09 cores=0,2,4,6
/proc/16714/task/16715/stat : 16715 (java) R 16712 16712 14027 0 -1 4202560 3576 0 0 0 9 0 0 0 20 0 15 0 516770782 15508250624 7261 33554432000 4194304 4196468 140732536576544 139658995212048 139658975069534 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 15224832 140732536583151 140732536583322 140732536583322 140732536586191 0
[pid=16714/tid=16716] ppid=16712 vsize=15144776 memory=0 CPUtime=0 cores=0,2,4,6
/proc/16714/task/16716/stat : 16716 (java) S 16712 16712 14027 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 516770783 15508250624 7261 33554432000 4194304 4196468 140732536576544 139658919029648 139658990999253 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 15224832 140732536583151 140732536583322 140732536583322 140732536586191 0
[pid=16714/tid=16717] ppid=16712 vsize=15144776 memory=140464939780674 CPUtime=0 cores=0,2,4,6
/proc/16714/task/16717/stat : 16717 (java) S 16712 16712 14027 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 516770783 15508250624 7261 33554432000 4194304 4196468 140732536576544 139658917976848 139658990999253 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 15224832 140732536583151 140732536583322 140732536583322 140732536586191 0
[pid=16714/tid=16718] ppid=16712 vsize=15144776 memory=0 CPUtime=0 cores=0,2,4,6
/proc/16714/task/16718/stat : 16718 (java) S 16712 16712 14027 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 516770783 15508250624 7261 33554432000 4194304 4196468 140732536576544 139658916924560 139658990999253 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 15224832 140732536583151 140732536583322 140732536583322 140732536586191 0
[pid=16714/tid=16719] ppid=16712 vsize=15144776 memory=0 CPUtime=0 cores=0,2,4,6
/proc/16714/task/16719/stat : 16719 (java) S 16712 16712 14027 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 516770783 15508250624 7261 33554432000 4194304 4196468 140732536576544 139658915871760 139658990999253 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 15224832 140732536583151 140732536583322 140732536583322 140732536586191 0
[pid=16714/tid=16720] ppid=16712 vsize=15144776 memory=0 CPUtime=0 cores=0,2,4,6
/proc/16714/task/16720/stat : 16720 (java) S 16712 16712 14027 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 516770784 15508250624 7261 33554432000 4194304 4196468 140732536576544 139658459490416 139658991000194 0 0 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 15224832 140732536583151 140732536583322 140732536583322 140732536586191 0
[pid=16714/tid=16721] ppid=16712 vsize=15144776 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/16714/task/16721/stat : 16721 (java) S 16712 16712 14027 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 516770785 15508250624 7261 33554432000 4194304 4196468 140732536576544 139658458436384 139658990999253 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 15224832 140732536583151 140732536583322 140732536583322 140732536586191 0
[pid=16714/tid=16722] ppid=16712 vsize=15144776 memory=0 CPUtime=0 cores=0,2,4,6
/proc/16714/task/16722/stat : 16722 (java) S 16712 16712 14027 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 516770785 15508250624 7261 33554432000 4194304 4196468 140732536576544 139658457384048 139658990999253 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 15224832 140732536583151 140732536583322 140732536583322 140732536586191 0
[pid=16714/tid=16723] ppid=16712 vsize=15144776 memory=0 CPUtime=0 cores=0,2,4,6
/proc/16714/task/16723/stat : 16723 (java) S 16712 16712 14027 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 516770787 15508250624 7261 33554432000 4194304 4196468 140732536576544 139658456332368 139658991007643 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 15224832 140732536583151 140732536583322 140732536583322 140732536586191 0
[pid=16714/tid=16724] ppid=16712 vsize=15144776 memory=0 CPUtime=0 cores=0,2,4,6
/proc/16714/task/16724/stat : 16724 (java) R 16712 16712 14027 0 -1 1077944384 420 0 0 0 0 0 0 0 20 0 15 0 516770787 15508250624 7261 33554432000 4194304 4196468 140732536576544 139658455280240 139658991000194 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 15224832 140732536583151 140732536583322 140732536583322 140732536586191 0
[pid=16714/tid=16725] ppid=16712 vsize=15144776 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/16714/task/16725/stat : 16725 (java) R 16712 16712 14027 0 -1 4202560 46 0 0 0 0 0 0 0 20 0 15 0 516770788 15508250624 7261 33554432000 4194304 4196468 140732536576544 139658454227440 139658968821904 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 15224832 140732536583151 140732536583322 140732536583322 140732536586191 0
[pid=16714/tid=16726] ppid=16712 vsize=15144776 memory=140464935671424 CPUtime=0.02 cores=0,2,4,6
/proc/16714/task/16726/stat : 16726 (java) R 16712 16712 14027 0 -1 4202560 359 0 0 0 2 0 0 0 20 0 15 0 516770788 15508250624 7261 33554432000 4194304 4196468 140732536576544 139658453175152 139658975069534 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 15224832 140732536583151 140732536583322 140732536583322 140732536586191 0
[pid=16714/tid=16727] ppid=16712 vsize=15144776 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/16714/task/16727/stat : 16727 (java) S 16712 16712 14027 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 516770788 15508250624 7261 33554432000 4194304 4196468 140732536576544 139658452122592 139658990999253 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 15224832 140732536583151 140732536583322 140732536583322 140732536586191 0
[pid=16714/tid=16728] ppid=16712 vsize=15144776 memory=0 CPUtime=0 cores=0,2,4,6
/proc/16714/task/16728/stat : 16728 (java) S 16712 16712 14027 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 516770788 15508250624 7261 33554432000 4194304 4196468 140732536576544 139658451069360 139658991000194 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 15224832 140732536583151 140732536583322 140732536583322 140732536586191 0
Current children cumulated CPU time: 0.13 s
Current children cumulated vsize: 15257904 KiB
Current children cumulated memory: 30492 KiB
[startup+0.214013 s]*
/proc/loadavg: 2.10 1.85 1.82 3/229 16728
/proc/meminfo: memFree=28062628/32770624 swapFree=66999256/67108860
[pid=16712] ppid=16709 vsize=113128 memory=1448 CPUtime=0 cores=0,2,4,6
/proc/16712/stat : 16712 (xcsp3-exec) S 16709 16712 14027 0 -1 4202496 542 0 0 0 0 0 0 0 20 0 1 0 516770782 115843072 362 33554432000 4194304 5098028 140720874089296 140720874087400 139973814375036 0 65536 4100 65538 18446744071579417331 0 0 17 0 0 0 0 0 0 7196144 7232144 8114176 140720874091387 140720874091629 140720874091629 140720874094538 0
/proc/16712/statm: 28282 362 304 221 0 87 0
[pid=16714] ppid=16712 vsize=15144776 memory=41444 CPUtime=0.34 cores=0,2,4,6
/proc/16714/stat : 16714 (java) S 16712 16712 14027 0 -1 1077944320 9061 0 0 0 32 2 0 0 20 0 15 0 516770782 15508250624 10361 33554432000 4194304 4196468 140732536576544 140732536559088 139658990989047 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0 6293624 6294260 15224832 140732536583151 140732536583322 140732536583322 140732536586191 0
/proc/16714/statm: 3786194 10361 3292 1 0 3748377 0
[pid=16714/tid=16715] ppid=16712 vsize=15144776 memory=7883960649037381690 CPUtime=0.2 cores=0,2,4,6
/proc/16714/task/16715/stat : 16715 (java) R 16712 16712 14027 0 -1 4202560 6314 0 0 0 18 2 0 0 20 0 15 0 516770782 15508250624 10361 33554432000 4194304 4196468 140732536576544 139658995225808 139658991000982 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 15224832 140732536583151 140732536583322 140732536583322 140732536586191 0
[pid=16714/tid=16716] ppid=16712 vsize=15144776 memory=9100 CPUtime=0 cores=0,2,4,6
/proc/16714/task/16716/stat : 16716 (java) S 16712 16712 14027 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 516770783 15508250624 10361 33554432000 4194304 4196468 140732536576544 139658919029648 139658990999253 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 15224832 140732536583151 140732536583322 140732536583322 140732536586191 0
[pid=16714/tid=16717] ppid=16712 vsize=15144776 memory=4122114128411891360 CPUtime=0 cores=0,2,4,6
/proc/16714/task/16717/stat : 16717 (java) S 16712 16712 14027 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 516770783 15508250624 10361 33554432000 4194304 4196468 140732536576544 139658917976848 139658990999253 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 15224832 140732536583151 140732536583322 140732536583322 140732536586191 0
[pid=16714/tid=16718] ppid=16712 vsize=15144776 memory=0 CPUtime=0 cores=0,2,4,6
/proc/16714/task/16718/stat : 16718 (java) S 16712 16712 14027 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 516770783 15508250624 10361 33554432000 4194304 4196468 140732536576544 139658916924560 139658990999253 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 15224832 140732536583151 140732536583322 140732536583322 140732536586191 0
[pid=16714/tid=16719] ppid=16712 vsize=15144776 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/16714/task/16719/stat : 16719 (java) S 16712 16712 14027 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 516770783 15508250624 10361 33554432000 4194304 4196468 140732536576544 139658915871760 139658990999253 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 15224832 140732536583151 140732536583322 140732536583322 140732536586191 0
[pid=16714/tid=16720] ppid=16712 vsize=15144776 memory=140464935671424 CPUtime=0 cores=0,2,4,6
/proc/16714/task/16720/stat : 16720 (java) S 16712 16712 14027 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 516770784 15508250624 10361 33554432000 4194304 4196468 140732536576544 139658459490416 139658991000194 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 15224832 140732536583151 140732536583322 140732536583322 140732536586191 0
[pid=16714/tid=16721] ppid=16712 vsize=15144776 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/16714/task/16721/stat : 16721 (java) S 16712 16712 14027 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 516770785 15508250624 10361 33554432000 4194304 4196468 140732536576544 139658458436384 139658990999253 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 15224832 140732536583151 140732536583322 140732536583322 140732536586191 0
[pid=16714/tid=16722] ppid=16712 vsize=15144776 memory=0 CPUtime=0 cores=0,2,4,6
/proc/16714/task/16722/stat : 16722 (java) S 16712 16712 14027 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 516770785 15508250624 10361 33554432000 4194304 4196468 140732536576544 139658457384048 139658990999253 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 15224832 140732536583151 140732536583322 140732536583322 140732536586191 0
[pid=16714/tid=16723] ppid=16712 vsize=15144776 memory=0 CPUtime=0 cores=0,2,4,6
/proc/16714/task/16723/stat : 16723 (java) S 16712 16712 14027 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 516770787 15508250624 10361 33554432000 4194304 4196468 140732536576544 139658456332368 139658991007643 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 15224832 140732536583151 140732536583322 140732536583322 140732536586191 0
[pid=16714/tid=16724] ppid=16712 vsize=15144776 memory=0 CPUtime=0.02 cores=0,2,4,6
/proc/16714/task/16724/stat : 16724 (java) S 16712 16712 14027 0 -1 1077944384 471 0 0 0 2 0 0 0 20 0 15 0 516770787 15508250624 10361 33554432000 4194304 4196468 140732536576544 139658455280240 139658991000194 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 15224832 140732536583151 140732536583322 140732536583322 140732536586191 0
[pid=16714/tid=16725] ppid=16712 vsize=15144776 memory=-1 CPUtime=0.02 cores=0,2,4,6
/proc/16714/task/16725/stat : 16725 (java) S 16712 16712 14027 0 -1 1077944384 170 0 0 0 2 0 0 0 20 0 15 0 516770788 15508250624 10361 33554432000 4194304 4196468 140732536576544 139658454227440 139658991000194 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 15224832 140732536583151 140732536583322 140732536583322 140732536586191 0
[pid=16714/tid=16726] ppid=16712 vsize=15144776 memory=140464935671424 CPUtime=0.08 cores=0,2,4,6
/proc/16714/task/16726/stat : 16726 (java) R 16712 16712 14027 0 -1 4202560 806 0 0 0 8 0 0 0 20 0 15 0 516770788 15508250624 10361 33554432000 4194304 4196468 140732536576544 139658453175152 139658983226174 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 15224832 140732536583151 140732536583322 140732536583322 140732536586191 0
[pid=16714/tid=16727] ppid=16712 vsize=15144776 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/16714/task/16727/stat : 16727 (java) S 16712 16712 14027 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 516770788 15508250624 10361 33554432000 4194304 4196468 140732536576544 139658452122592 139658990999253 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 15224832 140732536583151 140732536583322 140732536583322 140732536586191 0
[pid=16714/tid=16728] ppid=16712 vsize=15144776 memory=0 CPUtime=0 cores=0,2,4,6
/proc/16714/task/16728/stat : 16728 (java) S 16712 16712 14027 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 516770788 15508250624 10361 33554432000 4194304 4196468 140732536576544 139658451069360 139658991000194 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 15224832 140732536583151 140732536583322 140732536583322 140732536586191 0
Current children cumulated CPU time: 0.34 s
Current children cumulated vsize: 15257904 KiB
Current children cumulated memory: 42892 KiB
[startup+0.310668 s]*
/proc/loadavg: 2.10 1.85 1.82 4/229 16728
/proc/meminfo: memFree=28056956/32770624 swapFree=66999256/67108860
[pid=16712] ppid=16709 vsize=113128 memory=1448 CPUtime=0 cores=0,2,4,6
/proc/16712/stat : 16712 (xcsp3-exec) S 16709 16712 14027 0 -1 4202496 542 0 0 0 0 0 0 0 20 0 1 0 516770782 115843072 362 33554432000 4194304 5098028 140720874089296 140720874087400 139973814375036 0 65536 4100 65538 18446744071579417331 0 0 17 0 0 0 0 0 0 7196144 7232144 8114176 140720874091387 140720874091629 140720874091629 140720874094538 0
/proc/16712/statm: 28282 362 304 221 0 87 0
[pid=16714] ppid=16712 vsize=15149032 memory=50772 CPUtime=0.52 cores=0,2,4,6
/proc/16714/stat : 16714 (java) S 16712 16712 14027 0 -1 1077944320 10521 0 0 0 49 3 0 0 20 0 15 0 516770782 15512608768 12693 33554432000 4194304 4196468 140732536576544 140732536559088 139658990989047 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0 6293624 6294260 15224832 140732536583151 140732536583322 140732536583322 140732536586191 0
/proc/16714/statm: 3787258 12693 3342 1 0 3748377 0
[pid=16714/tid=16715] ppid=16712 vsize=15149032 memory=1398722017469774279 CPUtime=0.3 cores=0,2,4,6
/proc/16714/task/16715/stat : 16715 (java) R 16712 16712 14027 0 -1 4202560 7443 0 0 0 27 3 0 0 20 0 15 0 516770782 15512608768 12693 33554432000 4194304 4196468 140732536576544 139658995222352 139658975069534 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 15224832 140732536583151 140732536583322 140732536583322 140732536586191 0
[pid=16714/tid=16716] ppid=16712 vsize=15149032 memory=6944652177228980320 CPUtime=0 cores=0,2,4,6
/proc/16714/task/16716/stat : 16716 (java) S 16712 16712 14027 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 516770783 15512608768 12693 33554432000 4194304 4196468 140732536576544 139658919029648 139658990999253 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 15224832 140732536583151 140732536583322 140732536583322 140732536586191 0
[pid=16714/tid=16717] ppid=16712 vsize=15149032 memory=6655300316396806240 CPUtime=0 cores=0,2,4,6
/proc/16714/task/16717/stat : 16717 (java) S 16712 16712 14027 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 516770783 15512608768 12693 33554432000 4194304 4196468 140732536576544 139658917976848 139658990999253 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 15224832 140732536583151 140732536583322 140732536583322 140732536586191 0
[pid=16714/tid=16718] ppid=16712 vsize=15149032 memory=6944652177228980320 CPUtime=0 cores=0,2,4,6
/proc/16714/task/16718/stat : 16718 (java) S 16712 16712 14027 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 516770783 15512608768 12693 33554432000 4194304 4196468 140732536576544 139658916924560 139658990999253 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 15224832 140732536583151 140732536583322 140732536583322 140732536586191 0
[pid=16714/tid=16719] ppid=16712 vsize=15149032 memory=-4190076264842474805 CPUtime=0 cores=0,2,4,6
/proc/16714/task/16719/stat : 16719 (java) S 16712 16712 14027 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 516770783 15512608768 12693 33554432000 4194304 4196468 140732536576544 139658915871760 139658990999253 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 15224832 140732536583151 140732536583322 140732536583322 140732536586191 0
[pid=16714/tid=16720] ppid=16712 vsize=15149032 memory=-7377628848399630495 CPUtime=0 cores=0,2,4,6
/proc/16714/task/16720/stat : 16720 (java) S 16712 16712 14027 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 516770784 15512608768 12693 33554432000 4194304 4196468 140732536576544 139658459490416 139658991000194 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 15224832 140732536583151 140732536583322 140732536583322 140732536586191 0
[pid=16714/tid=16721] ppid=16712 vsize=15149032 memory=6944656425123485561 CPUtime=0 cores=0,2,4,6
/proc/16714/task/16721/stat : 16721 (java) S 16712 16712 14027 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 516770785 15512608768 12693 33554432000 4194304 4196468 140732536576544 139658458436384 139658990999253 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 15224832 140732536583151 140732536583322 140732536583322 140732536586191 0
[pid=16714/tid=16722] ppid=16712 vsize=15149032 memory=7893295687695687954 CPUtime=0 cores=0,2,4,6
/proc/16714/task/16722/stat : 16722 (java) S 16712 16712 14027 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 516770785 15512608768 12693 33554432000 4194304 4196468 140732536576544 139658457384048 139658990999253 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 15224832 140732536583151 140732536583322 140732536583322 140732536586191 0
[pid=16714/tid=16723] ppid=16712 vsize=15149032 memory=4627853888499060086 CPUtime=0 cores=0,2,4,6
/proc/16714/task/16723/stat : 16723 (java) S 16712 16712 14027 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 516770787 15512608768 12693 33554432000 4194304 4196468 140732536576544 139658456332368 139658991007643 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 15224832 140732536583151 140732536583322 140732536583322 140732536586191 0
[pid=16714/tid=16724] ppid=16712 vsize=15149032 memory=7827413994055111515 CPUtime=0.05 cores=0,2,4,6
/proc/16714/task/16724/stat : 16724 (java) R 16712 16712 14027 0 -1 4202560 623 0 0 0 5 0 0 0 20 0 15 0 516770787 15512608768 12693 33554432000 4194304 4196468 140732536576544 139658455270624 139658974543833 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 15224832 140732536583151 140732536583322 140732536583322 140732536586191 0
[pid=16714/tid=16725] ppid=16712 vsize=15149032 memory=0 CPUtime=0.04 cores=0,2,4,6
/proc/16714/task/16725/stat : 16725 (java) S 16712 16712 14027 0 -1 1077944384 189 0 0 0 4 0 0 0 20 0 15 0 516770788 15512608768 12693 33554432000 4194304 4196468 140732536576544 139658454227440 139658991000194 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 15224832 140732536583151 140732536583322 140732536583322 140732536586191 0
[pid=16714/tid=16726] ppid=16712 vsize=15149032 memory=0 CPUtime=0.12 cores=0,2,4,6
/proc/16714/task/16726/stat : 16726 (java) S 16712 16712 14027 0 -1 1077944384 970 0 0 0 12 0 0 0 20 0 15 0 516770788 15512608768 12693 33554432000 4194304 4196468 140732536576544 139658453175152 139658991000194 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 15224832 140732536583151 140732536583322 140732536583322 140732536586191 0
[pid=16714/tid=16727] ppid=16712 vsize=15149032 memory=0 CPUtime=0 cores=0,2,4,6
/proc/16714/task/16727/stat : 16727 (java) S 16712 16712 14027 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 516770788 15512608768 12693 33554432000 4194304 4196468 140732536576544 139658452122592 139658990999253 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 15224832 140732536583151 140732536583322 140732536583322 140732536586191 0
[pid=16714/tid=16728] ppid=16712 vsize=15149032 memory=0 CPUtime=0 cores=0,2,4,6
/proc/16714/task/16728/stat : 16728 (java) S 16712 16712 14027 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 516770788 15512608768 12693 33554432000 4194304 4196468 140732536576544 139658451069360 139658991000194 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 15224832 140732536583151 140732536583322 140732536583322 140732536586191 0
Current children cumulated CPU time: 0.52 s
Current children cumulated vsize: 15262160 KiB
Current children cumulated memory: 52220 KiB
[startup+0.700852 s]
/proc/loadavg: 2.10 1.85 1.82 5/229 16728
/proc/meminfo: memFree=28034208/32770624 swapFree=66999256/67108860
[pid=16712] ppid=16709 vsize=113128 memory=1448 CPUtime=0 cores=0,2,4,6
/proc/16712/stat : 16712 (xcsp3-exec) S 16709 16712 14027 0 -1 4202496 542 0 0 0 0 0 0 0 20 0 1 0 516770782 115843072 362 33554432000 4194304 5098028 140720874089296 140720874087400 139973814375036 0 65536 4100 65538 18446744071579417331 0 0 17 0 0 0 0 0 0 7196144 7232144 8114176 140720874091387 140720874091629 140720874091629 140720874094538 0
/proc/16712/statm: 28282 362 304 221 0 87 0
[pid=16714] ppid=16712 vsize=15151156 memory=100400 CPUtime=1.72 cores=0,2,4,6
/proc/16714/stat : 16714 (java) S 16712 16712 14027 0 -1 1077944320 14190 0 0 0 166 6 0 0 20 0 15 0 516770782 15514783744 25100 33554432000 4194304 4196468 140732536576544 140732536559088 139658990989047 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0 6293624 6294260 15224832 140732536583151 140732536583322 140732536583322 140732536586191 0
/proc/16714/statm: 3787789 25100 3447 1 0 3748889 0
[pid=16714/tid=16715] ppid=16712 vsize=15151156 memory=0 CPUtime=0.67 cores=0,2,4,6
/proc/16714/task/16715/stat : 16715 (java) R 16712 16712 14027 0 -1 4202560 8174 0 0 0 63 4 0 0 20 0 15 0 516770782 15514783744 25100 33554432000 4194304 4196468 140732536576544 139658995225184 139658599432390 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 15224832 140732536583151 140732536583322 140732536583322 140732536586191 0
[pid=16714/tid=16716] ppid=16712 vsize=15151156 memory=0 CPUtime=0 cores=0,2,4,6
/proc/16714/task/16716/stat : 16716 (java) S 16712 16712 14027 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 516770783 15514783744 25100 33554432000 4194304 4196468 140732536576544 139658919029648 139658990999253 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 15224832 140732536583151 140732536583322 140732536583322 140732536586191 0
[pid=16714/tid=16717] ppid=16712 vsize=15151156 memory=0 CPUtime=0 cores=0,2,4,6
/proc/16714/task/16717/stat : 16717 (java) S 16712 16712 14027 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 516770783 15514783744 25100 33554432000 4194304 4196468 140732536576544 139658917976848 139658990999253 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 15224832 140732536583151 140732536583322 140732536583322 140732536586191 0
[pid=16714/tid=16718] ppid=16712 vsize=15151156 memory=3604 CPUtime=0 cores=0,2,4,6
/proc/16714/task/16718/stat : 16718 (java) S 16712 16712 14027 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 516770783 15514783744 25100 33554432000 4194304 4196468 140732536576544 139658916924560 139658990999253 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 15224832 140732536583151 140732536583322 140732536583322 140732536586191 0
[pid=16714/tid=16719] ppid=16712 vsize=15151156 memory=2828 CPUtime=0 cores=0,2,4,6
/proc/16714/task/16719/stat : 16719 (java) S 16712 16712 14027 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 516770783 15514783744 25100 33554432000 4194304 4196468 140732536576544 139658915871760 139658990999253 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 15224832 140732536583151 140732536583322 140732536583322 140732536586191 0
[pid=16714/tid=16720] ppid=16712 vsize=15151156 memory=676 CPUtime=0 cores=0,2,4,6
/proc/16714/task/16720/stat : 16720 (java) S 16712 16712 14027 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 516770784 15514783744 25100 33554432000 4194304 4196468 140732536576544 139658459490416 139658991000194 0 0 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 15224832 140732536583151 140732536583322 140732536583322 140732536586191 0
[pid=16714/tid=16721] ppid=16712 vsize=15151156 memory=1060 CPUtime=0 cores=0,2,4,6
/proc/16714/task/16721/stat : 16721 (java) S 16712 16712 14027 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 516770785 15514783744 25100 33554432000 4194304 4196468 140732536576544 139658458436384 139658990999253 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 15224832 140732536583151 140732536583322 140732536583322 140732536586191 0
[pid=16714/tid=16722] ppid=16712 vsize=15151156 memory=1548 CPUtime=0 cores=0,2,4,6
/proc/16714/task/16722/stat : 16722 (java) S 16712 16712 14027 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 516770785 15514783744 25100 33554432000 4194304 4196468 140732536576544 139658457384048 139658990999253 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 15224832 140732536583151 140732536583322 140732536583322 140732536586191 0
[pid=16714/tid=16723] ppid=16712 vsize=15151156 memory=8560 CPUtime=0 cores=0,2,4,6
/proc/16714/task/16723/stat : 16723 (java) S 16712 16712 14027 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 516770787 15514783744 25100 33554432000 4194304 4196468 140732536576544 139658456332368 139658991007643 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 15224832 140732536583151 140732536583322 140732536583322 140732536586191 0
[pid=16714/tid=16724] ppid=16712 vsize=15151156 memory=1712 CPUtime=0.33 cores=0,2,4,6
/proc/16714/task/16724/stat : 16724 (java) R 16712 16712 14027 0 -1 4202560 1466 0 0 0 33 0 0 0 20 0 15 0 516770787 15514783744 25100 33554432000 4194304 4196468 140732536576544 139658455266672 139658974483231 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 15224832 140732536583151 140732536583322 140732536583322 140732536586191 0
[pid=16714/tid=16725] ppid=16712 vsize=15151156 memory=1112 CPUtime=0.33 cores=0,2,4,6
/proc/16714/task/16725/stat : 16725 (java) R 16712 16712 14027 0 -1 4202560 1333 0 0 0 33 0 0 0 20 0 15 0 516770788 15514783744 25100 33554432000 4194304 4196468 140732536576544 139658454216912 139658970178505 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 15224832 140732536583151 140732536583322 140732536583322 140732536586191 0
[pid=16714/tid=16726] ppid=16712 vsize=15151156 memory=1004 CPUtime=0.36 cores=0,2,4,6
/proc/16714/task/16726/stat : 16726 (java) R 16712 16712 14027 0 -1 4202560 1912 0 0 0 36 0 0 0 20 0 15 0 516770788 15514783744 25100 33554432000 4194304 4196468 140732536576544 139658453175152 139658983226174 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 15224832 140732536583151 140732536583322 140732536583322 140732536586191 0
[pid=16714/tid=16727] ppid=16712 vsize=15151156 memory=6088 CPUtime=0 cores=0,2,4,6
/proc/16714/task/16727/stat : 16727 (java) S 16712 16712 14027 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 516770788 15514783744 25100 33554432000 4194304 4196468 140732536576544 139658452122592 139658990999253 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 15224832 140732536583151 140732536583322 140732536583322 140732536586191 0
[pid=16714/tid=16728] ppid=16712 vsize=15151156 memory=14008 CPUtime=0 cores=0,2,4,6
/proc/16714/task/16728/stat : 16728 (java) S 16712 16712 14027 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 516770788 15514783744 25100 33554432000 4194304 4196468 140732536576544 139658451069360 139658991000194 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 15224832 140732536583151 140732536583322 140732536583322 140732536586191 0
Current children cumulated CPU time: 1.72 s
Current children cumulated vsize: 15264284 KiB
Current children cumulated memory: 101848 KiB
[startup+1.50085 s]
/proc/loadavg: 2.09 1.86 1.82 6/229 16728
/proc/meminfo: memFree=27955464/32770624 swapFree=66999256/67108860
[pid=16712] ppid=16709 vsize=113128 memory=1448 CPUtime=0 cores=0,2,4,6
/proc/16712/stat : 16712 (xcsp3-exec) S 16709 16712 14027 0 -1 4202496 542 0 0 0 0 0 0 0 20 0 1 0 516770782 115843072 362 33554432000 4194304 5098028 140720874089296 140720874087400 139973814375036 0 65536 4100 65538 18446744071579417331 0 0 17 0 0 0 0 0 0 7196144 7232144 8114176 140720874091387 140720874091629 140720874091629 140720874094538 0
/proc/16712/statm: 28282 362 304 221 0 87 0
################
# More data... #
################
/proc/16714/task/16722/stat : 16722 (java) S 16712 16712 14027 0 -1 1077944384 24 0 0 0 0 0 0 0 20 0 15 0 516770785 15516880896 482204 33554432000 4194304 4196468 140732536576544 139658457384064 139658990999253 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 15224832 140732536583151 140732536583322 140732536583322 140732536586191 0
[pid=16714/tid=16723] ppid=16712 vsize=15153204 memory=1448 CPUtime=0 cores=0,2,4,6
/proc/16714/task/16723/stat : 16723 (java) S 16712 16712 14027 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 516770787 15516880896 482204 33554432000 4194304 4196468 140732536576544 139658456332368 139658991007643 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 15224832 140732536583151 140732536583322 140732536583322 140732536586191 0
[pid=16714/tid=16724] ppid=16712 vsize=15153204 memory=1928816 CPUtime=4.17 cores=0,2,4,6
/proc/16714/task/16724/stat : 16724 (java) S 16712 16712 14027 0 -1 1077944384 21769 0 0 0 416 1 0 0 20 0 15 0 516770787 15516880896 482204 33554432000 4194304 4196468 140732536576544 139658455280240 139658991000194 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 48 0 0 6293624 6294260 15224832 140732536583151 140732536583322 140732536583322 140732536586191 0
[pid=16714/tid=16725] ppid=16712 vsize=15153204 memory=1928816 CPUtime=4.49 cores=0,2,4,6
/proc/16714/task/16725/stat : 16725 (java) S 16712 16712 14027 0 -1 1077944384 23016 0 0 0 446 3 0 0 20 0 15 0 516770788 15516880896 482204 33554432000 4194304 4196468 140732536576544 139658454227440 139658991000194 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 35 0 0 6293624 6294260 15224832 140732536583151 140732536583322 140732536583322 140732536586191 0
[pid=16714/tid=16726] ppid=16712 vsize=15153204 memory=3504 CPUtime=1.11 cores=0,2,4,6
/proc/16714/task/16726/stat : 16726 (java) S 16712 16712 14027 0 -1 1077944384 17461 0 0 0 109 2 0 0 20 0 15 0 516770788 15516880896 482204 33554432000 4194304 4196468 140732536576544 139658453175152 139658991000194 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 13 0 0 6293624 6294260 15224832 140732536583151 140732536583322 140732536583322 140732536586191 0
[pid=16714/tid=16727] ppid=16712 vsize=15153204 memory=6791534058613427641 CPUtime=0 cores=0,2,4,6
/proc/16714/task/16727/stat : 16727 (java) S 16712 16712 14027 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 516770788 15516880896 482204 33554432000 4194304 4196468 140732536576544 139658452122592 139658990999253 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 15224832 140732536583151 140732536583322 140732536583322 140732536586191 0
[pid=16714/tid=16728] ppid=16712 vsize=15153204 memory=111628 CPUtime=0.73 cores=0,2,4,6
/proc/16714/task/16728/stat : 16728 (java) S 16712 16712 14027 0 -1 1077944384 1454 0 0 0 31 42 0 0 20 0 15 0 516770788 15516880896 482204 33554432000 4194304 4196468 140732536576544 139658451069360 139658991000194 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 47 0 0 6293624 6294260 15224832 140732536583151 140732536583322 140732536583322 140732536586191 0
Current children cumulated CPU time: 2273.24 s
Current children cumulated vsize: 15266332 KiB
Current children cumulated memory: 1930264 KiB
[startup+2322.3 s]
/proc/loadavg: 1.83 1.90 1.86 3/229 17044
/proc/meminfo: memFree=26588060/32770624 swapFree=66999256/67108860
[pid=16712] ppid=16709 vsize=113128 memory=1448 CPUtime=0 cores=0,2,4,6
/proc/16712/stat : 16712 (xcsp3-exec) S 16709 16712 14027 0 -1 4202496 542 0 0 0 0 0 0 0 20 0 1 0 516770782 115843072 362 33554432000 4194304 5098028 140720874089296 140720874087400 139973814375036 0 65536 4100 65538 18446744071579417331 0 0 17 0 0 0 0 0 0 7196144 7232144 8114176 140720874091387 140720874091629 140720874091629 140720874094538 0
/proc/16712/statm: 28282 362 304 221 0 87 0
[pid=16714] ppid=16712 vsize=15153204 memory=1969776 CPUtime=2333.26 cores=0,2,4,6
/proc/16714/stat : 16714 (java) S 16712 16712 14027 0 -1 1077944320 107214 0 0 0 233230 96 0 0 20 0 15 0 516770782 15516880896 492444 33554432000 4194304 4196468 140732536576544 140732536559088 139658990989047 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0 6293624 6294260 15224832 140732536583151 140732536583322 140732536583322 140732536586191 0
/proc/16714/statm: 3788301 492444 3520 1 0 3749401 0
[pid=16714/tid=16715] ppid=16712 vsize=15153204 memory=1967728 CPUtime=2321.83 cores=0,2,4,6
/proc/16714/task/16715/stat : 16715 (java) R 16712 16712 14027 0 -1 4202560 31296 0 0 0 232150 33 0 0 20 0 15 0 516770782 15516880896 492444 33554432000 4194304 4196468 140732536576544 139658995226008 139658605390675 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 15224832 140732536583151 140732536583322 140732536583322 140732536586191 0
[pid=16714/tid=16716] ppid=16712 vsize=15153204 memory=1969776 CPUtime=0.17 cores=0,2,4,6
/proc/16714/task/16716/stat : 16716 (java) S 16712 16712 14027 0 -1 1077944384 4367 0 0 0 13 4 0 0 20 0 15 0 516770783 15516880896 492444 33554432000 4194304 4196468 140732536576544 139658919029648 139658990999253 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 15224832 140732536583151 140732536583322 140732536583322 140732536586191 0
[pid=16714/tid=16717] ppid=16712 vsize=15153204 memory=1969776 CPUtime=0.19 cores=0,2,4,6
/proc/16714/task/16717/stat : 16717 (java) S 16712 16712 14027 0 -1 1077944384 514 0 0 0 15 4 0 0 20 0 15 0 516770783 15516880896 492444 33554432000 4194304 4196468 140732536576544 139658917976848 139658990999253 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 15224832 140732536583151 140732536583322 140732536583322 140732536586191 0
[pid=16714/tid=16718] ppid=16712 vsize=15153204 memory=1448 CPUtime=0.18 cores=0,2,4,6
/proc/16714/task/16718/stat : 16718 (java) S 16712 16712 14027 0 -1 1077944384 957 0 0 0 13 5 0 0 20 0 15 0 516770783 15516880896 492444 33554432000 4194304 4196468 140732536576544 139658916924560 139658990999253 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 15224832 140732536583151 140732536583322 140732536583322 140732536586191 0
[pid=16714/tid=16719] ppid=16712 vsize=15153204 memory=230965 CPUtime=0.2 cores=0,2,4,6
/proc/16714/task/16719/stat : 16719 (java) S 16712 16712 14027 0 -1 1077944384 2267 0 0 0 15 5 0 0 20 0 15 0 516770783 15516880896 492444 33554432000 4194304 4196468 140732536576544 139658915871760 139658990999253 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 15224832 140732536583151 140732536583322 140732536583322 140732536586191 0
[pid=16714/tid=16720] ppid=16712 vsize=15153204 memory=1965680 CPUtime=0.05 cores=0,2,4,6
/proc/16714/task/16720/stat : 16720 (java) S 16712 16712 14027 0 -1 1077944384 2782 0 0 0 3 2 0 0 20 0 15 0 516770784 15516880896 492444 33554432000 4194304 4196468 140732536576544 139658459490416 139658991000194 0 0 0 16800975 18446744071579849748 0 0 -1 0 0 0 29 0 0 6293624 6294260 15224832 140732536583151 140732536583322 140732536583322 140732536586191 0
[pid=16714/tid=16721] ppid=16712 vsize=15153204 memory=1448 CPUtime=0 cores=0,2,4,6
/proc/16714/task/16721/stat : 16721 (java) S 16712 16712 14027 0 -1 1077944384 37 0 0 0 0 0 0 0 20 0 15 0 516770785 15516880896 492444 33554432000 4194304 4196468 140732536576544 139658458436448 139658990999253 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 15224832 140732536583151 140732536583322 140732536583322 140732536586191 0
[pid=16714/tid=16722] ppid=16712 vsize=15153204 memory=1959536 CPUtime=0 cores=0,2,4,6
/proc/16714/task/16722/stat : 16722 (java) S 16712 16712 14027 0 -1 1077944384 24 0 0 0 0 0 0 0 20 0 15 0 516770785 15516880896 492444 33554432000 4194304 4196468 140732536576544 139658457384064 139658990999253 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 15224832 140732536583151 140732536583322 140732536583322 140732536586191 0
[pid=16714/tid=16723] ppid=16712 vsize=15153204 memory=1448 CPUtime=0 cores=0,2,4,6
/proc/16714/task/16723/stat : 16723 (java) S 16712 16712 14027 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 516770787 15516880896 492444 33554432000 4194304 4196468 140732536576544 139658456332368 139658991007643 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 15224832 140732536583151 140732536583322 140732536583322 140732536586191 0
[pid=16714/tid=16724] ppid=16712 vsize=15153204 memory=1965680 CPUtime=4.17 cores=0,2,4,6
/proc/16714/task/16724/stat : 16724 (java) S 16712 16712 14027 0 -1 1077944384 21771 0 0 0 416 1 0 0 20 0 15 0 516770787 15516880896 492444 33554432000 4194304 4196468 140732536576544 139658455280240 139658991000194 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 48 0 0 6293624 6294260 15224832 140732536583151 140732536583322 140732536583322 140732536586191 0
[pid=16714/tid=16725] ppid=16712 vsize=15153204 memory=1967728 CPUtime=4.49 cores=0,2,4,6
/proc/16714/task/16725/stat : 16725 (java) S 16712 16712 14027 0 -1 1077944384 23018 0 0 0 446 3 0 0 20 0 15 0 516770788 15516880896 492444 33554432000 4194304 4196468 140732536576544 139658454227440 139658991000194 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 35 0 0 6293624 6294260 15224832 140732536583151 140732536583322 140732536583322 140732536586191 0
[pid=16714/tid=16726] ppid=16712 vsize=15153204 memory=3504 CPUtime=1.11 cores=0,2,4,6
/proc/16714/task/16726/stat : 16726 (java) S 16712 16712 14027 0 -1 1077944384 17464 0 0 0 109 2 0 0 20 0 15 0 516770788 15516880896 492444 33554432000 4194304 4196468 140732536576544 139658453175152 139658991000194 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 13 0 0 6293624 6294260 15224832 140732536583151 140732536583322 140732536583322 140732536586191 0
[pid=16714/tid=16727] ppid=16712 vsize=15153204 memory=1448 CPUtime=0 cores=0,2,4,6
/proc/16714/task/16727/stat : 16727 (java) S 16712 16712 14027 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 516770788 15516880896 492444 33554432000 4194304 4196468 140732536576544 139658452122592 139658990999253 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 15224832 140732536583151 140732536583322 140732536583322 140732536586191 0
[pid=16714/tid=16728] ppid=16712 vsize=15153204 memory=1969776 CPUtime=0.76 cores=0,2,4,6
/proc/16714/task/16728/stat : 16728 (java) S 16712 16712 14027 0 -1 1077944384 1476 0 0 0 32 44 0 0 20 0 15 0 516770788 15516880896 492444 33554432000 4194304 4196468 140732536576544 139658451069360 139658991000194 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 47 0 0 6293624 6294260 15224832 140732536583151 140732536583322 140732536583322 140732536586191 0
Current children cumulated CPU time: 2333.26 s
Current children cumulated vsize: 15266332 KiB
Current children cumulated memory: 1971224 KiB
[startup+2382.3 s]
/proc/loadavg: 1.95 1.92 1.87 3/229 17048
/proc/meminfo: memFree=26556700/32770624 swapFree=66999256/67108860
[pid=16712] ppid=16709 vsize=113128 memory=1448 CPUtime=0 cores=0,2,4,6
/proc/16712/stat : 16712 (xcsp3-exec) S 16709 16712 14027 0 -1 4202496 542 0 0 0 0 0 0 0 20 0 1 0 516770782 115843072 362 33554432000 4194304 5098028 140720874089296 140720874087400 139973814375036 0 65536 4100 65538 18446744071579417331 0 0 17 0 0 0 0 0 0 7196144 7232144 8114176 140720874091387 140720874091629 140720874091629 140720874094538 0
/proc/16712/statm: 28282 362 304 221 0 87 0
[pid=16714] ppid=16712 vsize=15153204 memory=2000496 CPUtime=2393.28 cores=0,2,4,6
/proc/16714/stat : 16714 (java) S 16712 16712 14027 0 -1 1077944320 107608 0 0 0 239230 98 0 0 20 0 15 0 516770782 15516880896 500124 33554432000 4194304 4196468 140732536576544 140732536559088 139658990989047 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0 6293624 6294260 15224832 140732536583151 140732536583322 140732536583322 140732536586191 0
/proc/16714/statm: 3788301 500124 3520 1 0 3749401 0
[pid=16714/tid=16715] ppid=16712 vsize=15153204 memory=1448 CPUtime=2381.84 cores=0,2,4,6
/proc/16714/task/16715/stat : 16715 (java) R 16712 16712 14027 0 -1 4202560 31655 0 0 0 238150 34 0 0 20 0 15 0 516770782 15516880896 500124 33554432000 4194304 4196468 140732536576544 139658995226008 139658599816348 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 15224832 140732536583151 140732536583322 140732536583322 140732536586191 0
[pid=16714/tid=16716] ppid=16712 vsize=15153204 memory=2000496 CPUtime=0.17 cores=0,2,4,6
/proc/16714/task/16716/stat : 16716 (java) S 16712 16712 14027 0 -1 1077944384 4367 0 0 0 13 4 0 0 20 0 15 0 516770783 15516880896 500124 33554432000 4194304 4196468 140732536576544 139658919029648 139658990999253 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 15224832 140732536583151 140732536583322 140732536583322 140732536586191 0
[pid=16714/tid=16717] ppid=16712 vsize=15153204 memory=1996400 CPUtime=0.19 cores=0,2,4,6
/proc/16714/task/16717/stat : 16717 (java) S 16712 16712 14027 0 -1 1077944384 514 0 0 0 15 4 0 0 20 0 15 0 516770783 15516880896 500124 33554432000 4194304 4196468 140732536576544 139658917976848 139658990999253 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 15224832 140732536583151 140732536583322 140732536583322 140732536586191 0
[pid=16714/tid=16718] ppid=16712 vsize=15153204 memory=1986160 CPUtime=0.18 cores=0,2,4,6
/proc/16714/task/16718/stat : 16718 (java) S 16712 16712 14027 0 -1 1077944384 957 0 0 0 13 5 0 0 20 0 15 0 516770783 15516880896 500124 33554432000 4194304 4196468 140732536576544 139658916924560 139658990999253 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 15224832 140732536583151 140732536583322 140732536583322 140732536586191 0
[pid=16714/tid=16719] ppid=16712 vsize=15153204 memory=1996400 CPUtime=0.2 cores=0,2,4,6
/proc/16714/task/16719/stat : 16719 (java) S 16712 16712 14027 0 -1 1077944384 2267 0 0 0 15 5 0 0 20 0 15 0 516770783 15516880896 500124 33554432000 4194304 4196468 140732536576544 139658915871760 139658990999253 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 15224832 140732536583151 140732536583322 140732536583322 140732536586191 0
[pid=16714/tid=16720] ppid=16712 vsize=15153204 memory=1448 CPUtime=0.05 cores=0,2,4,6
/proc/16714/task/16720/stat : 16720 (java) S 16712 16712 14027 0 -1 1077944384 2788 0 0 0 3 2 0 0 20 0 15 0 516770784 15516880896 500124 33554432000 4194304 4196468 140732536576544 139658459490416 139658991000194 0 0 0 16800975 18446744071579849748 0 0 -1 0 0 0 29 0 0 6293624 6294260 15224832 140732536583151 140732536583322 140732536583322 140732536586191 0
[pid=16714/tid=16721] ppid=16712 vsize=15153204 memory=1448 CPUtime=0 cores=0,2,4,6
/proc/16714/task/16721/stat : 16721 (java) S 16712 16712 14027 0 -1 1077944384 37 0 0 0 0 0 0 0 20 0 15 0 516770785 15516880896 500124 33554432000 4194304 4196468 140732536576544 139658458436448 139658990999253 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 15224832 140732536583151 140732536583322 140732536583322 140732536586191 0
[pid=16714/tid=16722] ppid=16712 vsize=15153204 memory=2000496 CPUtime=0 cores=0,2,4,6
/proc/16714/task/16722/stat : 16722 (java) S 16712 16712 14027 0 -1 1077944384 24 0 0 0 0 0 0 0 20 0 15 0 516770785 15516880896 500124 33554432000 4194304 4196468 140732536576544 139658457384064 139658990999253 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 15224832 140732536583151 140732536583322 140732536583322 140732536586191 0
[pid=16714/tid=16723] ppid=16712 vsize=15153204 memory=1996400 CPUtime=0 cores=0,2,4,6
/proc/16714/task/16723/stat : 16723 (java) S 16712 16712 14027 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 516770787 15516880896 500124 33554432000 4194304 4196468 140732536576544 139658456332368 139658991007643 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 15224832 140732536583151 140732536583322 140732536583322 140732536586191 0
[pid=16714/tid=16724] ppid=16712 vsize=15153204 memory=1448 CPUtime=4.17 cores=0,2,4,6
/proc/16714/task/16724/stat : 16724 (java) S 16712 16712 14027 0 -1 1077944384 21773 0 0 0 416 1 0 0 20 0 15 0 516770787 15516880896 500124 33554432000 4194304 4196468 140732536576544 139658455280240 139658991000194 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 48 0 0 6293624 6294260 15224832 140732536583151 140732536583322 140732536583322 140732536586191 0
[pid=16714/tid=16725] ppid=16712 vsize=15153204 memory=1448 CPUtime=4.49 cores=0,2,4,6
/proc/16714/task/16725/stat : 16725 (java) S 16712 16712 14027 0 -1 1077944384 23020 0 0 0 446 3 0 0 20 0 15 0 516770788 15516880896 500124 33554432000 4194304 4196468 140732536576544 139658454227440 139658991000194 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 35 0 0 6293624 6294260 15224832 140732536583151 140732536583322 140732536583322 140732536586191 0
[pid=16714/tid=16726] ppid=16712 vsize=15153204 memory=1448 CPUtime=1.11 cores=0,2,4,6
/proc/16714/task/16726/stat : 16726 (java) S 16712 16712 14027 0 -1 1077944384 17467 0 0 0 109 2 0 0 20 0 15 0 516770788 15516880896 500124 33554432000 4194304 4196468 140732536576544 139658453175152 139658991000194 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 13 0 0 6293624 6294260 15224832 140732536583151 140732536583322 140732536583322 140732536586191 0
[pid=16714/tid=16727] ppid=16712 vsize=15153204 memory=3504 CPUtime=0 cores=0,2,4,6
/proc/16714/task/16727/stat : 16727 (java) S 16712 16712 14027 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 516770788 15516880896 500124 33554432000 4194304 4196468 140732536576544 139658452122592 139658990999253 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 15224832 140732536583151 140732536583322 140732536583322 140732536586191 0
[pid=16714/tid=16728] ppid=16712 vsize=15153204 memory=1448 CPUtime=0.78 cores=0,2,4,6
/proc/16714/task/16728/stat : 16728 (java) S 16712 16712 14027 0 -1 1077944384 1498 0 0 0 33 45 0 0 20 0 15 0 516770788 15516880896 500124 33554432000 4194304 4196468 140732536576544 139658451069360 139658991000194 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 47 0 0 6293624 6294260 15224832 140732536583151 140732536583322 140732536583322 140732536586191 0
Current children cumulated CPU time: 2393.28 s
Current children cumulated vsize: 15266332 KiB
Current children cumulated memory: 2001944 KiB
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+2389 s]*
/proc/loadavg: 1.95 1.92 1.87 3/229 17048
/proc/meminfo: memFree=26553128/32770624 swapFree=66999256/67108860
[pid=16712] ppid=16709 vsize=113128 memory=1448 CPUtime=0 cores=0,2,4,6
/proc/16712/stat : 16712 (xcsp3-exec) S 16709 16712 14027 0 -1 4202496 542 0 0 0 0 0 0 0 20 0 1 0 516770782 115843072 362 33554432000 4194304 5098028 140720874089296 140720874087400 139973814375036 0 65536 4100 65538 18446744071579417331 0 0 17 0 0 0 0 0 0 7196144 7232144 8114176 140720874091387 140720874091629 140720874091629 140720874094538 0
/proc/16712/statm: 28282 362 304 221 0 87 0
[pid=16714] ppid=16712 vsize=15153204 memory=2004592 CPUtime=2400 cores=0,2,4,6
/proc/16714/stat : 16714 (java) S 16712 16712 14027 0 -1 1077944320 107621 0 0 0 239901 99 0 0 20 0 15 0 516770782 15516880896 501148 33554432000 4194304 4196468 140732536576544 140732536559088 139658990989047 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0 6293624 6294260 15224832 140732536583151 140732536583322 140732536583322 140732536586191 0
/proc/16714/statm: 3788301 501148 3520 1 0 3749401 0
[pid=16714/tid=16715] ppid=16712 vsize=15153204 memory=6944656575208382560 CPUtime=2388.54 cores=0,2,4,6
/proc/16714/task/16715/stat : 16715 (java) R 16712 16712 14027 0 -1 4202560 31666 0 0 0 238820 34 0 0 20 0 15 0 516770782 15516880896 501148 33554432000 4194304 4196468 140732536576544 139658995226008 139658605390443 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 15224832 140732536583151 140732536583322 140732536583322 140732536586191 0
[pid=16714/tid=16716] ppid=16712 vsize=15153204 memory=0 CPUtime=0.17 cores=0,2,4,6
/proc/16714/task/16716/stat : 16716 (java) S 16712 16712 14027 0 -1 1077944384 4367 0 0 0 13 4 0 0 20 0 15 0 516770783 15516880896 501148 33554432000 4194304 4196468 140732536576544 139658919029648 139658990999253 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 15224832 140732536583151 140732536583322 140732536583322 140732536586191 0
[pid=16714/tid=16717] ppid=16712 vsize=15153204 memory=3472468761163089584 CPUtime=0.19 cores=0,2,4,6
/proc/16714/task/16717/stat : 16717 (java) S 16712 16712 14027 0 -1 1077944384 514 0 0 0 15 4 0 0 20 0 15 0 516770783 15516880896 501148 33554432000 4194304 4196468 140732536576544 139658917976848 139658990999253 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 15224832 140732536583151 140732536583322 140732536583322 140732536586191 0
[pid=16714/tid=16718] ppid=16712 vsize=15153204 memory=150787711841995 CPUtime=0.18 cores=0,2,4,6
/proc/16714/task/16718/stat : 16718 (java) S 16712 16712 14027 0 -1 1077944384 957 0 0 0 13 5 0 0 20 0 15 0 516770783 15516880896 501148 33554432000 4194304 4196468 140732536576544 139658916924560 139658990999253 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 15224832 140732536583151 140732536583322 140732536583322 140732536586191 0
[pid=16714/tid=16719] ppid=16712 vsize=15153204 memory=7073079088213609237 CPUtime=0.2 cores=0,2,4,6
/proc/16714/task/16719/stat : 16719 (java) S 16712 16712 14027 0 -1 1077944384 2267 0 0 0 15 5 0 0 20 0 15 0 516770783 15516880896 501148 33554432000 4194304 4196468 140732536576544 139658915871760 139658990999253 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 15224832 140732536583151 140732536583322 140732536583322 140732536586191 0
[pid=16714/tid=16720] ppid=16712 vsize=15153204 memory=0 CPUtime=0.05 cores=0,2,4,6
/proc/16714/task/16720/stat : 16720 (java) S 16712 16712 14027 0 -1 1077944384 2788 0 0 0 3 2 0 0 20 0 15 0 516770784 15516880896 501148 33554432000 4194304 4196468 140732536576544 139658459490416 139658991000194 0 0 0 16800975 18446744071579849748 0 0 -1 0 0 0 29 0 0 6293624 6294260 15224832 140732536583151 140732536583322 140732536583322 140732536586191 0
[pid=16714/tid=16721] ppid=16712 vsize=15153204 memory=3473458624346731575 CPUtime=0 cores=0,2,4,6
/proc/16714/task/16721/stat : 16721 (java) S 16712 16712 14027 0 -1 1077944384 37 0 0 0 0 0 0 0 20 0 15 0 516770785 15516880896 501148 33554432000 4194304 4196468 140732536576544 139658458436448 139658990999253 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 15224832 140732536583151 140732536583322 140732536583322 140732536586191 0
[pid=16714/tid=16722] ppid=16712 vsize=15153204 memory=6297791911065632874 CPUtime=0 cores=0,2,4,6
/proc/16714/task/16722/stat : 16722 (java) S 16712 16712 14027 0 -1 1077944384 24 0 0 0 0 0 0 0 20 0 15 0 516770785 15516880896 501148 33554432000 4194304 4196468 140732536576544 139658457384064 139658990999253 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 15224832 140732536583151 140732536583322 140732536583322 140732536586191 0
[pid=16714/tid=16723] ppid=16712 vsize=15153204 memory=5787776866926477408 CPUtime=0 cores=0,2,4,6
/proc/16714/task/16723/stat : 16723 (java) S 16712 16712 14027 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 516770787 15516880896 501148 33554432000 4194304 4196468 140732536576544 139658456332368 139658991007643 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 15224832 140732536583151 140732536583322 140732536583322 140732536586191 0
[pid=16714/tid=16724] ppid=16712 vsize=15153204 memory=0 CPUtime=4.17 cores=0,2,4,6
/proc/16714/task/16724/stat : 16724 (java) S 16712 16712 14027 0 -1 1077944384 21773 0 0 0 416 1 0 0 20 0 15 0 516770787 15516880896 501148 33554432000 4194304 4196468 140732536576544 139658455280240 139658991000194 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 48 0 0 6293624 6294260 15224832 140732536583151 140732536583322 140732536583322 140732536586191 0
[pid=16714/tid=16725] ppid=16712 vsize=15153204 memory=4121416224052622897 CPUtime=4.49 cores=0,2,4,6
/proc/16714/task/16725/stat : 16725 (java) S 16712 16712 14027 0 -1 1077944384 23020 0 0 0 446 3 0 0 20 0 15 0 516770788 15516880896 501148 33554432000 4194304 4196468 140732536576544 139658454227440 139658991000194 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 35 0 0 6293624 6294260 15224832 140732536583151 140732536583322 140732536583322 140732536586191 0
[pid=16714/tid=16726] ppid=16712 vsize=15153204 memory=280929871341632 CPUtime=1.11 cores=0,2,4,6
/proc/16714/task/16726/stat : 16726 (java) S 16712 16712 14027 0 -1 1077944384 17467 0 0 0 109 2 0 0 20 0 15 0 516770788 15516880896 501148 33554432000 4194304 4196468 140732536576544 139658453175152 139658991000194 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 13 0 0 6293624 6294260 15224832 140732536583151 140732536583322 140732536583322 140732536586191 0
[pid=16714/tid=16727] ppid=16712 vsize=15153204 memory=3905523791584243763 CPUtime=0 cores=0,2,4,6
/proc/16714/task/16727/stat : 16727 (java) S 16712 16712 14027 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 516770788 15516880896 501148 33554432000 4194304 4196468 140732536576544 139658452122592 139658990999253 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 15224832 140732536583151 140732536583322 140732536583322 140732536586191 0
[pid=16714/tid=16728] ppid=16712 vsize=15153204 memory=29678448712876256 CPUtime=0.78 cores=0,2,4,6
/proc/16714/task/16728/stat : 16728 (java) S 16712 16712 14027 0 -1 1077944384 1500 0 0 0 33 45 0 0 20 0 15 0 516770788 15516880896 501148 33554432000 4194304 4196468 140732536576544 139658451069360 139658991000194 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 47 0 0 6293624 6294260 15224832 140732536583151 140732536583322 140732536583322 140732536586191 0
Current children cumulated CPU time: 2400 s
Current children cumulated vsize: 15266332 KiB
Current children cumulated memory: 2006040 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
[startup+2389.02 s]
# the end of solver process 16712 was just reported to runsolver
# cumulated CPU time of all completed processes: user=0.000852 s, system=0.001704 s
[startup+2389.03 s]
# the end of solver process 16714 was just reported to runsolver
# cumulated CPU time of all completed processes: user=2399.02 s, system=1.00277 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
Child status: 143
Real time (s): 2389.03
CPU time (s): 2400.03
CPU user time (s): 2399.02
CPU system time (s): 1.00277
CPU usage (%): 100.46
Max. virtual memory (cumulated for all children) (KiB): 15269152
Max. memory (cumulated for all children) (KiB): 2006040
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2399.02
system time used= 1.00277
maximum resident set size= 2011328
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 108577
page faults= 0
swaps= 0
block input operations= 0
block output operations= 1816
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 55407
involuntary context switches= 1750
# summary of solver processes directly reported to runsolver:
# pid: 16712,16714
# total CPU time (s): 2400.03
# total CPU user time (s): 2399.02
# total CPU system time (s): 1.00277
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 15.1286 second user time and 21.1043 second system time
The end