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: 16375 MiB (15412 MiB free)
  memory of node 1: 16384 MiB (9133 MiB free)
  node distances:
     10  21
     21  10

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4406508-1569401758/watcher-4406508-1569401758 -o /tmp/evaluation-result-4406508-1569401758/solver-4406508-1569401758 -C 2400 -W 2500 -M 15500 --bin-var /tmp/runsolver-exch-node116-1569396628-22039 --watchdog 2560 xcsp3-exec -dir HOME -tl 2400 -p 1 -ml 12000 -tdir HOME -seed 954226294 HOME/instance-4406508-1569401758.xml 

running on 4 cores: 0-3

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=23584, runsolver pid=23581

[startup+0.1001 s]*
/proc/loadavg: 1.15 1.38 1.63 3/229 23600
/proc/meminfo: memFree=25119384/32770688 swapFree=67001280/67108860
[pid=23584] ppid=23581 vsize=113128 memory=1452 CPUtime=0 cores=0-3
/proc/23584/stat : 23584 (xcsp3-exec) S 23581 23584 22008 0 -1 4202496 544 0 0 0 0 0 0 0 20 0 1 0 516117408 115843072 363 33554432000 4194304 5098028 140736157613088 140736157611192 140161811309180 0 65536 4100 65538 18446744071579417331 0 0 17 0 0 0 0 0 0 7196144 7232144 24563712 140736157619067 140736157619309 140736157619309 140736157622218 0
/proc/23584/statm: 28282 363 304 221 0 87 0
[pid=23586] ppid=23584 vsize=15144776 memory=28668 CPUtime=0.12 cores=0-3
/proc/23586/stat : 23586 (java) S 23584 23584 22008 0 -1 1077944320 5626 0 0 0 11 1 0 0 20 0 15 0 516117408 15508250624 7167 33554432000 4194304 4196468 140731041035888 140731041018432 139725674405623 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 10792960 140731041043439 140731041043610 140731041043610 140731041046479 0
/proc/23586/statm: 3786194 7167 3120 1 0 3748377 0
[pid=23586/tid=23587] ppid=23584 vsize=15144776 memory=8036256212623698507 CPUtime=0.09 cores=0-3
/proc/23586/task/23587/stat : 23587 (java) R 23584 23584 22008 0 -1 4202560 3546 0 0 0 8 1 0 0 20 0 15 0 516117409 15508250624 7167 33554432000 4194304 4196468 140731041035888 139725678628096 139725658486110 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 10792960 140731041043439 140731041043610 140731041043610 140731041046479 0
[pid=23586/tid=23588] ppid=23584 vsize=15144776 memory=-3689451258167578675 CPUtime=0 cores=0-3
/proc/23586/task/23588/stat : 23588 (java) S 23584 23584 22008 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 516117409 15508250624 7167 33554432000 4194304 4196468 140731041035888 139725627026320 139725674415829 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 10792960 140731041043439 140731041043610 140731041043610 140731041046479 0
[pid=23586/tid=23589] ppid=23584 vsize=15144776 memory=140676399404672 CPUtime=0 cores=0-3
/proc/23586/task/23589/stat : 23589 (java) S 23584 23584 22008 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 516117409 15508250624 7167 33554432000 4194304 4196468 140731041035888 139725625973520 139725674415829 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 10792960 140731041043439 140731041043610 140731041043610 140731041046479 0
[pid=23586/tid=23590] ppid=23584 vsize=15144776 memory=0 CPUtime=0 cores=0-3
/proc/23586/task/23590/stat : 23590 (java) S 23584 23584 22008 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 516117409 15508250624 7167 33554432000 4194304 4196468 140731041035888 139725624921232 139725674415829 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 10792960 140731041043439 140731041043610 140731041043610 140731041046479 0
[pid=23586/tid=23591] ppid=23584 vsize=15144776 memory=-1 CPUtime=0 cores=0-3
/proc/23586/task/23591/stat : 23591 (java) S 23584 23584 22008 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 516117409 15508250624 7167 33554432000 4194304 4196468 140731041035888 139725623868432 139725674415829 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 10792960 140731041043439 140731041043610 140731041043610 140731041046479 0
[pid=23586/tid=23592] ppid=23584 vsize=15144776 memory=140676399404672 CPUtime=0 cores=0-3
/proc/23586/task/23592/stat : 23592 (java) S 23584 23584 22008 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 516117411 15508250624 7167 33554432000 4194304 4196468 140731041035888 139725142714480 139725674416770 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 10792960 140731041043439 140731041043610 140731041043610 140731041046479 0
[pid=23586/tid=23593] ppid=23584 vsize=15144776 memory=-1 CPUtime=0 cores=0-3
/proc/23586/task/23593/stat : 23593 (java) S 23584 23584 22008 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 516117411 15508250624 7167 33554432000 4194304 4196468 140731041035888 139725141660448 139725674415829 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 10792960 140731041043439 140731041043610 140731041043610 140731041046479 0
[pid=23586/tid=23594] ppid=23584 vsize=15144776 memory=0 CPUtime=0 cores=0-3
/proc/23586/task/23594/stat : 23594 (java) S 23584 23584 22008 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 516117412 15508250624 7167 33554432000 4194304 4196468 140731041035888 139725140608112 139725674415829 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 10792960 140731041043439 140731041043610 140731041043610 140731041046479 0
[pid=23586/tid=23595] ppid=23584 vsize=15144776 memory=0 CPUtime=0 cores=0-3
/proc/23586/task/23595/stat : 23595 (java) S 23584 23584 22008 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 516117414 15508250624 7167 33554432000 4194304 4196468 140731041035888 139725139556432 139725674424219 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 10792960 140731041043439 140731041043610 140731041043610 140731041046479 0
[pid=23586/tid=23596] ppid=23584 vsize=15144776 memory=0 CPUtime=0 cores=0-3
/proc/23586/task/23596/stat : 23596 (java) S 23584 23584 22008 0 -1 1077944384 296 0 0 0 0 0 0 0 20 0 15 0 516117414 15508250624 7167 33554432000 4194304 4196468 140731041035888 139725138504304 139725674416770 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 10792960 140731041043439 140731041043610 140731041043610 140731041046479 0
[pid=23586/tid=23597] ppid=23584 vsize=15144776 memory=-1 CPUtime=0 cores=0-3
/proc/23586/task/23597/stat : 23597 (java) S 23584 23584 22008 0 -1 1077944384 123 0 0 0 0 0 0 0 20 0 15 0 516117414 15508250624 7167 33554432000 4194304 4196468 140731041035888 139725137451504 139725674416770 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 10792960 140731041043439 140731041043610 140731041043610 140731041046479 0
[pid=23586/tid=23598] ppid=23584 vsize=15144776 memory=140676399404672 CPUtime=0.01 cores=0-3
/proc/23586/task/23598/stat : 23598 (java) R 23584 23584 22008 0 -1 4202560 360 0 0 0 1 0 0 0 20 0 15 0 516117414 15508250624 7167 33554432000 4194304 4196468 140731041035888 139725136399216 139725667505323 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 10792960 140731041043439 140731041043610 140731041043610 140731041046479 0
[pid=23586/tid=23599] ppid=23584 vsize=15144776 memory=-1 CPUtime=0 cores=0-3
/proc/23586/task/23599/stat : 23599 (java) S 23584 23584 22008 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 516117415 15508250624 7167 33554432000 4194304 4196468 140731041035888 139725135346656 139725674415829 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 10792960 140731041043439 140731041043610 140731041043610 140731041046479 0
[pid=23586/tid=23600] ppid=23584 vsize=15144776 memory=140676399404672 CPUtime=0 cores=0-3
/proc/23586/task/23600/stat : 23600 (java) S 23584 23584 22008 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 516117415 15508250624 7167 33554432000 4194304 4196468 140731041035888 139725134293424 139725674416770 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 10792960 140731041043439 140731041043610 140731041043610 140731041046479 0
Current children cumulated CPU time: 0.12 s
Current children cumulated vsize: 15257904 KiB
Current children cumulated memory: 30120 KiB

[startup+0.211641 s]*
/proc/loadavg: 1.15 1.38 1.63 4/229 23600
/proc/meminfo: memFree=25104896/32770688 swapFree=67001280/67108860
[pid=23584] ppid=23581 vsize=113128 memory=1452 CPUtime=0 cores=0-3
/proc/23584/stat : 23584 (xcsp3-exec) S 23581 23584 22008 0 -1 4202496 544 0 0 0 0 0 0 0 20 0 1 0 516117408 115843072 363 33554432000 4194304 5098028 140736157613088 140736157611192 140161811309180 0 65536 4100 65538 18446744071579417331 0 0 17 0 0 0 0 0 0 7196144 7232144 24563712 140736157619067 140736157619309 140736157619309 140736157622218 0
/proc/23584/statm: 28282 363 304 221 0 87 0
[pid=23586] ppid=23584 vsize=15144776 memory=40880 CPUtime=0.34 cores=0-3
/proc/23586/stat : 23586 (java) S 23584 23584 22008 0 -1 1077944320 9425 0 0 0 31 3 0 0 20 0 15 0 516117408 15508250624 10220 33554432000 4194304 4196468 140731041035888 140731041018432 139725674405623 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 10792960 140731041043439 140731041043610 140731041043610 140731041046479 0
/proc/23586/statm: 3786194 10220 3310 1 0 3748377 0
[pid=23586/tid=23587] ppid=23584 vsize=15144776 memory=7883960649037381690 CPUtime=0.2 cores=0-3
/proc/23586/task/23587/stat : 23587 (java) R 23584 23584 22008 0 -1 4202560 6557 0 0 0 18 2 0 0 20 0 15 0 516117409 15508250624 10220 33554432000 4194304 4196468 140731041035888 139725678639376 139725674417558 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 10792960 140731041043439 140731041043610 140731041043610 140731041046479 0
[pid=23586/tid=23588] ppid=23584 vsize=15144776 memory=9642 CPUtime=0 cores=0-3
/proc/23586/task/23588/stat : 23588 (java) S 23584 23584 22008 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 516117409 15508250624 10220 33554432000 4194304 4196468 140731041035888 139725627026320 139725674415829 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 10792960 140731041043439 140731041043610 140731041043610 140731041046479 0
[pid=23586/tid=23589] ppid=23584 vsize=15144776 memory=3827283 CPUtime=0 cores=0-3
/proc/23586/task/23589/stat : 23589 (java) S 23584 23584 22008 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 516117409 15508250624 10220 33554432000 4194304 4196468 140731041035888 139725625973520 139725674415829 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 10792960 140731041043439 140731041043610 140731041043610 140731041046479 0
[pid=23586/tid=23590] ppid=23584 vsize=15144776 memory=0 CPUtime=0 cores=0-3
/proc/23586/task/23590/stat : 23590 (java) S 23584 23584 22008 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 516117409 15508250624 10220 33554432000 4194304 4196468 140731041035888 139725624921232 139725674415829 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 10792960 140731041043439 140731041043610 140731041043610 140731041046479 0
[pid=23586/tid=23591] ppid=23584 vsize=15144776 memory=-1 CPUtime=0 cores=0-3
/proc/23586/task/23591/stat : 23591 (java) S 23584 23584 22008 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 516117409 15508250624 10220 33554432000 4194304 4196468 140731041035888 139725623868432 139725674415829 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 10792960 140731041043439 140731041043610 140731041043610 140731041046479 0
[pid=23586/tid=23592] ppid=23584 vsize=15144776 memory=0 CPUtime=0 cores=0-3
/proc/23586/task/23592/stat : 23592 (java) S 23584 23584 22008 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 516117411 15508250624 10220 33554432000 4194304 4196468 140731041035888 139725142714480 139725674416770 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 10792960 140731041043439 140731041043610 140731041043610 140731041046479 0
[pid=23586/tid=23593] ppid=23584 vsize=15144776 memory=-1 CPUtime=0 cores=0-3
/proc/23586/task/23593/stat : 23593 (java) S 23584 23584 22008 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 516117411 15508250624 10220 33554432000 4194304 4196468 140731041035888 139725141660448 139725674415829 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 10792960 140731041043439 140731041043610 140731041043610 140731041046479 0
[pid=23586/tid=23594] ppid=23584 vsize=15144776 memory=140676399404672 CPUtime=0 cores=0-3
/proc/23586/task/23594/stat : 23594 (java) S 23584 23584 22008 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 516117412 15508250624 10220 33554432000 4194304 4196468 140731041035888 139725140608112 139725674415829 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 10792960 140731041043439 140731041043610 140731041043610 140731041046479 0
[pid=23586/tid=23595] ppid=23584 vsize=15144776 memory=-1 CPUtime=0 cores=0-3
/proc/23586/task/23595/stat : 23595 (java) S 23584 23584 22008 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 516117414 15508250624 10220 33554432000 4194304 4196468 140731041035888 139725139556432 139725674424219 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 10792960 140731041043439 140731041043610 140731041043610 140731041046479 0
[pid=23586/tid=23596] ppid=23584 vsize=15144776 memory=0 CPUtime=0.03 cores=0-3
/proc/23586/task/23596/stat : 23596 (java) S 23584 23584 22008 0 -1 1077944384 622 0 0 0 3 0 0 0 20 0 15 0 516117414 15508250624 10220 33554432000 4194304 4196468 140731041035888 139725138504304 139725674416770 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 10792960 140731041043439 140731041043610 140731041043610 140731041046479 0
[pid=23586/tid=23597] ppid=23584 vsize=15144776 memory=-1 CPUtime=0.01 cores=0-3
/proc/23586/task/23597/stat : 23597 (java) R 23584 23584 22008 0 -1 4202560 213 0 0 0 1 0 0 0 20 0 15 0 516117414 15508250624 10220 33554432000 4194304 4196468 140731041035888 139725137451504 139725674416770 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 10792960 140731041043439 140731041043610 140731041043610 140731041046479 0
[pid=23586/tid=23598] ppid=23584 vsize=15144776 memory=0 CPUtime=0.07 cores=0-3
/proc/23586/task/23598/stat : 23598 (java) R 23584 23584 22008 0 -1 4202560 732 0 0 0 7 0 0 0 20 0 15 0 516117414 15508250624 10220 33554432000 4194304 4196468 140731041035888 139725136399216 139725654648384 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 10792960 140731041043439 140731041043610 140731041043610 140731041046479 0
[pid=23586/tid=23599] ppid=23584 vsize=15144776 memory=0 CPUtime=0 cores=0-3
/proc/23586/task/23599/stat : 23599 (java) S 23584 23584 22008 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 516117415 15508250624 10220 33554432000 4194304 4196468 140731041035888 139725135346656 139725674415829 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 10792960 140731041043439 140731041043610 140731041043610 140731041046479 0
[pid=23586/tid=23600] ppid=23584 vsize=15144776 memory=0 CPUtime=0 cores=0-3
/proc/23586/task/23600/stat : 23600 (java) S 23584 23584 22008 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 516117415 15508250624 10220 33554432000 4194304 4196468 140731041035888 139725134293424 139725674416770 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 10792960 140731041043439 140731041043610 140731041043610 140731041046479 0
Current children cumulated CPU time: 0.34 s
Current children cumulated vsize: 15257904 KiB
Current children cumulated memory: 42332 KiB

[startup+0.311662 s]*
/proc/loadavg: 1.15 1.38 1.63 3/229 23600
/proc/meminfo: memFree=25100044/32770688 swapFree=67001280/67108860
[pid=23584] ppid=23581 vsize=113128 memory=1452 CPUtime=0 cores=0-3
/proc/23584/stat : 23584 (xcsp3-exec) S 23581 23584 22008 0 -1 4202496 544 0 0 0 0 0 0 0 20 0 1 0 516117408 115843072 363 33554432000 4194304 5098028 140736157613088 140736157611192 140161811309180 0 65536 4100 65538 18446744071579417331 0 0 17 0 0 0 0 0 0 7196144 7232144 24563712 140736157619067 140736157619309 140736157619309 140736157622218 0
/proc/23584/statm: 28282 363 304 221 0 87 0
[pid=23586] ppid=23584 vsize=15149032 memory=46936 CPUtime=0.52 cores=0-3
/proc/23586/stat : 23586 (java) S 23584 23584 22008 0 -1 1077944320 10563 0 0 0 48 4 0 0 20 0 15 0 516117408 15512608768 11734 33554432000 4194304 4196468 140731041035888 140731041018432 139725674405623 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 10792960 140731041043439 140731041043610 140731041043610 140731041046479 0
/proc/23586/statm: 3787258 11734 3330 1 0 3748377 0
[pid=23586/tid=23587] ppid=23584 vsize=15149032 memory=7883960649037381690 CPUtime=0.3 cores=0-3
/proc/23586/task/23587/stat : 23587 (java) R 23584 23584 22008 0 -1 4202560 7555 0 0 0 27 3 0 0 20 0 15 0 516117409 15512608768 11734 33554432000 4194304 4196468 140731041035888 139725678627136 139725658486110 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 10792960 140731041043439 140731041043610 140731041043610 140731041046479 0
[pid=23586/tid=23588] ppid=23584 vsize=15149032 memory=0 CPUtime=0 cores=0-3
/proc/23586/task/23588/stat : 23588 (java) S 23584 23584 22008 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 516117409 15512608768 11734 33554432000 4194304 4196468 140731041035888 139725627026320 139725674415829 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 10792960 140731041043439 140731041043610 140731041043610 140731041046479 0
[pid=23586/tid=23589] ppid=23584 vsize=15149032 memory=3834949 CPUtime=0 cores=0-3
/proc/23586/task/23589/stat : 23589 (java) S 23584 23584 22008 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 516117409 15512608768 11734 33554432000 4194304 4196468 140731041035888 139725625973520 139725674415829 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 10792960 140731041043439 140731041043610 140731041043610 140731041046479 0
[pid=23586/tid=23590] ppid=23584 vsize=15149032 memory=0 CPUtime=0 cores=0-3
/proc/23586/task/23590/stat : 23590 (java) S 23584 23584 22008 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 516117409 15512608768 11734 33554432000 4194304 4196468 140731041035888 139725624921232 139725674415829 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 10792960 140731041043439 140731041043610 140731041043610 140731041046479 0
[pid=23586/tid=23591] ppid=23584 vsize=15149032 memory=-1 CPUtime=0 cores=0-3
/proc/23586/task/23591/stat : 23591 (java) S 23584 23584 22008 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 516117409 15512608768 11734 33554432000 4194304 4196468 140731041035888 139725623868432 139725674415829 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 10792960 140731041043439 140731041043610 140731041043610 140731041046479 0
[pid=23586/tid=23592] ppid=23584 vsize=15149032 memory=140676399404672 CPUtime=0 cores=0-3
/proc/23586/task/23592/stat : 23592 (java) S 23584 23584 22008 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 516117411 15512608768 11734 33554432000 4194304 4196468 140731041035888 139725142714480 139725674416770 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 10792960 140731041043439 140731041043610 140731041043610 140731041046479 0
[pid=23586/tid=23593] ppid=23584 vsize=15149032 memory=-1 CPUtime=0 cores=0-3
/proc/23586/task/23593/stat : 23593 (java) S 23584 23584 22008 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 516117411 15512608768 11734 33554432000 4194304 4196468 140731041035888 139725141660448 139725674415829 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 10792960 140731041043439 140731041043610 140731041043610 140731041046479 0
[pid=23586/tid=23594] ppid=23584 vsize=15149032 memory=0 CPUtime=0 cores=0-3
/proc/23586/task/23594/stat : 23594 (java) S 23584 23584 22008 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 516117412 15512608768 11734 33554432000 4194304 4196468 140731041035888 139725140608112 139725674415829 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 10792960 140731041043439 140731041043610 140731041043610 140731041046479 0
[pid=23586/tid=23595] ppid=23584 vsize=15149032 memory=0 CPUtime=0 cores=0-3
/proc/23586/task/23595/stat : 23595 (java) S 23584 23584 22008 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 516117414 15512608768 11734 33554432000 4194304 4196468 140731041035888 139725139556432 139725674424219 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 10792960 140731041043439 140731041043610 140731041043610 140731041046479 0
[pid=23586/tid=23596] ppid=23584 vsize=15149032 memory=0 CPUtime=0.05 cores=0-3
/proc/23586/task/23596/stat : 23596 (java) S 23584 23584 22008 0 -1 1077944384 659 0 0 0 5 0 0 0 20 0 15 0 516117414 15512608768 11734 33554432000 4194304 4196468 140731041035888 139725138504304 139725674416770 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 10792960 140731041043439 140731041043610 140731041043610 140731041046479 0
[pid=23586/tid=23597] ppid=23584 vsize=15149032 memory=-1 CPUtime=0.03 cores=0-3
/proc/23586/task/23597/stat : 23597 (java) S 23584 23584 22008 0 -1 1077944384 229 0 0 0 3 0 0 0 20 0 15 0 516117414 15512608768 11734 33554432000 4194304 4196468 140731041035888 139725137451504 139725674416770 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 10792960 140731041043439 140731041043610 140731041043610 140731041046479 0
[pid=23586/tid=23598] ppid=23584 vsize=15149032 memory=140676399404672 CPUtime=0.12 cores=0-3
/proc/23586/task/23598/stat : 23598 (java) S 23584 23584 22008 0 -1 1077944384 817 0 0 0 12 0 0 0 20 0 15 0 516117414 15512608768 11734 33554432000 4194304 4196468 140731041035888 139725136399216 139725674416770 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 10792960 140731041043439 140731041043610 140731041043610 140731041046479 0
[pid=23586/tid=23599] ppid=23584 vsize=15149032 memory=-1 CPUtime=0 cores=0-3
/proc/23586/task/23599/stat : 23599 (java) S 23584 23584 22008 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 516117415 15512608768 11734 33554432000 4194304 4196468 140731041035888 139725135346656 139725674415829 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 10792960 140731041043439 140731041043610 140731041043610 140731041046479 0
[pid=23586/tid=23600] ppid=23584 vsize=15149032 memory=140676399404672 CPUtime=0 cores=0-3
/proc/23586/task/23600/stat : 23600 (java) S 23584 23584 22008 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 516117415 15512608768 11734 33554432000 4194304 4196468 140731041035888 139725134293424 139725674416770 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 10792960 140731041043439 140731041043610 140731041043610 140731041046479 0
Current children cumulated CPU time: 0.52 s
Current children cumulated vsize: 15262160 KiB
Current children cumulated memory: 48388 KiB

[startup+0.701134 s]
/proc/loadavg: 1.15 1.38 1.63 6/229 23600
/proc/meminfo: memFree=25082144/32770688 swapFree=67001280/67108860
[pid=23584] ppid=23581 vsize=113128 memory=1452 CPUtime=0 cores=0-3
/proc/23584/stat : 23584 (xcsp3-exec) S 23581 23584 22008 0 -1 4202496 544 0 0 0 0 0 0 0 20 0 1 0 516117408 115843072 363 33554432000 4194304 5098028 140736157613088 140736157611192 140161811309180 0 65536 4100 65538 18446744071579417331 0 0 17 0 0 0 0 0 0 7196144 7232144 24563712 140736157619067 140736157619309 140736157619309 140736157622218 0
/proc/23584/statm: 28282 363 304 221 0 87 0
[pid=23586] ppid=23584 vsize=15151156 memory=93992 CPUtime=1.69 cores=0-3
/proc/23586/stat : 23586 (java) S 23584 23584 22008 0 -1 1077944320 14131 0 0 0 163 6 0 0 20 0 15 0 516117408 15514783744 23498 33554432000 4194304 4196468 140731041035888 140731041018432 139725674405623 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 10792960 140731041043439 140731041043610 140731041043610 140731041046479 0
/proc/23586/statm: 3787789 23498 3441 1 0 3748889 0
[pid=23586/tid=23587] ppid=23584 vsize=15151156 memory=2120 CPUtime=0.68 cores=0-3
/proc/23586/task/23587/stat : 23587 (java) R 23584 23584 22008 0 -1 4202560 8297 0 0 0 64 4 0 0 20 0 15 0 516117409 15514783744 23498 33554432000 4194304 4196468 140731041035888 139725678640208 139725305941895 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 10792960 140731041043439 140731041043610 140731041043610 140731041046479 0
[pid=23586/tid=23588] ppid=23584 vsize=15151156 memory=496 CPUtime=0 cores=0-3
/proc/23586/task/23588/stat : 23588 (java) S 23584 23584 22008 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 516117409 15514783744 23498 33554432000 4194304 4196468 140731041035888 139725627026320 139725674415829 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 10792960 140731041043439 140731041043610 140731041043610 140731041046479 0
[pid=23586/tid=23589] ppid=23584 vsize=15151156 memory=1556 CPUtime=0 cores=0-3
/proc/23586/task/23589/stat : 23589 (java) S 23584 23584 22008 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 516117409 15514783744 23498 33554432000 4194304 4196468 140731041035888 139725625973520 139725674415829 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 10792960 140731041043439 140731041043610 140731041043610 140731041046479 0
[pid=23586/tid=23590] ppid=23584 vsize=15151156 memory=928 CPUtime=0 cores=0-3
/proc/23586/task/23590/stat : 23590 (java) S 23584 23584 22008 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 516117409 15514783744 23498 33554432000 4194304 4196468 140731041035888 139725624921232 139725674415829 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 10792960 140731041043439 140731041043610 140731041043610 140731041046479 0
[pid=23586/tid=23591] ppid=23584 vsize=15151156 memory=1620 CPUtime=0 cores=0-3
/proc/23586/task/23591/stat : 23591 (java) S 23584 23584 22008 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 516117409 15514783744 23498 33554432000 4194304 4196468 140731041035888 139725623868432 139725674415829 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 10792960 140731041043439 140731041043610 140731041043610 140731041046479 0
[pid=23586/tid=23592] ppid=23584 vsize=15151156 memory=780 CPUtime=0 cores=0-3
/proc/23586/task/23592/stat : 23592 (java) S 23584 23584 22008 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 516117411 15514783744 23498 33554432000 4194304 4196468 140731041035888 139725142714480 139725674416770 0 0 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 10792960 140731041043439 140731041043610 140731041043610 140731041046479 0
[pid=23586/tid=23593] ppid=23584 vsize=15151156 memory=1444 CPUtime=0 cores=0-3
/proc/23586/task/23593/stat : 23593 (java) S 23584 23584 22008 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 516117411 15514783744 23498 33554432000 4194304 4196468 140731041035888 139725141660448 139725674415829 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 10792960 140731041043439 140731041043610 140731041043610 140731041046479 0
[pid=23586/tid=23594] ppid=23584 vsize=15151156 memory=1984 CPUtime=0 cores=0-3
/proc/23586/task/23594/stat : 23594 (java) S 23584 23584 22008 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 516117412 15514783744 23498 33554432000 4194304 4196468 140731041035888 139725140608112 139725674415829 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 10792960 140731041043439 140731041043610 140731041043610 140731041046479 0
[pid=23586/tid=23595] ppid=23584 vsize=15151156 memory=2524 CPUtime=0 cores=0-3
/proc/23586/task/23595/stat : 23595 (java) S 23584 23584 22008 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 516117414 15514783744 23498 33554432000 4194304 4196468 140731041035888 139725139556432 139725674424219 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 10792960 140731041043439 140731041043610 140731041043610 140731041046479 0
[pid=23586/tid=23596] ppid=23584 vsize=15151156 memory=7302135314614015844 CPUtime=0.34 cores=0-3
/proc/23586/task/23596/stat : 23596 (java) R 23584 23584 22008 0 -1 4202560 1574 0 0 0 34 0 0 0 20 0 15 0 516117414 15514783744 23498 33554432000 4194304 4196468 140731041035888 139725138491744 139725652422611 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 10792960 140731041043439 140731041043610 140731041043610 140731041046479 0
[pid=23586/tid=23597] ppid=23584 vsize=15151156 memory=7812171326984577360 CPUtime=0.3 cores=0-3
/proc/23586/task/23597/stat : 23597 (java) R 23584 23584 22008 0 -1 4202560 1090 0 0 0 30 0 0 0 20 0 15 0 516117414 15514783744 23498 33554432000 4194304 4196468 140731041035888 139725137438048 139725655926879 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 10792960 140731041043439 140731041043610 140731041043610 140731041046479 0
[pid=23586/tid=23598] ppid=23584 vsize=15151156 memory=7368002589315584080 CPUtime=0.33 cores=0-3
/proc/23586/task/23598/stat : 23598 (java) S 23584 23584 22008 0 -1 1077944384 1864 0 0 0 33 0 0 0 20 0 15 0 516117414 15514783744 23498 33554432000 4194304 4196468 140731041035888 139725136399216 139725674416770 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 10792960 140731041043439 140731041043610 140731041043610 140731041046479 0
[pid=23586/tid=23599] ppid=23584 vsize=15151156 memory=7079772213163872336 CPUtime=0 cores=0-3
/proc/23586/task/23599/stat : 23599 (java) S 23584 23584 22008 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 516117415 15514783744 23498 33554432000 4194304 4196468 140731041035888 139725135346656 139725674415829 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 10792960 140731041043439 140731041043610 140731041043610 140731041046479 0
[pid=23586/tid=23600] ppid=23584 vsize=15151156 memory=7164214801036830806 CPUtime=0 cores=0-3
/proc/23586/task/23600/stat : 23600 (java) S 23584 23584 22008 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 516117415 15514783744 23498 33554432000 4194304 4196468 140731041035888 139725134293424 139725674416770 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 10792960 140731041043439 140731041043610 140731041043610 140731041046479 0
Current children cumulated CPU time: 1.69 s
Current children cumulated vsize: 15264284 KiB
Current children cumulated memory: 95444 KiB

[startup+1.50089 s]
/proc/loadavg: 1.15 1.38 1.63 4/229 23600
/proc/meminfo: memFree=25021276/32770688 swapFree=67001280/67108860
[pid=23584] ppid=23581 vsize=113128 memory=1452 CPUtime=0 cores=0-3
/proc/23584/stat : 23584 (xcsp3-exec) S 23581 23584 22008 0 -1 4202496 544 0 0 0 0 0 0 0 20 0 1 0 516117408 115843072 363 33554432000 4194304 5098028 140736157613088 140736157611192 140161811309180 0 65536 4100 65538 18446744071579417331 0 0 17 0 0 0 0 0 0 7196144 7232144 24563712 140736157619067 140736157619309 140736157619309 140736157622218 0
/proc/23584/statm: 28282 363 304 221 0 87 0

################
# More data... #
################

/proc/23586/task/23588/stat : 23588 (java) S 23584 23584 22008 0 -1 1077944384 1862 0 0 0 5 1 0 0 20 0 15 0 516117409 15514783744 38912 33554432000 4194304 4196468 140731041035888 139725627026320 139725674415829 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 10792960 140731041043439 140731041043610 140731041043610 140731041046479 0
[pid=23586/tid=23589] ppid=23584 vsize=15151156 memory=1452 CPUtime=0.06 cores=0-3
/proc/23586/task/23589/stat : 23589 (java) S 23584 23584 22008 0 -1 1077944384 578 0 0 0 5 1 0 0 20 0 15 0 516117409 15514783744 38912 33554432000 4194304 4196468 140731041035888 139725625973520 139725674415829 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 10792960 140731041043439 140731041043610 140731041043610 140731041046479 0
[pid=23586/tid=23590] ppid=23584 vsize=15151156 memory=1452 CPUtime=0.06 cores=0-3
/proc/23586/task/23590/stat : 23590 (java) S 23584 23584 22008 0 -1 1077944384 1094 0 0 0 5 1 0 0 20 0 15 0 516117409 15514783744 38912 33554432000 4194304 4196468 140731041035888 139725624921232 139725674415829 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 10792960 140731041043439 140731041043610 140731041043610 140731041046479 0
[pid=23586/tid=23591] ppid=23584 vsize=15151156 memory=156160 CPUtime=0.05 cores=0-3
/proc/23586/task/23591/stat : 23591 (java) S 23584 23584 22008 0 -1 1077944384 1877 0 0 0 4 1 0 0 20 0 15 0 516117409 15514783744 38912 33554432000 4194304 4196468 140731041035888 139725623868432 139725674415829 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 10792960 140731041043439 140731041043610 140731041043610 140731041046479 0
[pid=23586/tid=23592] ppid=23584 vsize=15151156 memory=156160 CPUtime=0.06 cores=0-3
/proc/23586/task/23592/stat : 23592 (java) S 23584 23584 22008 0 -1 1077944384 1778 0 0 0 4 2 0 0 20 0 15 0 516117411 15514783744 38912 33554432000 4194304 4196468 140731041035888 139725142714480 139725674416770 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 10792960 140731041043439 140731041043610 140731041043610 140731041046479 0
[pid=23586/tid=23593] ppid=23584 vsize=15151156 memory=1452 CPUtime=0 cores=0-3
/proc/23586/task/23593/stat : 23593 (java) S 23584 23584 22008 0 -1 1077944384 77 0 0 0 0 0 0 0 20 0 15 0 516117411 15514783744 38912 33554432000 4194304 4196468 140731041035888 139725141660512 139725674415829 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 10792960 140731041043439 140731041043610 140731041043610 140731041046479 0
[pid=23586/tid=23594] ppid=23584 vsize=15151156 memory=3608 CPUtime=0 cores=0-3
/proc/23586/task/23594/stat : 23594 (java) S 23584 23584 22008 0 -1 1077944384 117 0 0 0 0 0 0 0 20 0 15 0 516117412 15514783744 38912 33554432000 4194304 4196468 140731041035888 139725140608128 139725674415829 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 10792960 140731041043439 140731041043610 140731041043610 140731041046479 0
[pid=23586/tid=23595] ppid=23584 vsize=15151156 memory=64048 CPUtime=0 cores=0-3
/proc/23586/task/23595/stat : 23595 (java) S 23584 23584 22008 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 516117414 15514783744 38912 33554432000 4194304 4196468 140731041035888 139725139556432 139725674424219 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 10792960 140731041043439 140731041043610 140731041043610 140731041046479 0
[pid=23586/tid=23596] ppid=23584 vsize=15151156 memory=1452 CPUtime=2.17 cores=0-3
/proc/23586/task/23596/stat : 23596 (java) S 23584 23584 22008 0 -1 1077944384 16004 0 0 0 215 2 0 0 20 0 15 0 516117414 15514783744 38912 33554432000 4194304 4196468 140731041035888 139725138504304 139725674416770 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 10792960 140731041043439 140731041043610 140731041043610 140731041046479 0
[pid=23586/tid=23597] ppid=23584 vsize=15151156 memory=156160 CPUtime=1.85 cores=0-3
/proc/23586/task/23597/stat : 23597 (java) S 23584 23584 22008 0 -1 1077944384 12240 0 0 0 184 1 0 0 20 0 15 0 516117414 15514783744 38912 33554432000 4194304 4196468 140731041035888 139725137451504 139725674416770 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 10792960 140731041043439 140731041043610 140731041043610 140731041046479 0
[pid=23586/tid=23598] ppid=23584 vsize=15151156 memory=1228 CPUtime=0.69 cores=0-3
/proc/23586/task/23598/stat : 23598 (java) S 23584 23584 22008 0 -1 1077944384 9239 0 0 0 68 1 0 0 20 0 15 0 516117414 15514783744 38912 33554432000 4194304 4196468 140731041035888 139725136399216 139725674416770 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 10792960 140731041043439 140731041043610 140731041043610 140731041046479 0
[pid=23586/tid=23599] ppid=23584 vsize=15151156 memory=6124 CPUtime=0 cores=0-3
/proc/23586/task/23599/stat : 23599 (java) S 23584 23584 22008 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 516117415 15514783744 38912 33554432000 4194304 4196468 140731041035888 139725135346656 139725674415829 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 10792960 140731041043439 140731041043610 140731041043610 140731041046479 0
[pid=23586/tid=23600] ppid=23584 vsize=15151156 memory=3608 CPUtime=0.18 cores=0-3
/proc/23586/task/23600/stat : 23600 (java) S 23584 23584 22008 0 -1 1077944384 872 0 0 0 8 10 0 0 20 0 15 0 516117415 15514783744 38912 33554432000 4194304 4196468 140731041035888 139725134293424 139725674416770 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 10792960 140731041043439 140731041043610 140731041043610 140731041046479 0
Current children cumulated CPU time: 767.47 s
Current children cumulated vsize: 15264284 KiB
Current children cumulated memory: 157100 KiB

[startup+822.301 s]
/proc/loadavg: 1.87 1.85 1.76 3/229 23696
/proc/meminfo: memFree=24817316/32770688 swapFree=67001280/67108860
[pid=23584] ppid=23581 vsize=113128 memory=1452 CPUtime=0 cores=0-3
/proc/23584/stat : 23584 (xcsp3-exec) S 23581 23584 22008 0 -1 4202496 544 0 0 0 0 0 0 0 20 0 1 0 516117408 115843072 363 33554432000 4194304 5098028 140736157613088 140736157611192 140161811309180 0 65536 4100 65538 18446744071579417331 0 0 17 0 0 0 0 0 0 7196144 7232144 24563712 140736157619067 140736157619309 140736157619309 140736157622218 0
/proc/23584/statm: 28282 363 304 221 0 87 0
[pid=23586] ppid=23584 vsize=15151156 memory=155136 CPUtime=827.5 cores=0-3
/proc/23586/stat : 23586 (java) S 23584 23584 22008 0 -1 1077944320 64014 0 0 0 82723 27 0 0 20 0 15 0 516117408 15514783744 38784 33554432000 4194304 4196468 140731041035888 140731041018432 139725674405623 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 10792960 140731041043439 140731041043610 140731041043610 140731041046479 0
/proc/23586/statm: 3787789 38784 3510 1 0 3748889 0
[pid=23586/tid=23587] ppid=23584 vsize=15151156 memory=1452 CPUtime=822.19 cores=0-3
/proc/23586/task/23587/stat : 23587 (java) R 23584 23584 22008 0 -1 4202560 16411 0 0 0 82213 6 0 0 20 0 15 0 516117409 15514783744 38784 33554432000 4194304 4196468 140731041035888 139725678645120 139725307822315 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 10792960 140731041043439 140731041043610 140731041043610 140731041046479 0
[pid=23586/tid=23588] ppid=23584 vsize=15151156 memory=164 CPUtime=0.06 cores=0-3
/proc/23586/task/23588/stat : 23588 (java) S 23584 23584 22008 0 -1 1077944384 1878 0 0 0 5 1 0 0 20 0 15 0 516117409 15514783744 38784 33554432000 4194304 4196468 140731041035888 139725627026320 139725674415829 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 10792960 140731041043439 140731041043610 140731041043610 140731041046479 0
[pid=23586/tid=23589] ppid=23584 vsize=15151156 memory=155136 CPUtime=0.06 cores=0-3
/proc/23586/task/23589/stat : 23589 (java) S 23584 23584 22008 0 -1 1077944384 645 0 0 0 5 1 0 0 20 0 15 0 516117409 15514783744 38784 33554432000 4194304 4196468 140731041035888 139725625973520 139725674415829 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 10792960 140731041043439 140731041043610 140731041043610 140731041046479 0
[pid=23586/tid=23590] ppid=23584 vsize=15151156 memory=1444 CPUtime=0.06 cores=0-3
/proc/23586/task/23590/stat : 23590 (java) S 23584 23584 22008 0 -1 1077944384 1142 0 0 0 5 1 0 0 20 0 15 0 516117409 15514783744 38784 33554432000 4194304 4196468 140731041035888 139725624921232 139725674415829 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 10792960 140731041043439 140731041043610 140731041043610 140731041046479 0
[pid=23586/tid=23591] ppid=23584 vsize=15151156 memory=1984 CPUtime=0.06 cores=0-3
/proc/23586/task/23591/stat : 23591 (java) S 23584 23584 22008 0 -1 1077944384 2158 0 0 0 5 1 0 0 20 0 15 0 516117409 15514783744 38784 33554432000 4194304 4196468 140731041035888 139725623868432 139725674415829 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 10792960 140731041043439 140731041043610 140731041043610 140731041046479 0
[pid=23586/tid=23592] ppid=23584 vsize=15151156 memory=3608 CPUtime=0.06 cores=0-3
/proc/23586/task/23592/stat : 23592 (java) S 23584 23584 22008 0 -1 1077944384 1961 0 0 0 4 2 0 0 20 0 15 0 516117411 15514783744 38784 33554432000 4194304 4196468 140731041035888 139725142714480 139725674416770 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 10792960 140731041043439 140731041043610 140731041043610 140731041046479 0
[pid=23586/tid=23593] ppid=23584 vsize=15151156 memory=64048 CPUtime=0 cores=0-3
/proc/23586/task/23593/stat : 23593 (java) S 23584 23584 22008 0 -1 1077944384 77 0 0 0 0 0 0 0 20 0 15 0 516117411 15514783744 38784 33554432000 4194304 4196468 140731041035888 139725141660512 139725674415829 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 10792960 140731041043439 140731041043610 140731041043610 140731041046479 0
[pid=23586/tid=23594] ppid=23584 vsize=15151156 memory=1452 CPUtime=0 cores=0-3
/proc/23586/task/23594/stat : 23594 (java) S 23584 23584 22008 0 -1 1077944384 117 0 0 0 0 0 0 0 20 0 15 0 516117412 15514783744 38784 33554432000 4194304 4196468 140731041035888 139725140608128 139725674415829 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 10792960 140731041043439 140731041043610 140731041043610 140731041046479 0
[pid=23586/tid=23595] ppid=23584 vsize=15151156 memory=155136 CPUtime=0 cores=0-3
/proc/23586/task/23595/stat : 23595 (java) S 23584 23584 22008 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 516117414 15514783744 38784 33554432000 4194304 4196468 140731041035888 139725139556432 139725674424219 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 10792960 140731041043439 140731041043610 140731041043610 140731041046479 0
[pid=23586/tid=23596] ppid=23584 vsize=15151156 memory=6791534058613427641 CPUtime=2.17 cores=0-3
/proc/23586/task/23596/stat : 23596 (java) S 23584 23584 22008 0 -1 1077944384 16008 0 0 0 215 2 0 0 20 0 15 0 516117414 15514783744 38784 33554432000 4194304 4196468 140731041035888 139725138504304 139725674416770 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 10792960 140731041043439 140731041043610 140731041043610 140731041046479 0
[pid=23586/tid=23597] ppid=23584 vsize=15151156 memory=780 CPUtime=1.85 cores=0-3
/proc/23586/task/23597/stat : 23597 (java) S 23584 23584 22008 0 -1 1077944384 12242 0 0 0 184 1 0 0 20 0 15 0 516117414 15514783744 38784 33554432000 4194304 4196468 140731041035888 139725137451504 139725674416770 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 10792960 140731041043439 140731041043610 140731041043610 140731041046479 0
[pid=23586/tid=23598] ppid=23584 vsize=15151156 memory=3516 CPUtime=0.69 cores=0-3
/proc/23586/task/23598/stat : 23598 (java) S 23584 23584 22008 0 -1 1077944384 9241 0 0 0 68 1 0 0 20 0 15 0 516117414 15514783744 38784 33554432000 4194304 4196468 140731041035888 139725136399216 139725674416770 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 10792960 140731041043439 140731041043610 140731041043610 140731041046479 0
[pid=23586/tid=23599] ppid=23584 vsize=15151156 memory=155136 CPUtime=0 cores=0-3
/proc/23586/task/23599/stat : 23599 (java) S 23584 23584 22008 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 516117415 15514783744 38784 33554432000 4194304 4196468 140731041035888 139725135346656 139725674415829 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 10792960 140731041043439 140731041043610 140731041043610 140731041046479 0
[pid=23586/tid=23600] ppid=23584 vsize=15151156 memory=1452 CPUtime=0.2 cores=0-3
/proc/23586/task/23600/stat : 23600 (java) S 23584 23584 22008 0 -1 1077944384 893 0 0 0 9 11 0 0 20 0 15 0 516117415 15514783744 38784 33554432000 4194304 4196468 140731041035888 139725134293424 139725674416770 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 10792960 140731041043439 140731041043610 140731041043610 140731041046479 0
Current children cumulated CPU time: 827.5 s
Current children cumulated vsize: 15264284 KiB
Current children cumulated memory: 156588 KiB

[startup+822.689 s]
# the end of solver process 23584 was just reported to runsolver
# cumulated CPU time of all completed processes:  user=827.624 s, system=0.277557 s

Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples

[startup+822.401 s]
/proc/loadavg: 1.87 1.85 1.76 3/229 23696
/proc/meminfo: memFree=24817316/32770688 swapFree=67001280/67108860
[pid=23584] ppid=23581 vsize=113128 memory=1452 CPUtime=0 cores=0-3
/proc/23584/stat : 23584 (xcsp3-exec) S 23581 23584 22008 0 -1 4202496 544 0 0 0 0 0 0 0 20 0 1 0 516117408 115843072 363 33554432000 4194304 5098028 140736157613088 140736157611192 140161811309180 0 65536 4100 65538 18446744071579417331 0 0 17 0 0 0 0 0 0 7196144 7232144 24563712 140736157619067 140736157619309 140736157619309 140736157622218 0
/proc/23584/statm: 28282 363 304 221 0 87 0
[pid=23586] ppid=23584 vsize=15151156 memory=155136 CPUtime=827.6 cores=0-3
/proc/23586/stat : 23586 (java) S 23584 23584 22008 0 -1 1077944320 64014 0 0 0 82733 27 0 0 20 0 15 0 516117408 15514783744 38784 33554432000 4194304 4196468 140731041035888 140731041018432 139725674405623 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 10792960 140731041043439 140731041043610 140731041043610 140731041046479 0
/proc/23586/statm: 3787789 38784 3510 1 0 3748889 0
[pid=23586/tid=23587] ppid=23584 vsize=15151156 memory=1452 CPUtime=822.29 cores=0-3
/proc/23586/task/23587/stat : 23587 (java) R 23584 23584 22008 0 -1 4202560 16411 0 0 0 82223 6 0 0 20 0 15 0 516117409 15514783744 38784 33554432000 4194304 4196468 140731041035888 139725678645120 139725307822801 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 10792960 140731041043439 140731041043610 140731041043610 140731041046479 0
[pid=23586/tid=23588] ppid=23584 vsize=15151156 memory=3608 CPUtime=0.06 cores=0-3
/proc/23586/task/23588/stat : 23588 (java) S 23584 23584 22008 0 -1 1077944384 1878 0 0 0 5 1 0 0 20 0 15 0 516117409 15514783744 38784 33554432000 4194304 4196468 140731041035888 139725627026320 139725674415829 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 10792960 140731041043439 140731041043610 140731041043610 140731041046479 0
[pid=23586/tid=23589] ppid=23584 vsize=15151156 memory=1368 CPUtime=0.06 cores=0-3
/proc/23586/task/23589/stat : 23589 (java) S 23584 23584 22008 0 -1 1077944384 645 0 0 0 5 1 0 0 20 0 15 0 516117409 15514783744 38784 33554432000 4194304 4196468 140731041035888 139725625973520 139725674415829 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 10792960 140731041043439 140731041043610 140731041043610 140731041046479 0
[pid=23586/tid=23590] ppid=23584 vsize=15151156 memory=1056 CPUtime=0.06 cores=0-3
/proc/23586/task/23590/stat : 23590 (java) S 23584 23584 22008 0 -1 1077944384 1142 0 0 0 5 1 0 0 20 0 15 0 516117409 15514783744 38784 33554432000 4194304 4196468 140731041035888 139725624921232 139725674415829 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 10792960 140731041043439 140731041043610 140731041043610 140731041046479 0
[pid=23586/tid=23591] ppid=23584 vsize=15151156 memory=772 CPUtime=0.06 cores=0-3
/proc/23586/task/23591/stat : 23591 (java) S 23584 23584 22008 0 -1 1077944384 2158 0 0 0 5 1 0 0 20 0 15 0 516117409 15514783744 38784 33554432000 4194304 4196468 140731041035888 139725623868432 139725674415829 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 10792960 140731041043439 140731041043610 140731041043610 140731041046479 0
[pid=23586/tid=23592] ppid=23584 vsize=15151156 memory=0 CPUtime=0.06 cores=0-3
/proc/23586/task/23592/stat : 23592 (java) S 23584 23584 22008 0 -1 1077944384 1961 0 0 0 4 2 0 0 20 0 15 0 516117411 15514783744 38784 33554432000 4194304 4196468 140731041035888 139725142714480 139725674416770 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 10792960 140731041043439 140731041043610 140731041043610 140731041046479 0
[pid=23586/tid=23593] ppid=23584 vsize=15151156 memory=7524503793127027308 CPUtime=0 cores=0-3
/proc/23586/task/23593/stat : 23593 (java) S 23584 23584 22008 0 -1 1077944384 77 0 0 0 0 0 0 0 20 0 15 0 516117411 15514783744 38784 33554432000 4194304 4196468 140731041035888 139725141660512 139725674415829 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 10792960 140731041043439 140731041043610 140731041043610 140731041046479 0
[pid=23586/tid=23594] ppid=23584 vsize=15151156 memory=6296692404033441873 CPUtime=0 cores=0-3
/proc/23586/task/23594/stat : 23594 (java) S 23584 23584 22008 0 -1 1077944384 117 0 0 0 0 0 0 0 20 0 15 0 516117412 15514783744 38784 33554432000 4194304 4196468 140731041035888 139725140608128 139725674415829 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 10792960 140731041043439 140731041043610 140731041043610 140731041046479 0
[pid=23586/tid=23595] ppid=23584 vsize=15151156 memory=-3622645143214314312 CPUtime=0 cores=0-3
/proc/23586/task/23595/stat : 23595 (java) S 23584 23584 22008 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 516117414 15514783744 38784 33554432000 4194304 4196468 140731041035888 139725139556432 139725674424219 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 10792960 140731041043439 140731041043610 140731041043610 140731041046479 0
[pid=23586/tid=23596] ppid=23584 vsize=15151156 memory=1228 CPUtime=2.17 cores=0-3
/proc/23586/task/23596/stat : 23596 (java) S 23584 23584 22008 0 -1 1077944384 16008 0 0 0 215 2 0 0 20 0 15 0 516117414 15514783744 38784 33554432000 4194304 4196468 140731041035888 139725138504304 139725674416770 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 10792960 140731041043439 140731041043610 140731041043610 140731041046479 0
[pid=23586/tid=23597] ppid=23584 vsize=15151156 memory=6124 CPUtime=1.85 cores=0-3
/proc/23586/task/23597/stat : 23597 (java) S 23584 23584 22008 0 -1 1077944384 12242 0 0 0 184 1 0 0 20 0 15 0 516117414 15514783744 38784 33554432000 4194304 4196468 140731041035888 139725137451504 139725674416770 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 10792960 140731041043439 140731041043610 140731041043610 140731041046479 0
[pid=23586/tid=23598] ppid=23584 vsize=15151156 memory=780 CPUtime=0.69 cores=0-3
/proc/23586/task/23598/stat : 23598 (java) S 23584 23584 22008 0 -1 1077944384 9241 0 0 0 68 1 0 0 20 0 15 0 516117414 15514783744 38784 33554432000 4194304 4196468 140731041035888 139725136399216 139725674416770 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 10792960 140731041043439 140731041043610 140731041043610 140731041046479 0
[pid=23586/tid=23599] ppid=23584 vsize=15151156 memory=6791534058613427641 CPUtime=0 cores=0-3
/proc/23586/task/23599/stat : 23599 (java) S 23584 23584 22008 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 516117415 15514783744 38784 33554432000 4194304 4196468 140731041035888 139725135346656 139725674415829 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 10792960 140731041043439 140731041043610 140731041043610 140731041046479 0
[pid=23586/tid=23600] ppid=23584 vsize=15151156 memory=1088 CPUtime=0.2 cores=0-3
/proc/23586/task/23600/stat : 23600 (java) S 23584 23584 22008 0 -1 1077944384 893 0 0 0 9 11 0 0 20 0 15 0 516117415 15514783744 38784 33554432000 4194304 4196468 140731041035888 139725134293424 139725674416770 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 10792960 140731041043439 140731041043610 140731041043610 140731041046479 0
Current children cumulated CPU time: 827.6 s
Current children cumulated vsize: 15264284 KiB
Current children cumulated memory: 156588 KiB

[startup+822.601 s]
/proc/loadavg: 1.87 1.85 1.76 3/229 23696
/proc/meminfo: memFree=24817316/32770688 swapFree=67001280/67108860
[pid=23584] ppid=23581 vsize=113128 memory=1452 CPUtime=0 cores=0-3
/proc/23584/stat : 23584 (xcsp3-exec) S 23581 23584 22008 0 -1 4202496 544 0 0 0 0 0 0 0 20 0 1 0 516117408 115843072 363 33554432000 4194304 5098028 140736157613088 140736157611192 140161811309180 0 65536 4100 65538 18446744071579417331 0 0 17 0 0 0 0 0 0 7196144 7232144 24563712 140736157619067 140736157619309 140736157619309 140736157622218 0
/proc/23584/statm: 28282 363 304 221 0 87 0
[pid=23586] ppid=23584 vsize=15151156 memory=155136 CPUtime=827.8 cores=0-3
/proc/23586/stat : 23586 (java) S 23584 23584 22008 0 -1 1077944320 64014 0 0 0 82753 27 0 0 20 0 15 0 516117408 15514783744 38784 33554432000 4194304 4196468 140731041035888 140731041018432 139725674405623 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 10792960 140731041043439 140731041043610 140731041043610 140731041046479 0
/proc/23586/statm: 3787789 38784 3510 1 0 3748889 0
[pid=23586/tid=23587] ppid=23584 vsize=15151156 memory=6791534058613427641 CPUtime=822.49 cores=0-3
/proc/23586/task/23587/stat : 23587 (java) R 23584 23584 22008 0 -1 4202560 16411 0 0 0 82243 6 0 0 20 0 15 0 516117409 15514783744 38784 33554432000 4194304 4196468 140731041035888 139725678645120 139725307822801 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 10792960 140731041043439 140731041043610 140731041043610 140731041046479 0
[pid=23586/tid=23588] ppid=23584 vsize=15151156 memory=1056 CPUtime=0.06 cores=0-3
/proc/23586/task/23588/stat : 23588 (java) S 23584 23584 22008 0 -1 1077944384 1878 0 0 0 5 1 0 0 20 0 15 0 516117409 15514783744 38784 33554432000 4194304 4196468 140731041035888 139725627026320 139725674415829 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 10792960 140731041043439 140731041043610 140731041043610 140731041046479 0
[pid=23586/tid=23589] ppid=23584 vsize=15151156 memory=772 CPUtime=0.06 cores=0-3
/proc/23586/task/23589/stat : 23589 (java) S 23584 23584 22008 0 -1 1077944384 645 0 0 0 5 1 0 0 20 0 15 0 516117409 15514783744 38784 33554432000 4194304 4196468 140731041035888 139725625973520 139725674415829 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 10792960 140731041043439 140731041043610 140731041043610 140731041046479 0
[pid=23586/tid=23590] ppid=23584 vsize=15151156 memory=1696 CPUtime=0.06 cores=0-3
/proc/23586/task/23590/stat : 23590 (java) S 23584 23584 22008 0 -1 1077944384 1142 0 0 0 5 1 0 0 20 0 15 0 516117409 15514783744 38784 33554432000 4194304 4196468 140731041035888 139725624921232 139725674415829 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 10792960 140731041043439 140731041043610 140731041043610 140731041046479 0
[pid=23586/tid=23591] ppid=23584 vsize=15151156 memory=155136 CPUtime=0.06 cores=0-3
/proc/23586/task/23591/stat : 23591 (java) S 23584 23584 22008 0 -1 1077944384 2158 0 0 0 5 1 0 0 20 0 15 0 516117409 15514783744 38784 33554432000 4194304 4196468 140731041035888 139725623868432 139725674415829 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 10792960 140731041043439 140731041043610 140731041043610 140731041046479 0
[pid=23586/tid=23592] ppid=23584 vsize=15151156 memory=1452 CPUtime=0.06 cores=0-3
/proc/23586/task/23592/stat : 23592 (java) S 23584 23584 22008 0 -1 1077944384 1961 0 0 0 4 2 0 0 20 0 15 0 516117411 15514783744 38784 33554432000 4194304 4196468 140731041035888 139725142714480 139725674416770 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 10792960 140731041043439 140731041043610 140731041043610 140731041046479 0
[pid=23586/tid=23593] ppid=23584 vsize=15151156 memory=155136 CPUtime=0 cores=0-3
/proc/23586/task/23593/stat : 23593 (java) S 23584 23584 22008 0 -1 1077944384 77 0 0 0 0 0 0 0 20 0 15 0 516117411 15514783744 38784 33554432000 4194304 4196468 140731041035888 139725141660512 139725674415829 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 10792960 140731041043439 140731041043610 140731041043610 140731041046479 0
[pid=23586/tid=23594] ppid=23584 vsize=15151156 memory=1444 CPUtime=0 cores=0-3
/proc/23586/task/23594/stat : 23594 (java) S 23584 23584 22008 0 -1 1077944384 117 0 0 0 0 0 0 0 20 0 15 0 516117412 15514783744 38784 33554432000 4194304 4196468 140731041035888 139725140608128 139725674415829 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 10792960 140731041043439 140731041043610 140731041043610 140731041046479 0
[pid=23586/tid=23595] ppid=23584 vsize=15151156 memory=6791534058613427641 CPUtime=0 cores=0-3
/proc/23586/task/23595/stat : 23595 (java) S 23584 23584 22008 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 516117414 15514783744 38784 33554432000 4194304 4196468 140731041035888 139725139556432 139725674424219 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 10792960 140731041043439 140731041043610 140731041043610 140731041046479 0
[pid=23586/tid=23596] ppid=23584 vsize=15151156 memory=1728 CPUtime=2.17 cores=0-3
/proc/23586/task/23596/stat : 23596 (java) S 23584 23584 22008 0 -1 1077944384 16008 0 0 0 215 2 0 0 20 0 15 0 516117414 15514783744 38784 33554432000 4194304 4196468 140731041035888 139725138504304 139725674416770 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 10792960 140731041043439 140731041043610 140731041043610 140731041046479 0
[pid=23586/tid=23597] ppid=23584 vsize=15151156 memory=1398722017469774279 CPUtime=1.85 cores=0-3
/proc/23586/task/23597/stat : 23597 (java) S 23584 23584 22008 0 -1 1077944384 12242 0 0 0 184 1 0 0 20 0 15 0 516117414 15514783744 38784 33554432000 4194304 4196468 140731041035888 139725137451504 139725674416770 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 10792960 140731041043439 140731041043610 140731041043610 140731041046479 0
[pid=23586/tid=23598] ppid=23584 vsize=15151156 memory=4872558044660077418 CPUtime=0.69 cores=0-3
/proc/23586/task/23598/stat : 23598 (java) S 23584 23584 22008 0 -1 1077944384 9241 0 0 0 68 1 0 0 20 0 15 0 516117414 15514783744 38784 33554432000 4194304 4196468 140731041035888 139725136399216 139725674416770 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 10792960 140731041043439 140731041043610 140731041043610 140731041046479 0
[pid=23586/tid=23599] ppid=23584 vsize=15151156 memory=1398722017469774279 CPUtime=0 cores=0-3
/proc/23586/task/23599/stat : 23599 (java) S 23584 23584 22008 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 516117415 15514783744 38784 33554432000 4194304 4196468 140731041035888 139725135346656 139725674415829 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 10792960 140731041043439 140731041043610 140731041043610 140731041046479 0
[pid=23586/tid=23600] ppid=23584 vsize=15151156 memory=0 CPUtime=0.2 cores=0-3
/proc/23586/task/23600/stat : 23600 (java) S 23584 23584 22008 0 -1 1077944384 893 0 0 0 9 11 0 0 20 0 15 0 516117415 15514783744 38784 33554432000 4194304 4196468 140731041035888 139725134293424 139725674416770 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 10792960 140731041043439 140731041043610 140731041043610 140731041046479 0
Current children cumulated CPU time: 827.8 s
Current children cumulated vsize: 15264284 KiB
Current children cumulated memory: 156588 KiB

Child status: 0
Real time (s): 822.689
CPU time (s): 827.902
CPU user time (s): 827.624
CPU system time (s): 0.277557
CPU usage (%): 100.634
Max. virtual memory (cumulated for all children) (KiB): 15266244
Max. memory (cumulated for all children) (KiB): 219380

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 827.624
system time used= 0.277557
maximum resident set size= 220956
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 64954
page faults= 0
swaps= 0
block input operations= 0
block output operations= 1096
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 21294
involuntary context switches= 751


# summary of solver processes directly reported to runsolver:
#   pid: 23584
#   total CPU time (s): 827.902
#   total CPU user time (s): 827.624
#   total CPU system time (s): 0.277557

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 5.12884 second user time and 8.66277 second system time

The end