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

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4271275-1502730632/watcher-4271275-1502730632 -o /tmp/evaluation-result-4271275-1502730632/solver-4271275-1502730632 -C 20160 -W 2520 -M 31000 --bin-var /tmp/runsolver-exch-node151-1502729773-28635 --watchdog 2580 ./xcsp3-exec -dir HOME -tl 20160 -p 8 -ml 22000 -tdir HOME -seed 930687466 HOME/instance-4271275-1502730632.xml 

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

Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 20160 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 20190 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 2520 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=28652, runsolver pid=28649

[startup+0.100064 s]*
/proc/loadavg: 9.01 8.76 8.65 2/199 28673
/proc/meminfo: memFree=28696284/32770624 swapFree=67108860/67108860
[pid=28652] ppid=28649 vsize=9512 memory=1384 CPUtime=0 cores=0-7
/proc/28652/stat : 28652 (xcsp3-exec) S 28649 28652 28608 0 -1 4202496 515 0 0 0 0 0 0 0 20 0 1 0 106144069 9740288 346 33554432000 4194304 5098028 140725450094256 140725450092360 140392860332668 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 36589568 140725450097765 140725450097975 140725450097975 140725450100715 0
/proc/28652/statm: 2378 346 289 221 0 87 0
[pid=28654] ppid=28652 vsize=25999808 memory=26244 CPUtime=0.12 cores=0-7
/proc/28654/stat : 28654 (java) S 28652 28652 28608 0 -1 1077944320 5508 0 0 0 11 1 0 0 20 0 20 0 106144069 26623803392 6561 33554432000 4194304 4196468 140728449745536 140728449728080 140582930304759 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 16691200 140728449754258 140728449754435 140728449754435 140728449757135 0
/proc/28654/statm: 6499952 6561 2842 1 0 6488269 0
[pid=28654/tid=28655] ppid=28652 vsize=25999808 memory=4134930498285298233 CPUtime=0.08 cores=0-7
/proc/28654/task/28655/stat : 28655 (java) R 28652 28652 28608 0 -1 4202560 3508 0 0 0 8 0 0 0 20 0 20 0 106144069 26623803392 6561 33554432000 4194304 4196468 140728449745536 140582934533936 140582930326685 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 16691200 140728449754258 140728449754435 140728449754435 140728449757135 0
[pid=28654/tid=28656] ppid=28652 vsize=25999808 memory=4872558044660077418 CPUtime=0 cores=0-7
/proc/28654/task/28656/stat : 28656 (java) S 28652 28652 28608 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 106144070 26623803392 6561 33554432000 4194304 4196468 140728449745536 140582882924944 140582930314965 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 16691200 140728449754258 140728449754435 140728449754435 140728449757135 0
[pid=28654/tid=28657] ppid=28652 vsize=25999808 memory=140677838325376 CPUtime=0 cores=0-7
/proc/28654/task/28657/stat : 28657 (java) S 28652 28652 28608 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 106144070 26623803392 6561 33554432000 4194304 4196468 140728449745536 140582881872144 140582930314965 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 16691200 140728449754258 140728449754435 140728449754435 140728449757135 0
[pid=28654/tid=28658] ppid=28652 vsize=25999808 memory=0 CPUtime=0 cores=0-7
/proc/28654/task/28658/stat : 28658 (java) S 28652 28652 28608 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 106144070 26623803392 6561 33554432000 4194304 4196468 140728449745536 140582880819856 140582930314965 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 16691200 140728449754258 140728449754435 140728449754435 140728449757135 0
[pid=28654/tid=28659] ppid=28652 vsize=25999808 memory=0 CPUtime=0 cores=0-7
/proc/28654/task/28659/stat : 28659 (java) S 28652 28652 28608 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 106144070 26623803392 6561 33554432000 4194304 4196468 140728449745536 140582879767056 140582930314965 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 16691200 140728449754258 140728449754435 140728449754435 140728449757135 0
[pid=28654/tid=28660] ppid=28652 vsize=25999808 memory=0 CPUtime=0 cores=0-7
/proc/28654/task/28660/stat : 28660 (java) S 28652 28652 28608 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 106144070 26623803392 6561 33554432000 4194304 4196468 140728449745536 140582878714768 140582930314965 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 16691200 140728449754258 140728449754435 140728449754435 140728449757135 0
[pid=28654/tid=28661] ppid=28652 vsize=25999808 memory=-1 CPUtime=0 cores=0-7
/proc/28654/task/28661/stat : 28661 (java) S 28652 28652 28608 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 106144070 26623803392 6561 33554432000 4194304 4196468 140728449745536 140582877661968 140582930314965 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 16691200 140728449754258 140728449754435 140728449754435 140728449757135 0
[pid=28654/tid=28662] ppid=28652 vsize=25999808 memory=0 CPUtime=0 cores=0-7
/proc/28654/task/28662/stat : 28662 (java) S 28652 28652 28608 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 106144070 26623803392 6561 33554432000 4194304 4196468 140728449745536 140582876609680 140582930314965 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 16691200 140728449754258 140728449754435 140728449754435 140728449757135 0
[pid=28654/tid=28663] ppid=28652 vsize=25999808 memory=0 CPUtime=0 cores=0-7
/proc/28654/task/28663/stat : 28663 (java) S 28652 28652 28608 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 106144070 26623803392 6561 33554432000 4194304 4196468 140728449745536 140582875556880 140582930314965 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 16691200 140728449754258 140728449754435 140728449754435 140728449757135 0
[pid=28654/tid=28664] ppid=28652 vsize=25999808 memory=0 CPUtime=0 cores=0-7
/proc/28654/task/28664/stat : 28664 (java) S 28652 28652 28608 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 106144072 26623803392 6561 33554432000 4194304 4196468 140728449745536 140581269387376 140582930315906 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 16691200 140728449754258 140728449754435 140728449754435 140728449757135 0
[pid=28654/tid=28665] ppid=28652 vsize=25999808 memory=0 CPUtime=0 cores=0-7
/proc/28654/task/28665/stat : 28665 (java) S 28652 28652 28608 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 20 0 106144072 26623803392 6561 33554432000 4194304 4196468 140728449745536 140581268333344 140582930314965 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 16691200 140728449754258 140728449754435 140728449754435 140728449757135 0
[pid=28654/tid=28666] ppid=28652 vsize=25999808 memory=0 CPUtime=0 cores=0-7
/proc/28654/task/28666/stat : 28666 (java) S 28652 28652 28608 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 106144072 26623803392 6561 33554432000 4194304 4196468 140728449745536 140581267281008 140582930314965 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 16691200 140728449754258 140728449754435 140728449754435 140728449757135 0
[pid=28654/tid=28667] ppid=28652 vsize=25999808 memory=0 CPUtime=0 cores=0-7
/proc/28654/task/28667/stat : 28667 (java) S 28652 28652 28608 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 106144075 26623803392 6561 33554432000 4194304 4196468 140728449745536 140581266229328 140582930323355 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 16691200 140728449754258 140728449754435 140728449754435 140728449757135 0
[pid=28654/tid=28668] ppid=28652 vsize=25999808 memory=0 CPUtime=0 cores=0-7
/proc/28654/task/28668/stat : 28668 (java) S 28652 28652 28608 0 -1 1077944384 305 0 0 0 0 0 0 0 20 0 20 0 106144075 26623803392 6561 33554432000 4194304 4196468 140728449745536 140581265177200 140582930315906 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 16691200 140728449754258 140728449754435 140728449754435 140728449757135 0
[pid=28654/tid=28669] ppid=28652 vsize=25999808 memory=0 CPUtime=0 cores=0-7
/proc/28654/task/28669/stat : 28669 (java) S 28652 28652 28608 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 106144075 26623803392 6561 33554432000 4194304 4196468 140728449745536 140581264124400 140582930315906 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 16691200 140728449754258 140728449754435 140728449754435 140728449757135 0
[pid=28654/tid=28670] ppid=28652 vsize=25999808 memory=0 CPUtime=0 cores=0-7
/proc/28654/task/28670/stat : 28670 (java) S 28652 28652 28608 0 -1 1077944384 123 0 0 0 0 0 0 0 20 0 20 0 106144075 26623803392 6561 33554432000 4194304 4196468 140728449745536 140581263072112 140582930315906 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 16691200 140728449754258 140728449754435 140728449754435 140728449757135 0
[pid=28654/tid=28671] ppid=28652 vsize=25999808 memory=0 CPUtime=0.01 cores=0-7
/proc/28654/task/28671/stat : 28671 (java) S 28652 28652 28608 0 -1 1077944384 260 0 0 0 1 0 0 0 20 0 20 0 106144075 26623803392 6561 33554432000 4194304 4196468 140728449745536 140581262019312 140582930315906 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 16691200 140728449754258 140728449754435 140728449754435 140728449757135 0
[pid=28654/tid=28672] ppid=28652 vsize=25999808 memory=0 CPUtime=0 cores=0-7
/proc/28654/task/28672/stat : 28672 (java) S 28652 28652 28608 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 106144075 26623803392 6561 33554432000 4194304 4196468 140728449745536 140581260966240 140582930314965 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 16691200 140728449754258 140728449754435 140728449754435 140728449757135 0
[pid=28654/tid=28673] ppid=28652 vsize=25999808 memory=-1 CPUtime=0 cores=0-7
/proc/28654/task/28673/stat : 28673 (java) S 28652 28652 28608 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 106144075 26623803392 6561 33554432000 4194304 4196468 140728449745536 140580520716592 140582930315906 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 16691200 140728449754258 140728449754435 140728449754435 140728449757135 0
Current children cumulated CPU time: 0.12 s
Current children cumulated vsize: 26009320 KiB
Current children cumulated memory: 27628 KiB

[startup+0.21074 s]*
/proc/loadavg: 9.01 8.76 8.65 2/199 28673
/proc/meminfo: memFree=28684548/32770624 swapFree=67108860/67108860
[pid=28652] ppid=28649 vsize=9512 memory=1384 CPUtime=0 cores=0-7
/proc/28652/stat : 28652 (xcsp3-exec) S 28649 28652 28608 0 -1 4202496 515 0 0 0 0 0 0 0 20 0 1 0 106144069 9740288 346 33554432000 4194304 5098028 140725450094256 140725450092360 140392860332668 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 36589568 140725450097765 140725450097975 140725450097975 140725450100715 0
/proc/28652/statm: 2378 346 289 221 0 87 0
[pid=28654] ppid=28652 vsize=26004064 memory=38960 CPUtime=0.32 cores=0-7
/proc/28654/stat : 28654 (java) S 28652 28652 28608 0 -1 1077944320 8338 0 0 0 30 2 0 0 20 0 20 0 106144069 26628161536 9740 33554432000 4194304 4196468 140728449745536 140728449728080 140582930304759 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 16691200 140728449754258 140728449754435 140728449754435 140728449757135 0
/proc/28654/statm: 6501024 9740 3070 1 0 6488277 0
[pid=28654/tid=28655] ppid=28652 vsize=26004064 memory=8318255677412212789 CPUtime=0.2 cores=0-7
/proc/28654/task/28655/stat : 28655 (java) D 28652 28652 28608 0 -1 1077944384 5426 0 0 0 18 2 0 0 20 0 20 0 106144069 26628161536 9740 33554432000 4194304 4196468 140728449745536 140582934506480 140582922983981 0 4 0 16800975 18446744072101629476 0 0 -1 5 0 0 0 0 0 6293624 6294260 16691200 140728449754258 140728449754435 140728449754435 140728449757135 0
[pid=28654/tid=28656] ppid=28652 vsize=26004064 memory=340 CPUtime=0 cores=0-7
/proc/28654/task/28656/stat : 28656 (java) S 28652 28652 28608 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 106144070 26628161536 9740 33554432000 4194304 4196468 140728449745536 140582882924944 140582930314965 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 16691200 140728449754258 140728449754435 140728449754435 140728449757135 0
[pid=28654/tid=28657] ppid=28652 vsize=26004064 memory=140677838807173 CPUtime=0 cores=0-7
/proc/28654/task/28657/stat : 28657 (java) S 28652 28652 28608 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 106144070 26628161536 9740 33554432000 4194304 4196468 140728449745536 140582881872144 140582930314965 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 16691200 140728449754258 140728449754435 140728449754435 140728449757135 0
[pid=28654/tid=28658] ppid=28652 vsize=26004096 memory=-1 CPUtime=0 cores=0-7
/proc/28654/task/28658/stat : 28658 (java) S 28652 28652 28608 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 106144070 26628194304 9740 33554432000 4194304 4196468 140728449745536 140582880819856 140582930314965 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 16691200 140728449754258 140728449754435 140728449754435 140728449757135 0
[pid=28654/tid=28659] ppid=28652 vsize=26004064 memory=0 CPUtime=0 cores=0-7
/proc/28654/task/28659/stat : 28659 (java) S 28652 28652 28608 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 106144070 26628161536 9740 33554432000 4194304 4196468 140728449745536 140582879767056 140582930314965 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 16691200 140728449754258 140728449754435 140728449754435 140728449757135 0
[pid=28654/tid=28660] ppid=28652 vsize=26004064 memory=0 CPUtime=0 cores=0-7
/proc/28654/task/28660/stat : 28660 (java) S 28652 28652 28608 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 106144070 26628161536 9740 33554432000 4194304 4196468 140728449745536 140582878714768 140582930314965 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 16691200 140728449754258 140728449754435 140728449754435 140728449757135 0
[pid=28654/tid=28661] ppid=28652 vsize=26004064 memory=-1 CPUtime=0 cores=0-7
/proc/28654/task/28661/stat : 28661 (java) S 28652 28652 28608 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 106144070 26628161536 9740 33554432000 4194304 4196468 140728449745536 140582877661968 140582930314965 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 16691200 140728449754258 140728449754435 140728449754435 140728449757135 0
[pid=28654/tid=28662] ppid=28652 vsize=26004064 memory=0 CPUtime=0 cores=0-7
/proc/28654/task/28662/stat : 28662 (java) S 28652 28652 28608 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 106144070 26628161536 9740 33554432000 4194304 4196468 140728449745536 140582876609680 140582930314965 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 16691200 140728449754258 140728449754435 140728449754435 140728449757135 0
[pid=28654/tid=28663] ppid=28652 vsize=26004064 memory=0 CPUtime=0 cores=0-7
/proc/28654/task/28663/stat : 28663 (java) S 28652 28652 28608 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 106144070 26628161536 9740 33554432000 4194304 4196468 140728449745536 140582875556880 140582930314965 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 16691200 140728449754258 140728449754435 140728449754435 140728449757135 0
[pid=28654/tid=28664] ppid=28652 vsize=26004064 memory=0 CPUtime=0 cores=0-7
/proc/28654/task/28664/stat : 28664 (java) S 28652 28652 28608 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 106144072 26628161536 9740 33554432000 4194304 4196468 140728449745536 140581269387376 140582930315906 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 16691200 140728449754258 140728449754435 140728449754435 140728449757135 0
[pid=28654/tid=28665] ppid=28652 vsize=26004064 memory=0 CPUtime=0 cores=0-7
/proc/28654/task/28665/stat : 28665 (java) S 28652 28652 28608 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 20 0 106144072 26628161536 9740 33554432000 4194304 4196468 140728449745536 140581268333344 140582930314965 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 16691200 140728449754258 140728449754435 140728449754435 140728449757135 0
[pid=28654/tid=28666] ppid=28652 vsize=26004096 memory=0 CPUtime=0 cores=0-7
/proc/28654/task/28666/stat : 28666 (java) S 28652 28652 28608 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 106144072 26628194304 9740 33554432000 4194304 4196468 140728449745536 140581267281008 140582930314965 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 16691200 140728449754258 140728449754435 140728449754435 140728449757135 0
[pid=28654/tid=28667] ppid=28652 vsize=26004096 memory=0 CPUtime=0 cores=0-7
/proc/28654/task/28667/stat : 28667 (java) S 28652 28652 28608 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 106144075 26628194304 9740 33554432000 4194304 4196468 140728449745536 140581266229328 140582930323355 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 16691200 140728449754258 140728449754435 140728449754435 140728449757135 0
[pid=28654/tid=28668] ppid=28652 vsize=26004064 memory=0 CPUtime=0 cores=0-7
/proc/28654/task/28668/stat : 28668 (java) S 28652 28652 28608 0 -1 1077944384 314 0 0 0 0 0 0 0 20 0 20 0 106144075 26628161536 9740 33554432000 4194304 4196468 140728449745536 140581265177200 140582930315906 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 16691200 140728449754258 140728449754435 140728449754435 140728449757135 0
[pid=28654/tid=28669] ppid=28652 vsize=26004064 memory=0 CPUtime=0.01 cores=0-7
/proc/28654/task/28669/stat : 28669 (java) S 28652 28652 28608 0 -1 1077944384 174 0 0 0 1 0 0 0 20 0 20 0 106144075 26628161536 9740 33554432000 4194304 4196468 140728449745536 140581264124400 140582930315906 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 16691200 140728449754258 140728449754435 140728449754435 140728449757135 0
[pid=28654/tid=28670] ppid=28652 vsize=26004064 memory=-1 CPUtime=0.01 cores=0-7
/proc/28654/task/28670/stat : 28670 (java) S 28652 28652 28608 0 -1 1077944384 399 0 0 0 1 0 0 0 20 0 20 0 106144075 26628161536 9740 33554432000 4194304 4196468 140728449745536 140581263072112 140582930315906 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 16691200 140728449754258 140728449754435 140728449754435 140728449757135 0
[pid=28654/tid=28671] ppid=28652 vsize=26004064 memory=-1 CPUtime=0.07 cores=0-7
/proc/28654/task/28671/stat : 28671 (java) S 28652 28652 28608 0 -1 1077944384 724 0 0 0 7 0 0 0 20 0 20 0 106144075 26628161536 9740 33554432000 4194304 4196468 140728449745536 140581262019312 140582930315906 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 16691200 140728449754258 140728449754435 140728449754435 140728449757135 0
[pid=28654/tid=28672] ppid=28652 vsize=26004064 memory=0 CPUtime=0 cores=0-7
/proc/28654/task/28672/stat : 28672 (java) S 28652 28652 28608 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 106144075 26628161536 9740 33554432000 4194304 4196468 140728449745536 140581260966240 140582930314965 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 16691200 140728449754258 140728449754435 140728449754435 140728449757135 0
[pid=28654/tid=28673] ppid=28652 vsize=26004064 memory=-1 CPUtime=0 cores=0-7
/proc/28654/task/28673/stat : 28673 (java) S 28652 28652 28608 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 106144075 26628161536 9740 33554432000 4194304 4196468 140728449745536 140580520716592 140582930315906 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 16691200 140728449754258 140728449754435 140728449754435 140728449757135 0
Current children cumulated CPU time: 0.32 s
Current children cumulated vsize: 26013576 KiB
Current children cumulated memory: 40344 KiB

[startup+0.310828 s]*
/proc/loadavg: 9.01 8.76 8.65 3/199 28673
/proc/meminfo: memFree=28679648/32770624 swapFree=67108860/67108860
[pid=28652] ppid=28649 vsize=9512 memory=1384 CPUtime=0 cores=0-7
/proc/28652/stat : 28652 (xcsp3-exec) S 28649 28652 28608 0 -1 4202496 515 0 0 0 0 0 0 0 20 0 1 0 106144069 9740288 346 33554432000 4194304 5098028 140725450094256 140725450092360 140392860332668 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 36589568 140725450097765 140725450097975 140725450097975 140725450100715 0
/proc/28652/statm: 2378 346 289 221 0 87 0
[pid=28654] ppid=28652 vsize=26004064 memory=46096 CPUtime=0.5 cores=0-7
/proc/28654/stat : 28654 (java) S 28652 28652 28608 0 -1 1077944320 9204 0 0 0 47 3 0 0 20 0 20 0 106144069 26628161536 11524 33554432000 4194304 4196468 140728449745536 140728449728080 140582930304759 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 16691200 140728449754258 140728449754435 140728449754435 140728449757135 0
/proc/28654/statm: 6501016 11524 3101 1 0 6488269 0
[pid=28654/tid=28655] ppid=28652 vsize=26004064 memory=6791534058613427641 CPUtime=0.29 cores=0-7
/proc/28654/task/28655/stat : 28655 (java) R 28652 28652 28608 0 -1 4202560 6081 0 0 0 27 2 0 0 20 0 20 0 106144069 26628161536 11524 33554432000 4194304 4196468 140728449745536 140582934540880 140582914385246 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 16691200 140728449754258 140728449754435 140728449754435 140728449757135 0
[pid=28654/tid=28656] ppid=28652 vsize=26004064 memory=0 CPUtime=0 cores=0-7
/proc/28654/task/28656/stat : 28656 (java) S 28652 28652 28608 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 106144070 26628161536 11524 33554432000 4194304 4196468 140728449745536 140582882924944 140582930314965 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 16691200 140728449754258 140728449754435 140728449754435 140728449757135 0
[pid=28654/tid=28657] ppid=28652 vsize=26004064 memory=0 CPUtime=0 cores=0-7
/proc/28654/task/28657/stat : 28657 (java) S 28652 28652 28608 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 106144070 26628161536 11524 33554432000 4194304 4196468 140728449745536 140582881872144 140582930314965 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 16691200 140728449754258 140728449754435 140728449754435 140728449757135 0
[pid=28654/tid=28658] ppid=28652 vsize=26004064 memory=0 CPUtime=0 cores=0-7
/proc/28654/task/28658/stat : 28658 (java) S 28652 28652 28608 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 106144070 26628161536 11524 33554432000 4194304 4196468 140728449745536 140582880819856 140582930314965 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 16691200 140728449754258 140728449754435 140728449754435 140728449757135 0
[pid=28654/tid=28659] ppid=28652 vsize=26004064 memory=0 CPUtime=0 cores=0-7
/proc/28654/task/28659/stat : 28659 (java) S 28652 28652 28608 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 106144070 26628161536 11524 33554432000 4194304 4196468 140728449745536 140582879767056 140582930314965 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 16691200 140728449754258 140728449754435 140728449754435 140728449757135 0
[pid=28654/tid=28660] ppid=28652 vsize=26004064 memory=2244 CPUtime=0 cores=0-7
/proc/28654/task/28660/stat : 28660 (java) S 28652 28652 28608 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 106144070 26628161536 11524 33554432000 4194304 4196468 140728449745536 140582878714768 140582930314965 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 16691200 140728449754258 140728449754435 140728449754435 140728449757135 0
[pid=28654/tid=28661] ppid=28652 vsize=26004064 memory=140677694452655 CPUtime=0 cores=0-7
/proc/28654/task/28661/stat : 28661 (java) S 28652 28652 28608 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 106144070 26628161536 11524 33554432000 4194304 4196468 140728449745536 140582877661968 140582930314965 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 16691200 140728449754258 140728449754435 140728449754435 140728449757135 0
[pid=28654/tid=28662] ppid=28652 vsize=26004064 memory=140677694454960 CPUtime=0 cores=0-7
/proc/28654/task/28662/stat : 28662 (java) S 28652 28652 28608 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 106144070 26628161536 11524 33554432000 4194304 4196468 140728449745536 140582876609680 140582930314965 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 16691200 140728449754258 140728449754435 140728449754435 140728449757135 0
[pid=28654/tid=28663] ppid=28652 vsize=26004064 memory=140677694457264 CPUtime=0 cores=0-7
/proc/28654/task/28663/stat : 28663 (java) S 28652 28652 28608 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 106144070 26628161536 11524 33554432000 4194304 4196468 140728449745536 140582875556880 140582930314965 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 16691200 140728449754258 140728449754435 140728449754435 140728449757135 0
[pid=28654/tid=28664] ppid=28652 vsize=26004064 memory=0 CPUtime=0 cores=0-7
/proc/28654/task/28664/stat : 28664 (java) S 28652 28652 28608 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 106144072 26628161536 11524 33554432000 4194304 4196468 140728449745536 140581269387376 140582930315906 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 16691200 140728449754258 140728449754435 140728449754435 140728449757135 0
[pid=28654/tid=28665] ppid=28652 vsize=26004064 memory=281355388921488 CPUtime=0 cores=0-7
/proc/28654/task/28665/stat : 28665 (java) S 28652 28652 28608 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 20 0 106144072 26628161536 11524 33554432000 4194304 4196468 140728449745536 140581268333344 140582930314965 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 16691200 140728449754258 140728449754435 140728449754435 140728449757135 0
[pid=28654/tid=28666] ppid=28652 vsize=26004064 memory=281355388928400 CPUtime=0 cores=0-7
/proc/28654/task/28666/stat : 28666 (java) S 28652 28652 28608 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 106144072 26628161536 11524 33554432000 4194304 4196468 140728449745536 140581267281008 140582930314965 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 16691200 140728449754258 140728449754435 140728449754435 140728449757135 0
[pid=28654/tid=28667] ppid=28652 vsize=26004064 memory=281355388869680 CPUtime=0 cores=0-7
/proc/28654/task/28667/stat : 28667 (java) S 28652 28652 28608 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 106144075 26628161536 11524 33554432000 4194304 4196468 140728449745536 140581266229328 140582930323355 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 16691200 140728449754258 140728449754435 140728449754435 140728449757135 0
[pid=28654/tid=28668] ppid=28652 vsize=26004064 memory=281355388942224 CPUtime=0.02 cores=0-7
/proc/28654/task/28668/stat : 28668 (java) S 28652 28652 28608 0 -1 1077944384 404 0 0 0 2 0 0 0 20 0 20 0 106144075 26628161536 11524 33554432000 4194304 4196468 140728449745536 140581265177200 140582930315906 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 16691200 140728449754258 140728449754435 140728449754435 140728449757135 0
[pid=28654/tid=28669] ppid=28652 vsize=26004064 memory=281355388949136 CPUtime=0.02 cores=0-7
/proc/28654/task/28669/stat : 28669 (java) R 28652 28652 28608 0 -1 4202560 176 0 0 0 2 0 0 0 20 0 20 0 106144075 26628161536 11524 33554432000 4194304 4196468 140728449745536 140581264111248 140582922594048 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 16691200 140728449754258 140728449754435 140728449754435 140728449757135 0
[pid=28654/tid=28670] ppid=28652 vsize=26004064 memory=281355388946832 CPUtime=0.02 cores=0-7
/proc/28654/task/28670/stat : 28670 (java) R 28652 28652 28608 0 -1 4202560 399 0 0 0 2 0 0 0 20 0 20 0 106144075 26628161536 11524 33554432000 4194304 4196468 140728449745536 140581263072112 140582913713866 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 16691200 140728449754258 140728449754435 140728449754435 140728449757135 0
[pid=28654/tid=28671] ppid=28652 vsize=26004064 memory=281355388962992 CPUtime=0.12 cores=0-7
/proc/28654/task/28671/stat : 28671 (java) R 28652 28652 28608 0 -1 4202560 841 0 0 0 12 0 0 0 20 0 20 0 106144075 26628161536 11524 33554432000 4194304 4196468 140728449745536 140581262017104 140582930316694 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 16691200 140728449754258 140728449754435 140728449754435 140728449757135 0
[pid=28654/tid=28672] ppid=28652 vsize=26004064 memory=0 CPUtime=0 cores=0-7
/proc/28654/task/28672/stat : 28672 (java) S 28652 28652 28608 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 106144075 26628161536 11524 33554432000 4194304 4196468 140728449745536 140581260966240 140582930314965 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 16691200 140728449754258 140728449754435 140728449754435 140728449757135 0
[pid=28654/tid=28673] ppid=28652 vsize=26004064 memory=-1 CPUtime=0 cores=0-7
/proc/28654/task/28673/stat : 28673 (java) S 28652 28652 28608 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 106144075 26628161536 11524 33554432000 4194304 4196468 140728449745536 140580520716592 140582930315906 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 16691200 140728449754258 140728449754435 140728449754435 140728449757135 0
Current children cumulated CPU time: 0.5 s
Current children cumulated vsize: 26013576 KiB
Current children cumulated memory: 47480 KiB

[startup+0.70102 s]
/proc/loadavg: 9.01 8.76 8.65 5/199 28673
/proc/meminfo: memFree=28653696/32770624 swapFree=67108860/67108860
[pid=28652] ppid=28649 vsize=9512 memory=1384 CPUtime=0 cores=0-7
/proc/28652/stat : 28652 (xcsp3-exec) S 28649 28652 28608 0 -1 4202496 515 0 0 0 0 0 0 0 20 0 1 0 106144069 9740288 346 33554432000 4194304 5098028 140725450094256 140725450092360 140392860332668 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 36589568 140725450097765 140725450097975 140725450097975 140725450100715 0
/proc/28652/statm: 2378 346 289 221 0 87 0
[pid=28654] ppid=28652 vsize=26004140 memory=153644 CPUtime=2.03 cores=0-7
/proc/28654/stat : 28654 (java) S 28652 28652 28608 0 -1 1077944320 15151 0 0 0 198 5 0 0 20 0 20 0 106144069 26628239360 38411 33554432000 4194304 4196468 140728449745536 140728449728080 140582930304759 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 16691200 140728449754258 140728449754435 140728449754435 140728449757135 0
/proc/28654/statm: 6501035 38411 3199 1 0 6488269 0
[pid=28654/tid=28655] ppid=28652 vsize=26004140 memory=281355389320880 CPUtime=0.67 cores=0-7
/proc/28654/task/28655/stat : 28655 (java) R 28652 28652 28608 0 -1 4202560 6444 0 0 0 64 3 0 0 20 0 20 0 106144069 26628239360 38411 33554432000 4194304 4196468 140728449745536 140582934541168 140582554247349 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 16691200 140728449754258 140728449754435 140728449754435 140728449757135 0
[pid=28654/tid=28656] ppid=28652 vsize=26004140 memory=140677694661488 CPUtime=0 cores=0-7
/proc/28654/task/28656/stat : 28656 (java) S 28652 28652 28608 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 106144070 26628239360 38411 33554432000 4194304 4196468 140728449745536 140582882924944 140582930314965 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 16691200 140728449754258 140728449754435 140728449754435 140728449757135 0
[pid=28654/tid=28657] ppid=28652 vsize=26004140 memory=0 CPUtime=0 cores=0-7
/proc/28654/task/28657/stat : 28657 (java) S 28652 28652 28608 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 106144070 26628239360 38411 33554432000 4194304 4196468 140728449745536 140582881872144 140582930314965 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 16691200 140728449754258 140728449754435 140728449754435 140728449757135 0
[pid=28654/tid=28658] ppid=28652 vsize=26004140 memory=1200 CPUtime=0 cores=0-7
/proc/28654/task/28658/stat : 28658 (java) S 28652 28652 28608 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 106144070 26628239360 38411 33554432000 4194304 4196468 140728449745536 140582880819856 140582930314965 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 16691200 140728449754258 140728449754435 140728449754435 140728449757135 0

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

[pid=28654/tid=28671] ppid=28652 vsize=26538700 memory=7446535315208953962 CPUtime=0.78 cores=0-7
/proc/28654/task/28671/stat : 28671 (java) S 28652 28652 28608 0 -1 1077944384 4168 0 0 0 77 1 0 0 20 0 28 0 106144075 27175628800 342477 33554432000 4194304 4196468 140728449745536 140581262019312 140582930315906 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 1 0 0 6293624 6294260 16691200 140728449754258 140728449754435 140728449754435 140728449757135 0
[pid=28654/tid=28672] ppid=28652 vsize=26538700 memory=7374477721204385129 CPUtime=0 cores=0-7
/proc/28654/task/28672/stat : 28672 (java) S 28652 28652 28608 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 28 0 106144075 27175628800 342477 33554432000 4194304 4196468 140728449745536 140581260966240 140582930314965 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 16691200 140728449754258 140728449754435 140728449754435 140728449757135 0
[pid=28654/tid=28673] ppid=28652 vsize=26538700 memory=8025788801259955540 CPUtime=0 cores=0-7
/proc/28654/task/28673/stat : 28673 (java) S 28652 28652 28608 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 28 0 106144075 27175628800 342477 33554432000 4194304 4196468 140728449745536 140580520716592 140582930315906 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 7 0 0 6293624 6294260 16691200 140728449754258 140728449754435 140728449754435 140728449757135 0
[pid=28654/tid=28674] ppid=28652 vsize=26538700 memory=7588684550706915689 CPUtime=2.6 cores=0-7
/proc/28654/task/28674/stat : 28674 (java) R 28652 28652 28608 0 -1 4202560 146 0 0 0 259 1 0 0 20 0 28 0 106144476 27175628800 342477 33554432000 4194304 4196468 140728449745536 140580513201144 140582559620559 0 4 0 16800975 0 0 0 -1 4 0 0 1 0 0 6293624 6294260 16691200 140728449754258 140728449754435 140728449754435 140728449757135 0
[pid=28654/tid=28675] ppid=28652 vsize=26538700 memory=7660992747008970837 CPUtime=2.81 cores=0-7
/proc/28654/task/28675/stat : 28675 (java) R 28652 28652 28608 0 -1 4202560 147 0 0 0 281 0 0 0 20 0 28 0 106144476 27175628800 342477 33554432000 4194304 4196468 140728449745536 140580512149608 140582560436896 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 16691200 140728449754258 140728449754435 140728449754435 140728449757135 0
[pid=28654/tid=28676] ppid=28652 vsize=26538700 memory=7236547281622689387 CPUtime=2.54 cores=0-7
/proc/28654/task/28676/stat : 28676 (java) R 28652 28652 28608 0 -1 4202560 535 0 0 0 250 4 0 0 20 0 28 0 106144476 27175628800 342477 33554432000 4194304 4196468 140728449745536 140580511098936 140582559619653 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 16691200 140728449754258 140728449754435 140728449754435 140728449757135 0
[pid=28654/tid=28677] ppid=28652 vsize=26538700 memory=5788908277929698645 CPUtime=2.81 cores=0-7
/proc/28654/task/28677/stat : 28677 (java) R 28652 28652 28608 0 -1 4202560 360 0 0 0 278 3 0 0 20 0 28 0 106144476 27175628800 342477 33554432000 4194304 4196468 140728449745536 140580510044536 140582559735713 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 16691200 140728449754258 140728449754435 140728449754435 140728449757135 0
[pid=28654/tid=28678] ppid=28652 vsize=26538700 memory=5793970325998817360 CPUtime=2.47 cores=0-7
/proc/28654/task/28678/stat : 28678 (java) R 28652 28652 28608 0 -1 4202560 240 0 0 0 247 0 0 0 20 0 28 0 106144476 27175628800 342477 33554432000 4194304 4196468 140728449745536 140580508994120 140582551103325 0 4 0 16800975 0 0 0 -1 3 0 0 1 0 0 6293624 6294260 16691200 140728449754258 140728449754435 140728449754435 140728449757135 0
[pid=28654/tid=28679] ppid=28652 vsize=26538700 memory=5787213852901402449 CPUtime=2.42 cores=0-7
/proc/28654/task/28679/stat : 28679 (java) R 28652 28652 28608 0 -1 4202560 127 0 0 0 242 0 0 0 20 0 28 0 106144476 27175628800 342477 33554432000 4194304 4196468 140728449745536 140580507939336 140582559826188 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 16691200 140728449754258 140728449754435 140728449754435 140728449757135 0
[pid=28654/tid=28680] ppid=28652 vsize=26538700 memory=7301858164987948385 CPUtime=2.45 cores=0-7
/proc/28654/task/28680/stat : 28680 (java) R 28652 28652 28608 0 -1 4202560 127 0 0 0 244 1 0 0 20 0 28 0 106144476 27175628800 342477 33554432000 4194304 4196468 140728449745536 140580506885896 140582559276707 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 16691200 140728449754258 140728449754435 140728449754435 140728449757135 0
[pid=28654/tid=28681] ppid=28652 vsize=26538700 memory=7301858164987948385 CPUtime=2.83 cores=0-7
/proc/28654/task/28681/stat : 28681 (java) R 28652 28652 28608 0 -1 4202560 228 0 0 0 282 1 0 0 20 0 28 0 106144476 27175628800 342477 33554432000 4194304 4196468 140728449745536 140580505835248 140582559911075 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 16691200 140728449754258 140728449754435 140728449754435 140728449757135 0
Current children cumulated CPU time: 36.87 s
Current children cumulated vsize: 26548212 KiB
Current children cumulated memory: 1371292 KiB

[startup+8.00182 s]*
/proc/loadavg: 8.80 8.72 8.64 10/207 28681
/proc/meminfo: memFree=27351428/32770624 swapFree=67108860/67108860
[pid=28652] ppid=28649 vsize=9512 memory=1384 CPUtime=0 cores=0-7
/proc/28652/stat : 28652 (xcsp3-exec) S 28649 28652 28608 0 -1 4202496 515 0 0 0 0 0 0 0 20 0 1 0 106144069 9740288 346 33554432000 4194304 5098028 140725450094256 140725450092360 140392860332668 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 36589568 140725450097765 140725450097975 140725450097975 140725450100715 0
/proc/28652/statm: 2378 346 289 221 0 87 0
[pid=28654] ppid=28652 vsize=26538700 memory=1369912 CPUtime=43.32 cores=0-7
/proc/28654/stat : 28654 (java) S 28652 28652 28608 0 -1 1077944320 38945 0 0 0 4209 123 0 0 20 0 28 0 106144069 27175628800 342478 33554432000 4194304 4196468 140728449745536 140728449728080 140582930304759 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 16691200 140728449754258 140728449754435 140728449754435 140728449757135 0
/proc/28654/statm: 6634675 342478 3276 1 0 6621909 0
[pid=28654/tid=28655] ppid=28652 vsize=26538700 memory=6791534058613427641 CPUtime=3.75 cores=0-7
/proc/28654/task/28655/stat : 28655 (java) S 28652 28652 28608 0 -1 1077944384 7459 0 0 0 363 12 0 0 20 0 28 0 106144069 27175628800 342478 33554432000 4194304 4196468 140728449745536 140582934545536 140582930314965 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 16691200 140728449754258 140728449754435 140728449754435 140728449757135 0
[pid=28654/tid=28656] ppid=28652 vsize=26538700 memory=4872558044660077418 CPUtime=0.32 cores=0-7
/proc/28654/task/28656/stat : 28656 (java) S 28652 28652 28608 0 -1 1077944384 260 0 0 0 22 10 0 0 20 0 28 0 106144070 27175628800 342478 33554432000 4194304 4196468 140728449745536 140582882924944 140582930314965 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 16691200 140728449754258 140728449754435 140728449754435 140728449757135 0
[pid=28654/tid=28657] ppid=28652 vsize=26538700 memory=32 CPUtime=0.34 cores=0-7
/proc/28654/task/28657/stat : 28657 (java) S 28652 28652 28608 0 -1 1077944384 265 0 0 0 24 10 0 0 20 0 28 0 106144070 27175628800 342478 33554432000 4194304 4196468 140728449745536 140582881872144 140582930314965 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 16691200 140728449754258 140728449754435 140728449754435 140728449757135 0
[pid=28654/tid=28658] ppid=28652 vsize=26538700 memory=37 CPUtime=0.35 cores=0-7
/proc/28654/task/28658/stat : 28658 (java) S 28652 28652 28608 0 -1 1077944384 275 0 0 0 24 11 0 0 20 0 28 0 106144070 27175628800 342478 33554432000 4194304 4196468 140728449745536 140582880819856 140582930314965 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 16691200 140728449754258 140728449754435 140728449754435 140728449757135 0
[pid=28654/tid=28659] ppid=28652 vsize=26538700 memory=35 CPUtime=0.33 cores=0-7
/proc/28654/task/28659/stat : 28659 (java) S 28652 28652 28608 0 -1 1077944384 207 0 0 0 23 10 0 0 20 0 28 0 106144070 27175628800 342478 33554432000 4194304 4196468 140728449745536 140582879767056 140582930314965 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 16691200 140728449754258 140728449754435 140728449754435 140728449757135 0
[pid=28654/tid=28660] ppid=28652 vsize=26538700 memory=34 CPUtime=0.37 cores=0-7
/proc/28654/task/28660/stat : 28660 (java) S 28652 28652 28608 0 -1 1077944384 221 0 0 0 26 11 0 0 20 0 28 0 106144070 27175628800 342478 33554432000 4194304 4196468 140728449745536 140582878714768 140582930314965 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 16691200 140728449754258 140728449754435 140728449754435 140728449757135 0
[pid=28654/tid=28661] ppid=28652 vsize=26538700 memory=1944 CPUtime=0.35 cores=0-7
/proc/28654/task/28661/stat : 28661 (java) S 28652 28652 28608 0 -1 1077944384 264 0 0 0 25 10 0 0 20 0 28 0 106144070 27175628800 342478 33554432000 4194304 4196468 140728449745536 140582877661968 140582930314965 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 16691200 140728449754258 140728449754435 140728449754435 140728449757135 0
[pid=28654/tid=28662] ppid=28652 vsize=26538700 memory=1200 CPUtime=0.34 cores=0-7
/proc/28654/task/28662/stat : 28662 (java) S 28652 28652 28608 0 -1 1077944384 258 0 0 0 24 10 0 0 20 0 28 0 106144070 27175628800 342478 33554432000 4194304 4196468 140728449745536 140582876609680 140582930314965 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 1 0 0 6293624 6294260 16691200 140728449754258 140728449754435 140728449754435 140728449757135 0
[pid=28654/tid=28663] ppid=28652 vsize=26538700 memory=1424 CPUtime=0.35 cores=0-7
/proc/28654/task/28663/stat : 28663 (java) S 28652 28652 28608 0 -1 1077944384 433 0 0 0 24 11 0 0 20 0 28 0 106144070 27175628800 342478 33554432000 4194304 4196468 140728449745536 140582875556880 140582930314965 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 16691200 140728449754258 140728449754435 140728449754435 140728449757135 0
[pid=28654/tid=28664] ppid=28652 vsize=26538700 memory=8556 CPUtime=0.01 cores=0-7
/proc/28654/task/28664/stat : 28664 (java) S 28652 28652 28608 0 -1 1077944384 599 0 0 0 1 0 0 0 20 0 28 0 106144072 27175628800 342478 33554432000 4194304 4196468 140728449745536 140581269387376 140582930315906 0 0 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 16691200 140728449754258 140728449754435 140728449754435 140728449757135 0
[pid=28654/tid=28665] ppid=28652 vsize=26538700 memory=15872 CPUtime=0 cores=0-7
/proc/28654/task/28665/stat : 28665 (java) S 28652 28652 28608 0 -1 1077944384 34 0 0 0 0 0 0 0 20 0 28 0 106144072 27175628800 342478 33554432000 4194304 4196468 140728449745536 140581268333408 140582930314965 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 16691200 140728449754258 140728449754435 140728449754435 140728449757135 0
[pid=28654/tid=28666] ppid=28652 vsize=26538700 memory=4052 CPUtime=0 cores=0-7
/proc/28654/task/28666/stat : 28666 (java) S 28652 28652 28608 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 28 0 106144072 27175628800 342478 33554432000 4194304 4196468 140728449745536 140581267281024 140582930314965 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 16691200 140728449754258 140728449754435 140728449754435 140728449757135 0
[pid=28654/tid=28667] ppid=28652 vsize=26538700 memory=17948 CPUtime=0 cores=0-7
/proc/28654/task/28667/stat : 28667 (java) S 28652 28652 28608 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 106144075 27175628800 342478 33554432000 4194304 4196468 140728449745536 140581266229328 140582930323355 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 16691200 140728449754258 140728449754435 140728449754435 140728449757135 0
[pid=28654/tid=28668] ppid=28652 vsize=26538700 memory=18472 CPUtime=2.63 cores=0-7
/proc/28654/task/28668/stat : 28668 (java) S 28652 28652 28608 0 -1 1077944384 5620 0 0 0 262 1 0 0 20 0 28 0 106144075 27175628800 342478 33554432000 4194304 4196468 140728449745536 140581265177200 140582930315906 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 16691200 140728449754258 140728449754435 140728449754435 140728449757135 0
[pid=28654/tid=28669] ppid=28652 vsize=26538700 memory=0 CPUtime=3.18 cores=0-7
/proc/28654/task/28669/stat : 28669 (java) S 28652 28652 28608 0 -1 1077944384 9898 0 0 0 315 3 0 0 20 0 28 0 106144075 27175628800 342478 33554432000 4194304 4196468 140728449745536 140581264124400 140582930315906 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 16691200 140728449754258 140728449754435 140728449754435 140728449757135 0
[pid=28654/tid=28670] ppid=28652 vsize=26538700 memory=-8316900901535099443 CPUtime=2.68 cores=0-7
/proc/28654/task/28670/stat : 28670 (java) S 28652 28652 28608 0 -1 1077944384 5681 0 0 0 267 1 0 0 20 0 28 0 106144075 27175628800 342478 33554432000 4194304 4196468 140728449745536 140581263072112 140582930315906 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 16691200 140728449754258 140728449754435 140728449754435 140728449757135 0
[pid=28654/tid=28671] ppid=28652 vsize=26538700 memory=-6800859132029471843 CPUtime=0.79 cores=0-7
/proc/28654/task/28671/stat : 28671 (java) S 28652 28652 28608 0 -1 1077944384 4173 0 0 0 78 1 0 0 20 0 28 0 106144075 27175628800 342478 33554432000 4194304 4196468 140728449745536 140581262019312 140582930315906 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 1 0 0 6293624 6294260 16691200 140728449754258 140728449754435 140728449754435 140728449757135 0
[pid=28654/tid=28672] ppid=28652 vsize=26538700 memory=-4866526899798303339 CPUtime=0 cores=0-7
/proc/28654/task/28672/stat : 28672 (java) S 28652 28652 28608 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 28 0 106144075 27175628800 342478 33554432000 4194304 4196468 140728449745536 140581260966240 140582930314965 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 16691200 140728449754258 140728449754435 140728449754435 140728449757135 0
[pid=28654/tid=28673] ppid=28652 vsize=26538700 memory=301789554502011695 CPUtime=0 cores=0-7
/proc/28654/task/28673/stat : 28673 (java) S 28652 28652 28608 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 28 0 106144075 27175628800 342478 33554432000 4194304 4196468 140728449745536 140580520716592 140582930315906 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 7 0 0 6293624 6294260 16691200 140728449754258 140728449754435 140728449754435 140728449757135 0
[pid=28654/tid=28674] ppid=28652 vsize=26538700 memory=14978853885991074 CPUtime=3.41 cores=0-7
/proc/28654/task/28674/stat : 28674 (java) R 28652 28652 28608 0 -1 4202560 146 0 0 0 340 1 0 0 20 0 28 0 106144476 27175628800 342478 33554432000 4194304 4196468 140728449745536 140580513201400 140582559276541 0 4 0 16800975 0 0 0 -1 4 0 0 1 0 0 6293624 6294260 16691200 140728449754258 140728449754435 140728449754435 140728449757135 0
[pid=28654/tid=28675] ppid=28652 vsize=26538700 memory=6944656592455359580 CPUtime=3.62 cores=0-7
/proc/28654/task/28675/stat : 28675 (java) R 28652 28652 28608 0 -1 4202560 147 0 0 0 362 0 0 0 20 0 28 0 106144476 27175628800 342478 33554432000 4194304 4196468 140728449745536 140580512149608 140582914681872 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 16691200 140728449754258 140728449754435 140728449754435 140728449757135 0
[pid=28654/tid=28676] ppid=28652 vsize=26538700 memory=-7674914008656224160 CPUtime=3.35 cores=0-7
/proc/28654/task/28676/stat : 28676 (java) R 28652 28652 28608 0 -1 4202560 554 0 0 0 331 4 0 0 20 0 28 0 106144476 27175628800 342478 33554432000 4194304 4196468 140728449745536 140580511099176 140582559277306 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 16691200 140728449754258 140728449754435 140728449754435 140728449757135 0
[pid=28654/tid=28677] ppid=28652 vsize=26538700 memory=6944656592455360604 CPUtime=3.62 cores=0-7
/proc/28654/task/28677/stat : 28677 (java) R 28652 28652 28608 0 -1 4202560 412 0 0 0 359 3 0 0 20 0 28 0 106144476 27175628800 342478 33554432000 4194304 4196468 140728449745536 140580510044536 140582559734730 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 16691200 140728449754258 140728449754435 140728449754435 140728449757135 0
[pid=28654/tid=28678] ppid=28652 vsize=26538700 memory=6944652177228980320 CPUtime=3.26 cores=0-7
/proc/28654/task/28678/stat : 28678 (java) R 28652 28652 28608 0 -1 4202560 264 0 0 0 326 0 0 0 20 0 28 0 106144476 27175628800 342478 33554432000 4194304 4196468 140728449745536 140580508993672 140582559911070 0 4 0 16800975 0 0 0 -1 3 0 0 1 0 0 6293624 6294260 16691200 140728449754258 140728449754435 140728449754435 140728449757135 0
[pid=28654/tid=28679] ppid=28652 vsize=26538700 memory=6944656592455360604 CPUtime=3.21 cores=0-7
/proc/28654/task/28679/stat : 28679 (java) R 28652 28652 28608 0 -1 4202560 129 0 0 0 321 0 0 0 20 0 28 0 106144476 27175628800 342478 33554432000 4194304 4196468 140728449745536 140580507940024 140582560271445 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 16691200 140728449754258 140728449754435 140728449754435 140728449757135 0
[pid=28654/tid=28680] ppid=28652 vsize=26538700 memory=-9001734013606258791 CPUtime=3.25 cores=0-7
/proc/28654/task/28680/stat : 28680 (java) R 28652 28652 28608 0 -1 4202560 128 0 0 0 324 1 0 0 20 0 28 0 106144476 27175628800 342478 33554432000 4194304 4196468 140728449745536 140580506886136 140582559620458 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 16691200 140728449754258 140728449754435 140728449754435 140728449757135 0
[pid=28654/tid=28681] ppid=28652 vsize=26538700 memory=-7384994778349281184 CPUtime=3.62 cores=0-7
/proc/28654/task/28681/stat : 28681 (java) R 28652 28652 28608 0 -1 4202560 243 0 0 0 361 1 0 0 20 0 28 0 106144476 27175628800 342478 33554432000 4194304 4196468 140728449745536 140580505833240 140582560222071 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 16691200 140728449754258 140728449754435 140728449754435 140728449757135 0
Current children cumulated CPU time: 43.32 s
Current children cumulated vsize: 26548212 KiB
Current children cumulated memory: 1371296 KiB

[startup+8.40182 s]
/proc/loadavg: 8.80 8.72 8.64 10/207 28681
/proc/meminfo: memFree=27351428/32770624 swapFree=67108860/67108860
[pid=28652] ppid=28649 vsize=9512 memory=1384 CPUtime=0 cores=0-7
/proc/28652/stat : 28652 (xcsp3-exec) S 28649 28652 28608 0 -1 4202496 515 0 0 0 0 0 0 0 20 0 1 0 106144069 9740288 346 33554432000 4194304 5098028 140725450094256 140725450092360 140392860332668 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 36589568 140725450097765 140725450097975 140725450097975 140725450100715 0
/proc/28652/statm: 2378 346 289 221 0 87 0
[pid=28654] ppid=28652 vsize=26538700 memory=1374068 CPUtime=46.44 cores=0-7
/proc/28654/stat : 28654 (java) S 28652 28652 28608 0 -1 1077944320 39127 0 0 0 4521 123 0 0 20 0 28 0 106144069 27175628800 343517 33554432000 4194304 4196468 140728449745536 140728449728080 140582930304759 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 16691200 140728449754258 140728449754435 140728449754435 140728449757135 0
/proc/28654/statm: 6634675 343517 3276 1 0 6621909 0
[pid=28654/tid=28655] ppid=28652 vsize=26538700 memory=6791534058613427641 CPUtime=3.75 cores=0-7
/proc/28654/task/28655/stat : 28655 (java) S 28652 28652 28608 0 -1 1077944384 7459 0 0 0 363 12 0 0 20 0 28 0 106144069 27175628800 343517 33554432000 4194304 4196468 140728449745536 140582934545536 140582930314965 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 16691200 140728449754258 140728449754435 140728449754435 140728449757135 0
[pid=28654/tid=28656] ppid=28652 vsize=26538700 memory=22 CPUtime=0.32 cores=0-7
/proc/28654/task/28656/stat : 28656 (java) S 28652 28652 28608 0 -1 1077944384 260 0 0 0 22 10 0 0 20 0 28 0 106144070 27175628800 343517 33554432000 4194304 4196468 140728449745536 140582882924944 140582930314965 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 16691200 140728449754258 140728449754435 140728449754435 140728449757135 0
[pid=28654/tid=28657] ppid=28652 vsize=26538700 memory=1384 CPUtime=0.34 cores=0-7
/proc/28654/task/28657/stat : 28657 (java) S 28652 28652 28608 0 -1 1077944384 265 0 0 0 24 10 0 0 20 0 28 0 106144070 27175628800 343517 33554432000 4194304 4196468 140728449745536 140582881872144 140582930314965 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 16691200 140728449754258 140728449754435 140728449754435 140728449757135 0
[pid=28654/tid=28658] ppid=28652 vsize=26538700 memory=1369908 CPUtime=0.35 cores=0-7
/proc/28654/task/28658/stat : 28658 (java) S 28652 28652 28608 0 -1 1077944384 275 0 0 0 24 11 0 0 20 0 28 0 106144070 27175628800 343517 33554432000 4194304 4196468 140728449745536 140582880819856 140582930314965 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 16691200 140728449754258 140728449754435 140728449754435 140728449757135 0
[pid=28654/tid=28659] ppid=28652 vsize=26538700 memory=24 CPUtime=0.33 cores=0-7
/proc/28654/task/28659/stat : 28659 (java) S 28652 28652 28608 0 -1 1077944384 207 0 0 0 23 10 0 0 20 0 28 0 106144070 27175628800 343517 33554432000 4194304 4196468 140728449745536 140582879767056 140582930314965 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 16691200 140728449754258 140728449754435 140728449754435 140728449757135 0
[pid=28654/tid=28660] ppid=28652 vsize=26538700 memory=6791534058613427641 CPUtime=0.37 cores=0-7
/proc/28654/task/28660/stat : 28660 (java) S 28652 28652 28608 0 -1 1077944384 221 0 0 0 26 11 0 0 20 0 28 0 106144070 27175628800 343517 33554432000 4194304 4196468 140728449745536 140582878714768 140582930314965 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 16691200 140728449754258 140728449754435 140728449754435 140728449757135 0
[pid=28654/tid=28661] ppid=28652 vsize=26538700 memory=-3473730578892139372 CPUtime=0.35 cores=0-7
/proc/28654/task/28661/stat : 28661 (java) S 28652 28652 28608 0 -1 1077944384 264 0 0 0 25 10 0 0 20 0 28 0 106144070 27175628800 343517 33554432000 4194304 4196468 140728449745536 140582877661968 140582930314965 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 16691200 140728449754258 140728449754435 140728449754435 140728449757135 0
[pid=28654/tid=28662] ppid=28652 vsize=26538700 memory=7869267844543376227 CPUtime=0.34 cores=0-7
/proc/28654/task/28662/stat : 28662 (java) S 28652 28652 28608 0 -1 1077944384 258 0 0 0 24 10 0 0 20 0 28 0 106144070 27175628800 343517 33554432000 4194304 4196468 140728449745536 140582876609680 140582930314965 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 1 0 0 6293624 6294260 16691200 140728449754258 140728449754435 140728449754435 140728449757135 0
[pid=28654/tid=28663] ppid=28652 vsize=26538700 memory=7523661644477522024 CPUtime=0.35 cores=0-7
/proc/28654/task/28663/stat : 28663 (java) S 28652 28652 28608 0 -1 1077944384 433 0 0 0 24 11 0 0 20 0 28 0 106144070 27175628800 343517 33554432000 4194304 4196468 140728449745536 140582875556880 140582930314965 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 16691200 140728449754258 140728449754435 140728449754435 140728449757135 0
[pid=28654/tid=28664] ppid=28652 vsize=26538700 memory=8026650869813564775 CPUtime=0.01 cores=0-7
/proc/28654/task/28664/stat : 28664 (java) S 28652 28652 28608 0 -1 1077944384 599 0 0 0 1 0 0 0 20 0 28 0 106144072 27175628800 343517 33554432000 4194304 4196468 140728449745536 140581269387376 140582930315906 0 0 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 16691200 140728449754258 140728449754435 140728449754435 140728449757135 0
[pid=28654/tid=28665] ppid=28652 vsize=26538700 memory=0 CPUtime=0 cores=0-7
/proc/28654/task/28665/stat : 28665 (java) S 28652 28652 28608 0 -1 1077944384 34 0 0 0 0 0 0 0 20 0 28 0 106144072 27175628800 343517 33554432000 4194304 4196468 140728449745536 140581268333408 140582930314965 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 16691200 140728449754258 140728449754435 140728449754435 140728449757135 0
[pid=28654/tid=28666] ppid=28652 vsize=26538700 memory=5860704123725310038 CPUtime=0 cores=0-7
/proc/28654/task/28666/stat : 28666 (java) S 28652 28652 28608 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 28 0 106144072 27175628800 343517 33554432000 4194304 4196468 140728449745536 140581267281024 140582930314965 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 16691200 140728449754258 140728449754435 140728449754435 140728449757135 0
[pid=28654/tid=28667] ppid=28652 vsize=26538700 memory=5860704123725310038 CPUtime=0 cores=0-7
/proc/28654/task/28667/stat : 28667 (java) S 28652 28652 28608 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 106144075 27175628800 343517 33554432000 4194304 4196468 140728449745536 140581266229328 140582930323355 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 16691200 140728449754258 140728449754435 140728449754435 140728449757135 0
[pid=28654/tid=28668] ppid=28652 vsize=26538700 memory=7444825561389879400 CPUtime=2.64 cores=0-7
/proc/28654/task/28668/stat : 28668 (java) R 28652 28652 28608 0 -1 4202560 5621 0 0 0 263 1 0 0 20 0 28 0 106144075 27175628800 343517 33554432000 4194304 4196468 140728449745536 140581265165872 140582908604529 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 16691200 140728449754258 140728449754435 140728449754435 140728449757135 0
[pid=28654/tid=28669] ppid=28652 vsize=26538700 memory=8026650869813564775 CPUtime=3.19 cores=0-7
/proc/28654/task/28669/stat : 28669 (java) S 28652 28652 28608 0 -1 1077944384 9906 0 0 0 316 3 0 0 20 0 28 0 106144075 27175628800 343517 33554432000 4194304 4196468 140728449745536 140581264124400 140582930315906 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 16691200 140728449754258 140728449754435 140728449754435 140728449757135 0
[pid=28654/tid=28670] ppid=28652 vsize=26538700 memory=6791534058613427641 CPUtime=2.7 cores=0-7
/proc/28654/task/28670/stat : 28670 (java) S 28652 28652 28608 0 -1 1077944384 5700 0 0 0 269 1 0 0 20 0 28 0 106144075 27175628800 343517 33554432000 4194304 4196468 140728449745536 140581263072112 140582930315906 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 16691200 140728449754258 140728449754435 140728449754435 140728449757135 0
[pid=28654/tid=28671] ppid=28652 vsize=26538700 memory=7280 CPUtime=0.8 cores=0-7
/proc/28654/task/28671/stat : 28671 (java) S 28652 28652 28608 0 -1 1077944384 4227 0 0 0 79 1 0 0 20 0 28 0 106144075 27175628800 343517 33554432000 4194304 4196468 140728449745536 140581262019312 140582930315906 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 1 0 0 6293624 6294260 16691200 140728449754258 140728449754435 140728449754435 140728449757135 0
[pid=28654/tid=28672] ppid=28652 vsize=26538700 memory=844 CPUtime=0 cores=0-7
/proc/28654/task/28672/stat : 28672 (java) S 28652 28652 28608 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 28 0 106144075 27175628800 343517 33554432000 4194304 4196468 140728449745536 140581260966240 140582930314965 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 16691200 140728449754258 140728449754435 140728449754435 140728449757135 0
[pid=28654/tid=28673] ppid=28652 vsize=26538700 memory=4108 CPUtime=0 cores=0-7
/proc/28654/task/28673/stat : 28673 (java) S 28652 28652 28608 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 28 0 106144075 27175628800 343517 33554432000 4194304 4196468 140728449745536 140580520716592 140582930315906 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 7 0 0 6293624 6294260 16691200 140728449754258 140728449754435 140728449754435 140728449757135 0
[pid=28654/tid=28674] ppid=28652 vsize=26538700 memory=1696 CPUtime=3.8 cores=0-7
/proc/28654/task/28674/stat : 28674 (java) R 28652 28652 28608 0 -1 4202560 147 0 0 0 379 1 0 0 20 0 28 0 106144476 27175628800 343517 33554432000 4194304 4196468 140728449745536 140580513201912 140582559276533 0 4 0 16800975 0 0 0 -1 4 0 0 1 0 0 6293624 6294260 16691200 140728449754258 140728449754435 140728449754435 140728449757135 0
[pid=28654/tid=28675] ppid=28652 vsize=26538700 memory=920 CPUtime=4.01 cores=0-7
/proc/28654/task/28675/stat : 28675 (java) R 28652 28652 28608 0 -1 4202560 147 0 0 0 401 0 0 0 20 0 28 0 106144476 27175628800 343517 33554432000 4194304 4196468 140728449745536 140580512149608 140582559620876 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 16691200 140728449754258 140728449754435 140728449754435 140728449757135 0
[pid=28654/tid=28676] ppid=28652 vsize=26538700 memory=3888 CPUtime=3.73 cores=0-7
/proc/28654/task/28676/stat : 28676 (java) R 28652 28652 28608 0 -1 4202560 571 0 0 0 369 4 0 0 20 0 28 0 106144476 27175628800 343517 33554432000 4194304 4196468 140728449745536 140580511097176 140582559620526 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 16691200 140728449754258 140728449754435 140728449754435 140728449757135 0
[pid=28654/tid=28677] ppid=28652 vsize=26538700 memory=1152 CPUtime=4.01 cores=0-7
/proc/28654/task/28677/stat : 28677 (java) R 28652 28652 28608 0 -1 4202560 434 0 0 0 398 3 0 0 20 0 28 0 106144476 27175628800 343517 33554432000 4194304 4196468 140728449745536 140580510046552 140582559619779 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 16691200 140728449754258 140728449754435 140728449754435 140728449757135 0
[pid=28654/tid=28678] ppid=28652 vsize=26538700 memory=2740 CPUtime=3.62 cores=0-7
/proc/28654/task/28678/stat : 28678 (java) R 28652 28652 28608 0 -1 4202560 301 0 0 0 362 0 0 0 20 0 28 0 106144476 27175628800 343517 33554432000 4194304 4196468 140728449745536 140580508994184 140582561160148 0 4 0 16800975 0 0 0 -1 3 0 0 1 0 0 6293624 6294260 16691200 140728449754258 140728449754435 140728449754435 140728449757135 0
[pid=28654/tid=28679] ppid=28652 vsize=26538700 memory=1384 CPUtime=3.59 cores=0-7
/proc/28654/task/28679/stat : 28679 (java) R 28652 28652 28608 0 -1 4202560 145 0 0 0 359 0 0 0 20 0 28 0 106144476 27175628800 343517 33554432000 4194304 4196468 140728449745536 140580507940024 140582559276533 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 16691200 140728449754258 140728449754435 140728449754435 140728449757135 0
[pid=28654/tid=28680] ppid=28652 vsize=26538700 memory=1369872 CPUtime=3.61 cores=0-7
/proc/28654/task/28680/stat : 28680 (java) R 28652 28652 28608 0 -1 4202560 128 0 0 0 360 1 0 0 20 0 28 0 106144476 27175628800 343517 33554432000 4194304 4196468 140728449745536 140580506886136 140582559619465 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 16691200 140728449754258 140728449754435 140728449754435 140728449757135 0
[pid=28654/tid=28681] ppid=28652 vsize=26538700 memory=6791534058613427641 CPUtime=4 cores=0-7
/proc/28654/task/28681/stat : 28681 (java) R 28652 28652 28608 0 -1 4202560 250 0 0 0 399 1 0 0 20 0 28 0 106144476 27175628800 343517 33554432000 4194304 4196468 140728449745536 140580505833480 140582559620278 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 16691200 140728449754258 140728449754435 140728449754435 140728449757135 0
Current children cumulated CPU time: 46.44 s
Current children cumulated vsize: 26548212 KiB
Current children cumulated memory: 1375452 KiB

Child status: 0
Real time (s): 8.45084
CPU time (s): 46.5937
CPU user time (s): 45.339
CPU system time (s): 1.25469
CPU usage (%): 551.351
Max. virtual memory (cumulated for all children) (KiB): 26548212
Max. memory (cumulated for all children) (KiB): 1375452

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 45.339
system time used= 1.25469
maximum resident set size= 1374172
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 40407
page faults= 0
swaps= 0
block input operations= 0
block output operations= 144
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 4289
involuntary context switches= 1021


# summary of solver processes directly reported to runsolver:
#   pid: 28652
#   total CPU time (s): 46.5937
#   total CPU user time (s): 45.339
#   total CPU system time (s): 1.25469

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 0.084509 second user time and 0.145037 second system time

The end