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

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4307009-1534060172/watcher-4307009-1534060172 -o /tmp/evaluation-result-4307009-1534060172/solver-4307009-1534060172 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node150-1534040134-26257 --watchdog 2580 HOME/xcsp3-exec -seed 1443973247 -dir HOME -tl 2520 -ml 11000 -p 1 HOME/instance-4307009-1534060172.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=29068, runsolver pid=29065
Current StackSize limit: 8192 KiB


[startup+0.100134 s]*
/proc/loadavg: 1.99 2.00 1.96 3/217 29084
/proc/meminfo: memFree=15607084/32770624 swapFree=67108792/67108860
[pid=29068] ppid=29065 vsize=113128 memory=1452 CPUtime=0 cores=1,3,5,7
/proc/29068/stat : 29068 (xcsp3-exec) S 29065 29068 24759 0 -1 4202496 535 0 0 0 0 0 0 0 20 0 1 0 223580507 115843072 363 33554432000 4194304 5098028 140734380945296 140734380943400 140541953639036 0 65536 4100 65538 18446744071579417331 0 0 17 5 0 0 0 0 0 7196144 7232144 9396224 140734380946490 140734380946692 140734380946692 140734380949450 0
/proc/29068/statm: 28282 363 306 221 0 87 0
[pid=29070] ppid=29068 vsize=14082940 memory=29532 CPUtime=0.12 cores=1,3,5,7
/proc/29070/stat : 29070 (java) S 29068 29068 24759 0 -1 1077944320 5252 0 0 0 10 2 0 0 20 0 15 0 223580507 14420930560 7383 33554432000 4194304 4196468 140722753351264 140722753333808 140031463960311 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 25702400 140722753356934 140722753357105 140722753357105 140722753359823 0
/proc/29070/statm: 3520735 7383 3018 1 0 3483012 0
[pid=29070/tid=29071] ppid=29068 vsize=14082972 memory=8514701219880730790 CPUtime=0.09 cores=1,3,5,7
/proc/29070/task/29071/stat : 29071 (java) R 29068 29068 24759 0 -1 4202560 3254 0 0 0 8 1 0 0 20 0 15 0 223580508 14420963328 7383 33554432000 4194304 4196468 140722753351264 140031468180528 140031456640029 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 25702400 140722753356934 140722753357105 140722753357105 140722753359823 0
[pid=29070/tid=29072] ppid=29068 vsize=14082972 memory=3472467864488522960 CPUtime=0 cores=1,3,5,7
/proc/29070/task/29072/stat : 29072 (java) S 29068 29068 24759 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 223580508 14420963328 7449 33554432000 4194304 4196468 140722753351264 140031379028368 140031463970517 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 25702400 140722753356934 140722753357105 140722753357105 140722753359823 0
[pid=29070/tid=29073] ppid=29068 vsize=14083932 memory=139735593371264 CPUtime=0 cores=1,3,5,7
/proc/29070/task/29073/stat : 29073 (java) S 29068 29068 24759 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 223580508 14421946368 7449 33554432000 4194304 4196468 140722753351264 140031377975568 140031463970517 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 25702400 140722753356934 140722753357105 140722753357105 140722753359823 0
[pid=29070/tid=29074] ppid=29068 vsize=14083932 memory=0 CPUtime=0 cores=1,3,5,7
/proc/29070/task/29074/stat : 29074 (java) S 29068 29068 24759 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 223580508 14421946368 7449 33554432000 4194304 4196468 140722753351264 140031376923280 140031463970517 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 25702400 140722753356934 140722753357105 140722753357105 140722753359823 0
[pid=29070/tid=29075] ppid=29068 vsize=14083932 memory=0 CPUtime=0 cores=1,3,5,7
/proc/29070/task/29075/stat : 29075 (java) S 29068 29068 24759 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 223580508 14421946368 7449 33554432000 4194304 4196468 140722753351264 140031375870480 140031463970517 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 25702400 140722753356934 140722753357105 140722753357105 140722753359823 0
[pid=29070/tid=29076] ppid=29068 vsize=14083932 memory=0 CPUtime=0 cores=1,3,5,7
/proc/29070/task/29076/stat : 29076 (java) S 29068 29068 24759 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 223580510 14421946368 7449 33554432000 4194304 4196468 140722753351264 140030937385584 140031463971458 0 0 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 25702400 140722753356934 140722753357105 140722753357105 140722753359823 0
[pid=29070/tid=29077] ppid=29068 vsize=14083932 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/29070/task/29077/stat : 29077 (java) S 29068 29068 24759 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 223580510 14421946368 7515 33554432000 4194304 4196468 140722753351264 140030936331552 140031463970517 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 25702400 140722753356934 140722753357105 140722753357105 140722753359823 0
[pid=29070/tid=29078] ppid=29068 vsize=14083932 memory=0 CPUtime=0 cores=1,3,5,7
/proc/29070/task/29078/stat : 29078 (java) S 29068 29068 24759 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 223580510 14421946368 7515 33554432000 4194304 4196468 140722753351264 140030935279216 140031463970517 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 25702400 140722753356934 140722753357105 140722753357105 140722753359823 0
[pid=29070/tid=29079] ppid=29068 vsize=14083932 memory=0 CPUtime=0 cores=1,3,5,7
/proc/29070/task/29079/stat : 29079 (java) S 29068 29068 24759 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 223580513 14421946368 7515 33554432000 4194304 4196468 140722753351264 140030934227536 140031463978907 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 25702400 140722753356934 140722753357105 140722753357105 140722753359823 0
[pid=29070/tid=29080] ppid=29068 vsize=14083932 memory=0 CPUtime=0 cores=1,3,5,7
/proc/29070/task/29080/stat : 29080 (java) S 29068 29068 24759 0 -1 1077944384 304 0 0 0 0 0 0 0 20 0 15 0 223580513 14421946368 7515 33554432000 4194304 4196468 140722753351264 140030933174384 140031463971458 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 25702400 140722753356934 140722753357105 140722753357105 140722753359823 0
[pid=29070/tid=29081] ppid=29068 vsize=14083932 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/29070/task/29081/stat : 29081 (java) S 29068 29068 24759 0 -1 1077944384 126 0 0 0 0 0 0 0 20 0 15 0 223580513 14421946368 7515 33554432000 4194304 4196468 140722753351264 140030932121584 140031463971458 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 25702400 140722753356934 140722753357105 140722753357105 140722753359823 0
[pid=29070/tid=29082] ppid=29068 vsize=14083932 memory=139735593371264 CPUtime=0.01 cores=1,3,5,7
/proc/29070/task/29082/stat : 29082 (java) R 29068 29068 24759 0 -1 4202560 269 0 0 0 1 0 0 0 20 0 15 0 223580513 14421946368 7581 33554432000 4194304 4196468 140722753351264 140030931069296 140031443094735 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 25702400 140722753356934 140722753357105 140722753357105 140722753359823 0
[pid=29070/tid=29083] ppid=29068 vsize=14083932 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/29070/task/29083/stat : 29083 (java) S 29068 29068 24759 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 223580513 14421946368 7581 33554432000 4194304 4196468 140722753351264 140030930016736 140031463970517 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 25702400 140722753356934 140722753357105 140722753357105 140722753359823 0
[pid=29070/tid=29084] ppid=29068 vsize=14083932 memory=139735593371264 CPUtime=0 cores=1,3,5,7
/proc/29070/task/29084/stat : 29084 (java) S 29068 29068 24759 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 223580513 14421946368 7581 33554432000 4194304 4196468 140722753351264 140030928964528 140031463971458 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 25702400 140722753356934 140722753357105 140722753357105 140722753359823 0
Current children cumulated CPU time: 0.12 s
Current children cumulated vsize: 14196068 KiB
Current children cumulated memory: 30984 KiB

[startup+0.210645 s]*
/proc/loadavg: 1.99 2.00 1.96 4/217 29084
/proc/meminfo: memFree=15597144/32770624 swapFree=67108792/67108860
[pid=29068] ppid=29065 vsize=113128 memory=1452 CPUtime=0 cores=1,3,5,7
/proc/29068/stat : 29068 (xcsp3-exec) S 29065 29068 24759 0 -1 4202496 535 0 0 0 0 0 0 0 20 0 1 0 223580507 115843072 363 33554432000 4194304 5098028 140734380945296 140734380943400 140541953639036 0 65536 4100 65538 18446744071579417331 0 0 17 5 0 0 0 0 0 7196144 7232144 9396224 140734380946490 140734380946692 140734380946692 140734380949450 0
/proc/29068/statm: 28282 363 306 221 0 87 0
[pid=29070] ppid=29068 vsize=14087196 memory=40784 CPUtime=0.34 cores=1,3,5,7
/proc/29070/stat : 29070 (java) S 29068 29068 24759 0 -1 1077944320 7724 0 0 0 31 3 0 0 20 0 15 0 223580507 14425288704 10196 33554432000 4194304 4196468 140722753351264 140722753333808 140031463960311 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 25702400 140722753356934 140722753357105 140722753357105 140722753359823 0
/proc/29070/statm: 3521799 10196 3206 1 0 3483012 0
[pid=29070/tid=29071] ppid=29068 vsize=14087196 memory=5854525157017485473 CPUtime=0.2 cores=1,3,5,7
/proc/29070/task/29071/stat : 29071 (java) R 29068 29068 24759 0 -1 4202560 4938 0 0 0 18 2 0 0 20 0 15 0 223580508 14425288704 10196 33554432000 4194304 4196468 140722753351264 140031468181304 140031050220057 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 25702400 140722753356934 140722753357105 140722753357105 140722753359823 0
[pid=29070/tid=29072] ppid=29068 vsize=14087196 memory=3472467864488522960 CPUtime=0 cores=1,3,5,7
/proc/29070/task/29072/stat : 29072 (java) S 29068 29068 24759 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 223580508 14425288704 10196 33554432000 4194304 4196468 140722753351264 140031379028368 140031463970517 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 25702400 140722753356934 140722753357105 140722753357105 140722753359823 0
[pid=29070/tid=29073] ppid=29068 vsize=14087196 memory=139735593371264 CPUtime=0 cores=1,3,5,7
/proc/29070/task/29073/stat : 29073 (java) S 29068 29068 24759 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 223580508 14425288704 10196 33554432000 4194304 4196468 140722753351264 140031377975568 140031463970517 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 25702400 140722753356934 140722753357105 140722753357105 140722753359823 0
[pid=29070/tid=29074] ppid=29068 vsize=14087196 memory=0 CPUtime=0 cores=1,3,5,7
/proc/29070/task/29074/stat : 29074 (java) S 29068 29068 24759 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 223580508 14425288704 10196 33554432000 4194304 4196468 140722753351264 140031376923280 140031463970517 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 25702400 140722753356934 140722753357105 140722753357105 140722753359823 0
[pid=29070/tid=29075] ppid=29068 vsize=14087196 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/29070/task/29075/stat : 29075 (java) S 29068 29068 24759 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 223580508 14425288704 10196 33554432000 4194304 4196468 140722753351264 140031375870480 140031463970517 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 25702400 140722753356934 140722753357105 140722753357105 140722753359823 0
[pid=29070/tid=29076] ppid=29068 vsize=14087196 memory=139735593371264 CPUtime=0 cores=1,3,5,7
/proc/29070/task/29076/stat : 29076 (java) S 29068 29068 24759 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 223580510 14425288704 10196 33554432000 4194304 4196468 140722753351264 140030937385584 140031463971458 0 0 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 25702400 140722753356934 140722753357105 140722753357105 140722753359823 0
[pid=29070/tid=29077] ppid=29068 vsize=14087196 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/29070/task/29077/stat : 29077 (java) S 29068 29068 24759 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 223580510 14425288704 10196 33554432000 4194304 4196468 140722753351264 140030936331552 140031463970517 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 25702400 140722753356934 140722753357105 140722753357105 140722753359823 0
[pid=29070/tid=29078] ppid=29068 vsize=14087196 memory=0 CPUtime=0 cores=1,3,5,7
/proc/29070/task/29078/stat : 29078 (java) S 29068 29068 24759 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 223580510 14425288704 10196 33554432000 4194304 4196468 140722753351264 140030935279216 140031463970517 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 25702400 140722753356934 140722753357105 140722753357105 140722753359823 0
[pid=29070/tid=29079] ppid=29068 vsize=14087196 memory=0 CPUtime=0 cores=1,3,5,7
/proc/29070/task/29079/stat : 29079 (java) S 29068 29068 24759 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 223580513 14425288704 10196 33554432000 4194304 4196468 140722753351264 140030934227536 140031463978907 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 25702400 140722753356934 140722753357105 140722753357105 140722753359823 0
[pid=29070/tid=29080] ppid=29068 vsize=14087196 memory=0 CPUtime=0.02 cores=1,3,5,7
/proc/29070/task/29080/stat : 29080 (java) S 29068 29068 24759 0 -1 1077944384 371 0 0 0 2 0 0 0 20 0 15 0 223580513 14425288704 10196 33554432000 4194304 4196468 140722753351264 140030933174384 140031463971458 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 25702400 140722753356934 140722753357105 140722753357105 140722753359823 0
[pid=29070/tid=29081] ppid=29068 vsize=14087196 memory=-1 CPUtime=0.02 cores=1,3,5,7
/proc/29070/task/29081/stat : 29081 (java) S 29068 29068 24759 0 -1 1077944384 424 0 0 0 2 0 0 0 20 0 15 0 223580513 14425288704 10196 33554432000 4194304 4196468 140722753351264 140030932121584 140031463971458 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 25702400 140722753356934 140722753357105 140722753357105 140722753359823 0
[pid=29070/tid=29082] ppid=29068 vsize=14087196 memory=139735593371264 CPUtime=0.08 cores=1,3,5,7
/proc/29070/task/29082/stat : 29082 (java) S 29068 29068 24759 0 -1 1077944384 683 0 0 0 8 0 0 0 20 0 15 0 223580513 14425288704 10196 33554432000 4194304 4196468 140722753351264 140030931069296 140031463971458 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 25702400 140722753356934 140722753357105 140722753357105 140722753359823 0
[pid=29070/tid=29083] ppid=29068 vsize=14087196 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/29070/task/29083/stat : 29083 (java) S 29068 29068 24759 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 223580513 14425288704 10196 33554432000 4194304 4196468 140722753351264 140030930016736 140031463970517 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 25702400 140722753356934 140722753357105 140722753357105 140722753359823 0
[pid=29070/tid=29084] ppid=29068 vsize=14087196 memory=139735593371264 CPUtime=0 cores=1,3,5,7
/proc/29070/task/29084/stat : 29084 (java) S 29068 29068 24759 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 223580513 14425288704 10196 33554432000 4194304 4196468 140722753351264 140030928964528 140031463971458 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 25702400 140722753356934 140722753357105 140722753357105 140722753359823 0
Current children cumulated CPU time: 0.34 s
Current children cumulated vsize: 14200324 KiB
Current children cumulated memory: 42236 KiB

[startup+0.310375 s]*
/proc/loadavg: 1.99 2.00 1.96 4/217 29084
/proc/meminfo: memFree=15590072/32770624 swapFree=67108792/67108860
[pid=29068] ppid=29065 vsize=113128 memory=1452 CPUtime=0 cores=1,3,5,7
/proc/29068/stat : 29068 (xcsp3-exec) S 29065 29068 24759 0 -1 4202496 535 0 0 0 0 0 0 0 20 0 1 0 223580507 115843072 363 33554432000 4194304 5098028 140734380945296 140734380943400 140541953639036 0 65536 4100 65538 18446744071579417331 0 0 17 5 0 0 0 0 0 7196144 7232144 9396224 140734380946490 140734380946692 140734380946692 140734380949450 0
/proc/29068/statm: 28282 363 306 221 0 87 0
[pid=29070] ppid=29068 vsize=14087196 memory=47776 CPUtime=0.52 cores=1,3,5,7
/proc/29070/stat : 29070 (java) S 29068 29068 24759 0 -1 1077944320 8610 0 0 0 48 4 0 0 20 0 15 0 223580507 14425288704 11944 33554432000 4194304 4196468 140722753351264 140722753333808 140031463960311 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 25702400 140722753356934 140722753357105 140722753357105 140722753359823 0
/proc/29070/statm: 3521799 11944 3255 1 0 3483012 0
[pid=29070/tid=29071] ppid=29068 vsize=14087196 memory=8514701219881125278 CPUtime=0.29 cores=1,3,5,7
/proc/29070/task/29071/stat : 29071 (java) R 29068 29068 24759 0 -1 4202560 5639 0 0 0 27 2 0 0 20 0 15 0 223580508 14425288704 11944 33554432000 4194304 4196468 140722753351264 140031468199952 140031448040798 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 25702400 140722753356934 140722753357105 140722753357105 140722753359823 0
[pid=29070/tid=29072] ppid=29068 vsize=14087196 memory=3472467864488522960 CPUtime=0 cores=1,3,5,7
/proc/29070/task/29072/stat : 29072 (java) S 29068 29068 24759 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 223580508 14425288704 11944 33554432000 4194304 4196468 140722753351264 140031379028368 140031463970517 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 25702400 140722753356934 140722753357105 140722753357105 140722753359823 0
[pid=29070/tid=29073] ppid=29068 vsize=14087196 memory=139735593371264 CPUtime=0 cores=1,3,5,7
/proc/29070/task/29073/stat : 29073 (java) S 29068 29068 24759 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 223580508 14425288704 11944 33554432000 4194304 4196468 140722753351264 140031377975568 140031463970517 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 25702400 140722753356934 140722753357105 140722753357105 140722753359823 0
[pid=29070/tid=29074] ppid=29068 vsize=14087196 memory=17 CPUtime=0 cores=1,3,5,7
/proc/29070/task/29074/stat : 29074 (java) S 29068 29068 24759 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 223580508 14425288704 11944 33554432000 4194304 4196468 140722753351264 140031376923280 140031463970517 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 25702400 140722753356934 140722753357105 140722753357105 140722753359823 0
[pid=29070/tid=29075] ppid=29068 vsize=14087196 memory=139735486048287 CPUtime=0 cores=1,3,5,7
/proc/29070/task/29075/stat : 29075 (java) S 29068 29068 24759 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 223580508 14425288704 11944 33554432000 4194304 4196468 140722753351264 140031375870480 140031463970517 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 25702400 140722753356934 140722753357105 140722753357105 140722753359823 0
[pid=29070/tid=29076] ppid=29068 vsize=14087196 memory=279470972075808 CPUtime=0 cores=1,3,5,7
/proc/29070/task/29076/stat : 29076 (java) S 29068 29068 24759 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 223580510 14425288704 11944 33554432000 4194304 4196468 140722753351264 140030937385584 140031463971458 0 0 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 25702400 140722753356934 140722753357105 140722753357105 140722753359823 0
[pid=29070/tid=29077] ppid=29068 vsize=14087196 memory=139735486025231 CPUtime=0 cores=1,3,5,7
/proc/29070/task/29077/stat : 29077 (java) S 29068 29068 24759 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 223580510 14425288704 11944 33554432000 4194304 4196468 140722753351264 140030936331552 140031463970517 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 25702400 140722753356934 140722753357105 140722753357105 140722753359823 0
[pid=29070/tid=29078] ppid=29068 vsize=14087196 memory=279471079279624 CPUtime=0 cores=1,3,5,7
/proc/29070/task/29078/stat : 29078 (java) S 29068 29068 24759 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 223580510 14425288704 11944 33554432000 4194304 4196468 140722753351264 140030935279216 140031463970517 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 25702400 140722753356934 140722753357105 140722753357105 140722753359823 0
[pid=29070/tid=29079] ppid=29068 vsize=14087196 memory=139735486048287 CPUtime=0 cores=1,3,5,7
/proc/29070/task/29079/stat : 29079 (java) S 29068 29068 24759 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 223580513 14425288704 11944 33554432000 4194304 4196468 140722753351264 140030934227536 140031463978907 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 25702400 140722753356934 140722753357105 140722753357105 140722753359823 0
[pid=29070/tid=29080] ppid=29068 vsize=14087196 memory=0 CPUtime=0.04 cores=1,3,5,7
/proc/29070/task/29080/stat : 29080 (java) S 29068 29068 24759 0 -1 1077944384 465 0 0 0 4 0 0 0 20 0 15 0 223580513 14425288704 11944 33554432000 4194304 4196468 140722753351264 140030933174384 140031463971458 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 25702400 140722753356934 140722753357105 140722753357105 140722753359823 0
[pid=29070/tid=29081] ppid=29068 vsize=14087196 memory=-1 CPUtime=0.04 cores=1,3,5,7
/proc/29070/task/29081/stat : 29081 (java) S 29068 29068 24759 0 -1 1077944384 440 0 0 0 4 0 0 0 20 0 15 0 223580513 14425288704 11944 33554432000 4194304 4196468 140722753351264 140030932121584 140031463971458 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 25702400 140722753356934 140722753357105 140722753357105 140722753359823 0
[pid=29070/tid=29082] ppid=29068 vsize=14087196 memory=0 CPUtime=0.12 cores=1,3,5,7
/proc/29070/task/29082/stat : 29082 (java) S 29068 29068 24759 0 -1 1077944384 759 0 0 0 12 0 0 0 20 0 15 0 223580513 14425288704 11944 33554432000 4194304 4196468 140722753351264 140030931069296 140031463971458 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 25702400 140722753356934 140722753357105 140722753357105 140722753359823 0
[pid=29070/tid=29083] ppid=29068 vsize=14087196 memory=0 CPUtime=0 cores=1,3,5,7
/proc/29070/task/29083/stat : 29083 (java) S 29068 29068 24759 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 223580513 14425288704 11944 33554432000 4194304 4196468 140722753351264 140030930016736 140031463970517 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 25702400 140722753356934 140722753357105 140722753357105 140722753359823 0
[pid=29070/tid=29084] ppid=29068 vsize=14087196 memory=1452 CPUtime=0 cores=1,3,5,7
/proc/29070/task/29084/stat : 29084 (java) S 29068 29068 24759 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 223580513 14425288704 11944 33554432000 4194304 4196468 140722753351264 140030928964528 140031463971458 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 25702400 140722753356934 140722753357105 140722753357105 140722753359823 0
Current children cumulated CPU time: 0.52 s
Current children cumulated vsize: 14200324 KiB
Current children cumulated memory: 49228 KiB

[startup+0.70485 s]
/proc/loadavg: 1.99 2.00 1.96 6/217 29084
/proc/meminfo: memFree=15564080/32770624 swapFree=67108792/67108860
[pid=29068] ppid=29065 vsize=113128 memory=1452 CPUtime=0 cores=1,3,5,7
/proc/29068/stat : 29068 (xcsp3-exec) S 29065 29068 24759 0 -1 4202496 535 0 0 0 0 0 0 0 20 0 1 0 223580507 115843072 363 33554432000 4194304 5098028 140734380945296 140734380943400 140541953639036 0 65536 4100 65538 18446744071579417331 0 0 17 5 0 0 0 0 0 7196144 7232144 9396224 140734380946490 140734380946692 140734380946692 140734380949450 0
/proc/29068/statm: 28282 363 306 221 0 87 0
[pid=29070] ppid=29068 vsize=14089320 memory=111348 CPUtime=1.8 cores=1,3,5,7
/proc/29070/stat : 29070 (java) S 29068 29068 24759 0 -1 1077944320 12240 0 0 0 175 5 0 0 20 0 15 0 223580507 14427463680 27837 33554432000 4194304 4196468 140722753351264 140722753333808 140031463960311 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 25702400 140722753356934 140722753357105 140722753357105 140722753359823 0
/proc/29070/statm: 3522330 27837 3355 1 0 3483524 0
[pid=29070/tid=29071] ppid=29068 vsize=14089320 memory=7372786582024121444 CPUtime=0.68 cores=1,3,5,7
/proc/29070/task/29071/stat : 29071 (java) R 29068 29068 24759 0 -1 4202560 6257 0 0 0 65 3 0 0 20 0 15 0 223580508 14427463680 27837 33554432000 4194304 4196468 140722753351264 140031468179552 140031456638325 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 25702400 140722753356934 140722753357105 140722753357105 140722753359823 0
[pid=29070/tid=29072] ppid=29068 vsize=14089320 memory=7007712420471858773 CPUtime=0 cores=1,3,5,7
/proc/29070/task/29072/stat : 29072 (java) S 29068 29068 24759 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 223580508 14427463680 27837 33554432000 4194304 4196468 140722753351264 140031379028368 140031463970517 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 25702400 140722753356934 140722753357105 140722753357105 140722753359823 0
[pid=29070/tid=29073] ppid=29068 vsize=14089320 memory=5859271421084390760 CPUtime=0 cores=1,3,5,7
/proc/29070/task/29073/stat : 29073 (java) S 29068 29068 24759 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 223580508 14427463680 27837 33554432000 4194304 4196468 140722753351264 140031377975568 140031463970517 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 25702400 140722753356934 140722753357105 140722753357105 140722753359823 0
[pid=29070/tid=29074] ppid=29068 vsize=14089320 memory=-6168368575958768251 CPUtime=0 cores=1,3,5,7
/proc/29070/task/29074/stat : 29074 (java) S 29068 29068 24759 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 223580508 14427463680 27837 33554432000 4194304 4196468 140722753351264 140031376923280 140031463970517 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 25702400 140722753356934 140722753357105 140722753357105 140722753359823 0
[pid=29070/tid=29075] ppid=29068 vsize=14089320 memory=8326441112149131689 CPUtime=0 cores=1,3,5,7
/proc/29070/task/29075/stat : 29075 (java) S 29068 29068 24759 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 223580508 14427463680 27837 33554432000 4194304 4196468 140722753351264 140031375870480 140031463970517 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 25702400 140722753356934 140722753357105 140722753357105 140722753359823 0
[pid=29070/tid=29076] ppid=29068 vsize=14089320 memory=6944656592455360569 CPUtime=0 cores=1,3,5,7
/proc/29070/task/29076/stat : 29076 (java) S 29068 29068 24759 0 -1 1077944384 6 0 0 0 0 0 0 0 20 0 15 0 223580510 14427463680 27837 33554432000 4194304 4196468 140722753351264 140030937385584 140031463971458 0 0 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 25702400 140722753356934 140722753357105 140722753357105 140722753359823 0
[pid=29070/tid=29077] ppid=29068 vsize=14089320 memory=4612 CPUtime=0 cores=1,3,5,7
/proc/29070/task/29077/stat : 29077 (java) S 29068 29068 24759 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 223580510 14427463680 27837 33554432000 4194304 4196468 140722753351264 140030936331552 140031463970517 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 25702400 140722753356934 140722753357105 140722753357105 140722753359823 0
[pid=29070/tid=29078] ppid=29068 vsize=14089320 memory=6884 CPUtime=0 cores=1,3,5,7
/proc/29070/task/29078/stat : 29078 (java) S 29068 29068 24759 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 223580510 14427463680 27837 33554432000 4194304 4196468 140722753351264 140030935279216 140031463970517 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 25702400 140722753356934 140722753357105 140722753357105 140722753359823 0
[pid=29070/tid=29079] ppid=29068 vsize=14089320 memory=2244 CPUtime=0 cores=1,3,5,7
/proc/29070/task/29079/stat : 29079 (java) S 29068 29068 24759 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 223580513 14427463680 27837 33554432000 4194304 4196468 140722753351264 140030934227536 140031463978907 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 25702400 140722753356934 140722753357105 140722753357105 140722753359823 0
[pid=29070/tid=29080] ppid=29068 vsize=14089320 memory=60800 CPUtime=0.38 cores=1,3,5,7
/proc/29070/task/29080/stat : 29080 (java) R 29068 29068 24759 0 -1 4202560 1343 0 0 0 38 0 0 0 20 0 15 0 223580513 14427463680 27837 33554432000 4194304 4196468 140722753351264 140030933161344 140031457066023 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 25702400 140722753356934 140722753357105 140722753357105 140722753359823 0
[pid=29070/tid=29081] ppid=29068 vsize=14089320 memory=1220 CPUtime=0.35 cores=1,3,5,7
/proc/29070/task/29081/stat : 29081 (java) S 29068 29068 24759 0 -1 1077944384 1521 0 0 0 35 0 0 0 20 0 15 0 223580513 14427463680 27837 33554432000 4194304 4196468 140722753351264 140030932121584 140031463971458 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 25702400 140722753356934 140722753357105 140722753357105 140722753359823 0
[pid=29070/tid=29082] ppid=29068 vsize=14089320 memory=2380 CPUtime=0.36 cores=1,3,5,7
/proc/29070/task/29082/stat : 29082 (java) R 29068 29068 24759 0 -1 1077944384 1810 0 0 0 36 0 0 0 20 0 15 0 223580513 14427463680 27837 33554432000 4194304 4196468 140722753351264 140030931069296 140031463971458 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 25702400 140722753356934 140722753357105 140722753357105 140722753359823 0
[pid=29070/tid=29083] ppid=29068 vsize=14089320 memory=7163890427858739792 CPUtime=0 cores=1,3,5,7
/proc/29070/task/29083/stat : 29083 (java) S 29068 29068 24759 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 223580513 14427463680 27837 33554432000 4194304 4196468 140722753351264 140030930016736 140031463970517 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 25702400 140722753356934 140722753357105 140722753357105 140722753359823 0
[pid=29070/tid=29084] ppid=29068 vsize=14089320 memory=7595156207412209490 CPUtime=0 cores=1,3,5,7
/proc/29070/task/29084/stat : 29084 (java) S 29068 29068 24759 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 223580513 14427463680 27837 33554432000 4194304 4196468 140722753351264 140030928964528 140031463971458 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 25702400 140722753356934 140722753357105 140722753357105 140722753359823 0
Current children cumulated CPU time: 1.8 s
Current children cumulated vsize: 14202448 KiB
Current children cumulated memory: 112800 KiB

[startup+1.50086 s]
/proc/loadavg: 1.99 2.00 1.96 5/217 29084
/proc/meminfo: memFree=15493896/32770624 swapFree=67108792/67108860
[pid=29068] ppid=29065 vsize=113128 memory=1452 CPUtime=0 cores=1,3,5,7
/proc/29068/stat : 29068 (xcsp3-exec) S 29065 29068 24759 0 -1 4202496 535 0 0 0 0 0 0 0 20 0 1 0 223580507 115843072 363 33554432000 4194304 5098028 140734380945296 140734380943400 140541953639036 0 65536 4100 65538 18446744071579417331 0 0 17 5 0 0 0 0 0 7196144 7232144 9396224 140734380946490 140734380946692 140734380946692 140734380949450 0
/proc/29068/statm: 28282 363 306 221 0 87 0

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

/proc/29070/task/29078/stat : 29078 (java) S 29068 29068 24759 0 -1 1077944384 72 0 0 0 0 0 0 0 20 0 15 0 223580510 14429560832 167790 33554432000 4194304 4196468 140722753351264 140030935279232 140031463970517 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 25702400 140722753356934 140722753357105 140722753357105 140722753359823 0
[pid=29070/tid=29079] ppid=29068 vsize=14091368 memory=671160 CPUtime=0 cores=1,3,5,7
/proc/29070/task/29079/stat : 29079 (java) S 29068 29068 24759 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 223580513 14429560832 167790 33554432000 4194304 4196468 140722753351264 140030934227536 140031463978907 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 25702400 140722753356934 140722753357105 140722753357105 140722753359823 0
[pid=29070/tid=29080] ppid=29068 vsize=14091368 memory=1452 CPUtime=4.38 cores=1,3,5,7
/proc/29070/task/29080/stat : 29080 (java) S 29068 29068 24759 0 -1 1077944384 30257 0 0 0 434 4 0 0 20 0 15 0 223580513 14429560832 167790 33554432000 4194304 4196468 140722753351264 140030933174384 140031463971458 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 25702400 140722753356934 140722753357105 140722753357105 140722753359823 0
[pid=29070/tid=29081] ppid=29068 vsize=14091368 memory=808 CPUtime=4.12 cores=1,3,5,7
/proc/29070/task/29081/stat : 29081 (java) S 29068 29068 24759 0 -1 1077944384 27494 0 0 0 409 3 0 0 20 0 15 0 223580513 14429560832 167790 33554432000 4194304 4196468 140722753351264 140030932121584 140031463971458 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 25702400 140722753356934 140722753357105 140722753357105 140722753359823 0
[pid=29070/tid=29082] ppid=29068 vsize=14091368 memory=1800 CPUtime=0.91 cores=1,3,5,7
/proc/29070/task/29082/stat : 29082 (java) S 29068 29068 24759 0 -1 1077944384 10326 0 0 0 89 2 0 0 20 0 15 0 223580513 14429560832 167790 33554432000 4194304 4196468 140722753351264 140030931069296 140031463971458 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 25702400 140722753356934 140722753357105 140722753357105 140722753359823 0
[pid=29070/tid=29083] ppid=29068 vsize=14091368 memory=60876 CPUtime=0 cores=1,3,5,7
/proc/29070/task/29083/stat : 29083 (java) S 29068 29068 24759 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 223580513 14429560832 167790 33554432000 4194304 4196468 140722753351264 140030930016736 140031463970517 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 25702400 140722753356934 140722753357105 140722753357105 140722753359823 0
[pid=29070/tid=29084] ppid=29068 vsize=14091368 memory=1220 CPUtime=1.08 cores=1,3,5,7
/proc/29070/task/29084/stat : 29084 (java) S 29068 29068 24759 0 -1 1077944384 1468 0 0 0 47 61 0 0 20 0 15 0 223580513 14429560832 167790 33554432000 4194304 4196468 140722753351264 140030928964528 140031463971458 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 25702400 140722753356934 140722753357105 140722753357105 140722753359823 0
Current children cumulated CPU time: 2394.45 s
Current children cumulated vsize: 14204496 KiB
Current children cumulated memory: 672612 KiB

[startup+2442.3 s]
/proc/loadavg: 2.00 2.03 2.05 3/218 29267
/proc/meminfo: memFree=14696536/32770624 swapFree=67108792/67108860
[pid=29068] ppid=29065 vsize=113128 memory=1452 CPUtime=0 cores=1,3,5,7
/proc/29068/stat : 29068 (xcsp3-exec) S 29065 29068 24759 0 -1 4202496 535 0 0 0 0 0 0 0 20 0 1 0 223580507 115843072 363 33554432000 4194304 5098028 140734380945296 140734380943400 140541953639036 0 65536 4100 65538 18446744071579417331 0 0 17 5 0 0 0 0 0 7196144 7232144 9396224 140734380946490 140734380946692 140734380946692 140734380949450 0
/proc/29068/statm: 28282 363 306 221 0 87 0
[pid=29070] ppid=29068 vsize=14091368 memory=671160 CPUtime=2454.48 cores=1,3,5,7
/proc/29070/stat : 29070 (java) S 29068 29068 24759 0 -1 1077944320 114355 0 0 0 245335 113 0 0 20 0 15 0 223580507 14429560832 167790 33554432000 4194304 4196468 140722753351264 140722753333808 140031463960311 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 25702400 140722753356934 140722753357105 140722753357105 140722753359823 0
/proc/29070/statm: 3522842 167790 3444 1 0 3484036 0
[pid=29070/tid=29071] ppid=29068 vsize=14091368 memory=671160 CPUtime=2441.55 cores=1,3,5,7
/proc/29070/task/29071/stat : 29071 (java) R 29068 29068 24759 0 -1 4202560 35212 0 0 0 244145 10 0 0 20 0 15 0 223580508 14429560832 167790 33554432000 4194304 4196468 140722753351264 140031468197688 140031058610340 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 25702400 140722753356934 140722753357105 140722753357105 140722753359823 0
[pid=29070/tid=29072] ppid=29068 vsize=14091368 memory=671160 CPUtime=0.57 cores=1,3,5,7
/proc/29070/task/29072/stat : 29072 (java) S 29068 29068 24759 0 -1 1077944384 1264 0 0 0 47 10 0 0 20 0 15 0 223580508 14429560832 167790 33554432000 4194304 4196468 140722753351264 140031379028368 140031463970517 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 25702400 140722753356934 140722753357105 140722753357105 140722753359823 0
[pid=29070/tid=29073] ppid=29068 vsize=14091368 memory=671160 CPUtime=0.56 cores=1,3,5,7
/proc/29070/task/29073/stat : 29073 (java) S 29068 29068 24759 0 -1 1077944384 734 0 0 0 46 10 0 0 20 0 15 0 223580508 14429560832 167790 33554432000 4194304 4196468 140722753351264 140031377975568 140031463970517 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 25702400 140722753356934 140722753357105 140722753357105 140722753359823 0
[pid=29070/tid=29074] ppid=29068 vsize=14091368 memory=1452 CPUtime=0.55 cores=1,3,5,7
/proc/29070/task/29074/stat : 29074 (java) S 29068 29068 24759 0 -1 1077944384 2024 0 0 0 45 10 0 0 20 0 15 0 223580508 14429560832 167790 33554432000 4194304 4196468 140722753351264 140031376923280 140031463970517 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 25702400 140722753356934 140722753357105 140722753357105 140722753359823 0
[pid=29070/tid=29075] ppid=29068 vsize=14091368 memory=1452 CPUtime=0.56 cores=1,3,5,7
/proc/29070/task/29075/stat : 29075 (java) S 29068 29068 24759 0 -1 1077944384 474 0 0 0 46 10 0 0 20 0 15 0 223580508 14429560832 167790 33554432000 4194304 4196468 140722753351264 140031375870480 140031463970517 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 25702400 140722753356934 140722753357105 140722753357105 140722753359823 0
[pid=29070/tid=29076] ppid=29068 vsize=14091368 memory=671160 CPUtime=0.08 cores=1,3,5,7
/proc/29070/task/29076/stat : 29076 (java) S 29068 29068 24759 0 -1 1077944384 3485 0 0 0 5 3 0 0 20 0 15 0 223580510 14429560832 167790 33554432000 4194304 4196468 140722753351264 140030937385584 140031463971458 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 25702400 140722753356934 140722753357105 140722753357105 140722753359823 0
[pid=29070/tid=29077] ppid=29068 vsize=14091368 memory=1800 CPUtime=0 cores=1,3,5,7
/proc/29070/task/29077/stat : 29077 (java) S 29068 29068 24759 0 -1 1077944384 62 0 0 0 0 0 0 0 20 0 15 0 223580510 14429560832 167790 33554432000 4194304 4196468 140722753351264 140030936331616 140031463970517 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 25702400 140722753356934 140722753357105 140722753357105 140722753359823 0
[pid=29070/tid=29078] ppid=29068 vsize=14091368 memory=1264 CPUtime=0 cores=1,3,5,7
/proc/29070/task/29078/stat : 29078 (java) S 29068 29068 24759 0 -1 1077944384 72 0 0 0 0 0 0 0 20 0 15 0 223580510 14429560832 167790 33554432000 4194304 4196468 140722753351264 140030935279232 140031463970517 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 25702400 140722753356934 140722753357105 140722753357105 140722753359823 0
[pid=29070/tid=29079] ppid=29068 vsize=14091368 memory=1452 CPUtime=0 cores=1,3,5,7
/proc/29070/task/29079/stat : 29079 (java) S 29068 29068 24759 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 223580513 14429560832 167790 33554432000 4194304 4196468 140722753351264 140030934227536 140031463978907 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 25702400 140722753356934 140722753357105 140722753357105 140722753359823 0
[pid=29070/tid=29080] ppid=29068 vsize=14091368 memory=671160 CPUtime=4.39 cores=1,3,5,7
/proc/29070/task/29080/stat : 29080 (java) S 29068 29068 24759 0 -1 1077944384 30469 0 0 0 435 4 0 0 20 0 15 0 223580513 14429560832 167790 33554432000 4194304 4196468 140722753351264 140030933174384 140031463971458 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 25702400 140722753356934 140722753357105 140722753357105 140722753359823 0
[pid=29070/tid=29081] ppid=29068 vsize=14091368 memory=1452 CPUtime=4.12 cores=1,3,5,7
/proc/29070/task/29081/stat : 29081 (java) S 29068 29068 24759 0 -1 1077944384 27496 0 0 0 409 3 0 0 20 0 15 0 223580513 14429560832 167790 33554432000 4194304 4196468 140722753351264 140030932121584 140031463971458 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 25702400 140722753356934 140722753357105 140722753357105 140722753359823 0
[pid=29070/tid=29082] ppid=29068 vsize=14091368 memory=671160 CPUtime=0.91 cores=1,3,5,7
/proc/29070/task/29082/stat : 29082 (java) S 29068 29068 24759 0 -1 1077944384 10328 0 0 0 89 2 0 0 20 0 15 0 223580513 14429560832 167790 33554432000 4194304 4196468 140722753351264 140030931069296 140031463971458 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 25702400 140722753356934 140722753357105 140722753357105 140722753359823 0
[pid=29070/tid=29083] ppid=29068 vsize=14091368 memory=1752 CPUtime=0 cores=1,3,5,7
/proc/29070/task/29083/stat : 29083 (java) S 29068 29068 24759 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 223580513 14429560832 167790 33554432000 4194304 4196468 140722753351264 140030930016736 140031463970517 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 25702400 140722753356934 140722753357105 140722753357105 140722753359823 0
[pid=29070/tid=29084] ppid=29068 vsize=14091368 memory=1620 CPUtime=1.11 cores=1,3,5,7
/proc/29070/task/29084/stat : 29084 (java) S 29068 29068 24759 0 -1 1077944384 1492 0 0 0 49 62 0 0 20 0 15 0 223580513 14429560832 167790 33554432000 4194304 4196468 140722753351264 140030928964528 140031463971458 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 25702400 140722753356934 140722753357105 140722753357105 140722753359823 0
Current children cumulated CPU time: 2454.48 s
Current children cumulated vsize: 14204496 KiB
Current children cumulated memory: 672612 KiB

[startup+2502.3 s]
/proc/loadavg: 2.00 2.03 2.05 3/218 29268
/proc/meminfo: memFree=14697200/32770624 swapFree=67108792/67108860
[pid=29068] ppid=29065 vsize=113128 memory=1452 CPUtime=0 cores=1,3,5,7
/proc/29068/stat : 29068 (xcsp3-exec) S 29065 29068 24759 0 -1 4202496 535 0 0 0 0 0 0 0 20 0 1 0 223580507 115843072 363 33554432000 4194304 5098028 140734380945296 140734380943400 140541953639036 0 65536 4100 65538 18446744071579417331 0 0 17 5 0 0 0 0 0 7196144 7232144 9396224 140734380946490 140734380946692 140734380946692 140734380949450 0
/proc/29068/statm: 28282 363 306 221 0 87 0
[pid=29070] ppid=29068 vsize=14091368 memory=671160 CPUtime=2514.51 cores=1,3,5,7
/proc/29070/stat : 29070 (java) S 29068 29068 24759 0 -1 1077944320 114760 0 0 0 251337 114 0 0 20 0 15 0 223580507 14429560832 167790 33554432000 4194304 4196468 140722753351264 140722753333808 140031463960311 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 25702400 140722753356934 140722753357105 140722753357105 140722753359823 0
/proc/29070/statm: 3522842 167790 3444 1 0 3484036 0
[pid=29070/tid=29071] ppid=29068 vsize=14091368 memory=671160 CPUtime=2501.54 cores=1,3,5,7
/proc/29070/task/29071/stat : 29071 (java) R 29068 29068 24759 0 -1 4202560 35572 0 0 0 250144 10 0 0 20 0 15 0 223580508 14429560832 167790 33554432000 4194304 4196468 140722753351264 140031468197688 140031053827494 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 25702400 140722753356934 140722753357105 140722753357105 140722753359823 0
[pid=29070/tid=29072] ppid=29068 vsize=14091368 memory=671160 CPUtime=0.57 cores=1,3,5,7
/proc/29070/task/29072/stat : 29072 (java) S 29068 29068 24759 0 -1 1077944384 1264 0 0 0 47 10 0 0 20 0 15 0 223580508 14429560832 167790 33554432000 4194304 4196468 140722753351264 140031379028368 140031463970517 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 25702400 140722753356934 140722753357105 140722753357105 140722753359823 0
[pid=29070/tid=29073] ppid=29068 vsize=14091368 memory=671160 CPUtime=0.56 cores=1,3,5,7
/proc/29070/task/29073/stat : 29073 (java) S 29068 29068 24759 0 -1 1077944384 734 0 0 0 46 10 0 0 20 0 15 0 223580508 14429560832 167790 33554432000 4194304 4196468 140722753351264 140031377975568 140031463970517 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 25702400 140722753356934 140722753357105 140722753357105 140722753359823 0
[pid=29070/tid=29074] ppid=29068 vsize=14091368 memory=671160 CPUtime=0.55 cores=1,3,5,7
/proc/29070/task/29074/stat : 29074 (java) S 29068 29068 24759 0 -1 1077944384 2024 0 0 0 45 10 0 0 20 0 15 0 223580508 14429560832 167790 33554432000 4194304 4196468 140722753351264 140031376923280 140031463970517 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 25702400 140722753356934 140722753357105 140722753357105 140722753359823 0
[pid=29070/tid=29075] ppid=29068 vsize=14091368 memory=671160 CPUtime=0.56 cores=1,3,5,7
/proc/29070/task/29075/stat : 29075 (java) S 29068 29068 24759 0 -1 1077944384 474 0 0 0 46 10 0 0 20 0 15 0 223580508 14429560832 167790 33554432000 4194304 4196468 140722753351264 140031375870480 140031463970517 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 25702400 140722753356934 140722753357105 140722753357105 140722753359823 0
[pid=29070/tid=29076] ppid=29068 vsize=14091368 memory=671160 CPUtime=0.08 cores=1,3,5,7
/proc/29070/task/29076/stat : 29076 (java) S 29068 29068 24759 0 -1 1077944384 3490 0 0 0 5 3 0 0 20 0 15 0 223580510 14429560832 167790 33554432000 4194304 4196468 140722753351264 140030937385584 140031463971458 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 25702400 140722753356934 140722753357105 140722753357105 140722753359823 0
[pid=29070/tid=29077] ppid=29068 vsize=14091368 memory=1452 CPUtime=0 cores=1,3,5,7
/proc/29070/task/29077/stat : 29077 (java) S 29068 29068 24759 0 -1 1077944384 62 0 0 0 0 0 0 0 20 0 15 0 223580510 14429560832 167790 33554432000 4194304 4196468 140722753351264 140030936331616 140031463970517 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 25702400 140722753356934 140722753357105 140722753357105 140722753359823 0
[pid=29070/tid=29078] ppid=29068 vsize=14091368 memory=279470972803536 CPUtime=0 cores=1,3,5,7
/proc/29070/task/29078/stat : 29078 (java) S 29068 29068 24759 0 -1 1077944384 72 0 0 0 0 0 0 0 20 0 15 0 223580510 14429560832 167790 33554432000 4194304 4196468 140722753351264 140030935279232 140031463970517 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 25702400 140722753356934 140722753357105 140722753357105 140722753359823 0
[pid=29070/tid=29079] ppid=29068 vsize=14091368 memory=1452 CPUtime=0 cores=1,3,5,7
/proc/29070/task/29079/stat : 29079 (java) S 29068 29068 24759 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 223580513 14429560832 167790 33554432000 4194304 4196468 140722753351264 140030934227536 140031463978907 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 25702400 140722753356934 140722753357105 140722753357105 140722753359823 0
[pid=29070/tid=29080] ppid=29068 vsize=14091368 memory=671160 CPUtime=4.39 cores=1,3,5,7
/proc/29070/task/29080/stat : 29080 (java) S 29068 29068 24759 0 -1 1077944384 30471 0 0 0 435 4 0 0 20 0 15 0 223580513 14429560832 167790 33554432000 4194304 4196468 140722753351264 140030933174384 140031463971458 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 25702400 140722753356934 140722753357105 140722753357105 140722753359823 0
[pid=29070/tid=29081] ppid=29068 vsize=14091368 memory=671160 CPUtime=4.12 cores=1,3,5,7
/proc/29070/task/29081/stat : 29081 (java) S 29068 29068 24759 0 -1 1077944384 27499 0 0 0 409 3 0 0 20 0 15 0 223580513 14429560832 167790 33554432000 4194304 4196468 140722753351264 140030932121584 140031463971458 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 25702400 140722753356934 140722753357105 140722753357105 140722753359823 0
[pid=29070/tid=29082] ppid=29068 vsize=14091368 memory=60884 CPUtime=0.91 cores=1,3,5,7
/proc/29070/task/29082/stat : 29082 (java) S 29068 29068 24759 0 -1 1077944384 10330 0 0 0 89 2 0 0 20 0 15 0 223580513 14429560832 167790 33554432000 4194304 4196468 140722753351264 140030931069296 140031463971458 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 25702400 140722753356934 140722753357105 140722753357105 140722753359823 0
[pid=29070/tid=29083] ppid=29068 vsize=14091368 memory=6791534058613427641 CPUtime=0 cores=1,3,5,7
/proc/29070/task/29083/stat : 29083 (java) S 29068 29068 24759 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 223580513 14429560832 167790 33554432000 4194304 4196468 140722753351264 140030930016736 140031463970517 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 25702400 140722753356934 140722753357105 140722753357105 140722753359823 0
[pid=29070/tid=29084] ppid=29068 vsize=14091368 memory=671160 CPUtime=1.14 cores=1,3,5,7
/proc/29070/task/29084/stat : 29084 (java) S 29068 29068 24759 0 -1 1077944384 1525 0 0 0 51 63 0 0 20 0 15 0 223580513 14429560832 167790 33554432000 4194304 4196468 140722753351264 140030928964528 140031463971458 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 25702400 140722753356934 140722753357105 140722753357105 140722753359823 0
Current children cumulated CPU time: 2514.51 s
Current children cumulated vsize: 14204496 KiB
Current children cumulated memory: 672612 KiB



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+2507.8 s]
/proc/loadavg: 2.00 2.03 2.05 3/218 29268
/proc/meminfo: memFree=14697200/32770624 swapFree=67108792/67108860
[pid=29068] ppid=29065 vsize=113128 memory=1452 CPUtime=0 cores=1,3,5,7
/proc/29068/stat : 29068 (xcsp3-exec) S 29065 29068 24759 0 -1 4202496 535 0 0 0 0 0 0 0 20 0 1 0 223580507 115843072 363 33554432000 4194304 5098028 140734380945296 140734380943400 140541953639036 0 65536 4100 65538 18446744071579417331 0 0 17 5 0 0 0 0 0 7196144 7232144 9396224 140734380946490 140734380946692 140734380946692 140734380949450 0
/proc/29068/statm: 28282 363 306 221 0 87 0
[pid=29070] ppid=29068 vsize=14091368 memory=671160 CPUtime=2520.02 cores=1,3,5,7
/proc/29070/stat : 29070 (java) S 29068 29068 24759 0 -1 1077944320 114850 0 0 0 251888 114 0 0 20 0 15 0 223580507 14429560832 167790 33554432000 4194304 4196468 140722753351264 140722753333808 140031463960311 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 25702400 140722753356934 140722753357105 140722753357105 140722753359823 0
/proc/29070/statm: 3522842 167790 3444 1 0 3484036 0
[pid=29070/tid=29071] ppid=29068 vsize=14091368 memory=3304 CPUtime=2507.04 cores=1,3,5,7
/proc/29070/task/29071/stat : 29071 (java) R 29068 29068 24759 0 -1 4202560 35660 0 0 0 250694 10 0 0 20 0 15 0 223580508 14429560832 167790 33554432000 4194304 4196468 140722753351264 140031468197688 140031058610667 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 25702400 140722753356934 140722753357105 140722753357105 140722753359823 0
[pid=29070/tid=29072] ppid=29068 vsize=14091368 memory=496 CPUtime=0.57 cores=1,3,5,7
/proc/29070/task/29072/stat : 29072 (java) S 29068 29068 24759 0 -1 1077944384 1264 0 0 0 47 10 0 0 20 0 15 0 223580508 14429560832 167790 33554432000 4194304 4196468 140722753351264 140031379028368 140031463970517 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 25702400 140722753356934 140722753357105 140722753357105 140722753359823 0
[pid=29070/tid=29073] ppid=29068 vsize=14091368 memory=1616 CPUtime=0.56 cores=1,3,5,7
/proc/29070/task/29073/stat : 29073 (java) S 29068 29068 24759 0 -1 1077944384 734 0 0 0 46 10 0 0 20 0 15 0 223580508 14429560832 167790 33554432000 4194304 4196468 140722753351264 140031377975568 140031463970517 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 25702400 140722753356934 140722753357105 140722753357105 140722753359823 0
[pid=29070/tid=29074] ppid=29068 vsize=14091368 memory=1168 CPUtime=0.55 cores=1,3,5,7
/proc/29070/task/29074/stat : 29074 (java) S 29068 29068 24759 0 -1 1077944384 2024 0 0 0 45 10 0 0 20 0 15 0 223580508 14429560832 167790 33554432000 4194304 4196468 140722753351264 140031376923280 140031463970517 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 25702400 140722753356934 140722753357105 140722753357105 140722753359823 0
[pid=29070/tid=29075] ppid=29068 vsize=14091368 memory=928 CPUtime=0.56 cores=1,3,5,7
/proc/29070/task/29075/stat : 29075 (java) S 29068 29068 24759 0 -1 1077944384 474 0 0 0 46 10 0 0 20 0 15 0 223580508 14429560832 167790 33554432000 4194304 4196468 140722753351264 140031375870480 140031463970517 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 25702400 140722753356934 140722753357105 140722753357105 140722753359823 0
[pid=29070/tid=29076] ppid=29068 vsize=14091368 memory=2420 CPUtime=0.08 cores=1,3,5,7
/proc/29070/task/29076/stat : 29076 (java) S 29068 29068 24759 0 -1 1077944384 3490 0 0 0 5 3 0 0 20 0 15 0 223580510 14429560832 167790 33554432000 4194304 4196468 140722753351264 140030937385584 140031463971458 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 25702400 140722753356934 140722753357105 140722753357105 140722753359823 0
[pid=29070/tid=29077] ppid=29068 vsize=14091368 memory=164 CPUtime=0 cores=1,3,5,7
/proc/29070/task/29077/stat : 29077 (java) S 29068 29068 24759 0 -1 1077944384 62 0 0 0 0 0 0 0 20 0 15 0 223580510 14429560832 167790 33554432000 4194304 4196468 140722753351264 140030936331616 140031463970517 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 25702400 140722753356934 140722753357105 140722753357105 140722753359823 0
[pid=29070/tid=29078] ppid=29068 vsize=14091368 memory=7897517683652307531 CPUtime=0 cores=1,3,5,7
/proc/29070/task/29078/stat : 29078 (java) S 29068 29068 24759 0 -1 1077944384 72 0 0 0 0 0 0 0 20 0 15 0 223580510 14429560832 167790 33554432000 4194304 4196468 140722753351264 140030935279232 140031463970517 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 25702400 140722753356934 140722753357105 140722753357105 140722753359823 0
[pid=29070/tid=29079] ppid=29068 vsize=14091368 memory=8514726395715349656 CPUtime=0 cores=1,3,5,7
/proc/29070/task/29079/stat : 29079 (java) S 29068 29068 24759 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 223580513 14429560832 167790 33554432000 4194304 4196468 140722753351264 140030934227536 140031463978907 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 25702400 140722753356934 140722753357105 140722753357105 140722753359823 0
[pid=29070/tid=29080] ppid=29068 vsize=14091368 memory=3047711553320166262 CPUtime=4.39 cores=1,3,5,7
/proc/29070/task/29080/stat : 29080 (java) S 29068 29068 24759 0 -1 1077944384 30471 0 0 0 435 4 0 0 20 0 15 0 223580513 14429560832 167790 33554432000 4194304 4196468 140722753351264 140030933174384 140031463971458 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 25702400 140722753356934 140722753357105 140722753357105 140722753359823 0
[pid=29070/tid=29081] ppid=29068 vsize=14091368 memory=8514701219730523551 CPUtime=4.12 cores=1,3,5,7
/proc/29070/task/29081/stat : 29081 (java) S 29068 29068 24759 0 -1 1077944384 27499 0 0 0 409 3 0 0 20 0 15 0 223580513 14429560832 167790 33554432000 4194304 4196468 140722753351264 140030932121584 140031463971458 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 25702400 140722753356934 140722753357105 140722753357105 140722753359823 0
[pid=29070/tid=29082] ppid=29068 vsize=14091368 memory=7522257542392867941 CPUtime=0.91 cores=1,3,5,7
/proc/29070/task/29082/stat : 29082 (java) S 29068 29068 24759 0 -1 1077944384 10330 0 0 0 89 2 0 0 20 0 15 0 223580513 14429560832 167790 33554432000 4194304 4196468 140722753351264 140030931069296 140031463971458 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 25702400 140722753356934 140722753357105 140722753357105 140722753359823 0
[pid=29070/tid=29083] ppid=29068 vsize=14091368 memory=7453848158287520083 CPUtime=0 cores=1,3,5,7
/proc/29070/task/29083/stat : 29083 (java) S 29068 29068 24759 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 223580513 14429560832 167790 33554432000 4194304 4196468 140722753351264 140030930016736 140031463970517 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 25702400 140722753356934 140722753357105 140722753357105 140722753359823 0
[pid=29070/tid=29084] ppid=29068 vsize=14091368 memory=4639950512826379884 CPUtime=1.15 cores=1,3,5,7
/proc/29070/task/29084/stat : 29084 (java) S 29068 29068 24759 0 -1 1077944384 1527 0 0 0 51 64 0 0 20 0 15 0 223580513 14429560832 167790 33554432000 4194304 4196468 140722753351264 140030928964528 140031463971458 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 25702400 140722753356934 140722753357105 140722753357105 140722753359823 0
Current children cumulated CPU time: 2520.02 s
Current children cumulated vsize: 14204496 KiB
Current children cumulated memory: 672612 KiB

Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds

[startup+2507.81 s]
# the end of solver process 29068 was just reported to runsolver
# cumulated CPU time of all completed processes:  user=0.002162 s, system=0 s

[startup+2507.83 s]
# the end of solver process 29070 was just reported to runsolver
# cumulated CPU time of all completed processes:  user=2518.9 s, system=1.15515 s
# this solver process was not waited by its parent and was adopted by runsolver

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

Child status: 143
Real time (s): 2507.83
CPU time (s): 2520.06
CPU user time (s): 2518.9
CPU system time (s): 1.15515
CPU usage (%): 100.488
Max. virtual memory (cumulated for all children) (KiB): 14206564
Max. memory (cumulated for all children) (KiB): 672612

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2518.9
system time used= 1.15515
maximum resident set size= 675924
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 115971
page faults= 0
swaps= 0
block input operations= 0
block output operations= 2064
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 58419
involuntary context switches= 686


# summary of solver processes directly reported to runsolver:
#   pid: 29068,29070
#   total CPU time (s): 2520.06
#   total CPU user time (s): 2518.9
#   total CPU system time (s): 1.15515

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 15.9945 second user time and 23.2898 second system time

The end