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

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4271634-1502644527/watcher-4271634-1502644527 -o /tmp/evaluation-result-4271634-1502644527/solver-4271634-1502644527 -C 2016 -W 252 -M 31000 --bin-var /tmp/runsolver-exch-node115-1502639064-9944 --watchdog 312 ./xcsp3-exec -dir HOME -tl 2016 -p 8 -ml 22000 -tdir HOME -seed 930259921 HOME/instance-4271634-1502644527.xml 

running on 8 cores: 0,2,4,6,1,3,5,7

Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 2016 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 2046 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 252 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 31744000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 31795200 KiB
Linux 3.10.0-514.16.1.el7.x86_64
Starting watchdog thread
Current StackSize limit: 8192 KiB

solver pid=19752, runsolver pid=19749

[startup+0.100164 s]*
/proc/loadavg: 5.01 4.19 5.80 3/200 19773
/proc/meminfo: memFree=31574472/32770624 swapFree=67108860/67108860
[pid=19752] ppid=19749 vsize=9512 memory=1384 CPUtime=0 cores=0-7
/proc/19752/stat : 19752 (xcsp3-exec) S 19749 19752 9917 0 -1 4202496 514 0 0 0 0 0 0 0 20 0 1 0 97540465 9740288 346 33554432000 4194304 5098028 140724764832224 140724764830328 140628117574268 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 24702976 140724764836971 140724764837180 140724764837180 140724764839915 0
/proc/19752/statm: 2378 346 289 221 0 87 0
[pid=19754] ppid=19752 vsize=25999808 memory=26576 CPUtime=0.12 cores=0-7
/proc/19754/stat : 19754 (java) S 19752 19752 9917 0 -1 1077944320 5489 0 0 0 11 1 0 0 20 0 20 0 97540465 26623803392 6644 33554432000 4194304 4196468 140723034398080 140723034380624 139678894685943 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 27590656 140723034399896 140723034400072 140723034400072 140723034402767 0
/proc/19754/statm: 6499952 6644 2882 1 0 6488269 0
[pid=19754/tid=19755] ppid=19752 vsize=25999808 memory=4134930498285298233 CPUtime=0.08 cores=0-7
/proc/19754/task/19755/stat : 19755 (java) R 19752 19752 9917 0 -1 4202560 3485 0 0 0 8 0 0 0 20 0 20 0 97540465 26623803392 6644 33554432000 4194304 4196468 140723034398080 139678898912408 139678894697878 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 27590656 140723034399896 140723034400072 140723034400072 140723034402767 0
[pid=19754/tid=19756] ppid=19752 vsize=25999808 memory=4126316290023845779 CPUtime=0 cores=0-7
/proc/19754/task/19756/stat : 19756 (java) S 19752 19752 9917 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 97540466 26623803392 6644 33554432000 4194304 4196468 140723034398080 139678847306640 139678894696149 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 27590656 140723034399896 140723034400072 140723034400072 140723034402767 0
[pid=19754/tid=19757] ppid=19752 vsize=25999808 memory=140663063606912 CPUtime=0 cores=0-7
/proc/19754/task/19757/stat : 19757 (java) S 19752 19752 9917 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 97540466 26623803392 6644 33554432000 4194304 4196468 140723034398080 139678452153104 139678894696149 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 27590656 140723034399896 140723034400072 140723034400072 140723034402767 0
[pid=19754/tid=19758] ppid=19752 vsize=25999808 memory=0 CPUtime=0 cores=0-7
/proc/19754/task/19758/stat : 19758 (java) S 19752 19752 9917 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 97540466 26623803392 6644 33554432000 4194304 4196468 140723034398080 139678451100816 139678894696149 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 27590656 140723034399896 140723034400072 140723034400072 140723034402767 0
[pid=19754/tid=19759] ppid=19752 vsize=25999808 memory=0 CPUtime=0 cores=0-7
/proc/19754/task/19759/stat : 19759 (java) S 19752 19752 9917 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 97540466 26623803392 6644 33554432000 4194304 4196468 140723034398080 139678450048016 139678894696149 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 27590656 140723034399896 140723034400072 140723034400072 140723034402767 0
[pid=19754/tid=19760] ppid=19752 vsize=25999808 memory=0 CPUtime=0 cores=0-7
/proc/19754/task/19760/stat : 19760 (java) S 19752 19752 9917 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 97540466 26623803392 6644 33554432000 4194304 4196468 140723034398080 139678448994704 139678894696149 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 27590656 140723034399896 140723034400072 140723034400072 140723034402767 0
[pid=19754/tid=19761] ppid=19752 vsize=25999808 memory=-1 CPUtime=0 cores=0-7
/proc/19754/task/19761/stat : 19761 (java) S 19752 19752 9917 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 97540466 26623803392 6644 33554432000 4194304 4196468 140723034398080 139678447941904 139678894696149 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 27590656 140723034399896 140723034400072 140723034400072 140723034402767 0
[pid=19754/tid=19762] ppid=19752 vsize=25999808 memory=0 CPUtime=0 cores=0-7
/proc/19754/task/19762/stat : 19762 (java) S 19752 19752 9917 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 97540466 26623803392 6644 33554432000 4194304 4196468 140723034398080 139678446889616 139678894696149 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 27590656 140723034399896 140723034400072 140723034400072 140723034402767 0
[pid=19754/tid=19763] ppid=19752 vsize=25999808 memory=0 CPUtime=0 cores=0-7
/proc/19754/task/19763/stat : 19763 (java) S 19752 19752 9917 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 97540466 26623803392 6644 33554432000 4194304 4196468 140723034398080 139678445836816 139678894696149 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 27590656 140723034399896 140723034400072 140723034400072 140723034402767 0
[pid=19754/tid=19764] ppid=19752 vsize=25999808 memory=0 CPUtime=0 cores=0-7
/proc/19754/task/19764/stat : 19764 (java) S 19752 19752 9917 0 -1 1077944384 4 0 0 0 0 0 0 0 20 0 20 0 97540467 26623803392 6644 33554432000 4194304 4196468 140723034398080 139678088874608 139678894697090 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 27590656 140723034399896 140723034400072 140723034400072 140723034402767 0
[pid=19754/tid=19765] ppid=19752 vsize=25999808 memory=0 CPUtime=0 cores=0-7
/proc/19754/task/19765/stat : 19765 (java) S 19752 19752 9917 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 20 0 97540468 26623803392 6644 33554432000 4194304 4196468 140723034398080 139678087820576 139678894696149 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 27590656 140723034399896 140723034400072 140723034400072 140723034402767 0
[pid=19754/tid=19766] ppid=19752 vsize=25999808 memory=0 CPUtime=0 cores=0-7
/proc/19754/task/19766/stat : 19766 (java) S 19752 19752 9917 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 97540468 26623803392 6644 33554432000 4194304 4196468 140723034398080 139678086768240 139678894696149 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 27590656 140723034399896 140723034400072 140723034400072 140723034402767 0
[pid=19754/tid=19767] ppid=19752 vsize=25999808 memory=0 CPUtime=0 cores=0-7
/proc/19754/task/19767/stat : 19767 (java) S 19752 19752 9917 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 97540470 26623803392 6644 33554432000 4194304 4196468 140723034398080 139678085716560 139678894704539 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 27590656 140723034399896 140723034400072 140723034400072 140723034402767 0
[pid=19754/tid=19768] ppid=19752 vsize=25999808 memory=0 CPUtime=0 cores=0-7
/proc/19754/task/19768/stat : 19768 (java) S 19752 19752 9917 0 -1 1077944384 149 0 0 0 0 0 0 0 20 0 20 0 97540470 26623803392 6644 33554432000 4194304 4196468 140723034398080 139678084663408 139678894697090 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 27590656 140723034399896 140723034400072 140723034400072 140723034402767 0
[pid=19754/tid=19769] ppid=19752 vsize=25999808 memory=0 CPUtime=0 cores=0-7
/proc/19754/task/19769/stat : 19769 (java) S 19752 19752 9917 0 -1 1077944384 4 0 0 0 0 0 0 0 20 0 20 0 97540470 26623803392 6644 33554432000 4194304 4196468 140723034398080 139678083610608 139678894697090 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 27590656 140723034399896 140723034400072 140723034400072 140723034402767 0
[pid=19754/tid=19770] ppid=19752 vsize=25999808 memory=0 CPUtime=0 cores=0-7
/proc/19754/task/19770/stat : 19770 (java) S 19752 19752 9917 0 -1 1077944384 287 0 0 0 0 0 0 0 20 0 20 0 97540470 26623803392 6644 33554432000 4194304 4196468 140723034398080 139678082558320 139678894697090 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 27590656 140723034399896 140723034400072 140723034400072 140723034402767 0
[pid=19754/tid=19771] ppid=19752 vsize=25999808 memory=0 CPUtime=0.01 cores=0-7
/proc/19754/task/19771/stat : 19771 (java) R 19752 19752 9917 0 -1 4202560 261 0 0 0 1 0 0 0 20 0 20 0 97540471 26623803392 6644 33554432000 4194304 4196468 140723034398080 139678081505520 139678873295536 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 27590656 140723034399896 140723034400072 140723034400072 140723034402767 0
[pid=19754/tid=19772] ppid=19752 vsize=25999808 memory=0 CPUtime=0 cores=0-7
/proc/19754/task/19772/stat : 19772 (java) S 19752 19752 9917 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 97540471 26623803392 6644 33554432000 4194304 4196468 140723034398080 139678080453472 139678894696149 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 27590656 140723034399896 140723034400072 140723034400072 140723034402767 0
[pid=19754/tid=19773] ppid=19752 vsize=25999808 memory=-1 CPUtime=0 cores=0-7
/proc/19754/task/19773/stat : 19773 (java) S 19752 19752 9917 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 97540471 26623803392 6644 33554432000 4194304 4196468 140723034398080 139678079400752 139678894697090 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 27590656 140723034399896 140723034400072 140723034400072 140723034402767 0
Current children cumulated CPU time: 0.12 s
Current children cumulated vsize: 26009320 KiB
Current children cumulated memory: 27960 KiB

[startup+0.210445 s]*
/proc/loadavg: 5.01 4.19 5.80 2/200 19773
/proc/meminfo: memFree=31562200/32770624 swapFree=67108860/67108860
[pid=19752] ppid=19749 vsize=9512 memory=1384 CPUtime=0 cores=0-7
/proc/19752/stat : 19752 (xcsp3-exec) S 19749 19752 9917 0 -1 4202496 514 0 0 0 0 0 0 0 20 0 1 0 97540465 9740288 346 33554432000 4194304 5098028 140724764832224 140724764830328 140628117574268 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 24702976 140724764836971 140724764837180 140724764837180 140724764839915 0
/proc/19752/statm: 2378 346 289 221 0 87 0
[pid=19754] ppid=19752 vsize=26004064 memory=38888 CPUtime=0.33 cores=0-7
/proc/19754/stat : 19754 (java) S 19752 19752 9917 0 -1 1077944320 8361 0 0 0 31 2 0 0 20 0 20 0 97540465 26628161536 9722 33554432000 4194304 4196468 140723034398080 140723034380624 139678894685943 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 27590656 140723034399896 140723034400072 140723034400072 140723034402767 0
/proc/19754/statm: 6501016 9722 3051 1 0 6488269 0
[pid=19754/tid=19755] ppid=19752 vsize=26004064 memory=8318255677412212789 CPUtime=0.19 cores=0-7
/proc/19754/task/19755/stat : 19755 (java) D 19752 19752 9917 0 -1 1077944384 5459 0 0 0 18 1 0 0 20 0 20 0 97540465 26628161536 9722 33554432000 4194304 4196468 140723034398080 139678898887664 139678887365165 0 4 0 16800975 18446744072101580324 0 0 -1 2 0 0 0 0 0 6293624 6294260 27590656 140723034399896 140723034400072 140723034400072 140723034402767 0
[pid=19754/tid=19756] ppid=19752 vsize=26004064 memory=331 CPUtime=0 cores=0-7
/proc/19754/task/19756/stat : 19756 (java) S 19752 19752 9917 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 97540466 26628161536 9722 33554432000 4194304 4196468 140723034398080 139678847306640 139678894696149 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 27590656 140723034399896 140723034400072 140723034400072 140723034402767 0
[pid=19754/tid=19757] ppid=19752 vsize=26004096 memory=140663063623737 CPUtime=0 cores=0-7
/proc/19754/task/19757/stat : 19757 (java) S 19752 19752 9917 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 97540466 26628194304 9722 33554432000 4194304 4196468 140723034398080 139678452153104 139678894696149 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 27590656 140723034399896 140723034400072 140723034400072 140723034402767 0
[pid=19754/tid=19758] ppid=19752 vsize=26004064 memory=-1 CPUtime=0 cores=0-7
/proc/19754/task/19758/stat : 19758 (java) S 19752 19752 9917 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 97540466 26628161536 9722 33554432000 4194304 4196468 140723034398080 139678451100816 139678894696149 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 27590656 140723034399896 140723034400072 140723034400072 140723034402767 0
[pid=19754/tid=19759] ppid=19752 vsize=26004064 memory=0 CPUtime=0 cores=0-7
/proc/19754/task/19759/stat : 19759 (java) S 19752 19752 9917 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 97540466 26628161536 9722 33554432000 4194304 4196468 140723034398080 139678450048016 139678894696149 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 27590656 140723034399896 140723034400072 140723034400072 140723034402767 0
[pid=19754/tid=19760] ppid=19752 vsize=26004064 memory=0 CPUtime=0 cores=0-7
/proc/19754/task/19760/stat : 19760 (java) S 19752 19752 9917 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 97540466 26628161536 9722 33554432000 4194304 4196468 140723034398080 139678448994704 139678894696149 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 27590656 140723034399896 140723034400072 140723034400072 140723034402767 0
[pid=19754/tid=19761] ppid=19752 vsize=26004064 memory=-1 CPUtime=0 cores=0-7
/proc/19754/task/19761/stat : 19761 (java) S 19752 19752 9917 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 97540466 26628161536 9722 33554432000 4194304 4196468 140723034398080 139678447941904 139678894696149 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 27590656 140723034399896 140723034400072 140723034400072 140723034402767 0
[pid=19754/tid=19762] ppid=19752 vsize=26004064 memory=0 CPUtime=0 cores=0-7
/proc/19754/task/19762/stat : 19762 (java) S 19752 19752 9917 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 97540466 26628161536 9722 33554432000 4194304 4196468 140723034398080 139678446889616 139678894696149 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 27590656 140723034399896 140723034400072 140723034400072 140723034402767 0
[pid=19754/tid=19763] ppid=19752 vsize=26004096 memory=0 CPUtime=0 cores=0-7
/proc/19754/task/19763/stat : 19763 (java) S 19752 19752 9917 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 97540466 26628194304 9722 33554432000 4194304 4196468 140723034398080 139678445836816 139678894696149 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 27590656 140723034399896 140723034400072 140723034400072 140723034402767 0
[pid=19754/tid=19764] ppid=19752 vsize=26004064 memory=0 CPUtime=0 cores=0-7
/proc/19754/task/19764/stat : 19764 (java) S 19752 19752 9917 0 -1 1077944384 4 0 0 0 0 0 0 0 20 0 20 0 97540467 26628161536 9722 33554432000 4194304 4196468 140723034398080 139678088874608 139678894697090 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 27590656 140723034399896 140723034400072 140723034400072 140723034402767 0
[pid=19754/tid=19765] ppid=19752 vsize=26004064 memory=0 CPUtime=0 cores=0-7
/proc/19754/task/19765/stat : 19765 (java) S 19752 19752 9917 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 20 0 97540468 26628161536 9722 33554432000 4194304 4196468 140723034398080 139678087820576 139678894696149 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 27590656 140723034399896 140723034400072 140723034400072 140723034402767 0
[pid=19754/tid=19766] ppid=19752 vsize=26004064 memory=0 CPUtime=0 cores=0-7
/proc/19754/task/19766/stat : 19766 (java) S 19752 19752 9917 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 97540468 26628161536 9722 33554432000 4194304 4196468 140723034398080 139678086768240 139678894696149 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 27590656 140723034399896 140723034400072 140723034400072 140723034402767 0
[pid=19754/tid=19767] ppid=19752 vsize=26004064 memory=0 CPUtime=0 cores=0-7
/proc/19754/task/19767/stat : 19767 (java) S 19752 19752 9917 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 97540470 26628161536 9722 33554432000 4194304 4196468 140723034398080 139678085716560 139678894704539 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 27590656 140723034399896 140723034400072 140723034400072 140723034402767 0
[pid=19754/tid=19768] ppid=19752 vsize=26004096 memory=0 CPUtime=0.01 cores=0-7
/proc/19754/task/19768/stat : 19768 (java) S 19752 19752 9917 0 -1 1077944384 366 0 0 0 1 0 0 0 20 0 20 0 97540470 26628194304 9722 33554432000 4194304 4196468 140723034398080 139678084663408 139678894697090 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 27590656 140723034399896 140723034400072 140723034400072 140723034402767 0
[pid=19754/tid=19769] ppid=19752 vsize=26004096 memory=0 CPUtime=0.01 cores=0-7
/proc/19754/task/19769/stat : 19769 (java) S 19752 19752 9917 0 -1 1077944384 185 0 0 0 1 0 0 0 20 0 20 0 97540470 26628194304 9722 33554432000 4194304 4196468 140723034398080 139678083610608 139678894697090 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 27590656 140723034399896 140723034400072 140723034400072 140723034402767 0
[pid=19754/tid=19770] ppid=19752 vsize=26004064 memory=-1 CPUtime=0.01 cores=0-7
/proc/19754/task/19770/stat : 19770 (java) S 19752 19752 9917 0 -1 1077944384 313 0 0 0 1 0 0 0 20 0 20 0 97540470 26628161536 9722 33554432000 4194304 4196468 140723034398080 139678082558320 139678894697090 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 27590656 140723034399896 140723034400072 140723034400072 140723034402767 0
[pid=19754/tid=19771] ppid=19752 vsize=26004064 memory=-1 CPUtime=0.08 cores=0-7
/proc/19754/task/19771/stat : 19771 (java) S 19752 19752 9917 0 -1 1077944384 742 0 0 0 8 0 0 0 20 0 20 0 97540471 26628161536 9722 33554432000 4194304 4196468 140723034398080 139678081505520 139678894697090 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 27590656 140723034399896 140723034400072 140723034400072 140723034402767 0
[pid=19754/tid=19772] ppid=19752 vsize=26004064 memory=0 CPUtime=0 cores=0-7
/proc/19754/task/19772/stat : 19772 (java) S 19752 19752 9917 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 97540471 26628161536 9722 33554432000 4194304 4196468 140723034398080 139678080453472 139678894696149 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 27590656 140723034399896 140723034400072 140723034400072 140723034402767 0
[pid=19754/tid=19773] ppid=19752 vsize=26004064 memory=-1 CPUtime=0 cores=0-7
/proc/19754/task/19773/stat : 19773 (java) S 19752 19752 9917 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 97540471 26628161536 9722 33554432000 4194304 4196468 140723034398080 139678079400752 139678894697090 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 27590656 140723034399896 140723034400072 140723034400072 140723034402767 0
Current children cumulated CPU time: 0.33 s
Current children cumulated vsize: 26013576 KiB
Current children cumulated memory: 40272 KiB

[startup+0.310076 s]*
/proc/loadavg: 5.01 4.19 5.80 3/200 19773
/proc/meminfo: memFree=31557796/32770624 swapFree=67108860/67108860
[pid=19752] ppid=19749 vsize=9512 memory=1384 CPUtime=0 cores=0-7
/proc/19752/stat : 19752 (xcsp3-exec) S 19749 19752 9917 0 -1 4202496 514 0 0 0 0 0 0 0 20 0 1 0 97540465 9740288 346 33554432000 4194304 5098028 140724764832224 140724764830328 140628117574268 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 24702976 140724764836971 140724764837180 140724764837180 140724764839915 0
/proc/19752/statm: 2378 346 289 221 0 87 0
[pid=19754] ppid=19752 vsize=26004064 memory=46048 CPUtime=0.51 cores=0-7
/proc/19754/stat : 19754 (java) S 19752 19752 9917 0 -1 1077944320 9220 0 0 0 48 3 0 0 20 0 20 0 97540465 26628161536 11512 33554432000 4194304 4196468 140723034398080 140723034380624 139678894685943 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 27590656 140723034399896 140723034400072 140723034400072 140723034402767 0
/proc/19754/statm: 6501016 11512 3100 1 0 6488269 0
[pid=19754/tid=19755] ppid=19752 vsize=26004064 memory=6791534058613427641 CPUtime=0.29 cores=0-7
/proc/19754/task/19755/stat : 19755 (java) R 19752 19752 9917 0 -1 4202560 6067 0 0 0 27 2 0 0 20 0 20 0 97540465 26628161536 11512 33554432000 4194304 4196468 140723034398080 139678898923568 139678894697878 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 27590656 140723034399896 140723034400072 140723034400072 140723034402767 0
[pid=19754/tid=19756] ppid=19752 vsize=26004064 memory=0 CPUtime=0 cores=0-7
/proc/19754/task/19756/stat : 19756 (java) S 19752 19752 9917 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 97540466 26628161536 11512 33554432000 4194304 4196468 140723034398080 139678847306640 139678894696149 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 27590656 140723034399896 140723034400072 140723034400072 140723034402767 0
[pid=19754/tid=19757] ppid=19752 vsize=26004064 memory=0 CPUtime=0 cores=0-7
/proc/19754/task/19757/stat : 19757 (java) S 19752 19752 9917 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 97540466 26628161536 11512 33554432000 4194304 4196468 140723034398080 139678452153104 139678894696149 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 27590656 140723034399896 140723034400072 140723034400072 140723034402767 0
[pid=19754/tid=19758] ppid=19752 vsize=26004064 memory=0 CPUtime=0 cores=0-7
/proc/19754/task/19758/stat : 19758 (java) S 19752 19752 9917 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 97540466 26628161536 11512 33554432000 4194304 4196468 140723034398080 139678451100816 139678894696149 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 27590656 140723034399896 140723034400072 140723034400072 140723034402767 0
[pid=19754/tid=19759] ppid=19752 vsize=26004064 memory=0 CPUtime=0 cores=0-7
/proc/19754/task/19759/stat : 19759 (java) S 19752 19752 9917 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 97540466 26628161536 11512 33554432000 4194304 4196468 140723034398080 139678450048016 139678894696149 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 27590656 140723034399896 140723034400072 140723034400072 140723034402767 0
[pid=19754/tid=19760] ppid=19752 vsize=26004064 memory=2244 CPUtime=0 cores=0-7
/proc/19754/task/19760/stat : 19760 (java) S 19752 19752 9917 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 97540466 26628161536 11512 33554432000 4194304 4196468 140723034398080 139678448994704 139678894696149 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 27590656 140723034399896 140723034400072 140723034400072 140723034402767 0
[pid=19754/tid=19761] ppid=19752 vsize=26004064 memory=140662930502575 CPUtime=0 cores=0-7
/proc/19754/task/19761/stat : 19761 (java) S 19752 19752 9917 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 97540466 26628161536 11512 33554432000 4194304 4196468 140723034398080 139678447941904 139678894696149 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 27590656 140723034399896 140723034400072 140723034400072 140723034402767 0
[pid=19754/tid=19762] ppid=19752 vsize=26004064 memory=140662930504880 CPUtime=0 cores=0-7
/proc/19754/task/19762/stat : 19762 (java) S 19752 19752 9917 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 97540466 26628161536 11512 33554432000 4194304 4196468 140723034398080 139678446889616 139678894696149 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 27590656 140723034399896 140723034400072 140723034400072 140723034402767 0
[pid=19754/tid=19763] ppid=19752 vsize=26004064 memory=140662930507184 CPUtime=0 cores=0-7
/proc/19754/task/19763/stat : 19763 (java) S 19752 19752 9917 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 97540466 26628161536 11512 33554432000 4194304 4196468 140723034398080 139678445836816 139678894696149 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 27590656 140723034399896 140723034400072 140723034400072 140723034402767 0
[pid=19754/tid=19764] ppid=19752 vsize=26004064 memory=0 CPUtime=0 cores=0-7
/proc/19754/task/19764/stat : 19764 (java) S 19752 19752 9917 0 -1 1077944384 4 0 0 0 0 0 0 0 20 0 20 0 97540467 26628161536 11512 33554432000 4194304 4196468 140723034398080 139678088874608 139678894697090 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 27590656 140723034399896 140723034400072 140723034400072 140723034402767 0
[pid=19754/tid=19765] ppid=19752 vsize=26004064 memory=281325861021328 CPUtime=0 cores=0-7
/proc/19754/task/19765/stat : 19765 (java) S 19752 19752 9917 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 20 0 97540468 26628161536 11512 33554432000 4194304 4196468 140723034398080 139678087820576 139678894696149 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 27590656 140723034399896 140723034400072 140723034400072 140723034402767 0
[pid=19754/tid=19766] ppid=19752 vsize=26004064 memory=281325861028240 CPUtime=0 cores=0-7
/proc/19754/task/19766/stat : 19766 (java) S 19752 19752 9917 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 97540468 26628161536 11512 33554432000 4194304 4196468 140723034398080 139678086768240 139678894696149 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 27590656 140723034399896 140723034400072 140723034400072 140723034402767 0
[pid=19754/tid=19767] ppid=19752 vsize=26004064 memory=281325860969392 CPUtime=0 cores=0-7
/proc/19754/task/19767/stat : 19767 (java) S 19752 19752 9917 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 97540470 26628161536 11512 33554432000 4194304 4196468 140723034398080 139678085716560 139678894704539 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 27590656 140723034399896 140723034400072 140723034400072 140723034402767 0
[pid=19754/tid=19768] ppid=19752 vsize=26004064 memory=281325861042064 CPUtime=0.02 cores=0-7
/proc/19754/task/19768/stat : 19768 (java) S 19752 19752 9917 0 -1 1077944384 422 0 0 0 2 0 0 0 20 0 20 0 97540470 26628161536 11512 33554432000 4194304 4196468 140723034398080 139678084663408 139678894697090 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 27590656 140723034399896 140723034400072 140723034400072 140723034402767 0
[pid=19754/tid=19769] ppid=19752 vsize=26004064 memory=281325861048976 CPUtime=0.02 cores=0-7
/proc/19754/task/19769/stat : 19769 (java) S 19752 19752 9917 0 -1 1077944384 191 0 0 0 2 0 0 0 20 0 20 0 97540470 26628161536 11512 33554432000 4194304 4196468 140723034398080 139678083610608 139678894697090 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 27590656 140723034399896 140723034400072 140723034400072 140723034402767 0
[pid=19754/tid=19770] ppid=19752 vsize=26004064 memory=281325861046672 CPUtime=0.02 cores=0-7
/proc/19754/task/19770/stat : 19770 (java) R 19752 19752 9917 0 -1 4202560 348 0 0 0 2 0 0 0 20 0 20 0 97540470 26628161536 11512 33554432000 4194304 4196468 140723034398080 139678082548240 139678886923070 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 27590656 140723034399896 140723034400072 140723034400072 140723034402767 0
[pid=19754/tid=19771] ppid=19752 vsize=26004064 memory=281325861062832 CPUtime=0.13 cores=0-7
/proc/19754/task/19771/stat : 19771 (java) R 19752 19752 9917 0 -1 4202560 881 0 0 0 13 0 0 0 20 0 20 0 97540471 26628161536 11512 33554432000 4194304 4196468 140723034398080 139678081501888 139678875330847 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 27590656 140723034399896 140723034400072 140723034400072 140723034402767 0
[pid=19754/tid=19772] ppid=19752 vsize=26004064 memory=0 CPUtime=0 cores=0-7
/proc/19754/task/19772/stat : 19772 (java) S 19752 19752 9917 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 97540471 26628161536 11512 33554432000 4194304 4196468 140723034398080 139678080453472 139678894696149 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 27590656 140723034399896 140723034400072 140723034400072 140723034402767 0
[pid=19754/tid=19773] ppid=19752 vsize=26004064 memory=-1 CPUtime=0 cores=0-7
/proc/19754/task/19773/stat : 19773 (java) S 19752 19752 9917 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 97540471 26628161536 11512 33554432000 4194304 4196468 140723034398080 139678079400752 139678894697090 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 27590656 140723034399896 140723034400072 140723034400072 140723034402767 0
Current children cumulated CPU time: 0.51 s
Current children cumulated vsize: 26013576 KiB
Current children cumulated memory: 47432 KiB

[startup+0.700994 s]
/proc/loadavg: 4.85 4.17 5.78 5/200 19773
/proc/meminfo: memFree=31530624/32770624 swapFree=67108860/67108860
[pid=19752] ppid=19749 vsize=9512 memory=1384 CPUtime=0 cores=0-7
/proc/19752/stat : 19752 (xcsp3-exec) S 19749 19752 9917 0 -1 4202496 514 0 0 0 0 0 0 0 20 0 1 0 97540465 9740288 346 33554432000 4194304 5098028 140724764832224 140724764830328 140628117574268 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 24702976 140724764836971 140724764837180 140724764837180 140724764839915 0
/proc/19752/statm: 2378 346 289 221 0 87 0
[pid=19754] ppid=19752 vsize=26006188 memory=108788 CPUtime=1.97 cores=0-7
/proc/19754/stat : 19754 (java) S 19752 19752 9917 0 -1 1077944320 13667 0 0 0 193 4 0 0 20 0 20 0 97540465 26630336512 27197 33554432000 4194304 4196468 140723034398080 140723034380624 139678894685943 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 27590656 140723034399896 140723034400072 140723034400072 140723034402767 0
/proc/19754/statm: 6501547 27197 3204 1 0 6488781 0
[pid=19754/tid=19755] ppid=19752 vsize=26006188 memory=281325861420720 CPUtime=0.67 cores=0-7
/proc/19754/task/19755/stat : 19755 (java) R 19752 19752 9917 0 -1 4202560 6634 0 0 0 64 3 0 0 20 0 20 0 97540465 26630336512 27197 33554432000 4194304 4196468 140723034398080 139678898921456 139678894707290 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 27590656 140723034399896 140723034400072 140723034400072 140723034402767 0
[pid=19754/tid=19756] ppid=19752 vsize=26006188 memory=140662930711408 CPUtime=0 cores=0-7
/proc/19754/task/19756/stat : 19756 (java) S 19752 19752 9917 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 97540466 26630336512 27197 33554432000 4194304 4196468 140723034398080 139678847306640 139678894696149 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 27590656 140723034399896 140723034400072 140723034400072 140723034402767 0
[pid=19754/tid=19757] ppid=19752 vsize=26006188 memory=0 CPUtime=0 cores=0-7
/proc/19754/task/19757/stat : 19757 (java) S 19752 19752 9917 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 97540466 26630336512 27197 33554432000 4194304 4196468 140723034398080 139678452153104 139678894696149 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 27590656 140723034399896 140723034400072 140723034400072 140723034402767 0
[pid=19754/tid=19758] ppid=19752 vsize=26006188 memory=10928 CPUtime=0 cores=0-7
/proc/19754/task/19758/stat : 19758 (java) S 19752 19752 9917 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 97540466 26630336512 27197 33554432000 4194304 4196468 140723034398080 139678451100816 139678894696149 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 27590656 140723034399896 140723034400072 140723034400072 140723034402767 0

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

[pid=19754/tid=19997] ppid=19752 vsize=26605264 memory=1233920 CPUtime=158.91 cores=0-7
/proc/19754/task/19997/stat : 19997 (java) R 19752 19752 9917 0 -1 4202560 4488 0 0 0 15881 10 0 0 20 0 28 0 97540667 27243790336 308480 33554432000 4194304 4196468 140723034398080 139678070342184 139678536708229 0 4 0 16800975 0 0 0 -1 5 0 0 2 0 0 6293624 6294260 27590656 140723034399896 140723034400072 140723034400072 140723034402767 0
Current children cumulated CPU time: 1286.71 s
Current children cumulated vsize: 26614776 KiB
Current children cumulated memory: 1235304 KiB

[startup+222.302 s]
/proc/loadavg: 8.34 6.40 6.34 9/208 19997
/proc/meminfo: memFree=29374232/32770624 swapFree=67108860/67108860
[pid=19752] ppid=19749 vsize=9512 memory=1384 CPUtime=0 cores=0-7
/proc/19752/stat : 19752 (xcsp3-exec) S 19749 19752 9917 0 -1 4202496 514 0 0 0 0 0 0 0 20 0 1 0 97540465 9740288 346 33554432000 4194304 5098028 140724764832224 140724764830328 140628117574268 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 24702976 140724764836971 140724764837180 140724764837180 140724764839915 0
/proc/19752/statm: 2378 346 289 221 0 87 0
[pid=19754] ppid=19752 vsize=26605264 memory=2229508 CPUtime=1765.41 cores=0-7
/proc/19754/stat : 19754 (java) S 19752 19752 9917 0 -1 1077944320 83709 0 0 0 176428 113 0 0 20 0 28 0 97540465 27243790336 557377 33554432000 4194304 4196468 140723034398080 140723034380624 139678894685943 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 27590656 140723034399896 140723034400072 140723034400072 140723034402767 0
/proc/19754/statm: 6651316 557377 3287 1 0 6638550 0
[pid=19754/tid=19755] ppid=19752 vsize=26605264 memory=2229508 CPUtime=1.55 cores=0-7
/proc/19754/task/19755/stat : 19755 (java) S 19752 19752 9917 0 -1 1077944384 6897 0 0 0 149 6 0 0 20 0 28 0 97540465 27243790336 557377 33554432000 4194304 4196468 140723034398080 139678898926720 139678894696149 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 27590656 140723034399896 140723034400072 140723034400072 140723034402767 0
[pid=19754/tid=19756] ppid=19752 vsize=26605264 memory=2229508 CPUtime=0.15 cores=0-7
/proc/19754/task/19756/stat : 19756 (java) S 19752 19752 9917 0 -1 1077944384 1729 0 0 0 11 4 0 0 20 0 28 0 97540466 27243790336 557377 33554432000 4194304 4196468 140723034398080 139678847306640 139678894696149 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 27590656 140723034399896 140723034400072 140723034400072 140723034402767 0
[pid=19754/tid=19757] ppid=19752 vsize=26605264 memory=2229508 CPUtime=0.16 cores=0-7
/proc/19754/task/19757/stat : 19757 (java) S 19752 19752 9917 0 -1 1077944384 442 0 0 0 12 4 0 0 20 0 28 0 97540466 27243790336 557377 33554432000 4194304 4196468 140723034398080 139678452153104 139678894696149 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 27590656 140723034399896 140723034400072 140723034400072 140723034402767 0
[pid=19754/tid=19758] ppid=19752 vsize=26605264 memory=1384 CPUtime=0.14 cores=0-7
/proc/19754/task/19758/stat : 19758 (java) S 19752 19752 9917 0 -1 1077944384 211 0 0 0 10 4 0 0 20 0 28 0 97540466 27243790336 557377 33554432000 4194304 4196468 140723034398080 139678451100816 139678894696149 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 27590656 140723034399896 140723034400072 140723034400072 140723034402767 0
[pid=19754/tid=19759] ppid=19752 vsize=26605264 memory=0 CPUtime=0.13 cores=0-7
/proc/19754/task/19759/stat : 19759 (java) S 19752 19752 9917 0 -1 1077944384 233 0 0 0 10 3 0 0 20 0 28 0 97540466 27243790336 557377 33554432000 4194304 4196468 140723034398080 139678450048016 139678894696149 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 27590656 140723034399896 140723034400072 140723034400072 140723034402767 0
[pid=19754/tid=19760] ppid=19752 vsize=26605264 memory=6628 CPUtime=0.14 cores=0-7
/proc/19754/task/19760/stat : 19760 (java) S 19752 19752 9917 0 -1 1077944384 392 0 0 0 10 4 0 0 20 0 28 0 97540466 27243790336 557377 33554432000 4194304 4196468 140723034398080 139678448994704 139678894696149 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 27590656 140723034399896 140723034400072 140723034400072 140723034402767 0
[pid=19754/tid=19761] ppid=19752 vsize=26605264 memory=5664 CPUtime=0.12 cores=0-7
/proc/19754/task/19761/stat : 19761 (java) S 19752 19752 9917 0 -1 1077944384 265 0 0 0 9 3 0 0 20 0 28 0 97540466 27243790336 557377 33554432000 4194304 4196468 140723034398080 139678447941904 139678894696149 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 27590656 140723034399896 140723034400072 140723034400072 140723034402767 0
[pid=19754/tid=19762] ppid=19752 vsize=26605264 memory=4616 CPUtime=0.1 cores=0-7
/proc/19754/task/19762/stat : 19762 (java) S 19752 19752 9917 0 -1 1077944384 519 0 0 0 8 2 0 0 20 0 28 0 97540466 27243790336 557377 33554432000 4194304 4196468 140723034398080 139678446889616 139678894696149 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 27590656 140723034399896 140723034400072 140723034400072 140723034402767 0
[pid=19754/tid=19763] ppid=19752 vsize=26605264 memory=16680 CPUtime=0.13 cores=0-7
/proc/19754/task/19763/stat : 19763 (java) S 19752 19752 9917 0 -1 1077944384 1488 0 0 0 10 3 0 0 20 0 28 0 97540466 27243790336 557377 33554432000 4194304 4196468 140723034398080 139678445836816 139678894696149 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 27590656 140723034399896 140723034400072 140723034400072 140723034402767 0
[pid=19754/tid=19764] ppid=19752 vsize=26605264 memory=18444 CPUtime=0.02 cores=0-7
/proc/19754/task/19764/stat : 19764 (java) S 19752 19752 9917 0 -1 1077944384 2492 0 0 0 2 0 0 0 20 0 28 0 97540467 27243790336 557377 33554432000 4194304 4196468 140723034398080 139678088874608 139678894697090 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 27590656 140723034399896 140723034400072 140723034400072 140723034402767 0
[pid=19754/tid=19765] ppid=19752 vsize=26605264 memory=1384 CPUtime=0 cores=0-7
/proc/19754/task/19765/stat : 19765 (java) S 19752 19752 9917 0 -1 1077944384 41 0 0 0 0 0 0 0 20 0 28 0 97540468 27243790336 557377 33554432000 4194304 4196468 140723034398080 139678087820640 139678894696149 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 27590656 140723034399896 140723034400072 140723034400072 140723034402767 0
[pid=19754/tid=19766] ppid=19752 vsize=26605264 memory=1745920 CPUtime=0 cores=0-7
/proc/19754/task/19766/stat : 19766 (java) S 19752 19752 9917 0 -1 1077944384 51 0 0 0 0 0 0 0 20 0 28 0 97540468 27243790336 557377 33554432000 4194304 4196468 140723034398080 139678086768256 139678894696149 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 27590656 140723034399896 140723034400072 140723034400072 140723034402767 0
[pid=19754/tid=19767] ppid=19752 vsize=26605264 memory=4132 CPUtime=0 cores=0-7
/proc/19754/task/19767/stat : 19767 (java) S 19752 19752 9917 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 97540470 27243790336 557377 33554432000 4194304 4196468 140723034398080 139678085716560 139678894704539 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 27590656 140723034399896 140723034400072 140723034400072 140723034402767 0
[pid=19754/tid=19768] ppid=19752 vsize=26605264 memory=28116 CPUtime=2.45 cores=0-7
/proc/19754/task/19768/stat : 19768 (java) S 19752 19752 9917 0 -1 1077944384 9925 0 0 0 244 1 0 0 20 0 28 0 97540470 27243790336 557377 33554432000 4194304 4196468 140723034398080 139678084663408 139678894697090 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 27590656 140723034399896 140723034400072 140723034400072 140723034402767 0
[pid=19754/tid=19769] ppid=19752 vsize=26605264 memory=1384 CPUtime=2.38 cores=0-7
/proc/19754/task/19769/stat : 19769 (java) S 19752 19752 9917 0 -1 1077944384 7857 0 0 0 238 0 0 0 20 0 28 0 97540470 27243790336 557377 33554432000 4194304 4196468 140723034398080 139678083610608 139678894697090 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 27590656 140723034399896 140723034400072 140723034400072 140723034402767 0
[pid=19754/tid=19770] ppid=19752 vsize=26605264 memory=1254400 CPUtime=2.52 cores=0-7
/proc/19754/task/19770/stat : 19770 (java) S 19752 19752 9917 0 -1 1077944384 13236 0 0 0 250 2 0 0 20 0 28 0 97540470 27243790336 557377 33554432000 4194304 4196468 140723034398080 139678082558320 139678894697090 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 27590656 140723034399896 140723034400072 140723034400072 140723034402767 0
[pid=19754/tid=19771] ppid=19752 vsize=26605264 memory=2229508 CPUtime=0.75 cores=0-7
/proc/19754/task/19771/stat : 19771 (java) S 19752 19752 9917 0 -1 1077944384 5294 0 0 0 74 1 0 0 20 0 28 0 97540471 27243790336 557377 33554432000 4194304 4196468 140723034398080 139678081505520 139678894697090 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 10 0 0 6293624 6294260 27590656 140723034399896 140723034400072 140723034400072 140723034402767 0
[pid=19754/tid=19772] ppid=19752 vsize=26605264 memory=4052 CPUtime=0 cores=0-7
/proc/19754/task/19772/stat : 19772 (java) S 19752 19752 9917 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 28 0 97540471 27243790336 557377 33554432000 4194304 4196468 140723034398080 139678080453472 139678894696149 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 27590656 140723034399896 140723034400072 140723034400072 140723034402767 0
[pid=19754/tid=19773] ppid=19752 vsize=26605264 memory=1384 CPUtime=0.07 cores=0-7
/proc/19754/task/19773/stat : 19773 (java) S 19752 19752 9917 0 -1 1077944384 2277 0 0 0 0 7 0 0 20 0 28 0 97540471 27243790336 557377 33554432000 4194304 4196468 140723034398080 139678079400752 139678894697090 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 27590656 140723034399896 140723034400072 140723034400072 140723034402767 0
[pid=19754/tid=19990] ppid=19752 vsize=26605264 memory=2229508 CPUtime=217.7 cores=0-7
/proc/19754/task/19990/stat : 19990 (java) R 19752 19752 9917 0 -1 4202560 1434 0 0 0 21769 1 0 0 20 0 28 0 97540666 27243790336 557377 33554432000 4194304 4196468 140723034398080 139678065074232 139678535496634 0 4 0 16800975 0 0 0 -1 3 0 0 2 0 0 6293624 6294260 27590656 140723034399896 140723034400072 140723034400072 140723034402767 0
[pid=19754/tid=19991] ppid=19752 vsize=26605264 memory=2229508 CPUtime=219.68 cores=0-7
/proc/19754/task/19991/stat : 19991 (java) R 19752 19752 9917 0 -1 4202560 869 0 0 0 21967 1 0 0 20 0 28 0 97540666 27243790336 557377 33554432000 4194304 4196468 140723034398080 139678071391160 139678535340117 0 4 0 16800975 0 0 0 -1 2 0 0 1 0 0 6293624 6294260 27590656 140723034399896 140723034400072 140723034400072 140723034402767 0
[pid=19754/tid=19992] ppid=19752 vsize=26605264 memory=1728 CPUtime=219.76 cores=0-7
/proc/19754/task/19992/stat : 19992 (java) R 19752 19752 9917 0 -1 4202560 2026 0 0 0 21975 1 0 0 20 0 28 0 97540666 27243790336 557377 33554432000 4194304 4196468 140723034398080 139678067183216 139678534965150 0 4 0 16800975 0 0 0 -1 6 0 0 1 0 0 6293624 6294260 27590656 140723034399896 140723034400072 140723034400072 140723034402767 0
[pid=19754/tid=19993] ppid=19752 vsize=26605264 memory=1720 CPUtime=219.83 cores=0-7
/proc/19754/task/19993/stat : 19993 (java) R 19752 19752 9917 0 -1 4202560 1216 0 0 0 21982 1 0 0 20 0 28 0 97540667 27243790336 557377 33554432000 4194304 4196468 140723034398080 139678068232296 139678534202599 0 4 0 16800975 0 0 0 -1 5 0 0 1 0 0 6293624 6294260 27590656 140723034399896 140723034400072 140723034400072 140723034402767 0
[pid=19754/tid=19994] ppid=19752 vsize=26605264 memory=1008 CPUtime=219.68 cores=0-7
/proc/19754/task/19994/stat : 19994 (java) R 19752 19752 9917 0 -1 4202560 6783 0 0 0 21943 25 0 0 20 0 28 0 97540667 27243790336 557377 33554432000 4194304 4196468 140723034398080 139678066129696 139678534524420 0 4 0 16800975 0 0 0 -1 0 0 0 1 0 0 6293624 6294260 27590656 140723034399896 140723034400072 140723034400072 140723034402767 0
[pid=19754/tid=19995] ppid=19752 vsize=26605264 memory=1384 CPUtime=219.82 cores=0-7
/proc/19754/task/19995/stat : 19995 (java) R 19752 19752 9917 0 -1 4202560 2367 0 0 0 21980 2 0 0 20 0 28 0 97540667 27243790336 557377 33554432000 4194304 4196468 140723034398080 139678062973104 139678534449965 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 27590656 140723034399896 140723034400072 140723034400072 140723034402767 0
[pid=19754/tid=19996] ppid=19752 vsize=26605264 memory=2229508 CPUtime=218.09 cores=0-7
/proc/19754/task/19996/stat : 19996 (java) R 19752 19752 9917 0 -1 4202560 3627 0 0 0 21797 12 0 0 20 0 28 0 97540667 27243790336 557377 33554432000 4194304 4196468 140723034398080 139678069285688 139678536733060 0 4 0 16800975 0 0 0 -1 1 0 0 2 0 0 6293624 6294260 27590656 140723034399896 140723034400072 140723034400072 140723034402767 0
[pid=19754/tid=19997] ppid=19752 vsize=26605264 memory=4132 CPUtime=218.28 cores=0-7
/proc/19754/task/19997/stat : 19997 (java) R 19752 19752 9917 0 -1 4202560 6927 0 0 0 21810 18 0 0 20 0 28 0 97540667 27243790336 557377 33554432000 4194304 4196468 140723034398080 139678070337552 139678535221235 0 4 0 16800975 0 0 0 -1 7 0 0 2 0 0 6293624 6294260 27590656 140723034399896 140723034400072 140723034400072 140723034402767 0
Current children cumulated CPU time: 1765.41 s
Current children cumulated vsize: 26614776 KiB
Current children cumulated memory: 2230892 KiB



Maximum wall clock time exceeded: sending SIGTERM then SIGKILL

[startup+252.002 s]*
/proc/loadavg: 8.20 6.55 6.39 9/208 19997
/proc/meminfo: memFree=29368716/32770624 swapFree=67108860/67108860
[pid=19752] ppid=19749 vsize=9512 memory=1384 CPUtime=0 cores=0-7
/proc/19752/stat : 19752 (xcsp3-exec) S 19749 19752 9917 0 -1 4202496 514 0 0 0 0 0 0 0 20 0 1 0 97540465 9740288 346 33554432000 4194304 5098028 140724764832224 140724764830328 140628117574268 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 24702976 140724764836971 140724764837180 140724764837180 140724764839915 0
/proc/19752/statm: 2378 346 289 221 0 87 0
[pid=19754] ppid=19752 vsize=26605264 memory=2235772 CPUtime=2002.45 cores=0-7
/proc/19754/stat : 19754 (java) S 19752 19752 9917 0 -1 1077944320 84580 0 0 0 200126 119 0 0 20 0 28 0 97540465 27243790336 558943 33554432000 4194304 4196468 140723034398080 140723034380624 139678894685943 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 27590656 140723034399896 140723034400072 140723034400072 140723034402767 0
/proc/19754/statm: 6651316 558943 3287 1 0 6638550 0
[pid=19754/tid=19755] ppid=19752 vsize=26605264 memory=6791534058613427641 CPUtime=1.55 cores=0-7
/proc/19754/task/19755/stat : 19755 (java) S 19752 19752 9917 0 -1 1077944384 6897 0 0 0 149 6 0 0 20 0 28 0 97540465 27243790336 558943 33554432000 4194304 4196468 140723034398080 139678898926720 139678894696149 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 27590656 140723034399896 140723034400072 140723034400072 140723034402767 0
[pid=19754/tid=19756] ppid=19752 vsize=26605264 memory=4126316290023845779 CPUtime=0.16 cores=0-7
/proc/19754/task/19756/stat : 19756 (java) S 19752 19752 9917 0 -1 1077944384 1741 0 0 0 12 4 0 0 20 0 28 0 97540466 27243790336 558943 33554432000 4194304 4196468 140723034398080 139678847306640 139678894696149 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 27590656 140723034399896 140723034400072 140723034400072 140723034402767 0
[pid=19754/tid=19757] ppid=19752 vsize=26605264 memory=4052 CPUtime=0.16 cores=0-7
/proc/19754/task/19757/stat : 19757 (java) S 19752 19752 9917 0 -1 1077944384 446 0 0 0 12 4 0 0 20 0 28 0 97540466 27243790336 558943 33554432000 4194304 4196468 140723034398080 139678452153104 139678894696149 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 27590656 140723034399896 140723034400072 140723034400072 140723034402767 0
[pid=19754/tid=19758] ppid=19752 vsize=26605264 memory=16680 CPUtime=0.14 cores=0-7
/proc/19754/task/19758/stat : 19758 (java) S 19752 19752 9917 0 -1 1077944384 216 0 0 0 10 4 0 0 20 0 28 0 97540466 27243790336 558943 33554432000 4194304 4196468 140723034398080 139678451100816 139678894696149 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 27590656 140723034399896 140723034400072 140723034400072 140723034402767 0
[pid=19754/tid=19759] ppid=19752 vsize=26605264 memory=18444 CPUtime=0.13 cores=0-7
/proc/19754/task/19759/stat : 19759 (java) S 19752 19752 9917 0 -1 1077944384 237 0 0 0 10 3 0 0 20 0 28 0 97540466 27243790336 558943 33554432000 4194304 4196468 140723034398080 139678450048016 139678894696149 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 27590656 140723034399896 140723034400072 140723034400072 140723034402767 0
[pid=19754/tid=19760] ppid=19752 vsize=26605264 memory=1788 CPUtime=0.14 cores=0-7
/proc/19754/task/19760/stat : 19760 (java) S 19752 19752 9917 0 -1 1077944384 399 0 0 0 10 4 0 0 20 0 28 0 97540466 27243790336 558943 33554432000 4194304 4196468 140723034398080 139678448994704 139678894696149 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 27590656 140723034399896 140723034400072 140723034400072 140723034402767 0
[pid=19754/tid=19761] ppid=19752 vsize=26605264 memory=6791534058613427641 CPUtime=0.14 cores=0-7
/proc/19754/task/19761/stat : 19761 (java) S 19752 19752 9917 0 -1 1077944384 270 0 0 0 10 4 0 0 20 0 28 0 97540466 27243790336 558943 33554432000 4194304 4196468 140723034398080 139678447941904 139678894696149 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 27590656 140723034399896 140723034400072 140723034400072 140723034402767 0
[pid=19754/tid=19762] ppid=19752 vsize=26605264 memory=6944656592387989600 CPUtime=0.1 cores=0-7
/proc/19754/task/19762/stat : 19762 (java) S 19752 19752 9917 0 -1 1077944384 526 0 0 0 8 2 0 0 20 0 28 0 97540466 27243790336 558943 33554432000 4194304 4196468 140723034398080 139678446889616 139678894696149 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 27590656 140723034399896 140723034400072 140723034400072 140723034402767 0
[pid=19754/tid=19763] ppid=19752 vsize=26605264 memory=2235772 CPUtime=0.13 cores=0-7
/proc/19754/task/19763/stat : 19763 (java) S 19752 19752 9917 0 -1 1077944384 1493 0 0 0 10 3 0 0 20 0 28 0 97540466 27243790336 558943 33554432000 4194304 4196468 140723034398080 139678445836816 139678894696149 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 27590656 140723034399896 140723034400072 140723034400072 140723034402767 0
[pid=19754/tid=19764] ppid=19752 vsize=26605264 memory=4132 CPUtime=0.02 cores=0-7
/proc/19754/task/19764/stat : 19764 (java) S 19752 19752 9917 0 -1 1077944384 2495 0 0 0 2 0 0 0 20 0 28 0 97540467 27243790336 558943 33554432000 4194304 4196468 140723034398080 139678088874608 139678894697090 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 27590656 140723034399896 140723034400072 140723034400072 140723034402767 0
[pid=19754/tid=19765] ppid=19752 vsize=26605264 memory=28116 CPUtime=0 cores=0-7
/proc/19754/task/19765/stat : 19765 (java) S 19752 19752 9917 0 -1 1077944384 41 0 0 0 0 0 0 0 20 0 28 0 97540468 27243790336 558943 33554432000 4194304 4196468 140723034398080 139678087820640 139678894696149 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 27590656 140723034399896 140723034400072 140723034400072 140723034402767 0
[pid=19754/tid=19766] ppid=19752 vsize=26605264 memory=1384 CPUtime=0 cores=0-7
/proc/19754/task/19766/stat : 19766 (java) S 19752 19752 9917 0 -1 1077944384 51 0 0 0 0 0 0 0 20 0 28 0 97540468 27243790336 558943 33554432000 4194304 4196468 140723034398080 139678086768256 139678894696149 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 27590656 140723034399896 140723034400072 140723034400072 140723034402767 0
[pid=19754/tid=19767] ppid=19752 vsize=26605264 memory=2235772 CPUtime=0 cores=0-7
/proc/19754/task/19767/stat : 19767 (java) S 19752 19752 9917 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 97540470 27243790336 558943 33554432000 4194304 4196468 140723034398080 139678085716560 139678894704539 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 27590656 140723034399896 140723034400072 140723034400072 140723034402767 0
[pid=19754/tid=19768] ppid=19752 vsize=26605264 memory=2408 CPUtime=2.45 cores=0-7
/proc/19754/task/19768/stat : 19768 (java) S 19752 19752 9917 0 -1 1077944384 9925 0 0 0 244 1 0 0 20 0 28 0 97540470 27243790336 558943 33554432000 4194304 4196468 140723034398080 139678084663408 139678894697090 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 27590656 140723034399896 140723034400072 140723034400072 140723034402767 0
[pid=19754/tid=19769] ppid=19752 vsize=26605264 memory=1728 CPUtime=2.38 cores=0-7
/proc/19754/task/19769/stat : 19769 (java) S 19752 19752 9917 0 -1 1077944384 7857 0 0 0 238 0 0 0 20 0 28 0 97540470 27243790336 558943 33554432000 4194304 4196468 140723034398080 139678083610608 139678894697090 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 27590656 140723034399896 140723034400072 140723034400072 140723034402767 0
[pid=19754/tid=19770] ppid=19752 vsize=26605264 memory=1720 CPUtime=2.52 cores=0-7
/proc/19754/task/19770/stat : 19770 (java) S 19752 19752 9917 0 -1 1077944384 13236 0 0 0 250 2 0 0 20 0 28 0 97540470 27243790336 558943 33554432000 4194304 4196468 140723034398080 139678082558320 139678894697090 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 27590656 140723034399896 140723034400072 140723034400072 140723034402767 0
[pid=19754/tid=19771] ppid=19752 vsize=26605264 memory=1008 CPUtime=0.75 cores=0-7
/proc/19754/task/19771/stat : 19771 (java) S 19752 19752 9917 0 -1 1077944384 5294 0 0 0 74 1 0 0 20 0 28 0 97540471 27243790336 558943 33554432000 4194304 4196468 140723034398080 139678081505520 139678894697090 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 10 0 0 6293624 6294260 27590656 140723034399896 140723034400072 140723034400072 140723034402767 0
[pid=19754/tid=19772] ppid=19752 vsize=26605264 memory=2235772 CPUtime=0 cores=0-7
/proc/19754/task/19772/stat : 19772 (java) S 19752 19752 9917 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 28 0 97540471 27243790336 558943 33554432000 4194304 4196468 140723034398080 139678080453472 139678894696149 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 27590656 140723034399896 140723034400072 140723034400072 140723034402767 0
[pid=19754/tid=19773] ppid=19752 vsize=26605264 memory=1200 CPUtime=0.08 cores=0-7
/proc/19754/task/19773/stat : 19773 (java) S 19752 19752 9917 0 -1 1077944384 2279 0 0 0 0 8 0 0 20 0 28 0 97540471 27243790336 558943 33554432000 4194304 4196468 140723034398080 139678079400752 139678894697090 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 27590656 140723034399896 140723034400072 140723034400072 140723034402767 0
[pid=19754/tid=19990] ppid=19752 vsize=26605264 memory=8564 CPUtime=247.4 cores=0-7
/proc/19754/task/19990/stat : 19990 (java) R 19752 19752 9917 0 -1 4202560 1443 0 0 0 24739 1 0 0 20 0 28 0 97540666 27243790336 558943 33554432000 4194304 4196468 140723034398080 139678065073592 139678535241782 0 4 0 16800975 0 0 0 -1 3 0 0 2 0 0 6293624 6294260 27590656 140723034399896 140723034400072 140723034400072 140723034402767 0
[pid=19754/tid=19991] ppid=19752 vsize=26605264 memory=5664 CPUtime=249.39 cores=0-7
/proc/19754/task/19991/stat : 19991 (java) R 19752 19752 9917 0 -1 4202560 873 0 0 0 24938 1 0 0 20 0 28 0 97540666 27243790336 558943 33554432000 4194304 4196468 140723034398080 139678071391080 139678534202556 0 4 0 16800975 0 0 0 -1 2 0 0 1 0 0 6293624 6294260 27590656 140723034399896 140723034400072 140723034400072 140723034402767 0
[pid=19754/tid=19992] ppid=19752 vsize=26605264 memory=4616 CPUtime=249.47 cores=0-7
/proc/19754/task/19992/stat : 19992 (java) R 19752 19752 9917 0 -1 4202560 2032 0 0 0 24946 1 0 0 20 0 28 0 97540666 27243790336 558943 33554432000 4194304 4196468 140723034398080 139678067179832 139678534802358 0 4 0 16800975 0 0 0 -1 6 0 0 1 0 0 6293624 6294260 27590656 140723034399896 140723034400072 140723034400072 140723034402767 0
[pid=19754/tid=19993] ppid=19752 vsize=26605264 memory=1228 CPUtime=249.53 cores=0-7
/proc/19754/task/19993/stat : 19993 (java) R 19752 19752 9917 0 -1 4202560 1223 0 0 0 24952 1 0 0 20 0 28 0 97540667 27243790336 558943 33554432000 4194304 4196468 140723034398080 139678068231552 139678534202790 0 4 0 16800975 0 0 0 -1 5 0 0 1 0 0 6293624 6294260 27590656 140723034399896 140723034400072 140723034400072 140723034402767 0
[pid=19754/tid=19994] ppid=19752 vsize=26605264 memory=10928 CPUtime=249.39 cores=0-7
/proc/19754/task/19994/stat : 19994 (java) R 19752 19752 9917 0 -1 4202560 7276 0 0 0 24911 28 0 0 20 0 28 0 97540667 27243790336 558943 33554432000 4194304 4196468 140723034398080 139678066129696 139678534873173 0 4 0 16800975 0 0 0 -1 0 0 0 1 0 0 6293624 6294260 27590656 140723034399896 140723034400072 140723034400072 140723034402767 0
[pid=19754/tid=19995] ppid=19752 vsize=26605264 memory=796 CPUtime=249.52 cores=0-7
/proc/19754/task/19995/stat : 19995 (java) R 19752 19752 9917 0 -1 4202560 2392 0 0 0 24950 2 0 0 20 0 28 0 97540667 27243790336 558943 33554432000 4194304 4196468 140723034398080 139678062968952 139678535220948 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 27590656 140723034399896 140723034400072 140723034400072 140723034402767 0
[pid=19754/tid=19996] ppid=19752 vsize=26605264 memory=4104 CPUtime=247.79 cores=0-7
/proc/19754/task/19996/stat : 19996 (java) R 19752 19752 9917 0 -1 4202560 3769 0 0 0 24767 12 0 0 20 0 28 0 97540667 27243790336 558943 33554432000 4194304 4196468 140723034398080 139678069285048 139678534777718 0 4 0 16800975 0 0 0 -1 1 0 0 2 0 0 6293624 6294260 27590656 140723034399896 140723034400072 140723034400072 140723034402767 0
[pid=19754/tid=19997] ppid=19752 vsize=26605264 memory=1156 CPUtime=247.38 cores=0-7
/proc/19754/task/19997/stat : 19997 (java) R 19752 19752 9917 0 -1 4202560 7058 0 0 0 24718 20 0 0 20 0 28 0 97540667 27243790336 558943 33554432000 4194304 4196468 140723034398080 139678070337720 139678535298534 0 4 0 16800975 0 0 0 -1 7 0 0 2 0 0 6293624 6294260 27590656 140723034399896 140723034400072 140723034400072 140723034402767 0
Current children cumulated CPU time: 2002.45 s
Current children cumulated vsize: 26614776 KiB
Current children cumulated memory: 2237156 KiB

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

[startup+252.036 s]
# the end of solver process 19752 was just reported to runsolver
# cumulated CPU time of all completed processes:  user=0.000655 s, system=0.001311 s

[startup+252.111 s]
# the end of solver process 19754 was just reported to runsolver
# cumulated CPU time of all completed processes:  user=2001.93 s, system=1.21502 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): 252.111
CPU time (s): 2003.14
CPU user time (s): 2001.93
CPU system time (s): 1.21502
CPU usage (%): 794.548
Max. virtual memory (cumulated for all children) (KiB): 26616916
Max. memory (cumulated for all children) (KiB): 2237156

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2001.93
system time used= 1.21502
maximum resident set size= 2236376
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 85637
page faults= 0
swaps= 0
block input operations= 0
block output operations= 456
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 11872
involuntary context switches= 20535


# summary of solver processes directly reported to runsolver:
#   pid: 19752,19754
#   total CPU time (s): 2003.14
#   total CPU user time (s): 2001.93
#   total CPU system time (s): 1.21502

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 2.78935 second user time and 2.32729 second system time

The end