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 (12568 MiB free)
memory of node 1: 16384 MiB (14131 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4399215-1568695214/watcher-4399215-1568695214 -o /tmp/evaluation-result-4399215-1568695214/solver-4399215-1568695214 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node119-1568694401-32469 --watchdog 2580 xcsp3-exec -dir HOME -tl 2520 -p 4 -ml 12000 -tdir HOME -seed 261368298 HOME/instance-4399215-1568695214.xml
running on 4 cores: 1,3,5,7
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 2520 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 2550 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 2520 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB
Linux 3.10.0-514.16.1.el7.x86_64
Starting watchdog thread
solver pid=3569, runsolver pid=3566
Current StackSize limit: 8192 KiB
[startup+0.101999 s]*
/proc/loadavg: 8.27 7.65 5.08 6/233 3585
/proc/meminfo: memFree=27325304/32770624 swapFree=66939908/67108860
[pid=3569] ppid=3566 vsize=113128 memory=1448 CPUtime=0 cores=1,3,5,7
/proc/3569/stat : 3569 (xcsp3-exec) S 3566 3569 32437 0 -1 4202496 544 0 0 0 0 0 0 0 20 0 1 0 445436240 115843072 362 33554432000 4194304 5098028 140731184058512 140731184056616 140493334803068 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 14655488 140731184067451 140731184067693 140731184067693 140731184070602 0
/proc/3569/statm: 28282 362 304 221 0 87 0
[pid=3571] ppid=3569 vsize=15144776 memory=28940 CPUtime=0.13 cores=1,3,5,7
/proc/3571/stat : 3571 (java) S 3569 3569 32437 0 -1 1077944320 5700 0 0 0 12 1 0 0 20 0 15 0 445436240 15508250624 7235 33554432000 4194304 4196468 140730478213552 140730478196096 140448307506935 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0 6293624 6294260 9879552 140730478220271 140730478220442 140730478220442 140730478223311 0
/proc/3571/statm: 3786194 7235 3182 1 0 3748377 0
[pid=3571/tid=3572] ppid=3569 vsize=15144776 memory=7031125463459224206 CPUtime=0.09 cores=1,3,5,7
/proc/3571/task/3572/stat : 3572 (java) R 3569 3569 32437 0 -1 4202560 3579 0 0 0 8 1 0 0 20 0 15 0 445436240 15508250624 7235 33554432000 4194304 4196468 140730478213552 140448311730192 140448299748325 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 9879552 140730478220271 140730478220442 140730478220442 140730478223311 0
[pid=3571/tid=3573] ppid=3569 vsize=15144776 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/3571/task/3573/stat : 3573 (java) S 3569 3569 32437 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 445436241 15508250624 7235 33554432000 4194304 4196468 140730478213552 140448260127504 140448307517141 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 9879552 140730478220271 140730478220442 140730478220442 140730478223311 0
[pid=3571/tid=3574] ppid=3569 vsize=15144776 memory=140332053890688 CPUtime=0 cores=1,3,5,7
/proc/3571/task/3574/stat : 3574 (java) S 3569 3569 32437 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 445436241 15508250624 7235 33554432000 4194304 4196468 140730478213552 140448259074960 140448307517141 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 9879552 140730478220271 140730478220442 140730478220442 140730478223311 0
[pid=3571/tid=3575] ppid=3569 vsize=15144776 memory=0 CPUtime=0 cores=1,3,5,7
/proc/3571/task/3575/stat : 3575 (java) S 3569 3569 32437 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 445436241 15508250624 7235 33554432000 4194304 4196468 140730478213552 140448258022416 140448307517141 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 9879552 140730478220271 140730478220442 140730478220442 140730478223311 0
[pid=3571/tid=3576] ppid=3569 vsize=15144776 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/3571/task/3576/stat : 3576 (java) S 3569 3569 32437 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 445436241 15508250624 7235 33554432000 4194304 4196468 140730478213552 140448256969872 140448307517141 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 9879552 140730478220271 140730478220442 140730478220442 140730478223311 0
[pid=3571/tid=3577] ppid=3569 vsize=15144776 memory=140332053890688 CPUtime=0 cores=1,3,5,7
/proc/3571/task/3577/stat : 3577 (java) S 3569 3569 32437 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 445436243 15508250624 7235 33554432000 4194304 4196468 140730478213552 140447775172592 140448307518082 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 9879552 140730478220271 140730478220442 140730478220442 140730478223311 0
[pid=3571/tid=3578] ppid=3569 vsize=15144776 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/3571/task/3578/stat : 3578 (java) S 3569 3569 32437 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 445436243 15508250624 7235 33554432000 4194304 4196468 140730478213552 140447774118816 140448307517141 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 9879552 140730478220271 140730478220442 140730478220442 140730478223311 0
[pid=3571/tid=3579] ppid=3569 vsize=15144776 memory=0 CPUtime=0 cores=1,3,5,7
/proc/3571/task/3579/stat : 3579 (java) S 3569 3569 32437 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 445436243 15508250624 7235 33554432000 4194304 4196468 140730478213552 140447773066224 140448307517141 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 9879552 140730478220271 140730478220442 140730478220442 140730478223311 0
[pid=3571/tid=3580] ppid=3569 vsize=15144776 memory=0 CPUtime=0 cores=1,3,5,7
/proc/3571/task/3580/stat : 3580 (java) S 3569 3569 32437 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 445436246 15508250624 7235 33554432000 4194304 4196468 140730478213552 140447772014800 140448307525531 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 9879552 140730478220271 140730478220442 140730478220442 140730478223311 0
[pid=3571/tid=3581] ppid=3569 vsize=15144776 memory=0 CPUtime=0 cores=1,3,5,7
/proc/3571/task/3581/stat : 3581 (java) S 3569 3569 32437 0 -1 1077944384 300 0 0 0 0 0 0 0 20 0 15 0 445436246 15508250624 7235 33554432000 4194304 4196468 140730478213552 140447770962416 140448307518082 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 9879552 140730478220271 140730478220442 140730478220442 140730478223311 0
[pid=3571/tid=3582] ppid=3569 vsize=15144776 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/3571/task/3582/stat : 3582 (java) S 3569 3569 32437 0 -1 1077944384 160 0 0 0 0 0 0 0 20 0 15 0 445436246 15508250624 7235 33554432000 4194304 4196468 140730478213552 140447769909872 140448307518082 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 9879552 140730478220271 140730478220442 140730478220442 140730478223311 0
[pid=3571/tid=3583] ppid=3569 vsize=15144776 memory=140332053890688 CPUtime=0.02 cores=1,3,5,7
/proc/3571/task/3583/stat : 3583 (java) R 3569 3569 32437 0 -1 4202560 368 0 0 0 2 0 0 0 20 0 15 0 445436246 15508250624 7235 33554432000 4194304 4196468 140730478213552 140447768853056 140448292150785 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 9879552 140730478220271 140730478220442 140730478220442 140730478223311 0
[pid=3571/tid=3584] ppid=3569 vsize=15144776 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/3571/task/3584/stat : 3584 (java) S 3569 3569 32437 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 445436246 15508250624 7235 33554432000 4194304 4196468 140730478213552 140447767805024 140448307517141 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 9879552 140730478220271 140730478220442 140730478220442 140730478223311 0
[pid=3571/tid=3585] ppid=3569 vsize=15144776 memory=140332053890688 CPUtime=0 cores=1,3,5,7
/proc/3571/task/3585/stat : 3585 (java) S 3569 3569 32437 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 445436246 15508250624 7235 33554432000 4194304 4196468 140730478213552 140447766751536 140448307518082 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 9879552 140730478220271 140730478220442 140730478220442 140730478223311 0
Current children cumulated CPU time: 0.13 s
Current children cumulated vsize: 15257904 KiB
Current children cumulated memory: 30388 KiB
[startup+0.210719 s]*
/proc/loadavg: 8.27 7.65 5.08 8/233 3585
/proc/meminfo: memFree=27313376/32770624 swapFree=66939908/67108860
[pid=3569] ppid=3566 vsize=113128 memory=1448 CPUtime=0 cores=1,3,5,7
/proc/3569/stat : 3569 (xcsp3-exec) S 3566 3569 32437 0 -1 4202496 544 0 0 0 0 0 0 0 20 0 1 0 445436240 115843072 362 33554432000 4194304 5098028 140731184058512 140731184056616 140493334803068 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 14655488 140731184067451 140731184067693 140731184067693 140731184070602 0
/proc/3569/statm: 28282 362 304 221 0 87 0
[pid=3571] ppid=3569 vsize=15144776 memory=40644 CPUtime=0.34 cores=1,3,5,7
/proc/3571/stat : 3571 (java) S 3569 3569 32437 0 -1 1077944320 9455 0 0 0 31 3 0 0 20 0 15 0 445436240 15508250624 10161 33554432000 4194304 4196468 140730478213552 140730478196096 140448307506935 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0 6293624 6294260 9879552 140730478220271 140730478220442 140730478220442 140730478223311 0
/proc/3571/statm: 3786194 10161 3264 1 0 3748377 0
[pid=3571/tid=3572] ppid=3569 vsize=15144776 memory=7022364632946311227 CPUtime=0.19 cores=1,3,5,7
/proc/3571/task/3572/stat : 3572 (java) R 3569 3569 32437 0 -1 4202560 6606 0 0 0 17 2 0 0 20 0 15 0 445436240 15508250624 10161 33554432000 4194304 4196468 140730478213552 140448311743696 140448291587422 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 9879552 140730478220271 140730478220442 140730478220442 140730478223311 0
[pid=3571/tid=3573] ppid=3569 vsize=15144776 memory=4294977831 CPUtime=0 cores=1,3,5,7
/proc/3571/task/3573/stat : 3573 (java) S 3569 3569 32437 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 445436241 15508250624 10161 33554432000 4194304 4196468 140730478213552 140448260127504 140448307517141 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 9879552 140730478220271 140730478220442 140730478220442 140730478223311 0
[pid=3571/tid=3574] ppid=3569 vsize=15144776 memory=3546498784865093280 CPUtime=0 cores=1,3,5,7
/proc/3571/task/3574/stat : 3574 (java) S 3569 3569 32437 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 445436241 15508250624 10161 33554432000 4194304 4196468 140730478213552 140448259074960 140448307517141 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 9879552 140730478220271 140730478220442 140730478220442 140730478223311 0
[pid=3571/tid=3575] ppid=3569 vsize=15144776 memory=0 CPUtime=0 cores=1,3,5,7
/proc/3571/task/3575/stat : 3575 (java) S 3569 3569 32437 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 445436241 15508250624 10161 33554432000 4194304 4196468 140730478213552 140448258022416 140448307517141 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 9879552 140730478220271 140730478220442 140730478220442 140730478223311 0
[pid=3571/tid=3576] ppid=3569 vsize=15144776 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/3571/task/3576/stat : 3576 (java) S 3569 3569 32437 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 445436241 15508250624 10161 33554432000 4194304 4196468 140730478213552 140448256969872 140448307517141 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 9879552 140730478220271 140730478220442 140730478220442 140730478223311 0
[pid=3571/tid=3577] ppid=3569 vsize=15144776 memory=140332053890688 CPUtime=0 cores=1,3,5,7
/proc/3571/task/3577/stat : 3577 (java) S 3569 3569 32437 0 -1 1077944384 6 0 0 0 0 0 0 0 20 0 15 0 445436243 15508250624 10161 33554432000 4194304 4196468 140730478213552 140447775172592 140448307518082 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 9879552 140730478220271 140730478220442 140730478220442 140730478223311 0
[pid=3571/tid=3578] ppid=3569 vsize=15144776 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/3571/task/3578/stat : 3578 (java) S 3569 3569 32437 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 445436243 15508250624 10161 33554432000 4194304 4196468 140730478213552 140447774118816 140448307517141 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 9879552 140730478220271 140730478220442 140730478220442 140730478223311 0
[pid=3571/tid=3579] ppid=3569 vsize=15144776 memory=0 CPUtime=0 cores=1,3,5,7
/proc/3571/task/3579/stat : 3579 (java) S 3569 3569 32437 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 445436243 15508250624 10161 33554432000 4194304 4196468 140730478213552 140447773066224 140448307517141 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 9879552 140730478220271 140730478220442 140730478220442 140730478223311 0
[pid=3571/tid=3580] ppid=3569 vsize=15144776 memory=0 CPUtime=0 cores=1,3,5,7
/proc/3571/task/3580/stat : 3580 (java) S 3569 3569 32437 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 445436246 15508250624 10161 33554432000 4194304 4196468 140730478213552 140447772014800 140448307525531 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 9879552 140730478220271 140730478220442 140730478220442 140730478223311 0
[pid=3571/tid=3581] ppid=3569 vsize=15144776 memory=0 CPUtime=0.02 cores=1,3,5,7
/proc/3571/task/3581/stat : 3581 (java) S 3569 3569 32437 0 -1 1077944384 517 0 0 0 2 0 0 0 20 0 15 0 445436246 15508250624 10161 33554432000 4194304 4196468 140730478213552 140447770962416 140448307518082 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 9879552 140730478220271 140730478220442 140730478220442 140730478223311 0
[pid=3571/tid=3582] ppid=3569 vsize=15144776 memory=-1 CPUtime=0.02 cores=1,3,5,7
/proc/3571/task/3582/stat : 3582 (java) S 3569 3569 32437 0 -1 1077944384 254 0 0 0 2 0 0 0 20 0 15 0 445436246 15508250624 10161 33554432000 4194304 4196468 140730478213552 140447769909872 140448307518082 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 9879552 140730478220271 140730478220442 140730478220442 140730478223311 0
[pid=3571/tid=3583] ppid=3569 vsize=15144776 memory=140332053890688 CPUtime=0.08 cores=1,3,5,7
/proc/3571/task/3583/stat : 3583 (java) S 3569 3569 32437 0 -1 1077944384 778 0 0 0 8 0 0 0 20 0 15 0 445436246 15508250624 10161 33554432000 4194304 4196468 140730478213552 140447768857328 140448307518082 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 9879552 140730478220271 140730478220442 140730478220442 140730478223311 0
[pid=3571/tid=3584] ppid=3569 vsize=15144776 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/3571/task/3584/stat : 3584 (java) S 3569 3569 32437 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 445436246 15508250624 10161 33554432000 4194304 4196468 140730478213552 140447767805024 140448307517141 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 9879552 140730478220271 140730478220442 140730478220442 140730478223311 0
[pid=3571/tid=3585] ppid=3569 vsize=15144776 memory=0 CPUtime=0 cores=1,3,5,7
/proc/3571/task/3585/stat : 3585 (java) S 3569 3569 32437 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 445436246 15508250624 10161 33554432000 4194304 4196468 140730478213552 140447766751536 140448307518082 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 9879552 140730478220271 140730478220442 140730478220442 140730478223311 0
Current children cumulated CPU time: 0.34 s
Current children cumulated vsize: 15257904 KiB
Current children cumulated memory: 42092 KiB
[startup+0.319559 s]*
/proc/loadavg: 8.27 7.65 5.08 7/233 3585
/proc/meminfo: memFree=27305948/32770624 swapFree=66939908/67108860
[pid=3569] ppid=3566 vsize=113128 memory=1448 CPUtime=0 cores=1,3,5,7
/proc/3569/stat : 3569 (xcsp3-exec) S 3566 3569 32437 0 -1 4202496 544 0 0 0 0 0 0 0 20 0 1 0 445436240 115843072 362 33554432000 4194304 5098028 140731184058512 140731184056616 140493334803068 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 14655488 140731184067451 140731184067693 140731184067693 140731184070602 0
/proc/3569/statm: 28282 362 304 221 0 87 0
[pid=3571] ppid=3569 vsize=15149032 memory=50408 CPUtime=0.54 cores=1,3,5,7
/proc/3571/stat : 3571 (java) S 3569 3569 32437 0 -1 1077944320 10954 0 0 0 50 4 0 0 20 0 15 0 445436240 15512608768 12602 33554432000 4194304 4196468 140730478213552 140730478196096 140448307506935 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0 6293624 6294260 9879552 140730478220271 140730478220442 140730478220442 140730478223311 0
/proc/3571/statm: 3787258 12602 3366 1 0 3748377 0
[pid=3571/tid=3572] ppid=3569 vsize=15149032 memory=6935054825532540783 CPUtime=0.3 cores=1,3,5,7
/proc/3571/task/3572/stat : 3572 (java) R 3569 3569 32437 0 -1 4202560 7889 0 0 0 27 3 0 0 20 0 15 0 445436240 15512608768 12675 33554432000 4194304 4196468 140730478213552 140448311741872 140448307528861 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 9879552 140730478220271 140730478220442 140730478220442 140730478223311 0
[pid=3571/tid=3573] ppid=3569 vsize=15149032 memory=6656426216303648864 CPUtime=0 cores=1,3,5,7
/proc/3571/task/3573/stat : 3573 (java) S 3569 3569 32437 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 445436241 15512608768 12675 33554432000 4194304 4196468 140730478213552 140448260127504 140448307517141 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 9879552 140730478220271 140730478220442 140730478220442 140730478223311 0
[pid=3571/tid=3574] ppid=3569 vsize=15149032 memory=0 CPUtime=0 cores=1,3,5,7
/proc/3571/task/3574/stat : 3574 (java) S 3569 3569 32437 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 445436241 15512608768 12675 33554432000 4194304 4196468 140730478213552 140448259074960 140448307517141 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 9879552 140730478220271 140730478220442 140730478220442 140730478223311 0
[pid=3571/tid=3575] ppid=3569 vsize=15149032 memory=0 CPUtime=0 cores=1,3,5,7
/proc/3571/task/3575/stat : 3575 (java) S 3569 3569 32437 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 445436241 15512608768 12675 33554432000 4194304 4196468 140730478213552 140448258022416 140448307517141 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 9879552 140730478220271 140730478220442 140730478220442 140730478223311 0
[pid=3571/tid=3576] ppid=3569 vsize=15149032 memory=35809 CPUtime=0 cores=1,3,5,7
/proc/3571/task/3576/stat : 3576 (java) S 3569 3569 32437 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 445436241 15512608768 12675 33554432000 4194304 4196468 140730478213552 140448256969872 140448307517141 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 9879552 140730478220271 140730478220442 140730478220442 140730478223311 0
[pid=3571/tid=3577] ppid=3569 vsize=15149032 memory=0 CPUtime=0 cores=1,3,5,7
/proc/3571/task/3577/stat : 3577 (java) S 3569 3569 32437 0 -1 1077944384 6 0 0 0 0 0 0 0 20 0 15 0 445436243 15512608768 12675 33554432000 4194304 4196468 140730478213552 140447775172592 140448307518082 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 9879552 140730478220271 140730478220442 140730478220442 140730478223311 0
[pid=3571/tid=3578] ppid=3569 vsize=15149032 memory=9122745479247552727 CPUtime=0 cores=1,3,5,7
/proc/3571/task/3578/stat : 3578 (java) S 3569 3569 32437 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 445436243 15512608768 12675 33554432000 4194304 4196468 140730478213552 140447774118816 140448307517141 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 9879552 140730478220271 140730478220442 140730478220442 140730478223311 0
[pid=3571/tid=3579] ppid=3569 vsize=15149032 memory=6944652177228980320 CPUtime=0 cores=1,3,5,7
/proc/3571/task/3579/stat : 3579 (java) S 3569 3569 32437 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 445436243 15512608768 12675 33554432000 4194304 4196468 140730478213552 140447773066224 140448307517141 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 9879552 140730478220271 140730478220442 140730478220442 140730478223311 0
[pid=3571/tid=3580] ppid=3569 vsize=15149032 memory=6655300316396806240 CPUtime=0 cores=1,3,5,7
/proc/3571/task/3580/stat : 3580 (java) S 3569 3569 32437 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 445436246 15512608768 12675 33554432000 4194304 4196468 140730478213552 140447772014800 140448307525531 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 9879552 140730478220271 140730478220442 140730478220442 140730478223311 0
[pid=3571/tid=3581] ppid=3569 vsize=15149032 memory=6944652177228980320 CPUtime=0.04 cores=1,3,5,7
/proc/3571/task/3581/stat : 3581 (java) S 3569 3569 32437 0 -1 1077944384 565 0 0 0 4 0 0 0 20 0 15 0 445436246 15512608768 12675 33554432000 4194304 4196468 140730478213552 140447770962416 140448307518082 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 9879552 140730478220271 140730478220442 140730478220442 140730478223311 0
[pid=3571/tid=3582] ppid=3569 vsize=15149032 memory=-6654736624941491801 CPUtime=0.05 cores=1,3,5,7
/proc/3571/task/3582/stat : 3582 (java) S 3569 3569 32437 0 -1 1077944384 342 0 0 0 5 0 0 0 20 0 15 0 445436246 15512608768 12675 33554432000 4194304 4196468 140730478213552 140447769909872 140448307518082 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 9879552 140730478220271 140730478220442 140730478220442 140730478223311 0
[pid=3571/tid=3583] ppid=3569 vsize=15149032 memory=5792585022635482273 CPUtime=0.12 cores=1,3,5,7
/proc/3571/task/3583/stat : 3583 (java) S 3569 3569 32437 0 -1 1077944384 885 0 0 0 12 0 0 0 20 0 15 0 445436246 15512608768 12675 33554432000 4194304 4196468 140730478213552 140447768857328 140448307518082 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 9879552 140730478220271 140730478220442 140730478220442 140730478223311 0
[pid=3571/tid=3584] ppid=3569 vsize=15149032 memory=6944656592455350634 CPUtime=0 cores=1,3,5,7
/proc/3571/task/3584/stat : 3584 (java) S 3569 3569 32437 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 445436246 15512608768 12675 33554432000 4194304 4196468 140730478213552 140447767805024 140448307517141 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 9879552 140730478220271 140730478220442 140730478220442 140730478223311 0
[pid=3571/tid=3585] ppid=3569 vsize=15149032 memory=-8675733323038954102 CPUtime=0 cores=1,3,5,7
/proc/3571/task/3585/stat : 3585 (java) S 3569 3569 32437 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 445436246 15512608768 12675 33554432000 4194304 4196468 140730478213552 140447766751536 140448307518082 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 9879552 140730478220271 140730478220442 140730478220442 140730478223311 0
Current children cumulated CPU time: 0.54 s
Current children cumulated vsize: 15262160 KiB
Current children cumulated memory: 51856 KiB
[startup+0.701557 s]
/proc/loadavg: 8.27 7.65 5.08 9/233 3585
/proc/meminfo: memFree=27293232/32770624 swapFree=66939908/67108860
[pid=3569] ppid=3566 vsize=113128 memory=1448 CPUtime=0 cores=1,3,5,7
/proc/3569/stat : 3569 (xcsp3-exec) S 3566 3569 32437 0 -1 4202496 544 0 0 0 0 0 0 0 20 0 1 0 445436240 115843072 362 33554432000 4194304 5098028 140731184058512 140731184056616 140493334803068 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 14655488 140731184067451 140731184067693 140731184067693 140731184070602 0
/proc/3569/statm: 28282 362 304 221 0 87 0
[pid=3571] ppid=3569 vsize=15417412 memory=91168 CPUtime=1.66 cores=1,3,5,7
/proc/3571/stat : 3571 (java) S 3569 3569 32437 0 -1 1077944320 14496 0 0 0 160 6 0 0 20 0 19 0 445436240 15787429888 22792 33554432000 4194304 4196468 140730478213552 140730478196096 140448307506935 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0 6293624 6294260 9879552 140730478220271 140730478220442 140730478220442 140730478223311 0
/proc/3571/statm: 3854353 22792 3460 1 0 3815453 0
[pid=3571/tid=3572] ppid=3569 vsize=15417412 memory=56 CPUtime=0.63 cores=1,3,5,7
/proc/3571/task/3572/stat : 3572 (java) S 3569 3569 32437 0 -1 1077944384 9085 0 0 0 59 4 0 0 20 0 19 0 445436240 15787429888 22792 33554432000 4194304 4196468 140730478213552 140448311747712 140448307517141 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 9879552 140730478220271 140730478220442 140730478220442 140730478223311 0
[pid=3571/tid=3573] ppid=3569 vsize=15417412 memory=0 CPUtime=0 cores=1,3,5,7
/proc/3571/task/3573/stat : 3573 (java) S 3569 3569 32437 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 19 0 445436241 15787429888 22792 33554432000 4194304 4196468 140730478213552 140448260127504 140448307517141 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 9879552 140730478220271 140730478220442 140730478220442 140730478223311 0
[pid=3571/tid=3574] ppid=3569 vsize=15417412 memory=148 CPUtime=0 cores=1,3,5,7
/proc/3571/task/3574/stat : 3574 (java) S 3569 3569 32437 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 19 0 445436241 15787429888 22792 33554432000 4194304 4196468 140730478213552 140448259074960 140448307517141 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 9879552 140730478220271 140730478220442 140730478220442 140730478223311 0
[pid=3571/tid=3575] ppid=3569 vsize=15417412 memory=0 CPUtime=0 cores=1,3,5,7
/proc/3571/task/3575/stat : 3575 (java) S 3569 3569 32437 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 19 0 445436241 15787429888 22792 33554432000 4194304 4196468 140730478213552 140448258022416 140448307517141 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 9879552 140730478220271 140730478220442 140730478220442 140730478223311 0
[pid=3571/tid=3576] ppid=3569 vsize=15417412 memory=0 CPUtime=0 cores=1,3,5,7
/proc/3571/task/3576/stat : 3576 (java) S 3569 3569 32437 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 19 0 445436241 15787429888 22792 33554432000 4194304 4196468 140730478213552 140448256969872 140448307517141 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 9879552 140730478220271 140730478220442 140730478220442 140730478223311 0
[pid=3571/tid=3577] ppid=3569 vsize=15417412 memory=0 CPUtime=0 cores=1,3,5,7
/proc/3571/task/3577/stat : 3577 (java) S 3569 3569 32437 0 -1 1077944384 6 0 0 0 0 0 0 0 20 0 19 0 445436243 15787429888 22792 33554432000 4194304 4196468 140730478213552 140447775172592 140448307518082 0 0 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 9879552 140730478220271 140730478220442 140730478220442 140730478223311 0
[pid=3571/tid=3578] ppid=3569 vsize=15417412 memory=0 CPUtime=0 cores=1,3,5,7
/proc/3571/task/3578/stat : 3578 (java) S 3569 3569 32437 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 19 0 445436243 15787429888 22792 33554432000 4194304 4196468 140730478213552 140447774118816 140448307517141 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 9879552 140730478220271 140730478220442 140730478220442 140730478223311 0
[pid=3571/tid=3579] ppid=3569 vsize=15417412 memory=0 CPUtime=0 cores=1,3,5,7
/proc/3571/task/3579/stat : 3579 (java) S 3569 3569 32437 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 19 0 445436243 15787429888 22792 33554432000 4194304 4196468 140730478213552 140447773066224 140448307517141 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 9879552 140730478220271 140730478220442 140730478220442 140730478223311 0
[pid=3571/tid=3580] ppid=3569 vsize=15417412 memory=776 CPUtime=0 cores=1,3,5,7
/proc/3571/task/3580/stat : 3580 (java) S 3569 3569 32437 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 445436246 15787429888 22792 33554432000 4194304 4196468 140730478213552 140447772014800 140448307525531 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 9879552 140730478220271 140730478220442 140730478220442 140730478223311 0
[pid=3571/tid=3581] ppid=3569 vsize=15417412 memory=2832 CPUtime=0.23 cores=1,3,5,7
/proc/3571/task/3581/stat : 3581 (java) R 3569 3569 32437 0 -1 4202560 979 0 0 0 23 0 0 0 20 0 19 0 445436246 15787429888 22792 33554432000 4194304 4196468 140730478213552 140447770962176 140448292624079 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 9879552 140730478220271 140730478220442 140730478220442 140730478223311 0
[pid=3571/tid=3582] ppid=3569 vsize=15417412 memory=668 CPUtime=0.27 cores=1,3,5,7
/proc/3571/task/3582/stat : 3582 (java) R 3569 3569 32437 0 -1 4202560 977 0 0 0 27 0 0 0 20 0 19 0 445436246 15787429888 22792 33554432000 4194304 4196468 140730478213552 140447769890888 140448291003723 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 9879552 140730478220271 140730478220442 140730478220442 140730478223311 0
[pid=3571/tid=3583] ppid=3569 vsize=15417412 memory=1256 CPUtime=0.41 cores=1,3,5,7
/proc/3571/task/3583/stat : 3583 (java) R 3569 3569 32437 0 -1 1077944384 1957 0 0 0 41 0 0 0 20 0 19 0 445436246 15787429888 22792 33554432000 4194304 4196468 140730478213552 140447768853200 140448307517141 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 9879552 140730478220271 140730478220442 140730478220442 140730478223311 0
[pid=3571/tid=3584] ppid=3569 vsize=15417412 memory=1076 CPUtime=0 cores=1,3,5,7
/proc/3571/task/3584/stat : 3584 (java) S 3569 3569 32437 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 445436246 15787429888 22792 33554432000 4194304 4196468 140730478213552 140447767805024 140448307517141 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 9879552 140730478220271 140730478220442 140730478220442 140730478223311 0
[pid=3571/tid=3585] ppid=3569 vsize=15417412 memory=14008 CPUtime=0 cores=1,3,5,7
/proc/3571/task/3585/stat : 3585 (java) S 3569 3569 32437 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 19 0 445436246 15787429888 22792 33554432000 4194304 4196468 140730478213552 140447766751536 140448307518082 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 9879552 140730478220271 140730478220442 140730478220442 140730478223311 0
Current children cumulated CPU time: 1.66 s
Current children cumulated vsize: 15530540 KiB
Current children cumulated memory: 92616 KiB
[startup+1.50956 s]
/proc/loadavg: 8.27 7.65 5.08 11/237 3589
/proc/meminfo: memFree=27252532/32770624 swapFree=66939908/67108860
[pid=3569] ppid=3566 vsize=113128 memory=1448 CPUtime=0 cores=1,3,5,7
/proc/3569/stat : 3569 (xcsp3-exec) S 3566 3569 32437 0 -1 4202496 544 0 0 0 0 0 0 0 20 0 1 0 445436240 115843072 362 33554432000 4194304 5098028 140731184058512 140731184056616 140493334803068 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 14655488 140731184067451 140731184067693 140731184067693 140731184070602 0
/proc/3569/statm: 28282 362 304 221 0 87 0
################
# More data... #
################
/proc/3569/stat : 3569 (xcsp3-exec) S 3566 3569 32437 0 -1 4202496 544 0 0 0 0 0 0 0 20 0 1 0 445436240 115843072 362 33554432000 4194304 5098028 140731184058512 140731184056616 140493334803068 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 14655488 140731184067451 140731184067693 140731184067693 140731184070602 0
/proc/3569/statm: 28282 362 304 221 0 87 0
[pid=3571] ppid=3569 vsize=15418440 memory=167568 CPUtime=5.22 cores=1,3,5,7
/proc/3571/stat : 3571 (java) S 3569 3569 32437 0 -1 1077944320 21056 0 0 0 514 8 0 0 20 0 19 0 445436240 15788482560 41892 33554432000 4194304 4196468 140730478213552 140730478196096 140448307506935 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0 6293624 6294260 9879552 140730478220271 140730478220442 140730478220442 140730478223311 0
/proc/3571/statm: 3854610 41892 3486 1 0 3815710 0
[pid=3571/tid=3572] ppid=3569 vsize=15418440 memory=140332053889505 CPUtime=0.64 cores=1,3,5,7
/proc/3571/task/3572/stat : 3572 (java) S 3569 3569 32437 0 -1 1077944384 9089 0 0 0 60 4 0 0 20 0 19 0 445436240 15788482560 41892 33554432000 4194304 4196468 140730478213552 140448311747712 140448307517141 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 9879552 140730478220271 140730478220442 140730478220442 140730478223311 0
[pid=3571/tid=3573] ppid=3569 vsize=15418440 memory=0 CPUtime=0 cores=1,3,5,7
/proc/3571/task/3573/stat : 3573 (java) S 3569 3569 32437 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 19 0 445436241 15788482560 41892 33554432000 4194304 4196468 140730478213552 140448260127504 140448307517141 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 9879552 140730478220271 140730478220442 140730478220442 140730478223311 0
[pid=3571/tid=3574] ppid=3569 vsize=15418440 memory=0 CPUtime=0 cores=1,3,5,7
/proc/3571/task/3574/stat : 3574 (java) S 3569 3569 32437 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 19 0 445436241 15788482560 41892 33554432000 4194304 4196468 140730478213552 140448259074960 140448307517141 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 9879552 140730478220271 140730478220442 140730478220442 140730478223311 0
[pid=3571/tid=3575] ppid=3569 vsize=15418440 memory=0 CPUtime=0 cores=1,3,5,7
/proc/3571/task/3575/stat : 3575 (java) S 3569 3569 32437 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 19 0 445436241 15788482560 41892 33554432000 4194304 4196468 140730478213552 140448258022416 140448307517141 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 9879552 140730478220271 140730478220442 140730478220442 140730478223311 0
[pid=3571/tid=3576] ppid=3569 vsize=15418440 memory=0 CPUtime=0 cores=1,3,5,7
/proc/3571/task/3576/stat : 3576 (java) S 3569 3569 32437 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 19 0 445436241 15788482560 41892 33554432000 4194304 4196468 140730478213552 140448256969872 140448307517141 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 9879552 140730478220271 140730478220442 140730478220442 140730478223311 0
[pid=3571/tid=3577] ppid=3569 vsize=15418440 memory=0 CPUtime=0 cores=1,3,5,7
/proc/3571/task/3577/stat : 3577 (java) S 3569 3569 32437 0 -1 1077944384 6 0 0 0 0 0 0 0 20 0 19 0 445436243 15788482560 41892 33554432000 4194304 4196468 140730478213552 140447775172592 140448307518082 0 0 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 9879552 140730478220271 140730478220442 140730478220442 140730478223311 0
[pid=3571/tid=3578] ppid=3569 vsize=15418440 memory=0 CPUtime=0 cores=1,3,5,7
/proc/3571/task/3578/stat : 3578 (java) S 3569 3569 32437 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 19 0 445436243 15788482560 41892 33554432000 4194304 4196468 140730478213552 140447774118816 140448307517141 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 9879552 140730478220271 140730478220442 140730478220442 140730478223311 0
[pid=3571/tid=3579] ppid=3569 vsize=15418440 memory=10754 CPUtime=0 cores=1,3,5,7
/proc/3571/task/3579/stat : 3579 (java) S 3569 3569 32437 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 19 0 445436243 15788482560 41892 33554432000 4194304 4196468 140730478213552 140447773066224 140448307517141 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 9879552 140730478220271 140730478220442 140730478220442 140730478223311 0
[pid=3571/tid=3580] ppid=3569 vsize=15418440 memory=19455 CPUtime=0 cores=1,3,5,7
/proc/3571/task/3580/stat : 3580 (java) S 3569 3569 32437 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 445436246 15788482560 41892 33554432000 4194304 4196468 140730478213552 140447772014800 140448307525531 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 9879552 140730478220271 140730478220442 140730478220442 140730478223311 0
[pid=3571/tid=3581] ppid=3569 vsize=15418440 memory=0 CPUtime=0.74 cores=1,3,5,7
/proc/3571/task/3581/stat : 3581 (java) R 3569 3569 32437 0 -1 4202560 3130 0 0 0 74 0 0 0 20 0 19 0 445436246 15788482560 41892 33554432000 4194304 4196468 140730478213552 140447770946656 140448292631700 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 9879552 140730478220271 140730478220442 140730478220442 140730478223311 0
[pid=3571/tid=3582] ppid=3569 vsize=15418440 memory=0 CPUtime=1.01 cores=1,3,5,7
/proc/3571/task/3582/stat : 3582 (java) R 3569 3569 32437 0 -1 4202560 3632 0 0 0 101 0 0 0 20 0 19 0 445436246 15788482560 41892 33554432000 4194304 4196468 140730478213552 140447769896416 140448292626081 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 9879552 140730478220271 140730478220442 140730478220442 140730478223311 0
[pid=3571/tid=3583] ppid=3569 vsize=15418440 memory=0 CPUtime=0.56 cores=1,3,5,7
/proc/3571/task/3583/stat : 3583 (java) S 3569 3569 32437 0 -1 1077944384 2824 0 0 0 56 0 0 0 20 0 19 0 445436246 15788482560 41892 33554432000 4194304 4196468 140730478213552 140447768857328 140448307518082 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 9879552 140730478220271 140730478220442 140730478220442 140730478223311 0
[pid=3571/tid=3584] ppid=3569 vsize=15418440 memory=0 CPUtime=0 cores=1,3,5,7
/proc/3571/task/3584/stat : 3584 (java) S 3569 3569 32437 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 445436246 15788482560 41892 33554432000 4194304 4196468 140730478213552 140447767805024 140448307517141 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 9879552 140730478220271 140730478220442 140730478220442 140730478223311 0
[pid=3571/tid=3585] ppid=3569 vsize=15418440 memory=0 CPUtime=0 cores=1,3,5,7
/proc/3571/task/3585/stat : 3585 (java) S 3569 3569 32437 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 19 0 445436246 15788482560 41892 33554432000 4194304 4196468 140730478213552 140447766751536 140448307518082 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 9879552 140730478220271 140730478220442 140730478220442 140730478223311 0
Current children cumulated CPU time: 5.22 s
Current children cumulated vsize: 15531568 KiB
Current children cumulated memory: 169016 KiB
[startup+2.41156 s]
/proc/loadavg: 8.27 7.65 5.08 11/237 3633
/proc/meminfo: memFree=27164164/32770624 swapFree=66939908/67108860
[pid=3569] ppid=3566 vsize=113128 memory=1448 CPUtime=0 cores=1,3,5,7
/proc/3569/stat : 3569 (xcsp3-exec) S 3566 3569 32437 0 -1 4202496 544 0 0 0 0 0 0 0 20 0 1 0 445436240 115843072 362 33554432000 4194304 5098028 140731184058512 140731184056616 140493334803068 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 14655488 140731184067451 140731184067693 140731184067693 140731184070602 0
/proc/3569/statm: 28282 362 304 221 0 87 0
[pid=3571] ppid=3569 vsize=15418440 memory=199460 CPUtime=8.39 cores=1,3,5,7
/proc/3571/stat : 3571 (java) S 3569 3569 32437 0 -1 1077944320 25581 0 0 0 829 10 0 0 20 0 19 0 445436240 15788482560 49865 33554432000 4194304 4196468 140730478213552 140730478196096 140448307506935 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0 6293624 6294260 9879552 140730478220271 140730478220442 140730478220442 140730478223311 0
/proc/3571/statm: 3854610 49865 3505 1 0 3815710 0
[pid=3571/tid=3572] ppid=3569 vsize=15418440 memory=76192 CPUtime=0.65 cores=1,3,5,7
/proc/3571/task/3572/stat : 3572 (java) S 3569 3569 32437 0 -1 1077944384 9228 0 0 0 61 4 0 0 20 0 19 0 445436240 15788482560 49865 33554432000 4194304 4196468 140730478213552 140448311747712 140448307517141 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 9879552 140730478220271 140730478220442 140730478220442 140730478223311 0
[pid=3571/tid=3573] ppid=3569 vsize=15418440 memory=14132268604066978 CPUtime=0 cores=1,3,5,7
/proc/3571/task/3573/stat : 3573 (java) S 3569 3569 32437 0 -1 1077944384 30 0 0 0 0 0 0 0 20 0 19 0 445436241 15788482560 49865 33554432000 4194304 4196468 140730478213552 140448260127504 140448307517141 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 9879552 140730478220271 140730478220442 140730478220442 140730478223311 0
[pid=3571/tid=3574] ppid=3569 vsize=15418440 memory=0 CPUtime=0 cores=1,3,5,7
/proc/3571/task/3574/stat : 3574 (java) S 3569 3569 32437 0 -1 1077944384 28 0 0 0 0 0 0 0 20 0 19 0 445436241 15788482560 49865 33554432000 4194304 4196468 140730478213552 140448259074960 140448307517141 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 9879552 140730478220271 140730478220442 140730478220442 140730478223311 0
[pid=3571/tid=3575] ppid=3569 vsize=15418440 memory=0 CPUtime=0 cores=1,3,5,7
/proc/3571/task/3575/stat : 3575 (java) S 3569 3569 32437 0 -1 1077944384 170 0 0 0 0 0 0 0 20 0 19 0 445436241 15788482560 49865 33554432000 4194304 4196468 140730478213552 140448258022416 140448307517141 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 9879552 140730478220271 140730478220442 140730478220442 140730478223311 0
[pid=3571/tid=3576] ppid=3569 vsize=15418440 memory=0 CPUtime=0 cores=1,3,5,7
/proc/3571/task/3576/stat : 3576 (java) S 3569 3569 32437 0 -1 1077944384 322 0 0 0 0 0 0 0 20 0 19 0 445436241 15788482560 49865 33554432000 4194304 4196468 140730478213552 140448256969872 140448307517141 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 9879552 140730478220271 140730478220442 140730478220442 140730478223311 0
[pid=3571/tid=3577] ppid=3569 vsize=15418440 memory=0 CPUtime=0 cores=1,3,5,7
/proc/3571/task/3577/stat : 3577 (java) S 3569 3569 32437 0 -1 1077944384 38 0 0 0 0 0 0 0 20 0 19 0 445436243 15788482560 49865 33554432000 4194304 4196468 140730478213552 140447775172592 140448307518082 0 0 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 9879552 140730478220271 140730478220442 140730478220442 140730478223311 0
[pid=3571/tid=3578] ppid=3569 vsize=15418440 memory=0 CPUtime=0 cores=1,3,5,7
/proc/3571/task/3578/stat : 3578 (java) S 3569 3569 32437 0 -1 1077944384 54 0 0 0 0 0 0 0 20 0 19 0 445436243 15788482560 49865 33554432000 4194304 4196468 140730478213552 140447774118816 140448307517141 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 9879552 140730478220271 140730478220442 140730478220442 140730478223311 0
[pid=3571/tid=3579] ppid=3569 vsize=15418440 memory=0 CPUtime=0 cores=1,3,5,7
/proc/3571/task/3579/stat : 3579 (java) S 3569 3569 32437 0 -1 1077944384 43 0 0 0 0 0 0 0 20 0 19 0 445436243 15788482560 49865 33554432000 4194304 4196468 140730478213552 140447773066224 140448307517141 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 9879552 140730478220271 140730478220442 140730478220442 140730478223311 0
[pid=3571/tid=3580] ppid=3569 vsize=15418440 memory=0 CPUtime=0 cores=1,3,5,7
/proc/3571/task/3580/stat : 3580 (java) S 3569 3569 32437 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 445436246 15788482560 49865 33554432000 4194304 4196468 140730478213552 140447772014800 140448307525531 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 9879552 140730478220271 140730478220442 140730478220442 140730478223311 0
[pid=3571/tid=3581] ppid=3569 vsize=15418440 memory=0 CPUtime=1.2 cores=1,3,5,7
/proc/3571/task/3581/stat : 3581 (java) S 3569 3569 32437 0 -1 1077944384 4052 0 0 0 120 0 0 0 20 0 19 0 445436246 15788482560 49865 33554432000 4194304 4196468 140730478213552 140447770962416 140448307518082 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 9879552 140730478220271 140730478220442 140730478220442 140730478223311 0
[pid=3571/tid=3582] ppid=3569 vsize=15418440 memory=0 CPUtime=1.44 cores=1,3,5,7
/proc/3571/task/3582/stat : 3582 (java) S 3569 3569 32437 0 -1 1077944384 4640 0 0 0 144 0 0 0 20 0 19 0 445436246 15788482560 49865 33554432000 4194304 4196468 140730478213552 140447769909872 140448307518082 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 9879552 140730478220271 140730478220442 140730478220442 140730478223311 0
[pid=3571/tid=3583] ppid=3569 vsize=15418440 memory=0 CPUtime=0.64 cores=1,3,5,7
/proc/3571/task/3583/stat : 3583 (java) S 3569 3569 32437 0 -1 1077944384 3766 0 0 0 63 1 0 0 20 0 19 0 445436246 15788482560 49865 33554432000 4194304 4196468 140730478213552 140447768857328 140448307518082 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 9879552 140730478220271 140730478220442 140730478220442 140730478223311 0
[pid=3571/tid=3584] ppid=3569 vsize=15418440 memory=0 CPUtime=0 cores=1,3,5,7
/proc/3571/task/3584/stat : 3584 (java) S 3569 3569 32437 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 445436246 15788482560 49865 33554432000 4194304 4196468 140730478213552 140447767805024 140448307517141 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 9879552 140730478220271 140730478220442 140730478220442 140730478223311 0
[pid=3571/tid=3585] ppid=3569 vsize=15418440 memory=0 CPUtime=0 cores=1,3,5,7
/proc/3571/task/3585/stat : 3585 (java) R 3569 3569 32437 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 445436246 15788482560 49865 33554432000 4194304 4196468 140730478213552 140447766751536 140448307518082 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 9879552 140730478220271 140730478220442 140730478220442 140730478223311 0
Current children cumulated CPU time: 8.39 s
Current children cumulated vsize: 15531568 KiB
Current children cumulated memory: 200908 KiB
[startup+2.60156 s]
/proc/loadavg: 8.27 7.65 5.08 11/237 3633
/proc/meminfo: memFree=27164164/32770624 swapFree=66939908/67108860
[pid=3569] ppid=3566 vsize=113128 memory=1448 CPUtime=0 cores=1,3,5,7
/proc/3569/stat : 3569 (xcsp3-exec) S 3566 3569 32437 0 -1 4202496 544 0 0 0 0 0 0 0 20 0 1 0 445436240 115843072 362 33554432000 4194304 5098028 140731184058512 140731184056616 140493334803068 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 14655488 140731184067451 140731184067693 140731184067693 140731184070602 0
/proc/3569/statm: 28282 362 304 221 0 87 0
[pid=3571] ppid=3569 vsize=15418440 memory=201684 CPUtime=9.14 cores=1,3,5,7
/proc/3571/stat : 3571 (java) S 3569 3569 32437 0 -1 1077944320 25609 0 0 0 904 10 0 0 20 0 19 0 445436240 15788482560 50421 33554432000 4194304 4196468 140730478213552 140730478196096 140448307506935 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0 6293624 6294260 9879552 140730478220271 140730478220442 140730478220442 140730478223311 0
/proc/3571/statm: 3854610 50421 3506 1 0 3815710 0
[pid=3571/tid=3572] ppid=3569 vsize=15418440 memory=6943526294502006880 CPUtime=0.65 cores=1,3,5,7
/proc/3571/task/3572/stat : 3572 (java) S 3569 3569 32437 0 -1 1077944384 9228 0 0 0 61 4 0 0 20 0 19 0 445436240 15788482560 50421 33554432000 4194304 4196468 140730478213552 140448311747712 140448307517141 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 9879552 140730478220271 140730478220442 140730478220442 140730478223311 0
[pid=3571/tid=3573] ppid=3569 vsize=15418440 memory=6944652177228980320 CPUtime=0 cores=1,3,5,7
/proc/3571/task/3573/stat : 3573 (java) S 3569 3569 32437 0 -1 1077944384 30 0 0 0 0 0 0 0 20 0 19 0 445436241 15788482560 50421 33554432000 4194304 4196468 140730478213552 140448260127504 140448307517141 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 9879552 140730478220271 140730478220442 140730478220442 140730478223311 0
[pid=3571/tid=3574] ppid=3569 vsize=15418440 memory=8836 CPUtime=0 cores=1,3,5,7
/proc/3571/task/3574/stat : 3574 (java) S 3569 3569 32437 0 -1 1077944384 28 0 0 0 0 0 0 0 20 0 19 0 445436241 15788482560 50421 33554432000 4194304 4196468 140730478213552 140448259074960 140448307517141 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 9879552 140730478220271 140730478220442 140730478220442 140730478223311 0
[pid=3571/tid=3575] ppid=3569 vsize=15418440 memory=7959387142424771022 CPUtime=0 cores=1,3,5,7
/proc/3571/task/3575/stat : 3575 (java) S 3569 3569 32437 0 -1 1077944384 170 0 0 0 0 0 0 0 20 0 19 0 445436241 15788482560 50421 33554432000 4194304 4196468 140730478213552 140448258022416 140448307517141 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 9879552 140730478220271 140730478220442 140730478220442 140730478223311 0
[pid=3571/tid=3576] ppid=3569 vsize=15418440 memory=3616707367245326553 CPUtime=0 cores=1,3,5,7
/proc/3571/task/3576/stat : 3576 (java) S 3569 3569 32437 0 -1 1077944384 322 0 0 0 0 0 0 0 20 0 19 0 445436241 15788482560 50421 33554432000 4194304 4196468 140730478213552 140448256969872 140448307517141 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 9879552 140730478220271 140730478220442 140730478220442 140730478223311 0
[pid=3571/tid=3577] ppid=3569 vsize=15418440 memory=2209 CPUtime=0 cores=1,3,5,7
/proc/3571/task/3577/stat : 3577 (java) S 3569 3569 32437 0 -1 1077944384 38 0 0 0 0 0 0 0 20 0 19 0 445436243 15788482560 50421 33554432000 4194304 4196468 140730478213552 140447775172592 140448307518082 0 0 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 9879552 140730478220271 140730478220442 140730478220442 140730478223311 0
[pid=3571/tid=3578] ppid=3569 vsize=15418440 memory=2209 CPUtime=0 cores=1,3,5,7
/proc/3571/task/3578/stat : 3578 (java) S 3569 3569 32437 0 -1 1077944384 54 0 0 0 0 0 0 0 20 0 19 0 445436243 15788482560 50421 33554432000 4194304 4196468 140730478213552 140447774118816 140448307517141 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 9879552 140730478220271 140730478220442 140730478220442 140730478223311 0
[pid=3571/tid=3579] ppid=3569 vsize=15418440 memory=2209 CPUtime=0 cores=1,3,5,7
/proc/3571/task/3579/stat : 3579 (java) S 3569 3569 32437 0 -1 1077944384 43 0 0 0 0 0 0 0 20 0 19 0 445436243 15788482560 50421 33554432000 4194304 4196468 140730478213552 140447773066224 140448307517141 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 9879552 140730478220271 140730478220442 140730478220442 140730478223311 0
[pid=3571/tid=3580] ppid=3569 vsize=15418440 memory=2209 CPUtime=0 cores=1,3,5,7
/proc/3571/task/3580/stat : 3580 (java) S 3569 3569 32437 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 445436246 15788482560 50421 33554432000 4194304 4196468 140730478213552 140447772014800 140448307525531 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 9879552 140730478220271 140730478220442 140730478220442 140730478223311 0
[pid=3571/tid=3581] ppid=3569 vsize=15418440 memory=2209 CPUtime=1.26 cores=1,3,5,7
/proc/3571/task/3581/stat : 3581 (java) S 3569 3569 32437 0 -1 1077944384 4064 0 0 0 126 0 0 0 20 0 19 0 445436246 15788482560 50421 33554432000 4194304 4196468 140730478213552 140447770962416 140448307518082 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 9879552 140730478220271 140730478220442 140730478220442 140730478223311 0
[pid=3571/tid=3582] ppid=3569 vsize=15418440 memory=2209 CPUtime=1.48 cores=1,3,5,7
/proc/3571/task/3582/stat : 3582 (java) S 3569 3569 32437 0 -1 1077944384 4645 0 0 0 148 0 0 0 20 0 19 0 445436246 15788482560 50421 33554432000 4194304 4196468 140730478213552 140447769909872 140448307518082 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 9879552 140730478220271 140730478220442 140730478220442 140730478223311 0
[pid=3571/tid=3583] ppid=3569 vsize=15418440 memory=2209 CPUtime=0.64 cores=1,3,5,7
/proc/3571/task/3583/stat : 3583 (java) S 3569 3569 32437 0 -1 1077944384 3767 0 0 0 63 1 0 0 20 0 19 0 445436246 15788482560 50421 33554432000 4194304 4196468 140730478213552 140447768857328 140448307518082 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 9879552 140730478220271 140730478220442 140730478220442 140730478223311 0
[pid=3571/tid=3584] ppid=3569 vsize=15418440 memory=2209 CPUtime=0 cores=1,3,5,7
/proc/3571/task/3584/stat : 3584 (java) S 3569 3569 32437 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 445436246 15788482560 50421 33554432000 4194304 4196468 140730478213552 140447767805024 140448307517141 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 9879552 140730478220271 140730478220442 140730478220442 140730478223311 0
[pid=3571/tid=3585] ppid=3569 vsize=15418440 memory=545 CPUtime=0 cores=1,3,5,7
/proc/3571/task/3585/stat : 3585 (java) S 3569 3569 32437 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 445436246 15788482560 50421 33554432000 4194304 4196468 140730478213552 140447766751536 140448307518082 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 9879552 140730478220271 140730478220442 140730478220442 140730478223311 0
Current children cumulated CPU time: 9.14 s
Current children cumulated vsize: 15531568 KiB
Current children cumulated memory: 203132 KiB
[startup+2.70156 s]
/proc/loadavg: 8.27 7.65 5.08 11/237 3633
/proc/meminfo: memFree=27164164/32770624 swapFree=66939908/67108860
[pid=3569] ppid=3566 vsize=113128 memory=1448 CPUtime=0 cores=1,3,5,7
/proc/3569/stat : 3569 (xcsp3-exec) S 3566 3569 32437 0 -1 4202496 544 0 0 0 0 0 0 0 20 0 1 0 445436240 115843072 362 33554432000 4194304 5098028 140731184058512 140731184056616 140493334803068 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 14655488 140731184067451 140731184067693 140731184067693 140731184070602 0
/proc/3569/statm: 28282 362 304 221 0 87 0
[pid=3571] ppid=3569 vsize=15418440 memory=203732 CPUtime=9.54 cores=1,3,5,7
/proc/3571/stat : 3571 (java) S 3569 3569 32437 0 -1 1077944320 25621 0 0 0 944 10 0 0 20 0 19 0 445436240 15788482560 50933 33554432000 4194304 4196468 140730478213552 140730478196096 140448307506935 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0 6293624 6294260 9879552 140730478220271 140730478220442 140730478220442 140730478223311 0
/proc/3571/statm: 3854610 50933 3506 1 0 3815710 0
[pid=3571/tid=3572] ppid=3569 vsize=15418440 memory=15328738286578 CPUtime=0.65 cores=1,3,5,7
/proc/3571/task/3572/stat : 3572 (java) S 3569 3569 32437 0 -1 1077944384 9228 0 0 0 61 4 0 0 20 0 19 0 445436240 15788482560 50933 33554432000 4194304 4196468 140730478213552 140448311747712 140448307517141 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 9879552 140730478220271 140730478220442 140730478220442 140730478223311 0
[pid=3571/tid=3573] ppid=3569 vsize=15418440 memory=140332053898241 CPUtime=0 cores=1,3,5,7
/proc/3571/task/3573/stat : 3573 (java) S 3569 3569 32437 0 -1 1077944384 30 0 0 0 0 0 0 0 20 0 19 0 445436241 15788482560 50933 33554432000 4194304 4196468 140730478213552 140448260127504 140448307517141 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 9879552 140730478220271 140730478220442 140730478220442 140730478223311 0
[pid=3571/tid=3574] ppid=3569 vsize=15418440 memory=0 CPUtime=0 cores=1,3,5,7
/proc/3571/task/3574/stat : 3574 (java) S 3569 3569 32437 0 -1 1077944384 28 0 0 0 0 0 0 0 20 0 19 0 445436241 15788482560 50933 33554432000 4194304 4196468 140730478213552 140448259074960 140448307517141 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 9879552 140730478220271 140730478220442 140730478220442 140730478223311 0
[pid=3571/tid=3575] ppid=3569 vsize=15418440 memory=0 CPUtime=0 cores=1,3,5,7
/proc/3571/task/3575/stat : 3575 (java) S 3569 3569 32437 0 -1 1077944384 170 0 0 0 0 0 0 0 20 0 19 0 445436241 15788482560 50933 33554432000 4194304 4196468 140730478213552 140448258022416 140448307517141 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 9879552 140730478220271 140730478220442 140730478220442 140730478223311 0
[pid=3571/tid=3576] ppid=3569 vsize=15418440 memory=0 CPUtime=0 cores=1,3,5,7
/proc/3571/task/3576/stat : 3576 (java) S 3569 3569 32437 0 -1 1077944384 322 0 0 0 0 0 0 0 20 0 19 0 445436241 15788482560 50933 33554432000 4194304 4196468 140730478213552 140448256969872 140448307517141 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 9879552 140730478220271 140730478220442 140730478220442 140730478223311 0
[pid=3571/tid=3577] ppid=3569 vsize=15418440 memory=56 CPUtime=0 cores=1,3,5,7
/proc/3571/task/3577/stat : 3577 (java) S 3569 3569 32437 0 -1 1077944384 38 0 0 0 0 0 0 0 20 0 19 0 445436243 15788482560 50933 33554432000 4194304 4196468 140730478213552 140447775172592 140448307518082 0 0 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 9879552 140730478220271 140730478220442 140730478220442 140730478223311 0
[pid=3571/tid=3578] ppid=3569 vsize=15418440 memory=-6876588628787748224 CPUtime=0 cores=1,3,5,7
/proc/3571/task/3578/stat : 3578 (java) S 3569 3569 32437 0 -1 1077944384 54 0 0 0 0 0 0 0 20 0 19 0 445436243 15788482560 50933 33554432000 4194304 4196468 140730478213552 140447774118816 140448307517141 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 9879552 140730478220271 140730478220442 140730478220442 140730478223311 0
[pid=3571/tid=3579] ppid=3569 vsize=15418440 memory=8292088564187963537 CPUtime=0 cores=1,3,5,7
/proc/3571/task/3579/stat : 3579 (java) S 3569 3569 32437 0 -1 1077944384 43 0 0 0 0 0 0 0 20 0 19 0 445436243 15788482560 50933 33554432000 4194304 4196468 140730478213552 140447773066224 140448307517141 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 9879552 140730478220271 140730478220442 140730478220442 140730478223311 0
[pid=3571/tid=3580] ppid=3569 vsize=15418440 memory=7682475212697334586 CPUtime=0 cores=1,3,5,7
/proc/3571/task/3580/stat : 3580 (java) S 3569 3569 32437 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 445436246 15788482560 50933 33554432000 4194304 4196468 140730478213552 140447772014800 140448307525531 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 9879552 140730478220271 140730478220442 140730478220442 140730478223311 0
[pid=3571/tid=3581] ppid=3569 vsize=15418440 memory=1399103955520229747 CPUtime=1.27 cores=1,3,5,7
/proc/3571/task/3581/stat : 3581 (java) S 3569 3569 32437 0 -1 1077944384 4065 0 0 0 127 0 0 0 20 0 19 0 445436246 15788482560 50933 33554432000 4194304 4196468 140730478213552 140447770962416 140448307518082 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 9879552 140730478220271 140730478220442 140730478220442 140730478223311 0
[pid=3571/tid=3582] ppid=3569 vsize=15418440 memory=1399103955520229747 CPUtime=1.5 cores=1,3,5,7
/proc/3571/task/3582/stat : 3582 (java) S 3569 3569 32437 0 -1 1077944384 4652 0 0 0 150 0 0 0 20 0 19 0 445436246 15788482560 50933 33554432000 4194304 4196468 140730478213552 140447769909872 140448307518082 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 9879552 140730478220271 140730478220442 140730478220442 140730478223311 0
[pid=3571/tid=3583] ppid=3569 vsize=15418440 memory=4137300178079553923 CPUtime=0.64 cores=1,3,5,7
/proc/3571/task/3583/stat : 3583 (java) R 3569 3569 32437 0 -1 1077944384 3768 0 0 0 63 1 0 0 20 0 19 0 445436246 15788482560 50933 33554432000 4194304 4196468 140730478213552 140447768857328 140448307518082 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 9879552 140730478220271 140730478220442 140730478220442 140730478223311 0
[pid=3571/tid=3584] ppid=3569 vsize=15418440 memory=-7385037615208631145 CPUtime=0 cores=1,3,5,7
/proc/3571/task/3584/stat : 3584 (java) S 3569 3569 32437 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 445436246 15788482560 50933 33554432000 4194304 4196468 140730478213552 140447767805024 140448307517141 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 9879552 140730478220271 140730478220442 140730478220442 140730478223311 0
[pid=3571/tid=3585] ppid=3569 vsize=15418440 memory=1400237504561912195 CPUtime=0 cores=1,3,5,7
/proc/3571/task/3585/stat : 3585 (java) S 3569 3569 32437 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 445436246 15788482560 50933 33554432000 4194304 4196468 140730478213552 140447766751536 140448307518082 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 9879552 140730478220271 140730478220442 140730478220442 140730478223311 0
Current children cumulated CPU time: 9.54 s
Current children cumulated vsize: 15531568 KiB
Current children cumulated memory: 205180 KiB
Child status: 0
Real time (s): 2.75121
CPU time (s): 9.72274
CPU user time (s): 9.60928
CPU system time (s): 0.11346
CPU usage (%): 353.399
Max. virtual memory (cumulated for all children) (KiB): 15531568
Max. memory (cumulated for all children) (KiB): 205180
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 9.60928
system time used= 0.11346
maximum resident set size= 206348
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 26394
page faults= 0
swaps= 0
block input operations= 0
block output operations= 72
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 2579
involuntary context switches= 419
# summary of solver processes directly reported to runsolver:
# pid: 3569
# total CPU time (s): 9.72274
# total CPU user time (s): 9.60928
# total CPU system time (s): 0.11346
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 0.03872 second user time and 0.073177 second system time
The end