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 (14638 MiB free)
memory of node 1: 16384 MiB (13752 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4306781-1534038962/watcher-4306781-1534038962 -o /tmp/evaluation-result-4306781-1534038962/solver-4306781-1534038962 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node102-1534038962-16488 --watchdog 2580 HOME/xcsp3-exec -seed 437380072 -dir HOME -tl 2520 -ml 11000 -p 1 HOME/instance-4306781-1534038962.xml
running on 4 cores: 0,2,4,6
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 2520 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 2550 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 2520 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB
Linux 3.10.0-514.16.1.el7.x86_64
Starting watchdog thread
solver pid=16517, runsolver pid=16513
Current StackSize limit: 8192 KiB
[startup+0.105351 s]*
/proc/loadavg: 1.01 1.10 1.49 5/220 16552
/proc/meminfo: memFree=29036668/32770624 swapFree=67030640/67108860
[pid=16517] ppid=16513 vsize=113128 memory=1452 CPUtime=0 cores=0,2,4,6
/proc/16517/stat : 16517 (xcsp3-exec) S 16513 16517 15061 0 -1 4202496 534 0 0 0 0 0 0 0 20 0 1 0 221459431 115843072 363 33554432000 4194304 5098028 140724075052000 140724075050104 140645405168252 0 65536 4100 65538 18446744071579417331 0 0 17 0 0 0 0 0 0 7196144 7232144 21618688 140724075054139 140724075054340 140724075054340 140724075057098 0
/proc/16517/statm: 28282 363 306 221 0 87 0
[pid=16524] ppid=16517 vsize=14082940 memory=29244 CPUtime=0.12 cores=0,2,4,6
/proc/16524/stat : 16524 (java) S 16517 16517 15061 0 -1 1077944320 5753 0 0 0 11 1 0 0 20 0 15 0 221459431 14420930560 7311 33554432000 4194304 4196468 140736004563040 140736004545584 139717231361783 0 0 0 16800975 18446744073709551615 0 0 17 6 0 0 0 0 0 6293624 6294260 31490048 140736004564102 140736004564273 140736004564273 140736004566991 0
/proc/16524/statm: 3520735 7311 2991 1 0 3483012 0
[pid=16524/tid=16526] ppid=16517 vsize=14082940 memory=4351193298018140048 CPUtime=0.1 cores=0,2,4,6
/proc/16524/task/16526/stat : 16526 (java) R 16517 16517 15061 0 -1 4202560 3753 0 0 0 9 1 0 0 20 0 15 0 221459432 14420930560 7311 33554432000 4194304 4196468 140736004563040 139717235594864 139717231373718 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 31490048 140736004564102 140736004564273 140736004564273 140736004566991 0
[pid=16524/tid=16531] ppid=16517 vsize=14082940 memory=-3689451258167578675 CPUtime=0 cores=0,2,4,6
/proc/16524/task/16531/stat : 16531 (java) S 16517 16517 15061 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 221459432 14420930560 7311 33554432000 4194304 4196468 140736004563040 139717168962192 139717231371989 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 31490048 140736004564102 140736004564273 140736004564273 140736004566991 0
[pid=16524/tid=16532] ppid=16517 vsize=14082940 memory=139924618991232 CPUtime=0 cores=0,2,4,6
/proc/16524/task/16532/stat : 16532 (java) S 16517 16517 15061 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 221459432 14420930560 7311 33554432000 4194304 4196468 140736004563040 139717167909392 139717231371989 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 31490048 140736004564102 140736004564273 140736004564273 140736004566991 0
[pid=16524/tid=16533] ppid=16517 vsize=14082940 memory=0 CPUtime=0 cores=0,2,4,6
/proc/16524/task/16533/stat : 16533 (java) S 16517 16517 15061 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 221459432 14420930560 7311 33554432000 4194304 4196468 140736004563040 139717166856592 139717231371989 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 31490048 140736004564102 140736004564273 140736004564273 140736004566991 0
[pid=16524/tid=16534] ppid=16517 vsize=14082940 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/16524/task/16534/stat : 16534 (java) S 16517 16517 15061 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 221459432 14420930560 7311 33554432000 4194304 4196468 140736004563040 139716823882000 139717231371989 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 31490048 140736004564102 140736004564273 140736004564273 140736004566991 0
[pid=16524/tid=16536] ppid=16517 vsize=14082940 memory=139924618991232 CPUtime=0 cores=0,2,4,6
/proc/16524/task/16536/stat : 16536 (java) S 16517 16517 15061 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 221459434 14420930560 7311 33554432000 4194304 4196468 140736004563040 139716772703088 139717231372930 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 31490048 140736004564102 140736004564273 140736004564273 140736004566991 0
[pid=16524/tid=16537] ppid=16517 vsize=14082940 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/16524/task/16537/stat : 16537 (java) S 16517 16517 15061 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 221459434 14420930560 7311 33554432000 4194304 4196468 140736004563040 139716771649056 139717231371989 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 31490048 140736004564102 140736004564273 140736004564273 140736004566991 0
[pid=16524/tid=16539] ppid=16517 vsize=14082940 memory=0 CPUtime=0 cores=0,2,4,6
/proc/16524/task/16539/stat : 16539 (java) S 16517 16517 15061 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 221459434 14420930560 7311 33554432000 4194304 4196468 140736004563040 139716770596208 139717231371989 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 31490048 140736004564102 140736004564273 140736004564273 140736004566991 0
[pid=16524/tid=16541] ppid=16517 vsize=14082940 memory=0 CPUtime=0 cores=0,2,4,6
/proc/16524/task/16541/stat : 16541 (java) S 16517 16517 15061 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 221459437 14420930560 7376 33554432000 4194304 4196468 140736004563040 139716769544528 139717231380379 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 31490048 140736004564102 140736004564273 140736004564273 140736004566991 0
[pid=16524/tid=16542] ppid=16517 vsize=14082940 memory=0 CPUtime=0 cores=0,2,4,6
/proc/16524/task/16542/stat : 16542 (java) S 16517 16517 15061 0 -1 1077944384 308 0 0 0 0 0 0 0 20 0 15 0 221459437 14420930560 7376 33554432000 4194304 4196468 140736004563040 139716768491888 139717231372930 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 31490048 140736004564102 140736004564273 140736004564273 140736004566991 0
[pid=16524/tid=16543] ppid=16517 vsize=14082940 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/16524/task/16543/stat : 16543 (java) S 16517 16517 15061 0 -1 1077944384 123 0 0 0 0 0 0 0 20 0 15 0 221459437 14420930560 7376 33554432000 4194304 4196468 140736004563040 139716767439088 139717231372930 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 31490048 140736004564102 140736004564273 140736004564273 140736004566991 0
[pid=16524/tid=16544] ppid=16517 vsize=14082940 memory=139924618991232 CPUtime=0.01 cores=0,2,4,6
/proc/16524/task/16544/stat : 16544 (java) R 16517 16517 15061 0 -1 4202560 265 0 0 0 1 0 0 0 20 0 15 0 221459437 14420930560 7376 33554432000 4194304 4196468 140736004563040 139716766386416 139717223598910 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 31490048 140736004564102 140736004564273 140736004564273 140736004566991 0
[pid=16524/tid=16546] ppid=16517 vsize=14082940 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/16524/task/16546/stat : 16546 (java) S 16517 16517 15061 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 221459437 14420930560 7376 33554432000 4194304 4196468 140736004563040 139716765333728 139717231371989 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 31490048 140736004564102 140736004564273 140736004564273 140736004566991 0
[pid=16524/tid=16547] ppid=16517 vsize=14082940 memory=139924618991232 CPUtime=0 cores=0,2,4,6
/proc/16524/task/16547/stat : 16547 (java) S 16517 16517 15061 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 221459437 14420930560 7376 33554432000 4194304 4196468 140736004563040 139716764282032 139717231372930 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 31490048 140736004564102 140736004564273 140736004564273 140736004566991 0
Current children cumulated CPU time: 0.12 s
Current children cumulated vsize: 14196068 KiB
Current children cumulated memory: 30696 KiB
[startup+0.210674 s]*
/proc/loadavg: 1.01 1.10 1.49 1/220 16552
/proc/meminfo: memFree=29018700/32770624 swapFree=67030640/67108860
[pid=16517] ppid=16513 vsize=113128 memory=1452 CPUtime=0 cores=0,2,4,6
/proc/16517/stat : 16517 (xcsp3-exec) S 16513 16517 15061 0 -1 4202496 534 0 0 0 0 0 0 0 20 0 1 0 221459431 115843072 363 33554432000 4194304 5098028 140724075052000 140724075050104 140645405168252 0 65536 4100 65538 18446744071579417331 0 0 17 0 0 0 0 0 0 7196144 7232144 21618688 140724075054139 140724075054340 140724075054340 140724075057098 0
/proc/16517/statm: 28282 363 306 221 0 87 0
[pid=16524] ppid=16517 vsize=14082940 memory=38552 CPUtime=0.27 cores=0,2,4,6
/proc/16524/stat : 16524 (java) S 16517 16517 15061 0 -1 1077944320 8111 0 0 0 25 2 0 0 20 0 15 0 221459431 14420930560 9638 33554432000 4194304 4196468 140736004563040 140736004545584 139717231361783 0 0 0 16800975 18446744073709551615 0 0 17 6 0 0 0 0 0 6293624 6294260 31490048 140736004564102 140736004564273 140736004564273 140736004566991 0
/proc/16524/statm: 3520735 9638 3170 1 0 3483012 0
[pid=16524/tid=16526] ppid=16517 vsize=14082940 memory=7883960649037381690 CPUtime=0.16 cores=0,2,4,6
/proc/16524/task/16526/stat : 16526 (java) D 16517 16517 15061 0 -1 4202560 5284 0 0 0 15 1 0 0 20 0 15 0 221459432 14420930560 9638 33554432000 4194304 4196468 140736004563040 139717235598080 139717231383709 0 4 0 16800975 18446744071580419588 0 0 -1 2 0 0 0 0 0 6293624 6294260 31490048 140736004564102 140736004564273 140736004564273 140736004566991 0
[pid=16524/tid=16531] ppid=16517 vsize=14082940 memory=8948 CPUtime=0 cores=0,2,4,6
/proc/16524/task/16531/stat : 16531 (java) S 16517 16517 15061 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 221459432 14420930560 9638 33554432000 4194304 4196468 140736004563040 139717168962192 139717231371989 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 31490048 140736004564102 140736004564273 140736004564273 140736004566991 0
[pid=16524/tid=16532] ppid=16517 vsize=14082940 memory=139924620165747 CPUtime=0 cores=0,2,4,6
/proc/16524/task/16532/stat : 16532 (java) S 16517 16517 15061 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 221459432 14420930560 9638 33554432000 4194304 4196468 140736004563040 139717167909392 139717231371989 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 31490048 140736004564102 140736004564273 140736004564273 140736004566991 0
[pid=16524/tid=16533] ppid=16517 vsize=14082940 memory=0 CPUtime=0 cores=0,2,4,6
/proc/16524/task/16533/stat : 16533 (java) S 16517 16517 15061 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 221459432 14420930560 9638 33554432000 4194304 4196468 140736004563040 139717166856592 139717231371989 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 31490048 140736004564102 140736004564273 140736004564273 140736004566991 0
[pid=16524/tid=16534] ppid=16517 vsize=14082940 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/16524/task/16534/stat : 16534 (java) S 16517 16517 15061 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 221459432 14420930560 9638 33554432000 4194304 4196468 140736004563040 139716823882000 139717231371989 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 31490048 140736004564102 140736004564273 140736004564273 140736004566991 0
[pid=16524/tid=16536] ppid=16517 vsize=14082940 memory=139924618991232 CPUtime=0 cores=0,2,4,6
/proc/16524/task/16536/stat : 16536 (java) S 16517 16517 15061 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 221459434 14420930560 9638 33554432000 4194304 4196468 140736004563040 139716772703088 139717231372930 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 31490048 140736004564102 140736004564273 140736004564273 140736004566991 0
[pid=16524/tid=16537] ppid=16517 vsize=14082940 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/16524/task/16537/stat : 16537 (java) S 16517 16517 15061 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 221459434 14420930560 9638 33554432000 4194304 4196468 140736004563040 139716771649056 139717231371989 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 31490048 140736004564102 140736004564273 140736004564273 140736004566991 0
[pid=16524/tid=16539] ppid=16517 vsize=14082940 memory=0 CPUtime=0 cores=0,2,4,6
/proc/16524/task/16539/stat : 16539 (java) S 16517 16517 15061 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 221459434 14420930560 9638 33554432000 4194304 4196468 140736004563040 139716770596208 139717231371989 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 31490048 140736004564102 140736004564273 140736004564273 140736004566991 0
[pid=16524/tid=16541] ppid=16517 vsize=14082940 memory=0 CPUtime=0 cores=0,2,4,6
/proc/16524/task/16541/stat : 16541 (java) S 16517 16517 15061 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 221459437 14420930560 9638 33554432000 4194304 4196468 140736004563040 139716769544528 139717231380379 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 31490048 140736004564102 140736004564273 140736004564273 140736004566991 0
[pid=16524/tid=16542] ppid=16517 vsize=14082940 memory=0 CPUtime=0.03 cores=0,2,4,6
/proc/16524/task/16542/stat : 16542 (java) S 16517 16517 15061 0 -1 1077944384 550 0 0 0 3 0 0 0 20 0 15 0 221459437 14420930560 9638 33554432000 4194304 4196468 140736004563040 139716768491888 139717231372930 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 31490048 140736004564102 140736004564273 140736004564273 140736004566991 0
[pid=16524/tid=16543] ppid=16517 vsize=14082940 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/16524/task/16543/stat : 16543 (java) S 16517 16517 15061 0 -1 1077944384 244 0 0 0 0 0 0 0 20 0 15 0 221459437 14420930560 9638 33554432000 4194304 4196468 140736004563040 139716767439088 139717231372930 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 31490048 140736004564102 140736004564273 140736004564273 140736004566991 0
[pid=16524/tid=16544] ppid=16517 vsize=14082940 memory=139924618991232 CPUtime=0.05 cores=0,2,4,6
/proc/16524/task/16544/stat : 16544 (java) S 16517 16517 15061 0 -1 1077944384 728 0 0 0 5 0 0 0 20 0 15 0 221459437 14420930560 9638 33554432000 4194304 4196468 140736004563040 139716766386288 139717231372930 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 31490048 140736004564102 140736004564273 140736004564273 140736004566991 0
[pid=16524/tid=16546] ppid=16517 vsize=14082940 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/16524/task/16546/stat : 16546 (java) S 16517 16517 15061 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 221459437 14420930560 9638 33554432000 4194304 4196468 140736004563040 139716765333728 139717231371989 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 31490048 140736004564102 140736004564273 140736004564273 140736004566991 0
[pid=16524/tid=16547] ppid=16517 vsize=14082940 memory=0 CPUtime=0 cores=0,2,4,6
/proc/16524/task/16547/stat : 16547 (java) S 16517 16517 15061 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 221459437 14420930560 9638 33554432000 4194304 4196468 140736004563040 139716764282032 139717231372930 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 31490048 140736004564102 140736004564273 140736004564273 140736004566991 0
Current children cumulated CPU time: 0.27 s
Current children cumulated vsize: 14196068 KiB
Current children cumulated memory: 40004 KiB
[startup+0.310903 s]*
/proc/loadavg: 1.01 1.10 1.49 2/220 16552
/proc/meminfo: memFree=29010016/32770624 swapFree=67030640/67108860
[pid=16517] ppid=16513 vsize=113128 memory=1452 CPUtime=0 cores=0,2,4,6
/proc/16517/stat : 16517 (xcsp3-exec) S 16513 16517 15061 0 -1 4202496 534 0 0 0 0 0 0 0 20 0 1 0 221459431 115843072 363 33554432000 4194304 5098028 140724075052000 140724075050104 140645405168252 0 65536 4100 65538 18446744071579417331 0 0 17 0 0 0 0 0 0 7196144 7232144 21618688 140724075054139 140724075054340 140724075054340 140724075057098 0
/proc/16517/statm: 28282 363 306 221 0 87 0
[pid=16524] ppid=16517 vsize=14087228 memory=41436 CPUtime=0.36 cores=0,2,4,6
/proc/16524/stat : 16524 (java) S 16517 16517 15061 0 -1 1077944320 8388 0 1 0 34 2 0 0 20 0 15 0 221459431 14425321472 10359 33554432000 4194304 4196468 140736004563040 140736004545584 139717231361783 0 0 0 16800975 18446744073709551615 0 0 17 6 0 0 0 0 0 6293624 6294260 31490048 140736004564102 140736004564273 140736004564273 140736004566991 0
/proc/16524/statm: 3521807 10359 3203 1 0 3483020 0
[pid=16524/tid=16526] ppid=16517 vsize=14087228 memory=6791534058613427641 CPUtime=0.21 cores=0,2,4,6
/proc/16524/task/16526/stat : 16526 (java) R 16517 16517 15061 0 -1 4202560 5558 0 1 0 20 1 0 0 20 0 15 0 221459432 14425321472 10359 33554432000 4194304 4196468 140736004563040 139717235573488 139717224041501 0 4 0 16800975 0 0 0 -1 0 0 0 8 0 0 6293624 6294260 31490048 140736004564102 140736004564273 140736004564273 140736004566991 0
[pid=16524/tid=16531] ppid=16517 vsize=14087228 memory=4872558044660077418 CPUtime=0 cores=0,2,4,6
/proc/16524/task/16531/stat : 16531 (java) S 16517 16517 15061 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 221459432 14425321472 10359 33554432000 4194304 4196468 140736004563040 139717168962192 139717231371989 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 31490048 140736004564102 140736004564273 140736004564273 140736004566991 0
[pid=16524/tid=16532] ppid=16517 vsize=14087196 memory=6944656592455359580 CPUtime=0 cores=0,2,4,6
/proc/16524/task/16532/stat : 16532 (java) S 16517 16517 15061 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 221459432 14425288704 10359 33554432000 4194304 4196468 140736004563040 139717167909392 139717231371989 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 31490048 140736004564102 140736004564273 140736004564273 140736004566991 0
[pid=16524/tid=16533] ppid=16517 vsize=14087196 memory=6943526294502006880 CPUtime=0 cores=0,2,4,6
/proc/16524/task/16533/stat : 16533 (java) S 16517 16517 15061 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 221459432 14425288704 10359 33554432000 4194304 4196468 140736004563040 139717166856592 139717231371989 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 31490048 140736004564102 140736004564273 140736004564273 140736004566991 0
[pid=16524/tid=16534] ppid=16517 vsize=14087196 memory=6944656575208382560 CPUtime=0 cores=0,2,4,6
/proc/16524/task/16534/stat : 16534 (java) S 16517 16517 15061 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 221459432 14425288704 10359 33554432000 4194304 4196468 140736004563040 139716823882000 139717231371989 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 31490048 140736004564102 140736004564273 140736004564273 140736004566991 0
[pid=16524/tid=16536] ppid=16517 vsize=14087196 memory=-3258418265892434876 CPUtime=0 cores=0,2,4,6
/proc/16524/task/16536/stat : 16536 (java) S 16517 16517 15061 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 221459434 14425288704 10359 33554432000 4194304 4196468 140736004563040 139716772703088 139717231372930 0 0 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 31490048 140736004564102 140736004564273 140736004564273 140736004566991 0
[pid=16524/tid=16537] ppid=16517 vsize=14087196 memory=4572146066226452084 CPUtime=0 cores=0,2,4,6
/proc/16524/task/16537/stat : 16537 (java) S 16517 16517 15061 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 221459434 14425288704 10359 33554432000 4194304 4196468 140736004563040 139716771649056 139717231371989 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 31490048 140736004564102 140736004564273 140736004564273 140736004566991 0
[pid=16524/tid=16539] ppid=16517 vsize=14087196 memory=6944613755495348631 CPUtime=0 cores=0,2,4,6
/proc/16524/task/16539/stat : 16539 (java) S 16517 16517 15061 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 221459434 14425288704 10359 33554432000 4194304 4196468 140736004563040 139716770596208 139717231371989 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 31490048 140736004564102 140736004564273 140736004564273 140736004566991 0
[pid=16524/tid=16541] ppid=16517 vsize=14087196 memory=-9001728533042062950 CPUtime=0 cores=0,2,4,6
/proc/16524/task/16541/stat : 16541 (java) S 16517 16517 15061 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 221459437 14425288704 10359 33554432000 4194304 4196468 140736004563040 139716769544528 139717231380379 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 31490048 140736004564102 140736004564273 140736004564273 140736004566991 0
[pid=16524/tid=16542] ppid=16517 vsize=14087228 memory=-8813974798734826869 CPUtime=0.03 cores=0,2,4,6
/proc/16524/task/16542/stat : 16542 (java) S 16517 16517 15061 0 -1 1077944384 550 0 0 0 3 0 0 0 20 0 15 0 221459437 14425321472 10359 33554432000 4194304 4196468 140736004563040 139716768491888 139717231372930 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 31490048 140736004564102 140736004564273 140736004564273 140736004566991 0
[pid=16524/tid=16543] ppid=16517 vsize=14087228 memory=7031125463459224206 CPUtime=0.01 cores=0,2,4,6
/proc/16524/task/16543/stat : 16543 (java) S 16517 16517 15061 0 -1 1077944384 244 0 0 0 1 0 0 0 20 0 15 0 221459437 14425321472 10359 33554432000 4194304 4196468 140736004563040 139716767439088 139717231372930 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 31490048 140736004564102 140736004564273 140736004564273 140736004566991 0
[pid=16524/tid=16544] ppid=16517 vsize=14087228 memory=4426078206164241782 CPUtime=0.08 cores=0,2,4,6
/proc/16524/task/16544/stat : 16544 (java) S 16517 16517 15061 0 -1 1077944384 741 0 0 0 8 0 0 0 20 0 15 0 221459437 14425321472 10359 33554432000 4194304 4196468 140736004563040 139716766386288 139717231372930 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 31490048 140736004564102 140736004564273 140736004564273 140736004566991 0
[pid=16524/tid=16546] ppid=16517 vsize=14087196 memory=0 CPUtime=0 cores=0,2,4,6
/proc/16524/task/16546/stat : 16546 (java) S 16517 16517 15061 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 221459437 14425288704 10359 33554432000 4194304 4196468 140736004563040 139716765333728 139717231371989 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 31490048 140736004564102 140736004564273 140736004564273 140736004566991 0
[pid=16524/tid=16547] ppid=16517 vsize=14087196 memory=0 CPUtime=0 cores=0,2,4,6
/proc/16524/task/16547/stat : 16547 (java) S 16517 16517 15061 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 221459437 14425288704 10359 33554432000 4194304 4196468 140736004563040 139716764282032 139717231372930 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 31490048 140736004564102 140736004564273 140736004564273 140736004566991 0
Current children cumulated CPU time: 0.36 s
Current children cumulated vsize: 14200356 KiB
Current children cumulated memory: 42888 KiB
[startup+0.701376 s]
/proc/loadavg: 1.01 1.10 1.49 6/220 16552
/proc/meminfo: memFree=28978552/32770624 swapFree=67030640/67108860
[pid=16517] ppid=16513 vsize=113128 memory=1452 CPUtime=0 cores=0,2,4,6
/proc/16517/stat : 16517 (xcsp3-exec) S 16513 16517 15061 0 -1 4202496 534 0 0 0 0 0 0 0 20 0 1 0 221459431 115843072 363 33554432000 4194304 5098028 140724075052000 140724075050104 140645405168252 0 65536 4100 65538 18446744071579417331 0 0 17 0 0 0 0 0 0 7196144 7232144 21618688 140724075054139 140724075054340 140724075054340 140724075057098 0
/proc/16517/statm: 28282 363 306 221 0 87 0
[pid=16524] ppid=16517 vsize=14089320 memory=67736 CPUtime=1.32 cores=0,2,4,6
/proc/16524/stat : 16524 (java) S 16517 16517 15061 0 -1 1077944320 12149 0 1 0 128 4 0 0 20 0 15 0 221459431 14427463680 16934 33554432000 4194304 4196468 140736004563040 140736004545584 139717231361783 0 0 0 16800975 18446744073709551615 0 0 17 6 0 0 0 0 0 6293624 6294260 31490048 140736004564102 140736004564273 140736004564273 140736004566991 0
/proc/16524/statm: 3522330 16934 3358 1 0 3483524 0
[pid=16524/tid=16526] ppid=16517 vsize=14089320 memory=0 CPUtime=0.58 cores=0,2,4,6
/proc/16524/task/16526/stat : 16526 (java) R 16517 16517 15061 0 -1 4202560 6921 0 1 0 56 2 0 0 20 0 15 0 221459432 14427463680 16934 33554432000 4194304 4196468 140736004563040 139717235600384 139716850125924 0 4 0 16800975 0 0 0 -1 0 0 0 8 0 0 6293624 6294260 31490048 140736004564102 140736004564273 140736004564273 140736004566991 0
[pid=16524/tid=16531] ppid=16517 vsize=14089320 memory=0 CPUtime=0 cores=0,2,4,6
/proc/16524/task/16531/stat : 16531 (java) S 16517 16517 15061 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 221459432 14427463680 16934 33554432000 4194304 4196468 140736004563040 139717168962192 139717231371989 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 31490048 140736004564102 140736004564273 140736004564273 140736004566991 0
[pid=16524/tid=16532] ppid=16517 vsize=14089320 memory=58088 CPUtime=0 cores=0,2,4,6
/proc/16524/task/16532/stat : 16532 (java) S 16517 16517 15061 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 221459432 14427463680 16934 33554432000 4194304 4196468 140736004563040 139717167909392 139717231371989 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 31490048 140736004564102 140736004564273 140736004564273 140736004566991 0
[pid=16524/tid=16533] ppid=16517 vsize=14089320 memory=776 CPUtime=0 cores=0,2,4,6
/proc/16524/task/16533/stat : 16533 (java) S 16517 16517 15061 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 221459432 14427463680 16934 33554432000 4194304 4196468 140736004563040 139717166856592 139717231371989 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 31490048 140736004564102 140736004564273 140736004564273 140736004566991 0
[pid=16524/tid=16534] ppid=16517 vsize=14089320 memory=1876 CPUtime=0 cores=0,2,4,6
/proc/16524/task/16534/stat : 16534 (java) S 16517 16517 15061 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 221459432 14427463680 16934 33554432000 4194304 4196468 140736004563040 139716823882000 139717231371989 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 31490048 140736004564102 140736004564273 140736004564273 140736004566991 0
[pid=16524/tid=16536] ppid=16517 vsize=14089320 memory=1396 CPUtime=0 cores=0,2,4,6
/proc/16524/task/16536/stat : 16536 (java) S 16517 16517 15061 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 221459434 14427463680 16934 33554432000 4194304 4196468 140736004563040 139716772703088 139717231372930 0 0 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 31490048 140736004564102 140736004564273 140736004564273 140736004566991 0
[pid=16524/tid=16537] ppid=16517 vsize=14089320 memory=1684 CPUtime=0 cores=0,2,4,6
/proc/16524/task/16537/stat : 16537 (java) S 16517 16517 15061 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 221459434 14427463680 16934 33554432000 4194304 4196468 140736004563040 139716771649056 139717231371989 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 31490048 140736004564102 140736004564273 140736004564273 140736004566991 0
[pid=16524/tid=16539] ppid=16517 vsize=14089320 memory=768 CPUtime=0 cores=0,2,4,6
/proc/16524/task/16539/stat : 16539 (java) S 16517 16517 15061 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 221459434 14427463680 16934 33554432000 4194304 4196468 140736004563040 139716770596208 139717231371989 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 31490048 140736004564102 140736004564273 140736004564273 140736004566991 0
[pid=16524/tid=16541] ppid=16517 vsize=14089320 memory=5260 CPUtime=0 cores=0,2,4,6
/proc/16524/task/16541/stat : 16541 (java) S 16517 16517 15061 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 221459437 14427463680 16934 33554432000 4194304 4196468 140736004563040 139716769544528 139717231380379 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 31490048 140736004564102 140736004564273 140736004564273 140736004566991 0
[pid=16524/tid=16542] ppid=16517 vsize=14089320 memory=11068 CPUtime=0.22 cores=0,2,4,6
/proc/16524/task/16542/stat : 16542 (java) R 16517 16517 15061 0 -1 4202560 1401 0 0 0 22 0 0 0 20 0 15 0 221459437 14427463680 16934 33554432000 4194304 4196468 140736004563040 139716768477912 139717212909075 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 31490048 140736004564102 140736004564273 140736004564273 140736004566991 0
[pid=16524/tid=16543] ppid=16517 vsize=14089320 memory=1192 CPUtime=0.17 cores=0,2,4,6
/proc/16524/task/16543/stat : 16543 (java) R 16517 16517 15061 0 -1 4202560 928 0 0 0 17 0 0 0 20 0 15 0 221459437 14427463680 16934 33554432000 4194304 4196468 140736004563040 139716767429200 139717211210544 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 31490048 140736004564102 140736004564273 140736004564273 140736004566991 0
[pid=16524/tid=16544] ppid=16517 vsize=14089320 memory=1520 CPUtime=0.3 cores=0,2,4,6
/proc/16524/task/16544/stat : 16544 (java) S 16517 16517 15061 0 -1 1077944384 1591 0 0 0 30 0 0 0 20 0 15 0 221459437 14427463680 16934 33554432000 4194304 4196468 140736004563040 139716766386288 139717231372930 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 31490048 140736004564102 140736004564273 140736004564273 140736004566991 0
[pid=16524/tid=16546] ppid=16517 vsize=14089320 memory=2680 CPUtime=0 cores=0,2,4,6
/proc/16524/task/16546/stat : 16546 (java) S 16517 16517 15061 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 221459437 14427463680 16934 33554432000 4194304 4196468 140736004563040 139716765333728 139717231371989 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 31490048 140736004564102 140736004564273 140736004564273 140736004566991 0
[pid=16524/tid=16547] ppid=16517 vsize=14089320 memory=3160 CPUtime=0 cores=0,2,4,6
/proc/16524/task/16547/stat : 16547 (java) S 16517 16517 15061 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 221459437 14427463680 16934 33554432000 4194304 4196468 140736004563040 139716764282032 139717231372930 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 31490048 140736004564102 140736004564273 140736004564273 140736004566991 0
Current children cumulated CPU time: 1.32 s
Current children cumulated vsize: 14202448 KiB
Current children cumulated memory: 69188 KiB
[startup+1.50138 s]
/proc/loadavg: 1.01 1.10 1.49 9/220 16552
/proc/meminfo: memFree=28928200/32770624 swapFree=67030640/67108860
[pid=16517] ppid=16513 vsize=113128 memory=1452 CPUtime=0 cores=0,2,4,6
/proc/16517/stat : 16517 (xcsp3-exec) S 16513 16517 15061 0 -1 4202496 534 0 0 0 0 0 0 0 20 0 1 0 221459431 115843072 363 33554432000 4194304 5098028 140724075052000 140724075050104 140645405168252 0 65536 4100 65538 18446744071579417331 0 0 17 0 0 0 0 0 0 7196144 7232144 21618688 140724075054139 140724075054340 140724075054340 140724075057098 0
/proc/16517/statm: 28282 363 306 221 0 87 0
################
# More data... #
################
/proc/16524/task/16539/stat : 16539 (java) S 16517 16517 15061 0 -1 1077944384 61 0 0 0 0 0 0 0 20 0 15 0 221459434 14427463680 508900 33554432000 4194304 4196468 140736004563040 139716770596208 139717231371989 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 31490048 140736004564102 140736004564273 140736004564273 140736004566991 0
[pid=16524/tid=16541] ppid=16517 vsize=14089320 memory=1452 CPUtime=0 cores=0,2,4,6
/proc/16524/task/16541/stat : 16541 (java) S 16517 16517 15061 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 221459437 14427463680 508900 33554432000 4194304 4196468 140736004563040 139716769544528 139717231380379 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 31490048 140736004564102 140736004564273 140736004564273 140736004566991 0
[pid=16524/tid=16542] ppid=16517 vsize=14089320 memory=2031504 CPUtime=1.86 cores=0,2,4,6
/proc/16524/task/16542/stat : 16542 (java) S 16517 16517 15061 0 -1 1077944384 12308 0 0 0 184 2 0 0 20 0 15 0 221459437 14427463680 508900 33554432000 4194304 4196468 140736004563040 139716768491888 139717231372930 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 31490048 140736004564102 140736004564273 140736004564273 140736004566991 0
[pid=16524/tid=16543] ppid=16517 vsize=14089320 memory=58164 CPUtime=1.44 cores=0,2,4,6
/proc/16524/task/16543/stat : 16543 (java) S 16517 16517 15061 0 -1 1077944384 8122 0 0 0 144 0 0 0 20 0 15 0 221459437 14427463680 508900 33554432000 4194304 4196468 140736004563040 139716767439088 139717231372930 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 31490048 140736004564102 140736004564273 140736004564273 140736004566991 0
[pid=16524/tid=16544] ppid=16517 vsize=14089320 memory=776 CPUtime=0.47 cores=0,2,4,6
/proc/16524/task/16544/stat : 16544 (java) S 16517 16517 15061 0 -1 1077944384 6837 0 0 0 46 1 0 0 20 0 15 0 221459437 14427463680 508900 33554432000 4194304 4196468 140736004563040 139716766386288 139717231372930 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 31490048 140736004564102 140736004564273 140736004564273 140736004566991 0
[pid=16524/tid=16546] ppid=16517 vsize=14089320 memory=2035600 CPUtime=0 cores=0,2,4,6
/proc/16524/task/16546/stat : 16546 (java) S 16517 16517 15061 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 221459437 14427463680 508900 33554432000 4194304 4196468 140736004563040 139716765333728 139717231371989 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 31490048 140736004564102 140736004564273 140736004564273 140736004566991 0
[pid=16524/tid=16547] ppid=16517 vsize=14089320 memory=3544 CPUtime=0.8 cores=0,2,4,6
/proc/16524/task/16547/stat : 16547 (java) S 16517 16517 15061 0 -1 1077944384 1327 0 0 0 35 45 0 0 20 0 15 0 221459437 14427463680 508900 33554432000 4194304 4196468 140736004563040 139716764282032 139717231372930 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 31490048 140736004564102 140736004564273 140736004564273 140736004566991 0
Current children cumulated CPU time: 2394.36 s
Current children cumulated vsize: 14202448 KiB
Current children cumulated memory: 2037052 KiB
[startup+2442.3 s]
/proc/loadavg: 1.78 1.62 1.60 4/217 16649
/proc/meminfo: memFree=26012632/32770624 swapFree=67030644/67108860
[pid=16517] ppid=16513 vsize=113128 memory=1452 CPUtime=0 cores=0,2,4,6
/proc/16517/stat : 16517 (xcsp3-exec) S 16513 16517 15061 0 -1 4202496 534 0 0 0 0 0 0 0 20 0 1 0 221459431 115843072 363 33554432000 4194304 5098028 140724075052000 140724075050104 140645405168252 0 65536 4100 65538 18446744071579417331 0 0 17 0 0 0 0 0 0 7196144 7232144 21618688 140724075054139 140724075054340 140724075054340 140724075057098 0
/proc/16517/statm: 28282 363 306 221 0 87 0
[pid=16524] ppid=16517 vsize=14089320 memory=2035600 CPUtime=2454.45 cores=0,2,4,6
/proc/16524/stat : 16524 (java) S 16517 16517 15061 0 -1 1077944320 212596 0 1 0 244645 800 0 0 20 0 15 0 221459431 14427463680 508900 33554432000 4194304 4196468 140736004563040 140736004545584 139717231361783 0 0 0 16800975 18446744073709551615 0 0 17 6 0 0 0 0 0 6293624 6294260 31490048 140736004564102 140736004564273 140736004564273 140736004566991 0
/proc/16524/statm: 3522330 508900 3437 1 0 3483524 0
[pid=16524/tid=16526] ppid=16517 vsize=14089320 memory=2035600 CPUtime=2437.92 cores=0,2,4,6
/proc/16524/task/16526/stat : 16526 (java) R 16517 16517 15061 0 -1 4202560 129128 0 1 0 243083 709 0 0 20 0 15 0 221459432 14427463680 508900 33554432000 4194304 4196468 140736004563040 139717235601520 139716849749120 0 4 0 16800975 0 0 0 -1 4 0 0 8 0 0 6293624 6294260 31490048 140736004564102 140736004564273 140736004564273 140736004566991 0
[pid=16524/tid=16531] ppid=16517 vsize=14089320 memory=2035600 CPUtime=2.65 cores=0,2,4,6
/proc/16524/task/16531/stat : 16531 (java) S 16517 16517 15061 0 -1 1077944384 8410 0 0 0 257 8 0 0 20 0 15 0 221459432 14427463680 508900 33554432000 4194304 4196468 140736004563040 139717168962192 139717231371989 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 31490048 140736004564102 140736004564273 140736004564273 140736004566991 0
[pid=16524/tid=16532] ppid=16517 vsize=14089320 memory=2035600 CPUtime=2.65 cores=0,2,4,6
/proc/16524/task/16532/stat : 16532 (java) S 16517 16517 15061 0 -1 1077944384 8099 0 0 0 258 7 0 0 20 0 15 0 221459432 14427463680 508900 33554432000 4194304 4196468 140736004563040 139717167909392 139717231371989 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 31490048 140736004564102 140736004564273 140736004564273 140736004566991 0
[pid=16524/tid=16533] ppid=16517 vsize=14089320 memory=1452 CPUtime=2.65 cores=0,2,4,6
/proc/16524/task/16533/stat : 16533 (java) S 16517 16517 15061 0 -1 1077944384 8495 0 0 0 254 11 0 0 20 0 15 0 221459432 14427463680 508900 33554432000 4194304 4196468 140736004563040 139717166856592 139717231371989 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 31490048 140736004564102 140736004564273 140736004564273 140736004566991 0
[pid=16524/tid=16534] ppid=16517 vsize=14089320 memory=2035600 CPUtime=2.65 cores=0,2,4,6
/proc/16524/task/16534/stat : 16534 (java) S 16517 16517 15061 0 -1 1077944384 8381 0 0 0 256 9 0 0 20 0 15 0 221459432 14427463680 508900 33554432000 4194304 4196468 140736004563040 139716823882000 139717231371989 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 31490048 140736004564102 140736004564273 140736004564273 140736004566991 0
[pid=16524/tid=16536] ppid=16517 vsize=14089320 memory=6791534058613427641 CPUtime=1.27 cores=0,2,4,6
/proc/16524/task/16536/stat : 16536 (java) S 16517 16517 15061 0 -1 1077944384 20068 0 0 0 99 28 0 0 20 0 15 0 221459434 14427463680 508900 33554432000 4194304 4196468 140736004563040 139716772703088 139717231372930 0 0 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 31490048 140736004564102 140736004564273 140736004564273 140736004566991 0
[pid=16524/tid=16537] ppid=16517 vsize=14089320 memory=1876 CPUtime=0 cores=0,2,4,6
/proc/16524/task/16537/stat : 16537 (java) S 16517 16517 15061 0 -1 1077944384 73 0 0 0 0 0 0 0 20 0 15 0 221459434 14427463680 508900 33554432000 4194304 4196468 140736004563040 139716771649056 139717231371989 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 31490048 140736004564102 140736004564273 140736004564273 140736004566991 0
[pid=16524/tid=16539] ppid=16517 vsize=14089320 memory=1452 CPUtime=0 cores=0,2,4,6
/proc/16524/task/16539/stat : 16539 (java) S 16517 16517 15061 0 -1 1077944384 61 0 0 0 0 0 0 0 20 0 15 0 221459434 14427463680 508900 33554432000 4194304 4196468 140736004563040 139716770596208 139717231371989 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 31490048 140736004564102 140736004564273 140736004564273 140736004566991 0
[pid=16524/tid=16541] ppid=16517 vsize=14089320 memory=1452 CPUtime=0 cores=0,2,4,6
/proc/16524/task/16541/stat : 16541 (java) S 16517 16517 15061 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 221459437 14427463680 508900 33554432000 4194304 4196468 140736004563040 139716769544528 139717231380379 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 31490048 140736004564102 140736004564273 140736004564273 140736004566991 0
[pid=16524/tid=16542] ppid=16517 vsize=14089320 memory=2035600 CPUtime=1.86 cores=0,2,4,6
/proc/16524/task/16542/stat : 16542 (java) S 16517 16517 15061 0 -1 1077944384 12310 0 0 0 184 2 0 0 20 0 15 0 221459437 14427463680 508900 33554432000 4194304 4196468 140736004563040 139716768491888 139717231372930 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 31490048 140736004564102 140736004564273 140736004564273 140736004566991 0
[pid=16524/tid=16543] ppid=16517 vsize=14089320 memory=592505330154958083 CPUtime=1.44 cores=0,2,4,6
/proc/16524/task/16543/stat : 16543 (java) S 16517 16517 15061 0 -1 1077944384 8126 0 0 0 144 0 0 0 20 0 15 0 221459437 14427463680 508900 33554432000 4194304 4196468 140736004563040 139716767439088 139717231372930 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 31490048 140736004564102 140736004564273 140736004564273 140736004566991 0
[pid=16524/tid=16544] ppid=16517 vsize=14089320 memory=1452 CPUtime=0.47 cores=0,2,4,6
/proc/16524/task/16544/stat : 16544 (java) S 16517 16517 15061 0 -1 1077944384 6839 0 0 0 46 1 0 0 20 0 15 0 221459437 14427463680 508900 33554432000 4194304 4196468 140736004563040 139716766386288 139717231372930 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 31490048 140736004564102 140736004564273 140736004564273 140736004566991 0
[pid=16524/tid=16546] ppid=16517 vsize=14089320 memory=2035600 CPUtime=0 cores=0,2,4,6
/proc/16524/task/16546/stat : 16546 (java) S 16517 16517 15061 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 221459437 14427463680 508900 33554432000 4194304 4196468 140736004563040 139716765333728 139717231371989 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 31490048 140736004564102 140736004564273 140736004564273 140736004566991 0
[pid=16524/tid=16547] ppid=16517 vsize=14089320 memory=1452 CPUtime=0.81 cores=0,2,4,6
/proc/16524/task/16547/stat : 16547 (java) S 16517 16517 15061 0 -1 1077944384 1363 0 0 0 35 46 0 0 20 0 15 0 221459437 14427463680 508900 33554432000 4194304 4196468 140736004563040 139716764282032 139717231372930 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 31490048 140736004564102 140736004564273 140736004564273 140736004566991 0
Current children cumulated CPU time: 2454.45 s
Current children cumulated vsize: 14202448 KiB
Current children cumulated memory: 2037052 KiB
[startup+2502.3 s]
/proc/loadavg: 2.66 1.93 1.71 3/217 16650
/proc/meminfo: memFree=21304800/32770624 swapFree=67030644/67108860
[pid=16517] ppid=16513 vsize=113128 memory=1452 CPUtime=0 cores=0,2,4,6
/proc/16517/stat : 16517 (xcsp3-exec) S 16513 16517 15061 0 -1 4202496 534 0 0 0 0 0 0 0 20 0 1 0 221459431 115843072 363 33554432000 4194304 5098028 140724075052000 140724075050104 140645405168252 0 65536 4100 65538 18446744071579417331 0 0 17 0 0 0 0 0 0 7196144 7232144 21618688 140724075054139 140724075054340 140724075054340 140724075057098 0
/proc/16517/statm: 28282 363 306 221 0 87 0
[pid=16524] ppid=16517 vsize=14089320 memory=2035600 CPUtime=2514.52 cores=0,2,4,6
/proc/16524/stat : 16524 (java) S 16517 16517 15061 0 -1 1077944320 222056 0 1 0 250650 802 0 0 20 0 15 0 221459431 14427463680 508900 33554432000 4194304 4196468 140736004563040 140736004545584 139717231361783 0 0 0 16800975 18446744073709551615 0 0 17 6 0 0 0 0 0 6293624 6294260 31490048 140736004564102 140736004564273 140736004564273 140736004566991 0
/proc/16524/statm: 3522330 508900 3437 1 0 3483524 0
[pid=16524/tid=16526] ppid=16517 vsize=14089320 memory=2035600 CPUtime=2497.89 cores=0,2,4,6
/proc/16524/task/16526/stat : 16526 (java) R 16517 16517 15061 0 -1 4202560 136271 0 1 0 249079 710 0 0 20 0 15 0 221459432 14427463680 508900 33554432000 4194304 4196468 140736004563040 139717235601520 139716851162135 0 4 0 16800975 0 0 0 -1 4 0 0 8 0 0 6293624 6294260 31490048 140736004564102 140736004564273 140736004564273 140736004566991 0
[pid=16524/tid=16531] ppid=16517 vsize=14089320 memory=2035600 CPUtime=2.66 cores=0,2,4,6
/proc/16524/task/16531/stat : 16531 (java) S 16517 16517 15061 0 -1 1077944384 8698 0 0 0 258 8 0 0 20 0 15 0 221459432 14427463680 508900 33554432000 4194304 4196468 140736004563040 139717168962192 139717231371989 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 31490048 140736004564102 140736004564273 140736004564273 140736004566991 0
[pid=16524/tid=16532] ppid=16517 vsize=14089320 memory=1452 CPUtime=2.67 cores=0,2,4,6
/proc/16524/task/16532/stat : 16532 (java) S 16517 16517 15061 0 -1 1077944384 8343 0 0 0 260 7 0 0 20 0 15 0 221459432 14427463680 508900 33554432000 4194304 4196468 140736004563040 139717167909392 139717231371989 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 31490048 140736004564102 140736004564273 140736004564273 140736004566991 0
[pid=16524/tid=16533] ppid=16517 vsize=14089320 memory=3544 CPUtime=2.67 cores=0,2,4,6
/proc/16524/task/16533/stat : 16533 (java) S 16517 16517 15061 0 -1 1077944384 9026 0 0 0 256 11 0 0 20 0 15 0 221459432 14427463680 508900 33554432000 4194304 4196468 140736004563040 139717166856592 139717231371989 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 31490048 140736004564102 140736004564273 140736004564273 140736004566991 0
[pid=16524/tid=16534] ppid=16517 vsize=14089320 memory=1452 CPUtime=2.67 cores=0,2,4,6
/proc/16524/task/16534/stat : 16534 (java) S 16517 16517 15061 0 -1 1077944384 9430 0 0 0 258 9 0 0 20 0 15 0 221459432 14427463680 508900 33554432000 4194304 4196468 140736004563040 139716823882000 139717231371989 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 31490048 140736004564102 140736004564273 140736004564273 140736004566991 0
[pid=16524/tid=16536] ppid=16517 vsize=14089320 memory=3544 CPUtime=1.28 cores=0,2,4,6
/proc/16524/task/16536/stat : 16536 (java) S 16517 16517 15061 0 -1 1077944384 20236 0 0 0 100 28 0 0 20 0 15 0 221459434 14427463680 508900 33554432000 4194304 4196468 140736004563040 139716772703088 139717231372930 0 0 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 31490048 140736004564102 140736004564273 140736004564273 140736004566991 0
[pid=16524/tid=16537] ppid=16517 vsize=14089320 memory=1452 CPUtime=0 cores=0,2,4,6
/proc/16524/task/16537/stat : 16537 (java) S 16517 16517 15061 0 -1 1077944384 73 0 0 0 0 0 0 0 20 0 15 0 221459434 14427463680 508900 33554432000 4194304 4196468 140736004563040 139716771649056 139717231371989 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 31490048 140736004564102 140736004564273 140736004564273 140736004566991 0
[pid=16524/tid=16539] ppid=16517 vsize=14089320 memory=1452 CPUtime=0 cores=0,2,4,6
/proc/16524/task/16539/stat : 16539 (java) S 16517 16517 15061 0 -1 1077944384 61 0 0 0 0 0 0 0 20 0 15 0 221459434 14427463680 508900 33554432000 4194304 4196468 140736004563040 139716770596208 139717231371989 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 31490048 140736004564102 140736004564273 140736004564273 140736004566991 0
[pid=16524/tid=16541] ppid=16517 vsize=14089320 memory=1452 CPUtime=0 cores=0,2,4,6
/proc/16524/task/16541/stat : 16541 (java) S 16517 16517 15061 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 221459437 14427463680 508900 33554432000 4194304 4196468 140736004563040 139716769544528 139717231380379 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 31490048 140736004564102 140736004564273 140736004564273 140736004566991 0
[pid=16524/tid=16542] ppid=16517 vsize=14089320 memory=2035600 CPUtime=1.86 cores=0,2,4,6
/proc/16524/task/16542/stat : 16542 (java) S 16517 16517 15061 0 -1 1077944384 12314 0 0 0 184 2 0 0 20 0 15 0 221459437 14427463680 508900 33554432000 4194304 4196468 140736004563040 139716768491888 139717231372930 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 31490048 140736004564102 140736004564273 140736004564273 140736004566991 0
[pid=16524/tid=16543] ppid=16517 vsize=14089320 memory=1452 CPUtime=1.44 cores=0,2,4,6
/proc/16524/task/16543/stat : 16543 (java) S 16517 16517 15061 0 -1 1077944384 8130 0 0 0 144 0 0 0 20 0 15 0 221459437 14427463680 508900 33554432000 4194304 4196468 140736004563040 139716767439088 139717231372930 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 31490048 140736004564102 140736004564273 140736004564273 140736004566991 0
[pid=16524/tid=16544] ppid=16517 vsize=14089320 memory=2035600 CPUtime=0.47 cores=0,2,4,6
/proc/16524/task/16544/stat : 16544 (java) S 16517 16517 15061 0 -1 1077944384 6845 0 0 0 46 1 0 0 20 0 15 0 221459437 14427463680 508900 33554432000 4194304 4196468 140736004563040 139716766386288 139717231372930 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 31490048 140736004564102 140736004564273 140736004564273 140736004566991 0
[pid=16524/tid=16546] ppid=16517 vsize=14089320 memory=1452 CPUtime=0 cores=0,2,4,6
/proc/16524/task/16546/stat : 16546 (java) S 16517 16517 15061 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 221459437 14427463680 508900 33554432000 4194304 4196468 140736004563040 139716765333728 139717231371989 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 31490048 140736004564102 140736004564273 140736004564273 140736004566991 0
[pid=16524/tid=16547] ppid=16517 vsize=14089320 memory=2035600 CPUtime=0.84 cores=0,2,4,6
/proc/16524/task/16547/stat : 16547 (java) S 16517 16517 15061 0 -1 1077944384 1386 0 0 0 36 48 0 0 20 0 15 0 221459437 14427463680 508900 33554432000 4194304 4196468 140736004563040 139716764282032 139717231372930 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 31490048 140736004564102 140736004564273 140736004564273 140736004566991 0
Current children cumulated CPU time: 2514.52 s
Current children cumulated vsize: 14202448 KiB
Current children cumulated memory: 2037052 KiB
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+2507.8 s]
/proc/loadavg: 2.60 1.93 1.71 3/217 16650
/proc/meminfo: memFree=26586120/32770624 swapFree=67030644/67108860
[pid=16517] ppid=16513 vsize=113128 memory=1452 CPUtime=0 cores=0,2,4,6
/proc/16517/stat : 16517 (xcsp3-exec) S 16513 16517 15061 0 -1 4202496 534 0 0 0 0 0 0 0 20 0 1 0 221459431 115843072 363 33554432000 4194304 5098028 140724075052000 140724075050104 140645405168252 0 65536 4100 65538 18446744071579417331 0 0 17 0 0 0 0 0 0 7196144 7232144 21618688 140724075054139 140724075054340 140724075054340 140724075057098 0
/proc/16517/statm: 28282 363 306 221 0 87 0
[pid=16524] ppid=16517 vsize=14089320 memory=2035600 CPUtime=2520.04 cores=0,2,4,6
/proc/16524/stat : 16524 (java) S 16517 16517 15061 0 -1 1077944320 224753 0 1 0 251202 802 0 0 20 0 15 0 221459431 14427463680 508900 33554432000 4194304 4196468 140736004563040 140736004545584 139717231361783 0 0 0 16800975 18446744073709551615 0 0 17 6 0 0 0 0 0 6293624 6294260 31490048 140736004564102 140736004564273 140736004564273 140736004566991 0
/proc/16524/statm: 3522330 508900 3437 1 0 3483524 0
[pid=16524/tid=16526] ppid=16517 vsize=14089320 memory=6791534058613427641 CPUtime=2503.39 cores=0,2,4,6
/proc/16524/task/16526/stat : 16526 (java) R 16517 16517 15061 0 -1 4202560 136827 0 1 0 249629 710 0 0 20 0 15 0 221459432 14427463680 508900 33554432000 4194304 4196468 140736004563040 139717235601520 139716850635252 0 4 0 16800975 0 0 0 -1 0 0 0 8 0 0 6293624 6294260 31490048 140736004564102 140736004564273 140736004564273 140736004566991 0
[pid=16524/tid=16531] ppid=16517 vsize=14089320 memory=916 CPUtime=2.67 cores=0,2,4,6
/proc/16524/task/16531/stat : 16531 (java) S 16517 16517 15061 0 -1 1077944384 8939 0 0 0 259 8 0 0 20 0 15 0 221459432 14427463680 508900 33554432000 4194304 4196468 140736004563040 139717168962192 139717231371989 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 31490048 140736004564102 140736004564273 140736004564273 140736004566991 0
[pid=16524/tid=16532] ppid=16517 vsize=14089320 memory=3848 CPUtime=2.68 cores=0,2,4,6
/proc/16524/task/16532/stat : 16532 (java) S 16517 16517 15061 0 -1 1077944384 8543 0 0 0 261 7 0 0 20 0 15 0 221459432 14427463680 508900 33554432000 4194304 4196468 140736004563040 139717167909392 139717231371989 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 31490048 140736004564102 140736004564273 140736004564273 140736004566991 0
[pid=16524/tid=16533] ppid=16517 vsize=14089320 memory=2296 CPUtime=2.67 cores=0,2,4,6
/proc/16524/task/16533/stat : 16533 (java) S 16517 16517 15061 0 -1 1077944384 9549 0 0 0 256 11 0 0 20 0 15 0 221459432 14427463680 508900 33554432000 4194304 4196468 140736004563040 139717166856592 139717231371989 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 31490048 140736004564102 140736004564273 140736004564273 140736004566991 0
[pid=16524/tid=16534] ppid=16517 vsize=14089320 memory=2296 CPUtime=2.68 cores=0,2,4,6
/proc/16524/task/16534/stat : 16534 (java) S 16517 16517 15061 0 -1 1077944384 10449 0 0 0 259 9 0 0 20 0 15 0 221459432 14427463680 508900 33554432000 4194304 4196468 140736004563040 139716823882000 139717231371989 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 31490048 140736004564102 140736004564273 140736004564273 140736004566991 0
[pid=16524/tid=16536] ppid=16517 vsize=14089320 memory=1408 CPUtime=1.28 cores=0,2,4,6
/proc/16524/task/16536/stat : 16536 (java) S 16517 16517 15061 0 -1 1077944384 20394 0 0 0 100 28 0 0 20 0 15 0 221459434 14427463680 508900 33554432000 4194304 4196468 140736004563040 139716772703088 139717231372930 0 0 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 31490048 140736004564102 140736004564273 140736004564273 140736004566991 0
[pid=16524/tid=16537] ppid=16517 vsize=14089320 memory=1408 CPUtime=0 cores=0,2,4,6
/proc/16524/task/16537/stat : 16537 (java) S 16517 16517 15061 0 -1 1077944384 73 0 0 0 0 0 0 0 20 0 15 0 221459434 14427463680 508900 33554432000 4194304 4196468 140736004563040 139716771649056 139717231371989 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 31490048 140736004564102 140736004564273 140736004564273 140736004566991 0
[pid=16524/tid=16539] ppid=16517 vsize=14089320 memory=3252 CPUtime=0 cores=0,2,4,6
/proc/16524/task/16539/stat : 16539 (java) S 16517 16517 15061 0 -1 1077944384 61 0 0 0 0 0 0 0 20 0 15 0 221459434 14427463680 508900 33554432000 4194304 4196468 140736004563040 139716770596208 139717231371989 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 31490048 140736004564102 140736004564273 140736004564273 140736004566991 0
[pid=16524/tid=16541] ppid=16517 vsize=14089320 memory=3296 CPUtime=0 cores=0,2,4,6
/proc/16524/task/16541/stat : 16541 (java) S 16517 16517 15061 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 221459437 14427463680 508900 33554432000 4194304 4196468 140736004563040 139716769544528 139717231380379 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 31490048 140736004564102 140736004564273 140736004564273 140736004566991 0
[pid=16524/tid=16542] ppid=16517 vsize=14089320 memory=1452 CPUtime=1.86 cores=0,2,4,6
/proc/16524/task/16542/stat : 16542 (java) S 16517 16517 15061 0 -1 1077944384 12314 0 0 0 184 2 0 0 20 0 15 0 221459437 14427463680 508900 33554432000 4194304 4196468 140736004563040 139716768491888 139717231372930 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 31490048 140736004564102 140736004564273 140736004564273 140736004566991 0
[pid=16524/tid=16543] ppid=16517 vsize=14089320 memory=1452 CPUtime=1.44 cores=0,2,4,6
/proc/16524/task/16543/stat : 16543 (java) S 16517 16517 15061 0 -1 1077944384 8130 0 0 0 144 0 0 0 20 0 15 0 221459437 14427463680 508900 33554432000 4194304 4196468 140736004563040 139716767439088 139717231372930 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 31490048 140736004564102 140736004564273 140736004564273 140736004566991 0
[pid=16524/tid=16544] ppid=16517 vsize=14089320 memory=463740 CPUtime=0.47 cores=0,2,4,6
/proc/16524/task/16544/stat : 16544 (java) S 16517 16517 15061 0 -1 1077944384 6845 0 0 0 46 1 0 0 20 0 15 0 221459437 14427463680 508900 33554432000 4194304 4196468 140736004563040 139716766386288 139717231372930 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 31490048 140736004564102 140736004564273 140736004564273 140736004566991 0
[pid=16524/tid=16546] ppid=16517 vsize=14089320 memory=2035600 CPUtime=0 cores=0,2,4,6
/proc/16524/task/16546/stat : 16546 (java) S 16517 16517 15061 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 221459437 14427463680 508900 33554432000 4194304 4196468 140736004563040 139716765333728 139717231371989 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 31490048 140736004564102 140736004564273 140736004564273 140736004566991 0
[pid=16524/tid=16547] ppid=16517 vsize=14089320 memory=4100 CPUtime=0.84 cores=0,2,4,6
/proc/16524/task/16547/stat : 16547 (java) S 16517 16517 15061 0 -1 1077944384 1386 0 0 0 36 48 0 0 20 0 15 0 221459437 14427463680 508900 33554432000 4194304 4196468 140736004563040 139716764282032 139717231372930 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 31490048 140736004564102 140736004564273 140736004564273 140736004566991 0
Current children cumulated CPU time: 2520.04 s
Current children cumulated vsize: 14202448 KiB
Current children cumulated memory: 2037052 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
[startup+2507.81 s]
# the end of solver process 16517 was just reported to runsolver
# cumulated CPU time of all completed processes: user=0.002688 s, system=0 s
[startup+2507.82 s]
# the end of solver process 16524 was just reported to runsolver
# cumulated CPU time of all completed processes: user=2512.04 s, system=8.04056 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.82
CPU time (s): 2520.08
CPU user time (s): 2512.04
CPU system time (s): 8.04056
CPU usage (%): 100.489
Max. virtual memory (cumulated for all children) (KiB): 14204476
Max. memory (cumulated for all children) (KiB): 7817164
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2512.04
system time used= 8.04056
maximum resident set size= 7879516
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 225511
page faults= 1
swaps= 0
block input operations= 5688
block output operations= 2952
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 74853
involuntary context switches= 3672
# summary of solver processes directly reported to runsolver:
# pid: 16517,16524
# total CPU time (s): 2520.08
# total CPU user time (s): 2512.04
# total CPU system time (s): 8.04056
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 15.4333 second user time and 22.524 second system time
The end