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

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4281084-1503140698/watcher-4281084-1503140698 -o /tmp/evaluation-result-4281084-1503140698/solver-4281084-1503140698 -C 20160 -W 2520 -M 31000 --bin-var /tmp/runsolver-exch-node149-1503132049-19687 --watchdog 2580 ./xcsp3-exec -dir HOME -tl 20160 -p 8 -ml 22000 -tdir HOME -seed 994863048 HOME/instance-4281084-1503140698.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=22381, runsolver pid=22378

[startup+0.101626 s]*
/proc/loadavg: 1.46 1.14 1.67 3/199 22402
/proc/meminfo: memFree=21369988/32770624 swapFree=67108860/67108860
[pid=22381] ppid=22378 vsize=9512 memory=1384 CPUtime=0 cores=0-7
/proc/22381/stat : 22381 (xcsp3-exec) S 22378 22381 19660 0 -1 4202496 514 0 0 0 0 0 0 0 20 0 1 0 147150515 9740288 346 33554432000 4194304 5098028 140726521106704 140726521104808 140663606534780 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 18538496 140726521111653 140726521111863 140726521111863 140726521114603 0
/proc/22381/statm: 2378 346 289 221 0 87 0
[pid=22383] ppid=22381 vsize=25999808 memory=26592 CPUtime=0.12 cores=0-7
/proc/22383/stat : 22383 (java) S 22381 22381 19660 0 -1 1077944320 5589 0 0 0 11 1 0 0 20 0 20 0 147150515 26623803392 6648 33554432000 4194304 4196468 140721730665520 140721730648064 140376950755063 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 19767296 140721730667666 140721730667843 140721730667843 140721730670543 0
/proc/22383/statm: 6499952 6648 2847 1 0 6488269 0
[pid=22383/tid=22384] ppid=22381 vsize=25999808 memory=4134930498285298233 CPUtime=0.08 cores=0-7
/proc/22383/task/22384/stat : 22384 (java) R 22381 22381 19660 0 -1 4202560 3596 0 0 0 8 0 0 0 20 0 20 0 147150516 26623803392 6648 33554432000 4194304 4196468 140721730665520 140376954987584 140376587219047 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 19767296 140721730667666 140721730667843 140721730667843 140721730670543 0
[pid=22383/tid=22385] ppid=22381 vsize=25999808 memory=0 CPUtime=0 cores=0-7
/proc/22383/task/22385/stat : 22385 (java) S 22381 22381 19660 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 147150517 26623803392 6648 33554432000 4194304 4196468 140721730665520 140376913860880 140376950765269 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 19767296 140721730667666 140721730667843 140721730667843 140721730670543 0
[pid=22383/tid=22386] ppid=22381 vsize=25999808 memory=139873328842368 CPUtime=0 cores=0-7
/proc/22383/task/22386/stat : 22386 (java) S 22381 22381 19660 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 147150517 26623803392 6648 33554432000 4194304 4196468 140721730665520 140376508070288 140376950765269 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 19767296 140721730667666 140721730667843 140721730667843 140721730670543 0
[pid=22383/tid=22387] ppid=22381 vsize=25999808 memory=0 CPUtime=0 cores=0-7
/proc/22383/task/22387/stat : 22387 (java) S 22381 22381 19660 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 147150517 26623803392 6648 33554432000 4194304 4196468 140721730665520 140376507017744 140376950765269 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 19767296 140721730667666 140721730667843 140721730667843 140721730670543 0
[pid=22383/tid=22388] ppid=22381 vsize=25999808 memory=0 CPUtime=0 cores=0-7
/proc/22383/task/22388/stat : 22388 (java) S 22381 22381 19660 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 147150517 26623803392 6648 33554432000 4194304 4196468 140721730665520 140376505965200 140376950765269 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 19767296 140721730667666 140721730667843 140721730667843 140721730670543 0
[pid=22383/tid=22389] ppid=22381 vsize=25999808 memory=0 CPUtime=0 cores=0-7
/proc/22383/task/22389/stat : 22389 (java) S 22381 22381 19660 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 147150517 26623803392 6648 33554432000 4194304 4196468 140721730665520 140376504912656 140376950765269 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 19767296 140721730667666 140721730667843 140721730667843 140721730670543 0
[pid=22383/tid=22390] ppid=22381 vsize=25999808 memory=-1 CPUtime=0 cores=0-7
/proc/22383/task/22390/stat : 22390 (java) S 22381 22381 19660 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 147150517 26623803392 6648 33554432000 4194304 4196468 140721730665520 140376503860112 140376950765269 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 19767296 140721730667666 140721730667843 140721730667843 140721730670543 0
[pid=22383/tid=22391] ppid=22381 vsize=25999808 memory=0 CPUtime=0 cores=0-7
/proc/22383/task/22391/stat : 22391 (java) S 22381 22381 19660 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 147150517 26623803392 6648 33554432000 4194304 4196468 140721730665520 140376502807568 140376950765269 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 19767296 140721730667666 140721730667843 140721730667843 140721730670543 0
[pid=22383/tid=22392] ppid=22381 vsize=25999808 memory=0 CPUtime=0 cores=0-7
/proc/22383/task/22392/stat : 22392 (java) S 22381 22381 19660 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 147150517 26623803392 6648 33554432000 4194304 4196468 140721730665520 140376501755024 140376950765269 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 19767296 140721730667666 140721730667843 140721730667843 140721730670543 0
[pid=22383/tid=22393] ppid=22381 vsize=25999808 memory=0 CPUtime=0 cores=0-7
/proc/22383/task/22393/stat : 22393 (java) S 22381 22381 19660 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 147150518 26623803392 6648 33554432000 4194304 4196468 140721730665520 140376346589168 140376950766210 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 19767296 140721730667666 140721730667843 140721730667843 140721730670543 0
[pid=22383/tid=22394] ppid=22381 vsize=25999808 memory=0 CPUtime=0 cores=0-7
/proc/22383/task/22394/stat : 22394 (java) S 22381 22381 19660 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 20 0 147150519 26623803392 6648 33554432000 4194304 4196468 140721730665520 140376345535392 140376950765269 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 19767296 140721730667666 140721730667843 140721730667843 140721730670543 0
[pid=22383/tid=22395] ppid=22381 vsize=25999808 memory=0 CPUtime=0 cores=0-7
/proc/22383/task/22395/stat : 22395 (java) S 22381 22381 19660 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 147150519 26623803392 6648 33554432000 4194304 4196468 140721730665520 140376344482800 140376950765269 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 19767296 140721730667666 140721730667843 140721730667843 140721730670543 0
[pid=22383/tid=22396] ppid=22381 vsize=25999808 memory=0 CPUtime=0 cores=0-7
/proc/22383/task/22396/stat : 22396 (java) S 22381 22381 19660 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 147150521 26623803392 6648 33554432000 4194304 4196468 140721730665520 140376343431376 140376950773659 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 19767296 140721730667666 140721730667843 140721730667843 140721730670543 0
[pid=22383/tid=22397] ppid=22381 vsize=25999808 memory=0 CPUtime=0 cores=0-7
/proc/22383/task/22397/stat : 22397 (java) R 22381 22381 19660 0 -1 1077944384 299 0 0 0 0 0 0 0 20 0 20 0 147150521 26623803392 6648 33554432000 4194304 4196468 140721730665520 140376342378992 140376950766210 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 19767296 140721730667666 140721730667843 140721730667843 140721730670543 0
[pid=22383/tid=22398] ppid=22381 vsize=25999808 memory=0 CPUtime=0 cores=0-7
/proc/22383/task/22398/stat : 22398 (java) S 22381 22381 19660 0 -1 1077944384 123 0 0 0 0 0 0 0 20 0 20 0 147150521 26623803392 6648 33554432000 4194304 4196468 140721730665520 140376341326448 140376950766210 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 19767296 140721730667666 140721730667843 140721730667843 140721730670543 0
[pid=22383/tid=22399] ppid=22381 vsize=25999808 memory=0 CPUtime=0 cores=0-7
/proc/22383/task/22399/stat : 22399 (java) S 22381 22381 19660 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 147150521 26623803392 6648 33554432000 4194304 4196468 140721730665520 140376340273904 140376950766210 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 19767296 140721730667666 140721730667843 140721730667843 140721730670543 0
[pid=22383/tid=22400] ppid=22381 vsize=25999808 memory=0 CPUtime=0.01 cores=0-7
/proc/22383/task/22400/stat : 22400 (java) R 22381 22381 19660 0 -1 4202560 264 0 0 0 1 0 0 0 20 0 20 0 147150521 26623803392 6648 33554432000 4194304 4196468 140721730665520 140376339221360 140376931992624 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 19767296 140721730667666 140721730667843 140721730667843 140721730670543 0
[pid=22383/tid=22401] ppid=22381 vsize=25999808 memory=0 CPUtime=0 cores=0-7
/proc/22383/task/22401/stat : 22401 (java) S 22381 22381 19660 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 147150521 26623803392 6648 33554432000 4194304 4196468 140721730665520 140376338168032 140376950765269 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 19767296 140721730667666 140721730667843 140721730667843 140721730670543 0
[pid=22383/tid=22402] ppid=22381 vsize=25999808 memory=-1 CPUtime=0 cores=0-7
/proc/22383/task/22402/stat : 22402 (java) S 22381 22381 19660 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 147150522 26623803392 6648 33554432000 4194304 4196468 140721730665520 140376337115568 140376950766210 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 19767296 140721730667666 140721730667843 140721730667843 140721730670543 0
Current children cumulated CPU time: 0.12 s
Current children cumulated vsize: 26009320 KiB
Current children cumulated memory: 27976 KiB

[startup+0.210421 s]*
/proc/loadavg: 1.46 1.14 1.67 3/199 22402
/proc/meminfo: memFree=21358288/32770624 swapFree=67108860/67108860
[pid=22381] ppid=22378 vsize=9512 memory=1384 CPUtime=0 cores=0-7
/proc/22381/stat : 22381 (xcsp3-exec) S 22378 22381 19660 0 -1 4202496 514 0 0 0 0 0 0 0 20 0 1 0 147150515 9740288 346 33554432000 4194304 5098028 140726521106704 140726521104808 140663606534780 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 18538496 140726521111653 140726521111863 140726521111863 140726521114603 0
/proc/22381/statm: 2378 346 289 221 0 87 0
[pid=22383] ppid=22381 vsize=26004064 memory=39068 CPUtime=0.33 cores=0-7
/proc/22383/stat : 22383 (java) S 22381 22381 19660 0 -1 1077944320 8354 0 0 0 31 2 0 0 20 0 20 0 147150515 26628161536 9767 33554432000 4194304 4196468 140721730665520 140721730648064 140376950755063 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 19767296 140721730667666 140721730667843 140721730667843 140721730670543 0
/proc/22383/statm: 6501016 9767 3043 1 0 6488269 0
[pid=22383/tid=22384] ppid=22381 vsize=26004064 memory=8318255677412212789 CPUtime=0.19 cores=0-7
/proc/22383/task/22384/stat : 22384 (java) R 22381 22381 19660 0 -1 4202560 5453 0 0 0 18 1 0 0 20 0 20 0 147150516 26628161536 9767 33554432000 4194304 4196468 140721730665520 140376954975888 140376934835550 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 19767296 140721730667666 140721730667843 140721730667843 140721730670543 0
[pid=22383/tid=22385] ppid=22381 vsize=26004064 memory=330 CPUtime=0 cores=0-7
/proc/22383/task/22385/stat : 22385 (java) S 22381 22381 19660 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 147150517 26628161536 9767 33554432000 4194304 4196468 140721730665520 140376913860880 140376950765269 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 19767296 140721730667666 140721730667843 140721730667843 140721730670543 0
[pid=22383/tid=22386] ppid=22381 vsize=26004064 memory=139873329828105 CPUtime=0 cores=0-7
/proc/22383/task/22386/stat : 22386 (java) S 22381 22381 19660 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 147150517 26628161536 9767 33554432000 4194304 4196468 140721730665520 140376508070288 140376950765269 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 19767296 140721730667666 140721730667843 140721730667843 140721730670543 0
[pid=22383/tid=22387] ppid=22381 vsize=26004064 memory=-1 CPUtime=0 cores=0-7
/proc/22383/task/22387/stat : 22387 (java) S 22381 22381 19660 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 147150517 26628161536 9767 33554432000 4194304 4196468 140721730665520 140376507017744 140376950765269 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 19767296 140721730667666 140721730667843 140721730667843 140721730670543 0
[pid=22383/tid=22388] ppid=22381 vsize=26004064 memory=0 CPUtime=0 cores=0-7
/proc/22383/task/22388/stat : 22388 (java) S 22381 22381 19660 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 147150517 26628161536 9767 33554432000 4194304 4196468 140721730665520 140376505965200 140376950765269 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 19767296 140721730667666 140721730667843 140721730667843 140721730670543 0
[pid=22383/tid=22389] ppid=22381 vsize=26004064 memory=0 CPUtime=0 cores=0-7
/proc/22383/task/22389/stat : 22389 (java) S 22381 22381 19660 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 147150517 26628161536 9767 33554432000 4194304 4196468 140721730665520 140376504912656 140376950765269 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 19767296 140721730667666 140721730667843 140721730667843 140721730670543 0
[pid=22383/tid=22390] ppid=22381 vsize=26004064 memory=-1 CPUtime=0 cores=0-7
/proc/22383/task/22390/stat : 22390 (java) S 22381 22381 19660 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 147150517 26628161536 9767 33554432000 4194304 4196468 140721730665520 140376503860112 140376950765269 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 19767296 140721730667666 140721730667843 140721730667843 140721730670543 0
[pid=22383/tid=22391] ppid=22381 vsize=26004064 memory=0 CPUtime=0 cores=0-7
/proc/22383/task/22391/stat : 22391 (java) S 22381 22381 19660 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 147150517 26628161536 9767 33554432000 4194304 4196468 140721730665520 140376502807568 140376950765269 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 19767296 140721730667666 140721730667843 140721730667843 140721730670543 0
[pid=22383/tid=22392] ppid=22381 vsize=26004064 memory=0 CPUtime=0 cores=0-7
/proc/22383/task/22392/stat : 22392 (java) S 22381 22381 19660 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 147150517 26628161536 9767 33554432000 4194304 4196468 140721730665520 140376501755024 140376950765269 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 19767296 140721730667666 140721730667843 140721730667843 140721730670543 0
[pid=22383/tid=22393] ppid=22381 vsize=26004064 memory=0 CPUtime=0 cores=0-7
/proc/22383/task/22393/stat : 22393 (java) S 22381 22381 19660 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 147150518 26628161536 9767 33554432000 4194304 4196468 140721730665520 140376346589168 140376950766210 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 19767296 140721730667666 140721730667843 140721730667843 140721730670543 0
[pid=22383/tid=22394] ppid=22381 vsize=26004064 memory=0 CPUtime=0 cores=0-7
/proc/22383/task/22394/stat : 22394 (java) S 22381 22381 19660 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 20 0 147150519 26628161536 9767 33554432000 4194304 4196468 140721730665520 140376345535392 140376950765269 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 19767296 140721730667666 140721730667843 140721730667843 140721730670543 0
[pid=22383/tid=22395] ppid=22381 vsize=26004064 memory=0 CPUtime=0 cores=0-7
/proc/22383/task/22395/stat : 22395 (java) S 22381 22381 19660 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 147150519 26628161536 9767 33554432000 4194304 4196468 140721730665520 140376344482800 140376950765269 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 19767296 140721730667666 140721730667843 140721730667843 140721730670543 0
[pid=22383/tid=22396] ppid=22381 vsize=26004064 memory=0 CPUtime=0 cores=0-7
/proc/22383/task/22396/stat : 22396 (java) S 22381 22381 19660 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 147150521 26628161536 9767 33554432000 4194304 4196468 140721730665520 140376343431376 140376950773659 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 19767296 140721730667666 140721730667843 140721730667843 140721730670543 0
[pid=22383/tid=22397] ppid=22381 vsize=26004064 memory=0 CPUtime=0.01 cores=0-7
/proc/22383/task/22397/stat : 22397 (java) S 22381 22381 19660 0 -1 1077944384 361 0 0 0 1 0 0 0 20 0 20 0 147150521 26628161536 9767 33554432000 4194304 4196468 140721730665520 140376342378992 140376950766210 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 19767296 140721730667666 140721730667843 140721730667843 140721730670543 0
[pid=22383/tid=22398] ppid=22381 vsize=26004064 memory=0 CPUtime=0.01 cores=0-7
/proc/22383/task/22398/stat : 22398 (java) S 22381 22381 19660 0 -1 1077944384 165 0 0 0 1 0 0 0 20 0 20 0 147150521 26628161536 9767 33554432000 4194304 4196468 140721730665520 140376341326448 140376950766210 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 19767296 140721730667666 140721730667843 140721730667843 140721730670543 0
[pid=22383/tid=22399] ppid=22381 vsize=26004064 memory=-1 CPUtime=0.01 cores=0-7
/proc/22383/task/22399/stat : 22399 (java) S 22381 22381 19660 0 -1 1077944384 322 0 0 0 1 0 0 0 20 0 20 0 147150521 26628161536 9767 33554432000 4194304 4196468 140721730665520 140376340273904 140376950766210 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 19767296 140721730667666 140721730667843 140721730667843 140721730670543 0
[pid=22383/tid=22400] ppid=22381 vsize=26004064 memory=-1 CPUtime=0.07 cores=0-7
/proc/22383/task/22400/stat : 22400 (java) R 22381 22381 19660 0 -1 4202560 743 0 0 0 7 0 0 0 20 0 20 0 147150521 26628161536 9767 33554432000 4194304 4196468 140721730665520 140376339221360 140376950768945 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 19767296 140721730667666 140721730667843 140721730667843 140721730670543 0
[pid=22383/tid=22401] ppid=22381 vsize=26004064 memory=0 CPUtime=0 cores=0-7
/proc/22383/task/22401/stat : 22401 (java) S 22381 22381 19660 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 147150521 26628161536 9767 33554432000 4194304 4196468 140721730665520 140376338168032 140376950765269 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 19767296 140721730667666 140721730667843 140721730667843 140721730670543 0
[pid=22383/tid=22402] ppid=22381 vsize=26004064 memory=-1 CPUtime=0 cores=0-7
/proc/22383/task/22402/stat : 22402 (java) S 22381 22381 19660 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 147150522 26628161536 9767 33554432000 4194304 4196468 140721730665520 140376337115568 140376950766210 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 19767296 140721730667666 140721730667843 140721730667843 140721730670543 0
Current children cumulated CPU time: 0.33 s
Current children cumulated vsize: 26013576 KiB
Current children cumulated memory: 40452 KiB

[startup+0.310361 s]*
/proc/loadavg: 1.46 1.14 1.67 3/199 22402
/proc/meminfo: memFree=21353512/32770624 swapFree=67108860/67108860
[pid=22381] ppid=22378 vsize=9512 memory=1384 CPUtime=0 cores=0-7
/proc/22381/stat : 22381 (xcsp3-exec) S 22378 22381 19660 0 -1 4202496 514 0 0 0 0 0 0 0 20 0 1 0 147150515 9740288 346 33554432000 4194304 5098028 140726521106704 140726521104808 140663606534780 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 18538496 140726521111653 140726521111863 140726521111863 140726521114603 0
/proc/22381/statm: 2378 346 289 221 0 87 0
[pid=22383] ppid=22381 vsize=26004064 memory=43740 CPUtime=0.51 cores=0-7
/proc/22383/stat : 22383 (java) S 22381 22381 19660 0 -1 1077944320 9175 0 0 0 48 3 0 0 20 0 20 0 147150515 26628161536 10935 33554432000 4194304 4196468 140721730665520 140721730648064 140376950755063 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 19767296 140721730667666 140721730667843 140721730667843 140721730670543 0
/proc/22383/statm: 6501016 10935 3094 1 0 6488269 0
[pid=22383/tid=22384] ppid=22381 vsize=26004064 memory=6791534058613427641 CPUtime=0.29 cores=0-7
/proc/22383/task/22384/stat : 22384 (java) R 22381 22381 19660 0 -1 4202560 6128 0 0 0 28 1 0 0 20 0 20 0 147150516 26628161536 10935 33554432000 4194304 4196468 140721730665520 140376954994016 140376950766998 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 19767296 140721730667666 140721730667843 140721730667843 140721730670543 0
[pid=22383/tid=22385] ppid=22381 vsize=26004064 memory=0 CPUtime=0 cores=0-7
/proc/22383/task/22385/stat : 22385 (java) S 22381 22381 19660 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 147150517 26628161536 10935 33554432000 4194304 4196468 140721730665520 140376913860880 140376950765269 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 19767296 140721730667666 140721730667843 140721730667843 140721730670543 0
[pid=22383/tid=22386] ppid=22381 vsize=26004064 memory=0 CPUtime=0 cores=0-7
/proc/22383/task/22386/stat : 22386 (java) S 22381 22381 19660 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 147150517 26628161536 10935 33554432000 4194304 4196468 140721730665520 140376508070288 140376950765269 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 19767296 140721730667666 140721730667843 140721730667843 140721730670543 0
[pid=22383/tid=22387] ppid=22381 vsize=26004064 memory=0 CPUtime=0 cores=0-7
/proc/22383/task/22387/stat : 22387 (java) S 22381 22381 19660 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 147150517 26628161536 10935 33554432000 4194304 4196468 140721730665520 140376507017744 140376950765269 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 19767296 140721730667666 140721730667843 140721730667843 140721730670543 0
[pid=22383/tid=22388] ppid=22381 vsize=26004064 memory=0 CPUtime=0 cores=0-7
/proc/22383/task/22388/stat : 22388 (java) S 22381 22381 19660 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 147150517 26628161536 10935 33554432000 4194304 4196468 140721730665520 140376505965200 140376950765269 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 19767296 140721730667666 140721730667843 140721730667843 140721730670543 0
[pid=22383/tid=22389] ppid=22381 vsize=26004064 memory=2244 CPUtime=0 cores=0-7
/proc/22383/task/22389/stat : 22389 (java) S 22381 22381 19660 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 147150517 26628161536 10935 33554432000 4194304 4196468 140721730665520 140376504912656 140376950765269 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 19767296 140721730667666 140721730667843 140721730667843 140721730670543 0
[pid=22383/tid=22390] ppid=22381 vsize=26004064 memory=139873193391023 CPUtime=0 cores=0-7
/proc/22383/task/22390/stat : 22390 (java) S 22381 22381 19660 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 147150517 26628161536 10935 33554432000 4194304 4196468 140721730665520 140376503860112 140376950765269 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 19767296 140721730667666 140721730667843 140721730667843 140721730670543 0
[pid=22383/tid=22391] ppid=22381 vsize=26004064 memory=139873193393328 CPUtime=0 cores=0-7
/proc/22383/task/22391/stat : 22391 (java) S 22381 22381 19660 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 147150517 26628161536 10935 33554432000 4194304 4196468 140721730665520 140376502807568 140376950765269 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 19767296 140721730667666 140721730667843 140721730667843 140721730670543 0
[pid=22383/tid=22392] ppid=22381 vsize=26004064 memory=139873193395632 CPUtime=0 cores=0-7
/proc/22383/task/22392/stat : 22392 (java) S 22381 22381 19660 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 147150517 26628161536 10935 33554432000 4194304 4196468 140721730665520 140376501755024 140376950765269 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 19767296 140721730667666 140721730667843 140721730667843 140721730670543 0
[pid=22383/tid=22393] ppid=22381 vsize=26004064 memory=0 CPUtime=0 cores=0-7
/proc/22383/task/22393/stat : 22393 (java) S 22381 22381 19660 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 147150518 26628161536 10935 33554432000 4194304 4196468 140721730665520 140376346589168 140376950766210 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 19767296 140721730667666 140721730667843 140721730667843 140721730670543 0
[pid=22383/tid=22394] ppid=22381 vsize=26004064 memory=279746386798224 CPUtime=0 cores=0-7
/proc/22383/task/22394/stat : 22394 (java) S 22381 22381 19660 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 20 0 147150519 26628161536 10935 33554432000 4194304 4196468 140721730665520 140376345535392 140376950765269 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 19767296 140721730667666 140721730667843 140721730667843 140721730670543 0
[pid=22383/tid=22395] ppid=22381 vsize=26004064 memory=279746386805136 CPUtime=0 cores=0-7
/proc/22383/task/22395/stat : 22395 (java) S 22381 22381 19660 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 147150519 26628161536 10935 33554432000 4194304 4196468 140721730665520 140376344482800 140376950765269 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 19767296 140721730667666 140721730667843 140721730667843 140721730670543 0
[pid=22383/tid=22396] ppid=22381 vsize=26004064 memory=279746386746416 CPUtime=0 cores=0-7
/proc/22383/task/22396/stat : 22396 (java) S 22381 22381 19660 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 147150521 26628161536 10935 33554432000 4194304 4196468 140721730665520 140376343431376 140376950773659 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 19767296 140721730667666 140721730667843 140721730667843 140721730670543 0
[pid=22383/tid=22397] ppid=22381 vsize=26004064 memory=279746386818960 CPUtime=0.01 cores=0-7
/proc/22383/task/22397/stat : 22397 (java) S 22381 22381 19660 0 -1 1077944384 367 0 0 0 1 0 0 0 20 0 20 0 147150521 26628161536 10935 33554432000 4194304 4196468 140721730665520 140376342378992 140376950766210 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 19767296 140721730667666 140721730667843 140721730667843 140721730670543 0
[pid=22383/tid=22398] ppid=22381 vsize=26004064 memory=279746386825872 CPUtime=0.02 cores=0-7
/proc/22383/task/22398/stat : 22398 (java) R 22381 22381 19660 0 -1 4202560 167 0 0 0 2 0 0 0 20 0 20 0 147150521 26628161536 10935 33554432000 4194304 4196468 140721730665520 140376341326448 140376943740105 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 19767296 140721730667666 140721730667843 140721730667843 140721730670543 0
[pid=22383/tid=22399] ppid=22381 vsize=26004064 memory=279746386823568 CPUtime=0.03 cores=0-7
/proc/22383/task/22399/stat : 22399 (java) R 22381 22381 19660 0 -1 1077944384 369 0 0 0 3 0 0 0 20 0 20 0 147150521 26628161536 10935 33554432000 4194304 4196468 140721730665520 140376340273904 140376950766210 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 19767296 140721730667666 140721730667843 140721730667843 140721730670543 0
[pid=22383/tid=22400] ppid=22381 vsize=26004064 memory=279746386839728 CPUtime=0.12 cores=0-7
/proc/22383/task/22400/stat : 22400 (java) R 22381 22381 19660 0 -1 4202560 833 0 0 0 12 0 0 0 20 0 20 0 147150521 26628161536 10935 33554432000 4194304 4196468 140721730665520 140376339221360 140376934835550 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 19767296 140721730667666 140721730667843 140721730667843 140721730670543 0
[pid=22383/tid=22401] ppid=22381 vsize=26004064 memory=0 CPUtime=0 cores=0-7
/proc/22383/task/22401/stat : 22401 (java) S 22381 22381 19660 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 147150521 26628161536 10935 33554432000 4194304 4196468 140721730665520 140376338168032 140376950765269 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 19767296 140721730667666 140721730667843 140721730667843 140721730670543 0
[pid=22383/tid=22402] ppid=22381 vsize=26004064 memory=-1 CPUtime=0 cores=0-7
/proc/22383/task/22402/stat : 22402 (java) S 22381 22381 19660 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 147150522 26628161536 10935 33554432000 4194304 4196468 140721730665520 140376337115568 140376950766210 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 19767296 140721730667666 140721730667843 140721730667843 140721730670543 0
Current children cumulated CPU time: 0.51 s
Current children cumulated vsize: 26013576 KiB
Current children cumulated memory: 45124 KiB

[startup+0.70615 s]
/proc/loadavg: 1.46 1.14 1.67 5/199 22402
/proc/meminfo: memFree=21328512/32770624 swapFree=67108860/67108860
[pid=22381] ppid=22378 vsize=9512 memory=1384 CPUtime=0 cores=0-7
/proc/22381/stat : 22381 (xcsp3-exec) S 22378 22381 19660 0 -1 4202496 514 0 0 0 0 0 0 0 20 0 1 0 147150515 9740288 346 33554432000 4194304 5098028 140726521106704 140726521104808 140663606534780 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 18538496 140726521111653 140726521111863 140726521111863 140726521114603 0
/proc/22381/statm: 2378 346 289 221 0 87 0
[pid=22383] ppid=22381 vsize=26006188 memory=115544 CPUtime=2.04 cores=0-7
/proc/22383/stat : 22383 (java) S 22381 22381 19660 0 -1 1077944320 14452 0 0 0 199 5 0 0 20 0 20 0 147150515 26630336512 28886 33554432000 4194304 4196468 140721730665520 140721730648064 140376950755063 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 19767296 140721730667666 140721730667843 140721730667843 140721730670543 0
/proc/22383/statm: 6501547 28886 3202 1 0 6488781 0
[pid=22383/tid=22384] ppid=22381 vsize=26006188 memory=279746387197616 CPUtime=0.67 cores=0-7
/proc/22383/task/22384/stat : 22384 (java) R 22381 22381 19660 0 -1 4202560 6761 0 0 0 65 2 0 0 20 0 20 0 147150516 26630336512 28886 33554432000 4194304 4196468 140721730665520 140376954992168 140376587256626 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 19767296 140721730667666 140721730667843 140721730667843 140721730670543 0
[pid=22383/tid=22385] ppid=22381 vsize=26006188 memory=139873193599856 CPUtime=0 cores=0-7
/proc/22383/task/22385/stat : 22385 (java) S 22381 22381 19660 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 147150517 26630336512 28886 33554432000 4194304 4196468 140721730665520 140376913860880 140376950765269 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 19767296 140721730667666 140721730667843 140721730667843 140721730670543 0
[pid=22383/tid=22386] ppid=22381 vsize=26006188 memory=0 CPUtime=0 cores=0-7
/proc/22383/task/22386/stat : 22386 (java) S 22381 22381 19660 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 147150517 26630336512 28886 33554432000 4194304 4196468 140721730665520 140376508070288 140376950765269 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 19767296 140721730667666 140721730667843 140721730667843 140721730670543 0
[pid=22383/tid=22387] ppid=22381 vsize=26006188 memory=8736 CPUtime=0 cores=0-7
/proc/22383/task/22387/stat : 22387 (java) S 22381 22381 19660 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 147150517 26630336512 28886 33554432000 4194304 4196468 140721730665520 140376507017744 140376950765269 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 19767296 140721730667666 140721730667843 140721730667843 140721730670543 0

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

[pid=22383/tid=22405] ppid=22381 vsize=26538700 memory=20900 CPUtime=0.63 cores=0-7
/proc/22383/task/22405/stat : 22405 (java) R 22381 22381 19660 0 -1 4202560 46 0 0 0 63 0 0 0 20 0 28 0 147150740 27175628800 149999 33554432000 4194304 4196468 140721730665520 140376327002040 140376595945028 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 19767296 140721730667666 140721730667843 140721730667843 140721730670543 0
[pid=22383/tid=22406] ppid=22381 vsize=26538700 memory=0 CPUtime=0.71 cores=0-7
/proc/22383/task/22406/stat : 22406 (java) R 22381 22381 19660 0 -1 4202560 110 0 0 0 70 1 0 0 20 0 28 0 147150740 27175628800 149999 33554432000 4194304 4196468 140721730665520 140376325947864 140376595422533 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 19767296 140721730667666 140721730667843 140721730667843 140721730670543 0
[pid=22383/tid=22407] ppid=22381 vsize=26538700 memory=0 CPUtime=0.75 cores=0-7
/proc/22383/task/22407/stat : 22407 (java) R 22381 22381 19660 0 -1 4202560 44 0 0 0 75 0 0 0 20 0 28 0 147150740 27175628800 149999 33554432000 4194304 4196468 140721730665520 140376324897048 140376595421268 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 19767296 140721730667666 140721730667843 140721730667843 140721730670543 0
[pid=22383/tid=22408] ppid=22381 vsize=26538700 memory=0 CPUtime=0.59 cores=0-7
/proc/22383/task/22408/stat : 22408 (java) R 22381 22381 19660 0 -1 4202560 70 0 0 0 57 2 0 0 20 0 28 0 147150740 27175628800 149999 33554432000 4194304 4196468 140721730665520 140376323843128 140376596111043 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 19767296 140721730667666 140721730667843 140721730667843 140721730670543 0
[pid=22383/tid=22409] ppid=22381 vsize=26538700 memory=288230621803970871 CPUtime=0.78 cores=0-7
/proc/22383/task/22409/stat : 22409 (java) R 22381 22381 19660 0 -1 4202560 43 0 0 0 78 0 0 0 20 0 28 0 147150740 27175628800 149999 33554432000 4194304 4196468 140721730665520 140376322788440 140376595045644 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 19767296 140721730667666 140721730667843 140721730667843 140721730670543 0
[pid=22383/tid=22410] ppid=22381 vsize=26538700 memory=15262532197681705 CPUtime=0.6 cores=0-7
/proc/22383/task/22410/stat : 22410 (java) R 22381 22381 19660 0 -1 4202560 34 0 0 0 60 0 0 0 20 0 28 0 147150740 27175628800 149999 33554432000 4194304 4196468 140721730665520 140376321735840 140376595421558 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 19767296 140721730667666 140721730667843 140721730667843 140721730670543 0
Current children cumulated CPU time: 14.72 s
Current children cumulated vsize: 26548212 KiB
Current children cumulated memory: 601380 KiB

[startup+4.00115 s]*
/proc/loadavg: 1.46 1.14 1.67 9/207 22410
/proc/meminfo: memFree=20708336/32770624 swapFree=67108860/67108860
[pid=22381] ppid=22378 vsize=9512 memory=1384 CPUtime=0 cores=0-7
/proc/22381/stat : 22381 (xcsp3-exec) S 22378 22381 19660 0 -1 4202496 514 0 0 0 0 0 0 0 20 0 1 0 147150515 9740288 346 33554432000 4194304 5098028 140726521106704 140726521104808 140663606534780 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 18538496 140726521111653 140726521111863 140726521111863 140726521114603 0
/proc/22381/statm: 2378 346 289 221 0 87 0
[pid=22383] ppid=22381 vsize=26538700 memory=688512 CPUtime=21.15 cores=0-7
/proc/22383/stat : 22383 (java) S 22381 22381 19660 0 -1 1077944320 22885 0 0 0 2062 53 0 0 20 0 28 0 147150515 27175628800 172128 33554432000 4194304 4196468 140721730665520 140721730648064 140376950755063 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 19767296 140721730667666 140721730667843 140721730667843 140721730670543 0
/proc/22383/statm: 6634675 172128 3277 1 0 6621909 0
[pid=22383/tid=22384] ppid=22381 vsize=26538700 memory=6791534058613427641 CPUtime=2.08 cores=0-7
/proc/22383/task/22384/stat : 22384 (java) S 22381 22381 19660 0 -1 1077944384 7065 0 0 0 202 6 0 0 20 0 28 0 147150516 27175628800 172128 33554432000 4194304 4196468 140721730665520 140376954995840 140376950765269 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 19767296 140721730667666 140721730667843 140721730667843 140721730670543 0
[pid=22383/tid=22385] ppid=22381 vsize=26538700 memory=-8412631374135594101 CPUtime=0.15 cores=0-7
/proc/22383/task/22385/stat : 22385 (java) S 22381 22381 19660 0 -1 1077944384 107 0 0 0 11 4 0 0 20 0 28 0 147150517 27175628800 172128 33554432000 4194304 4196468 140721730665520 140376913860880 140376950765269 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 19767296 140721730667666 140721730667843 140721730667843 140721730670543 0
[pid=22383/tid=22386] ppid=22381 vsize=26538700 memory=0 CPUtime=0.15 cores=0-7
/proc/22383/task/22386/stat : 22386 (java) S 22381 22381 19660 0 -1 1077944384 124 0 0 0 11 4 0 0 20 0 28 0 147150517 27175628800 172128 33554432000 4194304 4196468 140721730665520 140376508070288 140376950765269 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 19767296 140721730667666 140721730667843 140721730667843 140721730670543 0
[pid=22383/tid=22387] ppid=22381 vsize=26538700 memory=6943526294502006880 CPUtime=0.11 cores=0-7
/proc/22383/task/22387/stat : 22387 (java) S 22381 22381 19660 0 -1 1077944384 82 0 0 0 8 3 0 0 20 0 28 0 147150517 27175628800 172128 33554432000 4194304 4196468 140721730665520 140376507017744 140376950765269 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 19767296 140721730667666 140721730667843 140721730667843 140721730670543 0
[pid=22383/tid=22388] ppid=22381 vsize=26538700 memory=0 CPUtime=0.13 cores=0-7
/proc/22383/task/22388/stat : 22388 (java) S 22381 22381 19660 0 -1 1077944384 100 0 0 0 10 3 0 0 20 0 28 0 147150517 27175628800 172128 33554432000 4194304 4196468 140721730665520 140376505965200 140376950765269 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 19767296 140721730667666 140721730667843 140721730667843 140721730670543 0
[pid=22383/tid=22389] ppid=22381 vsize=26538700 memory=0 CPUtime=0.14 cores=0-7
/proc/22383/task/22389/stat : 22389 (java) S 22381 22381 19660 0 -1 1077944384 133 0 0 0 10 4 0 0 20 0 28 0 147150517 27175628800 172128 33554432000 4194304 4196468 140721730665520 140376504912656 140376950765269 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 19767296 140721730667666 140721730667843 140721730667843 140721730670543 0
[pid=22383/tid=22390] ppid=22381 vsize=26538700 memory=0 CPUtime=0.13 cores=0-7
/proc/22383/task/22390/stat : 22390 (java) S 22381 22381 19660 0 -1 1077944384 108 0 0 0 10 3 0 0 20 0 28 0 147150517 27175628800 172128 33554432000 4194304 4196468 140721730665520 140376503860112 140376950765269 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 19767296 140721730667666 140721730667843 140721730667843 140721730670543 0
[pid=22383/tid=22391] ppid=22381 vsize=26538700 memory=279743098547162 CPUtime=0.13 cores=0-7
/proc/22383/task/22391/stat : 22391 (java) S 22381 22381 19660 0 -1 1077944384 112 0 0 0 9 4 0 0 20 0 28 0 147150517 27175628800 172128 33554432000 4194304 4196468 140721730665520 140376502807568 140376950765269 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 19767296 140721730667666 140721730667843 140721730667843 140721730670543 0
[pid=22383/tid=22392] ppid=22381 vsize=26538700 memory=31356350842106266 CPUtime=0.13 cores=0-7
/proc/22383/task/22392/stat : 22392 (java) S 22381 22381 19660 0 -1 1077944384 102 0 0 0 10 3 0 0 20 0 28 0 147150517 27175628800 172128 33554432000 4194304 4196468 140721730665520 140376501755024 140376950765269 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 19767296 140721730667666 140721730667843 140721730667843 140721730670543 0
[pid=22383/tid=22393] ppid=22381 vsize=26538700 memory=21723 CPUtime=0.01 cores=0-7
/proc/22383/task/22393/stat : 22393 (java) S 22381 22381 19660 0 -1 1077944384 503 0 0 0 1 0 0 0 20 0 28 0 147150518 27175628800 172128 33554432000 4194304 4196468 140721730665520 140376346589168 140376950766210 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 19767296 140721730667666 140721730667843 140721730667843 140721730670543 0
[pid=22383/tid=22394] ppid=22381 vsize=26538700 memory=0 CPUtime=0 cores=0-7
/proc/22383/task/22394/stat : 22394 (java) S 22381 22381 19660 0 -1 1077944384 34 0 0 0 0 0 0 0 20 0 28 0 147150519 27175628800 172128 33554432000 4194304 4196468 140721730665520 140376345535456 140376950765269 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 19767296 140721730667666 140721730667843 140721730667843 140721730670543 0
[pid=22383/tid=22395] ppid=22381 vsize=26538700 memory=0 CPUtime=0 cores=0-7
/proc/22383/task/22395/stat : 22395 (java) S 22381 22381 19660 0 -1 1077944384 22 0 0 0 0 0 0 0 20 0 28 0 147150519 27175628800 172128 33554432000 4194304 4196468 140721730665520 140376344482816 140376950765269 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 19767296 140721730667666 140721730667843 140721730667843 140721730670543 0
[pid=22383/tid=22396] ppid=22381 vsize=26538700 memory=0 CPUtime=0 cores=0-7
/proc/22383/task/22396/stat : 22396 (java) S 22381 22381 19660 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 147150521 27175628800 172128 33554432000 4194304 4196468 140721730665520 140376343431376 140376950773659 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 19767296 140721730667666 140721730667843 140721730667843 140721730670543 0
[pid=22383/tid=22397] ppid=22381 vsize=26538700 memory=0 CPUtime=2.21 cores=0-7
/proc/22383/task/22397/stat : 22397 (java) S 22381 22381 19660 0 -1 1077944384 3781 0 0 0 220 1 0 0 20 0 28 0 147150521 27175628800 172128 33554432000 4194304 4196468 140721730665520 140376342378992 140376950766210 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 19767296 140721730667666 140721730667843 140721730667843 140721730670543 0
[pid=22383/tid=22398] ppid=22381 vsize=26538700 memory=0 CPUtime=2.23 cores=0-7
/proc/22383/task/22398/stat : 22398 (java) S 22381 22381 19660 0 -1 1077944384 3156 0 0 0 223 0 0 0 20 0 28 0 147150521 27175628800 172128 33554432000 4194304 4196468 140721730665520 140376341326448 140376950766210 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 19767296 140721730667666 140721730667843 140721730667843 140721730670543 0
[pid=22383/tid=22399] ppid=22381 vsize=26538700 memory=0 CPUtime=1.98 cores=0-7
/proc/22383/task/22399/stat : 22399 (java) S 22381 22381 19660 0 -1 1077944384 2553 0 0 0 198 0 0 0 20 0 28 0 147150521 27175628800 172128 33554432000 4194304 4196468 140721730665520 140376340273904 140376950766210 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 19767296 140721730667666 140721730667843 140721730667843 140721730670543 0
[pid=22383/tid=22400] ppid=22381 vsize=26538700 memory=0 CPUtime=0.73 cores=0-7
/proc/22383/task/22400/stat : 22400 (java) S 22381 22381 19660 0 -1 1077944384 2808 0 0 0 73 0 0 0 20 0 28 0 147150521 27175628800 172128 33554432000 4194304 4196468 140721730665520 140376339221360 140376950766210 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 19767296 140721730667666 140721730667843 140721730667843 140721730670543 0
[pid=22383/tid=22401] ppid=22381 vsize=26538700 memory=139873193604272 CPUtime=0 cores=0-7
/proc/22383/task/22401/stat : 22401 (java) S 22381 22381 19660 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 28 0 147150521 27175628800 172128 33554432000 4194304 4196468 140721730665520 140376338168032 140376950765269 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 19767296 140721730667666 140721730667843 140721730667843 140721730670543 0
[pid=22383/tid=22402] ppid=22381 vsize=26538700 memory=51 CPUtime=0 cores=0-7
/proc/22383/task/22402/stat : 22402 (java) S 22381 22381 19660 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 28 0 147150522 27175628800 172128 33554432000 4194304 4196468 140721730665520 140376337115568 140376950766210 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 19767296 140721730667666 140721730667843 140721730667843 140721730670543 0
[pid=22383/tid=22403] ppid=22381 vsize=26538700 memory=1970350607106051 CPUtime=1.32 cores=0-7
/proc/22383/task/22403/stat : 22403 (java) R 22381 22381 19660 0 -1 4202560 238 0 0 0 130 2 0 0 20 0 28 0 147150739 27175628800 172128 33554432000 4194304 4196468 140721730665520 140376329106648 140376587445341 0 4 0 16800975 0 0 0 -1 0 0 0 1 0 0 6293624 6294260 19767296 140721730667666 140721730667843 140721730667843 140721730670543 0
[pid=22383/tid=22404] ppid=22381 vsize=26538700 memory=2110223800752772 CPUtime=1.4 cores=0-7
/proc/22383/task/22404/stat : 22404 (java) R 22381 22381 19660 0 -1 4202560 47 0 0 0 140 0 0 0 20 0 28 0 147150740 27175628800 172128 33554432000 4194304 4196468 140721730665520 140376328053256 140376595012405 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 19767296 140721730667666 140721730667843 140721730667843 140721730670543 0
[pid=22383/tid=22405] ppid=22381 vsize=26538700 memory=2110223800755076 CPUtime=1.31 cores=0-7
/proc/22383/task/22405/stat : 22405 (java) R 22381 22381 19660 0 -1 4202560 85 0 0 0 131 0 0 0 20 0 28 0 147150740 27175628800 172128 33554432000 4194304 4196468 140721730665520 140376327003512 140376595422601 0 4 0 16800975 0 0 0 -1 3 0 0 1 0 0 6293624 6294260 19767296 140721730667666 140721730667843 140721730667843 140721730670543 0
[pid=22383/tid=22406] ppid=22381 vsize=26538700 memory=2110223800757380 CPUtime=1.43 cores=0-7
/proc/22383/task/22406/stat : 22406 (java) R 22381 22381 19660 0 -1 4202560 249 0 0 0 141 2 0 0 20 0 28 0 147150740 27175628800 172128 33554432000 4194304 4196468 140721730665520 140376325947592 140376595518574 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 19767296 140721730667666 140721730667843 140721730667843 140721730670543 0
[pid=22383/tid=22407] ppid=22381 vsize=26538700 memory=2110223800759684 CPUtime=1.36 cores=0-7
/proc/22383/task/22407/stat : 22407 (java) R 22381 22381 19660 0 -1 4202560 62 0 0 0 136 0 0 0 20 0 28 0 147150740 27175628800 172128 33554432000 4194304 4196468 140721730665520 140376324897256 140376596124871 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 19767296 140721730667666 140721730667843 140721730667843 140721730670543 0
[pid=22383/tid=22408] ppid=22381 vsize=26538700 memory=2110223800761988 CPUtime=1.12 cores=0-7
/proc/22383/task/22408/stat : 22408 (java) R 22381 22381 19660 0 -1 4202560 73 0 0 0 110 2 0 0 20 0 28 0 147150740 27175628800 172128 33554432000 4194304 4196468 140721730665520 140376323842320 140376595012939 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 19767296 140721730667666 140721730667843 140721730667843 140721730670543 0
[pid=22383/tid=22409] ppid=22381 vsize=26538700 memory=2110223800764292 CPUtime=1.35 cores=0-7
/proc/22383/task/22409/stat : 22409 (java) R 22381 22381 19660 0 -1 4202560 58 0 0 0 134 1 0 0 20 0 28 0 147150740 27175628800 172128 33554432000 4194304 4196468 140721730665520 140376322790376 140376595045881 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 19767296 140721730667666 140721730667843 140721730667843 140721730670543 0
[pid=22383/tid=22410] ppid=22381 vsize=26538700 memory=2110223800766596 CPUtime=1.3 cores=0-7
/proc/22383/task/22410/stat : 22410 (java) R 22381 22381 19660 0 -1 4202560 39 0 0 0 130 0 0 0 20 0 28 0 147150740 27175628800 172128 33554432000 4194304 4196468 140721730665520 140376321736048 140376596124871 0 4 0 16800975 0 0 0 -1 1 0 0 1 0 0 6293624 6294260 19767296 140721730667666 140721730667843 140721730667843 140721730670543 0
Current children cumulated CPU time: 21.15 s
Current children cumulated vsize: 26548212 KiB
Current children cumulated memory: 689896 KiB

[startup+4.20115 s]
/proc/loadavg: 1.46 1.14 1.67 9/207 22410
/proc/meminfo: memFree=20708336/32770624 swapFree=67108860/67108860
[pid=22381] ppid=22378 vsize=9512 memory=1384 CPUtime=0 cores=0-7
/proc/22381/stat : 22381 (xcsp3-exec) S 22378 22381 19660 0 -1 4202496 514 0 0 0 0 0 0 0 20 0 1 0 147150515 9740288 346 33554432000 4194304 5098028 140726521106704 140726521104808 140663606534780 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 18538496 140726521111653 140726521111863 140726521111863 140726521114603 0
/proc/22381/statm: 2378 346 289 221 0 87 0
[pid=22383] ppid=22381 vsize=26538700 memory=688512 CPUtime=22.66 cores=0-7
/proc/22383/stat : 22383 (java) S 22381 22381 19660 0 -1 1077944320 22887 0 0 0 2213 53 0 0 20 0 28 0 147150515 27175628800 172128 33554432000 4194304 4196468 140721730665520 140721730648064 140376950755063 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 19767296 140721730667666 140721730667843 140721730667843 140721730670543 0
/proc/22383/statm: 6634675 172128 3277 1 0 6621909 0
[pid=22383/tid=22384] ppid=22381 vsize=26538700 memory=7955162758040610664 CPUtime=2.08 cores=0-7
/proc/22383/task/22384/stat : 22384 (java) S 22381 22381 19660 0 -1 1077944384 7065 0 0 0 202 6 0 0 20 0 28 0 147150516 27175628800 172128 33554432000 4194304 4196468 140721730665520 140376954995840 140376950765269 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 19767296 140721730667666 140721730667843 140721730667843 140721730670543 0
[pid=22383/tid=22385] ppid=22381 vsize=26538700 memory=5865182520468268113 CPUtime=0.15 cores=0-7
/proc/22383/task/22385/stat : 22385 (java) S 22381 22381 19660 0 -1 1077944384 107 0 0 0 11 4 0 0 20 0 28 0 147150517 27175628800 172128 33554432000 4194304 4196468 140721730665520 140376913860880 140376950765269 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 19767296 140721730667666 140721730667843 140721730667843 140721730670543 0
[pid=22383/tid=22386] ppid=22381 vsize=26538700 memory=7523637459518050413 CPUtime=0.15 cores=0-7
/proc/22383/task/22386/stat : 22386 (java) S 22381 22381 19660 0 -1 1077944384 124 0 0 0 11 4 0 0 20 0 28 0 147150517 27175628800 172128 33554432000 4194304 4196468 140721730665520 140376508070288 140376950765269 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 19767296 140721730667666 140721730667843 140721730667843 140721730670543 0
[pid=22383/tid=22387] ppid=22381 vsize=26538700 memory=7523637459518050413 CPUtime=0.11 cores=0-7
/proc/22383/task/22387/stat : 22387 (java) S 22381 22381 19660 0 -1 1077944384 82 0 0 0 8 3 0 0 20 0 28 0 147150517 27175628800 172128 33554432000 4194304 4196468 140721730665520 140376507017744 140376950765269 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 19767296 140721730667666 140721730667843 140721730667843 140721730670543 0
[pid=22383/tid=22388] ppid=22381 vsize=26538700 memory=7379817950244726636 CPUtime=0.13 cores=0-7
/proc/22383/task/22388/stat : 22388 (java) S 22381 22381 19660 0 -1 1077944384 100 0 0 0 10 3 0 0 20 0 28 0 147150517 27175628800 172128 33554432000 4194304 4196468 140721730665520 140376505965200 140376950765269 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 19767296 140721730667666 140721730667843 140721730667843 140721730670543 0
[pid=22383/tid=22389] ppid=22381 vsize=26538700 memory=7882828121784479853 CPUtime=0.14 cores=0-7
/proc/22383/task/22389/stat : 22389 (java) S 22381 22381 19660 0 -1 1077944384 133 0 0 0 10 4 0 0 20 0 28 0 147150517 27175628800 172128 33554432000 4194304 4196468 140721730665520 140376504912656 140376950765269 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 19767296 140721730667666 140721730667843 140721730667843 140721730670543 0
[pid=22383/tid=22390] ppid=22381 vsize=26538700 memory=7379817950345652334 CPUtime=0.13 cores=0-7
/proc/22383/task/22390/stat : 22390 (java) S 22381 22381 19660 0 -1 1077944384 108 0 0 0 10 3 0 0 20 0 28 0 147150517 27175628800 172128 33554432000 4194304 4196468 140721730665520 140376503860112 140376950765269 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 19767296 140721730667666 140721730667843 140721730667843 140721730670543 0
[pid=22383/tid=22391] ppid=22381 vsize=26538700 memory=7379817950345652334 CPUtime=0.13 cores=0-7
/proc/22383/task/22391/stat : 22391 (java) S 22381 22381 19660 0 -1 1077944384 112 0 0 0 9 4 0 0 20 0 28 0 147150517 27175628800 172128 33554432000 4194304 4196468 140721730665520 140376502807568 140376950765269 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 19767296 140721730667666 140721730667843 140721730667843 140721730670543 0
[pid=22383/tid=22392] ppid=22381 vsize=26538700 memory=7379817950345652334 CPUtime=0.13 cores=0-7
/proc/22383/task/22392/stat : 22392 (java) S 22381 22381 19660 0 -1 1077944384 102 0 0 0 10 3 0 0 20 0 28 0 147150517 27175628800 172128 33554432000 4194304 4196468 140721730665520 140376501755024 140376950765269 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 19767296 140721730667666 140721730667843 140721730667843 140721730670543 0
[pid=22383/tid=22393] ppid=22381 vsize=26538700 memory=7379817950345652334 CPUtime=0.01 cores=0-7
/proc/22383/task/22393/stat : 22393 (java) S 22381 22381 19660 0 -1 1077944384 503 0 0 0 1 0 0 0 20 0 28 0 147150518 27175628800 172128 33554432000 4194304 4196468 140721730665520 140376346589168 140376950766210 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 19767296 140721730667666 140721730667843 140721730667843 140721730670543 0
[pid=22383/tid=22394] ppid=22381 vsize=26538700 memory=7665499770112732774 CPUtime=0 cores=0-7
/proc/22383/task/22394/stat : 22394 (java) S 22381 22381 19660 0 -1 1077944384 34 0 0 0 0 0 0 0 20 0 28 0 147150519 27175628800 172128 33554432000 4194304 4196468 140721730665520 140376345535456 140376950765269 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 19767296 140721730667666 140721730667843 140721730667843 140721730670543 0
[pid=22383/tid=22395] ppid=22381 vsize=26538700 memory=288230574492221466 CPUtime=0 cores=0-7
/proc/22383/task/22395/stat : 22395 (java) S 22381 22381 19660 0 -1 1077944384 22 0 0 0 0 0 0 0 20 0 28 0 147150519 27175628800 172128 33554432000 4194304 4196468 140721730665520 140376344482816 140376950765269 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 19767296 140721730667666 140721730667843 140721730667843 140721730670543 0
[pid=22383/tid=22396] ppid=22381 vsize=26538700 memory=288230621803970871 CPUtime=0 cores=0-7
/proc/22383/task/22396/stat : 22396 (java) S 22381 22381 19660 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 147150521 27175628800 172128 33554432000 4194304 4196468 140721730665520 140376343431376 140376950773659 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 19767296 140721730667666 140721730667843 140721730667843 140721730670543 0
[pid=22383/tid=22397] ppid=22381 vsize=26538700 memory=15262532197681705 CPUtime=2.22 cores=0-7
/proc/22383/task/22397/stat : 22397 (java) S 22381 22381 19660 0 -1 1077944384 3781 0 0 0 221 1 0 0 20 0 28 0 147150521 27175628800 172128 33554432000 4194304 4196468 140721730665520 140376342378992 140376950766210 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 19767296 140721730667666 140721730667843 140721730667843 140721730670543 0
[pid=22383/tid=22398] ppid=22381 vsize=26538700 memory=18476 CPUtime=2.23 cores=0-7
/proc/22383/task/22398/stat : 22398 (java) S 22381 22381 19660 0 -1 1077944384 3156 0 0 0 223 0 0 0 20 0 28 0 147150521 27175628800 172128 33554432000 4194304 4196468 140721730665520 140376341326448 140376950766210 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 19767296 140721730667666 140721730667843 140721730667843 140721730670543 0
[pid=22383/tid=22399] ppid=22381 vsize=26538700 memory=23764 CPUtime=1.98 cores=0-7
/proc/22383/task/22399/stat : 22399 (java) S 22381 22381 19660 0 -1 1077944384 2553 0 0 0 198 0 0 0 20 0 28 0 147150521 27175628800 172128 33554432000 4194304 4196468 140721730665520 140376340273904 140376950766210 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 19767296 140721730667666 140721730667843 140721730667843 140721730670543 0
[pid=22383/tid=22400] ppid=22381 vsize=26538700 memory=4048 CPUtime=0.74 cores=0-7
/proc/22383/task/22400/stat : 22400 (java) S 22381 22381 19660 0 -1 1077944384 2808 0 0 0 74 0 0 0 20 0 28 0 147150521 27175628800 172128 33554432000 4194304 4196468 140721730665520 140376339221360 140376950766210 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 19767296 140721730667666 140721730667843 140721730667843 140721730670543 0
[pid=22383/tid=22401] ppid=22381 vsize=26538700 memory=1792 CPUtime=0 cores=0-7
/proc/22383/task/22401/stat : 22401 (java) S 22381 22381 19660 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 28 0 147150521 27175628800 172128 33554432000 4194304 4196468 140721730665520 140376338168032 140376950765269 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 19767296 140721730667666 140721730667843 140721730667843 140721730670543 0
[pid=22383/tid=22402] ppid=22381 vsize=26538700 memory=648 CPUtime=0 cores=0-7
/proc/22383/task/22402/stat : 22402 (java) S 22381 22381 19660 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 28 0 147150522 27175628800 172128 33554432000 4194304 4196468 140721730665520 140376337115568 140376950766210 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 19767296 140721730667666 140721730667843 140721730667843 140721730670543 0
[pid=22383/tid=22403] ppid=22381 vsize=26538700 memory=1240 CPUtime=1.51 cores=0-7
/proc/22383/task/22403/stat : 22403 (java) R 22381 22381 19660 0 -1 4202560 238 0 0 0 149 2 0 0 20 0 28 0 147150739 27175628800 172128 33554432000 4194304 4196468 140721730665520 140376329104224 140376595423098 0 4 0 16800975 0 0 0 -1 0 0 0 1 0 0 6293624 6294260 19767296 140721730667666 140721730667843 140721730667843 140721730670543 0
[pid=22383/tid=22404] ppid=22381 vsize=26538700 memory=960 CPUtime=1.59 cores=0-7
/proc/22383/task/22404/stat : 22404 (java) R 22381 22381 19660 0 -1 4202560 48 0 0 0 159 0 0 0 20 0 28 0 147150740 27175628800 172128 33554432000 4194304 4196468 140721730665520 140376328053352 140376595945671 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 19767296 140721730667666 140721730667843 140721730667843 140721730670543 0
[pid=22383/tid=22405] ppid=22381 vsize=26538700 memory=2424 CPUtime=1.49 cores=0-7
/proc/22383/task/22405/stat : 22405 (java) R 22381 22381 19660 0 -1 4202560 85 0 0 0 149 0 0 0 20 0 28 0 147150740 27175628800 172128 33554432000 4194304 4196468 140721730665520 140376327000616 140376595013228 0 4 0 16800975 0 0 0 -1 7 0 0 1 0 0 6293624 6294260 19767296 140721730667666 140721730667843 140721730667843 140721730670543 0
[pid=22383/tid=22406] ppid=22381 vsize=26538700 memory=932 CPUtime=1.62 cores=0-7
/proc/22383/task/22406/stat : 22406 (java) R 22381 22381 19660 0 -1 4202560 249 0 0 0 160 2 0 0 20 0 28 0 147150740 27175628800 172128 33554432000 4194304 4196468 140721730665520 140376325947600 140376595012405 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 19767296 140721730667666 140721730667843 140721730667843 140721730670543 0
[pid=22383/tid=22407] ppid=22381 vsize=26538700 memory=1572 CPUtime=1.55 cores=0-7
/proc/22383/task/22407/stat : 22407 (java) R 22381 22381 19660 0 -1 4202560 63 0 0 0 155 0 0 0 20 0 28 0 147150740 27175628800 172128 33554432000 4194304 4196468 140721730665520 140376324896952 140376595421610 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 19767296 140721730667666 140721730667843 140721730667843 140721730670543 0
[pid=22383/tid=22408] ppid=22381 vsize=26538700 memory=2244 CPUtime=1.3 cores=0-7
/proc/22383/task/22408/stat : 22408 (java) R 22381 22381 19660 0 -1 4202560 73 0 0 0 128 2 0 0 20 0 28 0 147150740 27175628800 172128 33554432000 4194304 4196468 140721730665520 140376323842744 140376596124713 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 19767296 140721730667666 140721730667843 140721730667843 140721730670543 0
[pid=22383/tid=22409] ppid=22381 vsize=26538700 memory=0 CPUtime=1.54 cores=0-7
/proc/22383/task/22409/stat : 22409 (java) R 22381 22381 19660 0 -1 4202560 58 0 0 0 153 1 0 0 20 0 28 0 147150740 27175628800 172128 33554432000 4194304 4196468 140721730665520 140376322789136 140376595423084 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 19767296 140721730667666 140721730667843 140721730667843 140721730670543 0
[pid=22383/tid=22410] ppid=22381 vsize=26538700 memory=7525064634468101479 CPUtime=1.49 cores=0-7
/proc/22383/task/22410/stat : 22410 (java) R 22381 22381 19660 0 -1 4202560 39 0 0 0 149 0 0 0 20 0 28 0 147150740 27175628800 172128 33554432000 4194304 4196468 140721730665520 140376321736480 140376595497969 0 4 0 16800975 0 0 0 -1 1 0 0 1 0 0 6293624 6294260 19767296 140721730667666 140721730667843 140721730667843 140721730670543 0
Current children cumulated CPU time: 22.66 s
Current children cumulated vsize: 26548212 KiB
Current children cumulated memory: 689896 KiB

[startup+4.30143 s]
/proc/loadavg: 1.46 1.14 1.67 9/207 22410
/proc/meminfo: memFree=20708336/32770624 swapFree=67108860/67108860
[pid=22381] ppid=22378 vsize=9512 memory=1384 CPUtime=0 cores=0-7
/proc/22381/stat : 22381 (xcsp3-exec) S 22378 22381 19660 0 -1 4202496 514 0 0 0 0 0 0 0 20 0 1 0 147150515 9740288 346 33554432000 4194304 5098028 140726521106704 140726521104808 140663606534780 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 18538496 140726521111653 140726521111863 140726521111863 140726521114603 0
/proc/22381/statm: 2378 346 289 221 0 87 0
Current children cumulated CPU time: 0 s
Current children cumulated vsize: 9512 KiB
Current children cumulated memory: 1384 KiB

Child status: 0
Real time (s): 4.30267
CPU time (s): 23.3011
CPU user time (s): 22.7354
CPU system time (s): 0.565704
CPU usage (%): 541.551
Max. virtual memory (cumulated for all children) (KiB): 26548212
Max. memory (cumulated for all children) (KiB): 689896

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 22.7354
system time used= 0.565704
maximum resident set size= 689696
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 26530
page faults= 0
swaps= 0
block input operations= 0
block output operations= 152
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 3880
involuntary context switches= 559


# summary of solver processes directly reported to runsolver:
#   pid: 22381
#   total CPU time (s): 23.3011
#   total CPU user time (s): 22.7354
#   total CPU system time (s): 0.565704

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 0.06129 second user time and 0.085369 second system time

The end