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

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4269774-1502742654/watcher-4269774-1502742654 -o /tmp/evaluation-result-4269774-1502742654/solver-4269774-1502742654 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node124-1502673801-14690 --watchdog 2580 ./xcsp3-exec -dir HOME -tl 2520 -ml 11000 -tdir HOME -seed 206695352 HOME/instance-4269774-1502742654.xml 

running on 4 cores: 1,3,5,7

Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 2520 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 2550 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 2520 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB
Linux 3.10.0-514.16.1.el7.x86_64
Starting watchdog thread
solver pid=27474, runsolver pid=27471
Current StackSize limit: 8192 KiB


[startup+0.100152 s]*
/proc/loadavg: 2.33 1.93 1.82 2/184 27486
/proc/meminfo: memFree=31600368/32770624 swapFree=67108860/67108860
[pid=27474] ppid=27471 vsize=9512 memory=1380 CPUtime=0 cores=1,3,5,7
/proc/27474/stat : 27474 (xcsp3-exec) S 27471 27474 11586 0 -1 4202496 516 0 0 0 0 0 0 0 20 0 1 0 62606080 9740288 345 18446744073709551615 4194304 5098028 140736954824704 140736954822808 140223088116348 0 65536 5 65538 18446744071579417331 0 0 17 3 0 0 4 0 0 7196144 7232144 38645760 140736954831225 140736954831429 140736954831429 140736954834923 0
/proc/27474/statm: 2378 345 289 221 0 87 0
[pid=27478] ppid=27474 vsize=13907304 memory=20680 CPUtime=0.05 cores=1,3,5,7
/proc/27478/stat : 27478 (java) S 27474 27474 11586 0 -1 1077944320 4555 0 0 0 4 1 0 0 20 0 14 0 62606085 14241079296 5170 18446744073709551615 4194304 4196468 140725195075792 140725195058336 140051853487863 0 0 1 16800974 18446744073709551615 0 0 17 7 0 0 0 0 0 6293624 6294260 7372800 140725195080113 140725195080289 140725195080289 140725195083727 0
/proc/27478/statm: 3476826 5170 2578 1 0 3466323 0
[pid=27478/tid=27479] ppid=27474 vsize=13907304 memory=0 CPUtime=0.04 cores=1,3,5,7
/proc/27478/task/27479/stat : 27479 (java) D 27474 27474 11586 0 -1 4202560 2736 0 0 0 4 0 0 0 20 0 14 0 62606085 14241079296 5170 18446744073709551615 4194304 4196468 140725195075792 140051857725344 140051853509885 0 4 1 16800974 18446744071580418449 0 0 -1 5 0 0 0 0 0 6293624 6294260 7372800 140725195080113 140725195080289 140725195080289 140725195083727 0
[pid=27478/tid=27480] ppid=27474 vsize=13907304 memory=140268166153856 CPUtime=0 cores=1,3,5,7
/proc/27478/task/27480/stat : 27480 (java) S 27474 27474 11586 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 14 0 62606086 14241079296 5170 18446744073709551615 4194304 4196468 140725195075792 140051772901776 140051853498069 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 7372800 140725195080113 140725195080289 140725195080289 140725195083727 0
[pid=27478/tid=27481] ppid=27474 vsize=13907304 memory=140268166153856 CPUtime=0 cores=1,3,5,7
/proc/27478/task/27481/stat : 27481 (java) S 27474 27474 11586 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 14 0 62606086 14241079296 5170 18446744073709551615 4194304 4196468 140725195075792 140051771848976 140051853498069 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 7372800 140725195080113 140725195080289 140725195080289 140725195083727 0
[pid=27478/tid=27482] ppid=27474 vsize=13907304 memory=0 CPUtime=0 cores=1,3,5,7
/proc/27478/task/27482/stat : 27482 (java) S 27474 27474 11586 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 14 0 62606086 14241079296 5170 18446744073709551615 4194304 4196468 140725195075792 140051451210384 140051853498069 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 7372800 140725195080113 140725195080289 140725195080289 140725195083727 0
[pid=27478/tid=27483] ppid=27474 vsize=13907304 memory=0 CPUtime=0 cores=1,3,5,7
/proc/27478/task/27483/stat : 27483 (java) S 27474 27474 11586 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 14 0 62606086 14241079296 5170 18446744073709551615 4194304 4196468 140725195075792 140051450157584 140051853498069 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 7372800 140725195080113 140725195080289 140725195080289 140725195083727 0
[pid=27478/tid=27484] ppid=27474 vsize=13907304 memory=0 CPUtime=0 cores=1,3,5,7
/proc/27478/task/27484/stat : 27484 (java) S 27474 27474 11586 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 14 0 62606087 14241079296 5170 18446744073709551615 4194304 4196468 140725195075792 140050837363312 140051853499010 0 0 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 7372800 140725195080113 140725195080289 140725195080289 140725195083727 0
[pid=27478/tid=27485] ppid=27474 vsize=13907304 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/27478/task/27485/stat : 27485 (java) S 27474 27474 11586 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 14 0 62606088 14241079296 5170 18446744073709551615 4194304 4196468 140725195075792 140050836309280 140051853498069 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 7372800 140725195080113 140725195080289 140725195080289 140725195083727 0
[pid=27478/tid=27486] ppid=27474 vsize=13907304 memory=0 CPUtime=0 cores=1,3,5,7
/proc/27478/task/27486/stat : 27486 (java) S 27474 27474 11586 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 14 0 62606088 14241079296 5170 18446744073709551615 4194304 4196468 140725195075792 140050835256944 140051853498069 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 7372800 140725195080113 140725195080289 140725195080289 140725195083727 0
[pid=27478/tid=27487] ppid=27474 vsize=13907304 memory=0 CPUtime=0 cores=1,3,5,7
/proc/27478/task/27487/stat : 27487 (java) S 27474 27474 11586 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 14 0 62606090 14241079296 5170 18446744073709551615 4194304 4196468 140725195075792 140050834205264 140051853506459 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 7372800 140725195080113 140725195080289 140725195080289 140725195083727 0
[pid=27478/tid=27488] ppid=27474 vsize=13907304 memory=0 CPUtime=0 cores=1,3,5,7
/proc/27478/task/27488/stat : 27488 (java) S 27474 27474 11586 0 -1 1077944384 309 0 0 0 0 0 0 0 20 0 14 0 62606090 14241079296 5170 18446744073709551615 4194304 4196468 140725195075792 140050833152112 140051853499010 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 7372800 140725195080113 140725195080289 140725195080289 140725195083727 0
[pid=27478/tid=27489] ppid=27474 vsize=13907304 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/27478/task/27489/stat : 27489 (java) S 27474 27474 11586 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 14 0 62606090 14241079296 5170 18446744073709551615 4194304 4196468 140725195075792 140050832099312 140051853499010 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 7372800 140725195080113 140725195080289 140725195080289 140725195083727 0
[pid=27478/tid=27490] ppid=27474 vsize=13907304 memory=140268166153856 CPUtime=0 cores=1,3,5,7
/proc/27478/task/27490/stat : 27490 (java) S 27474 27474 11586 0 -1 1077944384 203 0 0 0 0 0 0 0 20 0 14 0 62606090 14241079296 5170 18446744073709551615 4194304 4196468 140725195075792 140050360691056 140051853499010 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 7372800 140725195080113 140725195080289 140725195080289 140725195083727 0
[pid=27478/tid=27491] ppid=27474 vsize=13907304 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/27478/task/27491/stat : 27491 (java) S 27474 27474 11586 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 14 0 62606091 14241079296 5170 18446744073709551615 4194304 4196468 140725195075792 140050359638496 140051853498069 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 7372800 140725195080113 140725195080289 140725195080289 140725195083727 0
Current children cumulated CPU time: 0.05 s
Current children cumulated vsize: 13916816 KiB
Current children cumulated memory: 22060 KiB

[startup+0.210103 s]*
/proc/loadavg: 2.33 1.93 1.82 1/189 27491
/proc/meminfo: memFree=31599996/32770624 swapFree=67108860/67108860
[pid=27474] ppid=27471 vsize=9512 memory=1380 CPUtime=0 cores=1,3,5,7
/proc/27474/stat : 27474 (xcsp3-exec) S 27471 27474 11586 0 -1 4202496 516 0 0 0 0 0 0 0 20 0 1 0 62606080 9740288 345 18446744073709551615 4194304 5098028 140736954824704 140736954822808 140223088116348 0 65536 5 65538 18446744071579417331 0 0 17 3 0 0 4 0 0 7196144 7232144 38645760 140736954831225 140736954831429 140736954831429 140736954834923 0
/proc/27474/statm: 2378 345 289 221 0 87 0
[pid=27478] ppid=27474 vsize=13974352 memory=21468 CPUtime=0.06 cores=1,3,5,7
/proc/27478/stat : 27478 (java) S 27474 27474 11586 0 -1 1077944320 4795 0 0 0 5 1 0 0 20 0 15 0 62606085 14309736448 5367 18446744073709551615 4194304 4196468 140725195075792 140725195058336 140051853487863 0 0 1 16800974 18446744073709551615 0 0 17 7 0 0 0 0 0 6293624 6294260 7372800 140725195080113 140725195080289 140725195080289 140725195083727 0
/proc/27478/statm: 3493588 5367 2704 1 0 3482964 0
[pid=27478/tid=27479] ppid=27474 vsize=13974352 memory=4026531975 CPUtime=0.04 cores=1,3,5,7
/proc/27478/task/27479/stat : 27479 (java) R 27474 27474 11586 0 -1 4202560 2965 0 0 0 4 0 0 0 20 0 15 0 62606085 14309736448 5367 18446744073709551615 4194304 4196468 140725195075792 140051857714992 140051835139422 0 4 1 16800974 0 0 0 -1 5 0 0 10 0 0 6293624 6294260 7372800 140725195080113 140725195080289 140725195080289 140725195083727 0
[pid=27478/tid=27480] ppid=27474 vsize=13974352 memory=0 CPUtime=0 cores=1,3,5,7
/proc/27478/task/27480/stat : 27480 (java) S 27474 27474 11586 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 62606086 14309736448 5367 18446744073709551615 4194304 4196468 140725195075792 140051772901776 140051853498069 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 7372800 140725195080113 140725195080289 140725195080289 140725195083727 0
[pid=27478/tid=27481] ppid=27474 vsize=13974352 memory=4122959460379100832 CPUtime=0 cores=1,3,5,7
/proc/27478/task/27481/stat : 27481 (java) S 27474 27474 11586 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 62606086 14309736448 5367 18446744073709551615 4194304 4196468 140725195075792 140051771848976 140051853498069 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 7372800 140725195080113 140725195080289 140725195080289 140725195083727 0
[pid=27478/tid=27482] ppid=27474 vsize=13974352 memory=0 CPUtime=0 cores=1,3,5,7
/proc/27478/task/27482/stat : 27482 (java) S 27474 27474 11586 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 62606086 14309736448 5367 18446744073709551615 4194304 4196468 140725195075792 140051451210384 140051853498069 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 7372800 140725195080113 140725195080289 140725195080289 140725195083727 0
[pid=27478/tid=27483] ppid=27474 vsize=13974352 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/27478/task/27483/stat : 27483 (java) S 27474 27474 11586 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 62606086 14309736448 5367 18446744073709551615 4194304 4196468 140725195075792 140051450157584 140051853498069 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 7372800 140725195080113 140725195080289 140725195080289 140725195083727 0
[pid=27478/tid=27484] ppid=27474 vsize=13974352 memory=0 CPUtime=0 cores=1,3,5,7
/proc/27478/task/27484/stat : 27484 (java) S 27474 27474 11586 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 62606087 14309736448 5367 18446744073709551615 4194304 4196468 140725195075792 140050837363312 140051853499010 0 0 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 7372800 140725195080113 140725195080289 140725195080289 140725195083727 0
[pid=27478/tid=27485] ppid=27474 vsize=13974352 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/27478/task/27485/stat : 27485 (java) S 27474 27474 11586 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 62606088 14309736448 5367 18446744073709551615 4194304 4196468 140725195075792 140050836309280 140051853498069 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 7372800 140725195080113 140725195080289 140725195080289 140725195083727 0
[pid=27478/tid=27486] ppid=27474 vsize=13974352 memory=140268166153856 CPUtime=0 cores=1,3,5,7
/proc/27478/task/27486/stat : 27486 (java) S 27474 27474 11586 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 62606088 14309736448 5367 18446744073709551615 4194304 4196468 140725195075792 140050835256944 140051853498069 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 7372800 140725195080113 140725195080289 140725195080289 140725195083727 0
[pid=27478/tid=27487] ppid=27474 vsize=13974352 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/27478/task/27487/stat : 27487 (java) S 27474 27474 11586 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 62606090 14309736448 5367 18446744073709551615 4194304 4196468 140725195075792 140050834205264 140051853506459 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 7372800 140725195080113 140725195080289 140725195080289 140725195083727 0
[pid=27478/tid=27488] ppid=27474 vsize=13974352 memory=0 CPUtime=0 cores=1,3,5,7
/proc/27478/task/27488/stat : 27488 (java) S 27474 27474 11586 0 -1 1077944384 309 0 0 0 0 0 0 0 20 0 15 0 62606090 14309736448 5367 18446744073709551615 4194304 4196468 140725195075792 140050833152112 140051853499010 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 7372800 140725195080113 140725195080289 140725195080289 140725195083727 0
[pid=27478/tid=27489] ppid=27474 vsize=13974352 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/27478/task/27489/stat : 27489 (java) S 27474 27474 11586 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 62606090 14309736448 5367 18446744073709551615 4194304 4196468 140725195075792 140050832099312 140051853499010 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 7372800 140725195080113 140725195080289 140725195080289 140725195083727 0
[pid=27478/tid=27490] ppid=27474 vsize=13974352 memory=0 CPUtime=0 cores=1,3,5,7
/proc/27478/task/27490/stat : 27490 (java) R 27474 27474 11586 0 -1 4202560 217 0 0 0 0 0 0 0 20 0 15 0 62606090 14309736448 5367 18446744073709551615 4194304 4196468 140725195075792 140050360691056 140051853509210 0 4 1 16800974 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 7372800 140725195080113 140725195080289 140725195080289 140725195083727 0
[pid=27478/tid=27491] ppid=27474 vsize=13974352 memory=0 CPUtime=0 cores=1,3,5,7
/proc/27478/task/27491/stat : 27491 (java) S 27474 27474 11586 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 62606091 14309736448 5367 18446744073709551615 4194304 4196468 140725195075792 140050359638496 140051853498069 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 7372800 140725195080113 140725195080289 140725195080289 140725195083727 0
[pid=27478/tid=27492] ppid=27474 vsize=13974352 memory=0 CPUtime=0 cores=1,3,5,7
/proc/27478/task/27492/stat : 27492 (java) S 27474 27474 11586 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 62606102 14309736448 5367 18446744073709551615 4194304 4196468 140725195075792 140050358586288 140051853499010 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 7372800 140725195080113 140725195080289 140725195080289 140725195083727 0
Current children cumulated CPU time: 0.06 s
Current children cumulated vsize: 13983864 KiB
Current children cumulated memory: 22848 KiB

[startup+0.309382 s]*
/proc/loadavg: 2.33 1.93 1.82 2/191 27493
/proc/meminfo: memFree=31585584/32770624 swapFree=67108860/67108860
[pid=27474] ppid=27471 vsize=9512 memory=1380 CPUtime=0 cores=1,3,5,7
/proc/27474/stat : 27474 (xcsp3-exec) S 27471 27474 11586 0 -1 4202496 516 0 0 0 0 0 0 0 20 0 1 0 62606080 9740288 345 18446744073709551615 4194304 5098028 140736954824704 140736954822808 140223088116348 0 65536 5 65538 18446744071579417331 0 0 17 3 0 0 4 0 0 7196144 7232144 38645760 140736954831225 140736954831429 140736954831429 140736954834923 0
/proc/27474/statm: 2378 345 289 221 0 87 0
[pid=27478] ppid=27474 vsize=13974352 memory=36600 CPUtime=0.24 cores=1,3,5,7
/proc/27478/stat : 27478 (java) S 27474 27474 11586 0 -1 1077944320 8735 0 0 0 22 2 0 0 20 0 15 0 62606085 14309736448 9150 18446744073709551615 4194304 4196468 140725195075792 140725195058336 140051853487863 0 0 1 16800974 18446744073709551615 0 0 17 7 0 0 0 0 0 6293624 6294260 7372800 140725195080113 140725195080289 140725195080289 140725195083727 0
/proc/27478/statm: 3493588 9150 2979 1 0 3482964 0
[pid=27478/tid=27479] ppid=27474 vsize=13974352 memory=7310027617963868211 CPUtime=0.14 cores=1,3,5,7
/proc/27478/task/27479/stat : 27479 (java) R 27474 27474 11586 0 -1 4202560 5941 0 0 0 13 1 0 0 20 0 15 0 62606085 14309736448 9150 18446744073709551615 4194304 4196468 140725195075792 140051857710240 140051853509789 0 4 1 16800974 0 0 0 -1 1 0 0 10 0 0 6293624 6294260 7372800 140725195080113 140725195080289 140725195080289 140725195083727 0
[pid=27478/tid=27480] ppid=27474 vsize=13974352 memory=0 CPUtime=0 cores=1,3,5,7
/proc/27478/task/27480/stat : 27480 (java) S 27474 27474 11586 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 62606086 14309736448 9150 18446744073709551615 4194304 4196468 140725195075792 140051772901776 140051853498069 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 7372800 140725195080113 140725195080289 140725195080289 140725195083727 0
[pid=27478/tid=27481] ppid=27474 vsize=13974352 memory=666094 CPUtime=0 cores=1,3,5,7
/proc/27478/task/27481/stat : 27481 (java) S 27474 27474 11586 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 62606086 14309736448 9150 18446744073709551615 4194304 4196468 140725195075792 140051771848976 140051853498069 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 7372800 140725195080113 140725195080289 140725195080289 140725195083727 0
[pid=27478/tid=27482] ppid=27474 vsize=13974352 memory=-7088785026379990432 CPUtime=0 cores=1,3,5,7
/proc/27478/task/27482/stat : 27482 (java) S 27474 27474 11586 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 62606086 14309736448 9150 18446744073709551615 4194304 4196468 140725195075792 140051451210384 140051853498069 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 7372800 140725195080113 140725195080289 140725195080289 140725195083727 0
[pid=27478/tid=27483] ppid=27474 vsize=13974352 memory=734986333852351091 CPUtime=0 cores=1,3,5,7
/proc/27478/task/27483/stat : 27483 (java) S 27474 27474 11586 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 62606086 14309736448 9150 18446744073709551615 4194304 4196468 140725195075792 140051450157584 140051853498069 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 7372800 140725195080113 140725195080289 140725195080289 140725195083727 0
[pid=27478/tid=27484] ppid=27474 vsize=13974352 memory=3472464166347323056 CPUtime=0 cores=1,3,5,7
/proc/27478/task/27484/stat : 27484 (java) S 27474 27474 11586 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 62606087 14309736448 9150 18446744073709551615 4194304 4196468 140725195075792 140050837363312 140051853499010 0 0 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 7372800 140725195080113 140725195080289 140725195080289 140725195083727 0
[pid=27478/tid=27485] ppid=27474 vsize=13974352 memory=3472328296227680303 CPUtime=0 cores=1,3,5,7
/proc/27478/task/27485/stat : 27485 (java) S 27474 27474 11586 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 62606088 14309736448 9150 18446744073709551615 4194304 4196468 140725195075792 140050836309280 140051853498069 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 7372800 140725195080113 140725195080289 140725195080289 140725195083727 0
[pid=27478/tid=27486] ppid=27474 vsize=13974352 memory=6655300316396806240 CPUtime=0 cores=1,3,5,7
/proc/27478/task/27486/stat : 27486 (java) S 27474 27474 11586 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 62606088 14309736448 9150 18446744073709551615 4194304 4196468 140725195075792 140050835256944 140051853498069 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 7372800 140725195080113 140725195080289 140725195080289 140725195083727 0
[pid=27478/tid=27487] ppid=27474 vsize=13974352 memory=4048792278464084020 CPUtime=0 cores=1,3,5,7
/proc/27478/task/27487/stat : 27487 (java) S 27474 27474 11586 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 62606090 14309736448 9150 18446744073709551615 4194304 4196468 140725195075792 140050834205264 140051853506459 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 7372800 140725195080113 140725195080289 140725195080289 140725195083727 0
[pid=27478/tid=27488] ppid=27474 vsize=13974352 memory=0 CPUtime=0.02 cores=1,3,5,7
/proc/27478/task/27488/stat : 27488 (java) S 27474 27474 11586 0 -1 1077944384 769 0 0 0 2 0 0 0 20 0 15 0 62606090 14309736448 9150 18446744073709551615 4194304 4196468 140725195075792 140050833152112 140051853499010 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 7372800 140725195080113 140725195080289 140725195080289 140725195083727 0
[pid=27478/tid=27489] ppid=27474 vsize=13974352 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/27478/task/27489/stat : 27489 (java) S 27474 27474 11586 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 62606090 14309736448 9150 18446744073709551615 4194304 4196468 140725195075792 140050832099312 140051853499010 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 7372800 140725195080113 140725195080289 140725195080289 140725195083727 0
[pid=27478/tid=27490] ppid=27474 vsize=13974352 memory=140268166153856 CPUtime=0.05 cores=1,3,5,7
/proc/27478/task/27490/stat : 27490 (java) S 27474 27474 11586 0 -1 1077944384 717 0 0 0 5 0 0 0 20 0 15 0 62606090 14309736448 9150 18446744073709551615 4194304 4196468 140725195075792 140050360691056 140051853499010 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 7372800 140725195080113 140725195080289 140725195080289 140725195083727 0
[pid=27478/tid=27491] ppid=27474 vsize=13974352 memory=63024 CPUtime=0 cores=1,3,5,7
/proc/27478/task/27491/stat : 27491 (java) S 27474 27474 11586 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 62606091 14309736448 9150 18446744073709551615 4194304 4196468 140725195075792 140050359638496 140051853498069 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 7372800 140725195080113 140725195080289 140725195080289 140725195083727 0
[pid=27478/tid=27492] ppid=27474 vsize=13974352 memory=140268166153856 CPUtime=0 cores=1,3,5,7
/proc/27478/task/27492/stat : 27492 (java) S 27474 27474 11586 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 62606102 14309736448 9150 18446744073709551615 4194304 4196468 140725195075792 140050358586288 140051853499010 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 7372800 140725195080113 140725195080289 140725195080289 140725195083727 0
Current children cumulated CPU time: 0.24 s
Current children cumulated vsize: 13983864 KiB
Current children cumulated memory: 37980 KiB

[startup+0.70147 s]
/proc/loadavg: 2.33 1.93 1.82 5/198 27509
/proc/meminfo: memFree=31556864/32770624 swapFree=67108860/67108860
[pid=27474] ppid=27471 vsize=9512 memory=1380 CPUtime=0 cores=1,3,5,7
/proc/27474/stat : 27474 (xcsp3-exec) S 27471 27474 11586 0 -1 4202496 516 0 0 0 0 0 0 0 20 0 1 0 62606080 9740288 345 18446744073709551615 4194304 5098028 140736954824704 140736954822808 140223088116348 0 65536 5 65538 18446744071579417331 0 0 17 3 0 0 4 0 0 7196144 7232144 38645760 140736954831225 140736954831429 140736954831429 140736954834923 0
/proc/27474/statm: 2378 345 289 221 0 87 0
[pid=27478] ppid=27474 vsize=13978684 memory=76140 CPUtime=1.3 cores=1,3,5,7
/proc/27478/stat : 27478 (java) S 27474 27474 11586 0 -1 1077944320 13728 0 0 0 126 4 0 0 20 0 15 0 62606085 14314172416 19035 18446744073709551615 4194304 4196468 140725195075792 140725195058336 140051853487863 0 0 1 16800974 18446744073709551615 0 0 17 7 0 0 0 0 0 6293624 6294260 7372800 140725195080113 140725195080289 140725195080289 140725195083727 0
/proc/27478/statm: 3494671 19035 3148 1 0 3482964 0
[pid=27478/tid=27479] ppid=27474 vsize=13978684 memory=0 CPUtime=0.52 cores=1,3,5,7
/proc/27478/task/27479/stat : 27479 (java) R 27474 27474 11586 0 -1 4202560 7835 0 0 0 50 2 0 0 20 0 15 0 62606085 14314172416 19035 18446744073709551615 4194304 4196468 140725195075792 140051857725336 140051451366413 0 4 1 16800974 0 0 0 -1 7 0 0 10 0 0 6293624 6294260 7372800 140725195080113 140725195080289 140725195080289 140725195083727 0
[pid=27478/tid=27480] ppid=27474 vsize=13978684 memory=0 CPUtime=0 cores=1,3,5,7
/proc/27478/task/27480/stat : 27480 (java) S 27474 27474 11586 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 62606086 14314172416 19035 18446744073709551615 4194304 4196468 140725195075792 140051772901776 140051853498069 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 7372800 140725195080113 140725195080289 140725195080289 140725195083727 0
[pid=27478/tid=27481] ppid=27474 vsize=13978684 memory=0 CPUtime=0 cores=1,3,5,7
/proc/27478/task/27481/stat : 27481 (java) S 27474 27474 11586 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 62606086 14314172416 19035 18446744073709551615 4194304 4196468 140725195075792 140051771848976 140051853498069 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 7372800 140725195080113 140725195080289 140725195080289 140725195083727 0
[pid=27478/tid=27482] ppid=27474 vsize=13978684 memory=2110618669146004 CPUtime=0 cores=1,3,5,7
/proc/27478/task/27482/stat : 27482 (java) S 27474 27474 11586 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 62606086 14314172416 19035 18446744073709551615 4194304 4196468 140725195075792 140051451210384 140051853498069 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 7372800 140725195080113 140725195080289 140725195080289 140725195083727 0
[pid=27478/tid=27483] ppid=27474 vsize=13978684 memory=2110618669146004 CPUtime=0 cores=1,3,5,7
/proc/27478/task/27483/stat : 27483 (java) S 27474 27474 11586 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 62606086 14314172416 19035 18446744073709551615 4194304 4196468 140725195075792 140051450157584 140051853498069 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 7372800 140725195080113 140725195080289 140725195080289 140725195083727 0
[pid=27478/tid=27484] ppid=27474 vsize=13978684 memory=6944656592455097440 CPUtime=0 cores=1,3,5,7
/proc/27478/task/27484/stat : 27484 (java) S 27474 27474 11586 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 62606087 14314172416 19035 18446744073709551615 4194304 4196468 140725195075792 140050837363312 140051853499010 0 0 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 7372800 140725195080113 140725195080289 140725195080289 140725195083727 0
[pid=27478/tid=27485] ppid=27474 vsize=13978684 memory=0 CPUtime=0 cores=1,3,5,7
/proc/27478/task/27485/stat : 27485 (java) S 27474 27474 11586 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 62606088 14314172416 19035 18446744073709551615 4194304 4196468 140725195075792 140050836309280 140051853498069 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 7372800 140725195080113 140725195080289 140725195080289 140725195083727 0
[pid=27478/tid=27486] ppid=27474 vsize=13978684 memory=6655300316396806240 CPUtime=0 cores=1,3,5,7
/proc/27478/task/27486/stat : 27486 (java) S 27474 27474 11586 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 62606088 14314172416 19035 18446744073709551615 4194304 4196468 140725195075792 140050835256944 140051853498069 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 7372800 140725195080113 140725195080289 140725195080289 140725195083727 0
[pid=27478/tid=27487] ppid=27474 vsize=13978684 memory=6655300316396806240 CPUtime=0 cores=1,3,5,7
/proc/27478/task/27487/stat : 27487 (java) S 27474 27474 11586 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 62606090 14314172416 19035 18446744073709551615 4194304 4196468 140725195075792 140050834205264 140051853506459 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 7372800 140725195080113 140725195080289 140725195080289 140725195083727 0
[pid=27478/tid=27488] ppid=27474 vsize=13978684 memory=1232 CPUtime=0.26 cores=1,3,5,7
/proc/27478/task/27488/stat : 27488 (java) S 27474 27474 11586 0 -1 1077944384 2179 0 0 0 26 0 0 0 20 0 15 0 62606090 14314172416 19035 18446744073709551615 4194304 4196468 140725195075792 140050833152112 140051853499010 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 7372800 140725195080113 140725195080289 140725195080289 140725195083727 0
[pid=27478/tid=27489] ppid=27474 vsize=13978684 memory=8956 CPUtime=0.23 cores=1,3,5,7
/proc/27478/task/27489/stat : 27489 (java) S 27474 27474 11586 0 -1 1077944384 930 0 0 0 23 0 0 0 20 0 15 0 62606090 14314172416 19035 18446744073709551615 4194304 4196468 140725195075792 140050832099312 140051853499010 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 7372800 140725195080113 140725195080289 140725195080289 140725195083727 0
[pid=27478/tid=27490] ppid=27474 vsize=13978684 memory=4616 CPUtime=0.25 cores=1,3,5,7
/proc/27478/task/27490/stat : 27490 (java) R 27474 27474 11586 0 -1 4202560 1476 0 0 0 25 0 0 0 20 0 15 0 62606090 14314172416 19035 18446744073709551615 4194304 4196468 140725195075792 140050360686784 140051846584699 0 4 1 16800974 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 7372800 140725195080113 140725195080289 140725195080289 140725195083727 0
[pid=27478/tid=27491] ppid=27474 vsize=13978684 memory=1440 CPUtime=0 cores=1,3,5,7
/proc/27478/task/27491/stat : 27491 (java) S 27474 27474 11586 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 62606091 14314172416 19035 18446744073709551615 4194304 4196468 140725195075792 140050359638496 140051853498069 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 7372800 140725195080113 140725195080289 140725195080289 140725195083727 0
[pid=27478/tid=27492] ppid=27474 vsize=13978684 memory=1204 CPUtime=0 cores=1,3,5,7
/proc/27478/task/27492/stat : 27492 (java) S 27474 27474 11586 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 62606102 14314172416 19035 18446744073709551615 4194304 4196468 140725195075792 140050358586288 140051853499010 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 7372800 140725195080113 140725195080289 140725195080289 140725195083727 0
Current children cumulated CPU time: 1.3 s
Current children cumulated vsize: 13988196 KiB
Current children cumulated memory: 77520 KiB

[startup+1.50078 s]
/proc/loadavg: 2.33 1.93 1.82 7/211 27522
/proc/meminfo: memFree=31431172/32770624 swapFree=67108860/67108860
[pid=27474] ppid=27471 vsize=9512 memory=1380 CPUtime=0 cores=1,3,5,7
/proc/27474/stat : 27474 (xcsp3-exec) S 27471 27474 11586 0 -1 4202496 516 0 0 0 0 0 0 0 20 0 1 0 62606080 9740288 345 18446744073709551615 4194304 5098028 140736954824704 140736954822808 140223088116348 0 65536 5 65538 18446744071579417331 0 0 17 3 0 0 4 0 0 7196144 7232144 38645760 140736954831225 140736954831429 140736954831429 140736954834923 0
/proc/27474/statm: 2378 345 289 221 0 87 0
[pid=27478] ppid=27474 vsize=13980732 memory=208260 CPUtime=3.9 cores=1,3,5,7
/proc/27478/stat : 27478 (java) S 27474 27474 11586 0 -1 1077944320 16105 0 0 0 381 9 0 0 20 0 15 0 62606085 14316269568 52065 18446744073709551615 4194304 4196468 140725195075792 140725195058336 140051853487863 0 0 1 16800974 18446744073709551615 0 0 17 7 0 0 0 0 0 6293624 6294260 7372800 140725195080113 140725195080289 140725195080289 140725195083727 0
/proc/27478/statm: 3495183 52065 3203 1 0 3483476 0
[pid=27478/tid=27479] ppid=27474 vsize=13980732 memory=72 CPUtime=1.29 cores=1,3,5,7
/proc/27478/task/27479/stat : 27479 (java) R 27474 27474 11586 0 -1 4202560 8432 0 0 0 125 4 0 0 20 0 15 0 62606085 14316269568 52065 18446744073709551615 4194304 4196468 140725195075792 140051857723472 140051457318599 0 4 1 16800974 0 0 0 -1 3 0 0 10 0 0 6293624 6294260 7372800 140725195080113 140725195080289 140725195080289 140725195083727 0
[pid=27478/tid=27480] ppid=27474 vsize=13980732 memory=0 CPUtime=0.01 cores=1,3,5,7
/proc/27478/task/27480/stat : 27480 (java) S 27474 27474 11586 0 -1 1077944384 17 0 0 0 1 0 0 0 20 0 15 0 62606086 14316269568 52065 18446744073709551615 4194304 4196468 140725195075792 140051772901776 140051853498069 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 7372800 140725195080113 140725195080289 140725195080289 140725195083727 0
[pid=27478/tid=27481] ppid=27474 vsize=13980732 memory=0 CPUtime=0.01 cores=1,3,5,7
/proc/27478/task/27481/stat : 27481 (java) S 27474 27474 11586 0 -1 1077944384 45 0 0 0 1 0 0 0 20 0 15 0 62606086 14316269568 52065 18446744073709551615 4194304 4196468 140725195075792 140051771848976 140051853498069 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 7372800 140725195080113 140725195080289 140725195080289 140725195083727 0
[pid=27478/tid=27482] ppid=27474 vsize=13980732 memory=0 CPUtime=0.01 cores=1,3,5,7
/proc/27478/task/27482/stat : 27482 (java) S 27474 27474 11586 0 -1 1077944384 21 0 0 0 1 0 0 0 20 0 15 0 62606086 14316269568 52065 18446744073709551615 4194304 4196468 140725195075792 140051451210384 140051853498069 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 7372800 140725195080113 140725195080289 140725195080289 140725195083727 0
[pid=27478/tid=27483] ppid=27474 vsize=13980732 memory=0 CPUtime=0.01 cores=1,3,5,7
/proc/27478/task/27483/stat : 27483 (java) S 27474 27474 11586 0 -1 1077944384 18 0 0 0 1 0 0 0 20 0 15 0 62606086 14316269568 52065 18446744073709551615 4194304 4196468 140725195075792 140051450157584 140051853498069 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 7372800 140725195080113 140725195080289 140725195080289 140725195083727 0
[pid=27478/tid=27484] ppid=27474 vsize=13980732 memory=0 CPUtime=0 cores=1,3,5,7
/proc/27478/task/27484/stat : 27484 (java) S 27474 27474 11586 0 -1 1077944384 84 0 0 0 0 0 0 0 20 0 15 0 62606087 14316269568 52065 18446744073709551615 4194304 4196468 140725195075792 140050837363312 140051853499010 0 0 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 7372800 140725195080113 140725195080289 140725195080289 140725195083727 0
[pid=27478/tid=27485] ppid=27474 vsize=13980732 memory=0 CPUtime=0 cores=1,3,5,7
/proc/27478/task/27485/stat : 27485 (java) S 27474 27474 11586 0 -1 1077944384 34 0 0 0 0 0 0 0 20 0 15 0 62606088 14316269568 52065 18446744073709551615 4194304 4196468 140725195075792 140050836309280 140051853498069 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 7372800 140725195080113 140725195080289 140725195080289 140725195083727 0
[pid=27478/tid=27486] ppid=27474 vsize=13980732 memory=0 CPUtime=0 cores=1,3,5,7
/proc/27478/task/27486/stat : 27486 (java) S 27474 27474 11586 0 -1 1077944384 22 0 0 0 0 0 0 0 20 0 15 0 62606088 14316269568 52065 18446744073709551615 4194304 4196468 140725195075792 140050835256944 140051853498069 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 7372800 140725195080113 140725195080289 140725195080289 140725195083727 0
[pid=27478/tid=27487] ppid=27474 vsize=13980732 memory=0 CPUtime=0 cores=1,3,5,7
/proc/27478/task/27487/stat : 27487 (java) S 27474 27474 11586 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 62606090 14316269568 52065 18446744073709551615 4194304 4196468 140725195075792 140050834205264 140051853506459 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 7372800 140725195080113 140725195080289 140725195080289 140725195083727 0
[pid=27478/tid=27488] ppid=27474 vsize=13980732 memory=0 CPUtime=1 cores=1,3,5,7
/proc/27478/task/27488/stat : 27488 (java) R 27474 27474 11586 0 -1 4202560 2323 0 0 0 100 0 0 0 20 0 15 0 62606090 14316269568 52065 18446744073709551615 4194304 4196468 140725195075792 140050833152112 140051831273576 0 4 1 16800974 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 7372800 140725195080113 140725195080289 140725195080289 140725195083727 0
[pid=27478/tid=27489] ppid=27474 vsize=13980732 memory=4637164475387183459 CPUtime=0.97 cores=1,3,5,7
/proc/27478/task/27489/stat : 27489 (java) R 27474 27474 11586 0 -1 4202560 1614 0 0 0 97 0 0 0 20 0 15 0 62606090 14316269568 52065 18446744073709551615 4194304 4196468 140725195075792 140050832089104 140051834188167 0 4 1 16800974 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 7372800 140725195080113 140725195080289 140725195080289 140725195083727 0
[pid=27478/tid=27490] ppid=27474 vsize=13980732 memory=-3042783220307104087 CPUtime=0.52 cores=1,3,5,7
/proc/27478/task/27490/stat : 27490 (java) S 27474 27474 11586 0 -1 1077944384 2250 0 0 0 52 0 0 0 20 0 15 0 62606090 14316269568 52065 18446744073709551615 4194304 4196468 140725195075792 140050360691056 140051853499010 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 7372800 140725195080113 140725195080289 140725195080289 140725195083727 0
[pid=27478/tid=27491] ppid=27474 vsize=13980732 memory=6944656592455360569 CPUtime=0 cores=1,3,5,7
/proc/27478/task/27491/stat : 27491 (java) S 27474 27474 11586 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 62606091 14316269568 52065 18446744073709551615 4194304 4196468 140725195075792 140050359638496 140051853498069 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 7372800 140725195080113 140725195080289 140725195080289 140725195083727 0
[pid=27478/tid=27492] ppid=27474 vsize=13980732 memory=6944656592455359580 CPUtime=0 cores=1,3,5,7
/proc/27478/task/27492/stat : 27492 (java) S 27474 27474 11586 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 62606102 14316269568 52065 18446744073709551615 4194304 4196468 140725195075792 140050358586288 140051853499010 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 7372800 140725195080113 140725195080289 140725195080289 140725195083727 0
Current children cumulated CPU time: 3.9 s
Current children cumulated vsize: 13990244 KiB
Current children cumulated memory: 209640 KiB

[startup+1.81666 s]
# the end of solver process 27474 was just reported to runsolver
# cumulated CPU time of all completed processes:  user=4.66251 s, system=0.108438 s

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

[startup+1.60649 s]
/proc/loadavg: 2.33 1.93 1.82 7/211 27522
/proc/meminfo: memFree=31431172/32770624 swapFree=67108860/67108860
[pid=27474] ppid=27471 vsize=9512 memory=1380 CPUtime=0 cores=1,3,5,7
/proc/27474/stat : 27474 (xcsp3-exec) S 27471 27474 11586 0 -1 4202496 516 0 0 0 0 0 0 0 20 0 1 0 62606080 9740288 345 18446744073709551615 4194304 5098028 140736954824704 140736954822808 140223088116348 0 65536 5 65538 18446744071579417331 0 0 17 3 0 0 4 0 0 7196144 7232144 38645760 140736954831225 140736954831429 140736954831429 140736954834923 0
/proc/27474/statm: 2378 345 289 221 0 87 0
[pid=27478] ppid=27474 vsize=13980732 memory=209088 CPUtime=4.27 cores=1,3,5,7
/proc/27478/stat : 27478 (java) S 27474 27474 11586 0 -1 1077944320 16330 0 0 0 418 9 0 0 20 0 15 0 62606085 14316269568 52272 18446744073709551615 4194304 4196468 140725195075792 140725195058336 140051853487863 0 0 1 16800974 18446744073709551615 0 0 17 7 0 0 0 0 0 6293624 6294260 7372800 140725195080113 140725195080289 140725195080289 140725195083727 0
/proc/27478/statm: 3495183 52272 3207 1 0 3483476 0
[pid=27478/tid=27479] ppid=27474 vsize=13980732 memory=7885630798281073235 CPUtime=1.39 cores=1,3,5,7
/proc/27478/task/27479/stat : 27479 (java) R 27474 27474 11586 0 -1 4202560 8500 0 0 0 135 4 0 0 20 0 15 0 62606085 14316269568 52272 18446744073709551615 4194304 4196468 140725195075792 140051857722528 140051451318868 0 4 1 16800974 0 0 0 -1 3 0 0 10 0 0 6293624 6294260 7372800 140725195080113 140725195080289 140725195080289 140725195083727 0
[pid=27478/tid=27480] ppid=27474 vsize=13980732 memory=-8774313645642428999 CPUtime=0.01 cores=1,3,5,7
/proc/27478/task/27480/stat : 27480 (java) S 27474 27474 11586 0 -1 1077944384 17 0 0 0 1 0 0 0 20 0 15 0 62606086 14316269568 52272 18446744073709551615 4194304 4196468 140725195075792 140051772901776 140051853498069 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 7372800 140725195080113 140725195080289 140725195080289 140725195083727 0
[pid=27478/tid=27481] ppid=27474 vsize=13980732 memory=280536124199600 CPUtime=0.01 cores=1,3,5,7
/proc/27478/task/27481/stat : 27481 (java) S 27474 27474 11586 0 -1 1077944384 45 0 0 0 1 0 0 0 20 0 15 0 62606086 14316269568 52272 18446744073709551615 4194304 4196468 140725195075792 140051771848976 140051853498069 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 7372800 140725195080113 140725195080289 140725195080289 140725195083727 0
[pid=27478/tid=27482] ppid=27474 vsize=13980732 memory=2110618669203508 CPUtime=0.01 cores=1,3,5,7
/proc/27478/task/27482/stat : 27482 (java) S 27474 27474 11586 0 -1 1077944384 21 0 0 0 1 0 0 0 20 0 15 0 62606086 14316269568 52272 18446744073709551615 4194304 4196468 140725195075792 140051451210384 140051853498069 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 7372800 140725195080113 140725195080289 140725195080289 140725195083727 0
[pid=27478/tid=27483] ppid=27474 vsize=13980732 memory=280536124204192 CPUtime=0.01 cores=1,3,5,7
/proc/27478/task/27483/stat : 27483 (java) S 27474 27474 11586 0 -1 1077944384 18 0 0 0 1 0 0 0 20 0 15 0 62606086 14316269568 52272 18446744073709551615 4194304 4196468 140725195075792 140051450157584 140051853498069 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 7372800 140725195080113 140725195080289 140725195080289 140725195083727 0
[pid=27478/tid=27484] ppid=27474 vsize=13980732 memory=6872598998417432672 CPUtime=0 cores=1,3,5,7
/proc/27478/task/27484/stat : 27484 (java) S 27474 27474 11586 0 -1 1077944384 84 0 0 0 0 0 0 0 20 0 15 0 62606087 14316269568 52272 18446744073709551615 4194304 4196468 140725195075792 140050837363312 140051853499010 0 0 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 7372800 140725195080113 140725195080289 140725195080289 140725195083727 0
[pid=27478/tid=27485] ppid=27474 vsize=13980732 memory=0 CPUtime=0 cores=1,3,5,7
/proc/27478/task/27485/stat : 27485 (java) S 27474 27474 11586 0 -1 1077944384 34 0 0 0 0 0 0 0 20 0 15 0 62606088 14316269568 52272 18446744073709551615 4194304 4196468 140725195075792 140050836309280 140051853498069 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 7372800 140725195080113 140725195080289 140725195080289 140725195083727 0
[pid=27478/tid=27486] ppid=27474 vsize=13980732 memory=6943526294502006880 CPUtime=0 cores=1,3,5,7
/proc/27478/task/27486/stat : 27486 (java) S 27474 27474 11586 0 -1 1077944384 22 0 0 0 0 0 0 0 20 0 15 0 62606088 14316269568 52272 18446744073709551615 4194304 4196468 140725195075792 140050835256944 140051853498069 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 7372800 140725195080113 140725195080289 140725195080289 140725195083727 0
[pid=27478/tid=27487] ppid=27474 vsize=13980732 memory=0 CPUtime=0 cores=1,3,5,7
/proc/27478/task/27487/stat : 27487 (java) S 27474 27474 11586 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 62606090 14316269568 52272 18446744073709551615 4194304 4196468 140725195075792 140050834205264 140051853506459 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 7372800 140725195080113 140725195080289 140725195080289 140725195083727 0
[pid=27478/tid=27488] ppid=27474 vsize=13980732 memory=0 CPUtime=1.1 cores=1,3,5,7
/proc/27478/task/27488/stat : 27488 (java) R 27474 27474 11586 0 -1 4202560 2356 0 0 0 110 0 0 0 20 0 15 0 62606090 14316269568 52272 18446744073709551615 4194304 4196468 140725195075792 140050833137184 140051836875909 0 4 1 16800974 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 7372800 140725195080113 140725195080289 140725195080289 140725195083727 0
[pid=27478/tid=27489] ppid=27474 vsize=13980732 memory=6944656592387989600 CPUtime=1.07 cores=1,3,5,7
/proc/27478/task/27489/stat : 27489 (java) R 27474 27474 11586 0 -1 4202560 1635 0 0 0 107 0 0 0 20 0 15 0 62606090 14316269568 52272 18446744073709551615 4194304 4196468 140725195075792 140050832087984 140051845777317 0 4 1 16800974 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 7372800 140725195080113 140725195080289 140725195080289 140725195083727 0
[pid=27478/tid=27490] ppid=27474 vsize=13980732 memory=0 CPUtime=0.58 cores=1,3,5,7
/proc/27478/task/27490/stat : 27490 (java) S 27474 27474 11586 0 -1 1077944384 2353 0 0 0 58 0 0 0 20 0 15 0 62606090 14316269568 52272 18446744073709551615 4194304 4196468 140725195075792 140050360691056 140051853499010 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 7372800 140725195080113 140725195080289 140725195080289 140725195083727 0
[pid=27478/tid=27491] ppid=27474 vsize=13980732 memory=0 CPUtime=0 cores=1,3,5,7
/proc/27478/task/27491/stat : 27491 (java) S 27474 27474 11586 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 62606091 14316269568 52272 18446744073709551615 4194304 4196468 140725195075792 140050359638496 140051853498069 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 7372800 140725195080113 140725195080289 140725195080289 140725195083727 0
[pid=27478/tid=27492] ppid=27474 vsize=13980732 memory=0 CPUtime=0 cores=1,3,5,7
/proc/27478/task/27492/stat : 27492 (java) S 27474 27474 11586 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 62606102 14316269568 52272 18446744073709551615 4194304 4196468 140725195075792 140050358586288 140051853499010 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 7372800 140725195080113 140725195080289 140725195080289 140725195083727 0
Current children cumulated CPU time: 4.27 s
Current children cumulated vsize: 13990244 KiB
Current children cumulated memory: 210468 KiB

[startup+1.8007 s]
/proc/loadavg: 2.33 1.93 1.82 7/211 27522
/proc/meminfo: memFree=31431172/32770624 swapFree=67108860/67108860
[pid=27474] ppid=27471 vsize=9512 memory=1380 CPUtime=0 cores=1,3,5,7
/proc/27474/stat : 27474 (xcsp3-exec) S 27471 27474 11586 0 -1 4202496 516 0 0 0 0 0 0 0 20 0 1 0 62606080 9740288 345 18446744073709551615 4194304 5098028 140736954824704 140736954822808 140223088116348 0 65536 5 65538 18446744071579417331 0 0 17 3 0 0 4 0 0 7196144 7232144 38645760 140736954831225 140736954831429 140736954831429 140736954834923 0
/proc/27474/statm: 2378 345 289 221 0 87 0
[pid=27478] ppid=27474 vsize=13980732 memory=210228 CPUtime=4.75 cores=1,3,5,7
/proc/27478/stat : 27478 (java) S 27474 27474 11586 0 -1 1077944320 16610 0 0 0 465 10 0 0 20 0 15 0 62606085 14316269568 52557 18446744073709551615 4194304 4196468 140725195075792 140725195058336 140051853487863 0 0 1 16800974 18446744073709551615 0 0 17 7 0 0 0 0 0 6293624 6294260 7372800 140725195080113 140725195080289 140725195080289 140725195083727 0
/proc/27478/statm: 3495183 52557 3215 1 0 3483476 0
[pid=27478/tid=27479] ppid=27474 vsize=13980732 memory=-8774313645642428999 CPUtime=1.58 cores=1,3,5,7
/proc/27478/task/27479/stat : 27479 (java) R 27474 27474 11586 0 -1 4202560 8602 0 0 0 154 4 0 0 20 0 15 0 62606085 14316269568 52557 18446744073709551615 4194304 4196468 140725195075792 140051857726864 140051853509693 0 4 1 16800974 0 0 0 -1 3 0 0 10 0 0 6293624 6294260 7372800 140725195080113 140725195080289 140725195080289 140725195083727 0
[pid=27478/tid=27480] ppid=27474 vsize=13980732 memory=1380 CPUtime=0.01 cores=1,3,5,7
/proc/27478/task/27480/stat : 27480 (java) S 27474 27474 11586 0 -1 1077944384 17 0 0 0 1 0 0 0 20 0 15 0 62606086 14316269568 52557 18446744073709551615 4194304 4196468 140725195075792 140051772901776 140051853498069 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 7372800 140725195080113 140725195080289 140725195080289 140725195083727 0
[pid=27478/tid=27481] ppid=27474 vsize=13980732 memory=56708 CPUtime=0.01 cores=1,3,5,7
/proc/27478/task/27481/stat : 27481 (java) S 27474 27474 11586 0 -1 1077944384 45 0 0 0 1 0 0 0 20 0 15 0 62606086 14316269568 52557 18446744073709551615 4194304 4196468 140725195075792 140051771848976 140051853498069 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 7372800 140725195080113 140725195080289 140725195080289 140725195083727 0
[pid=27478/tid=27482] ppid=27474 vsize=13980732 memory=1156 CPUtime=0.01 cores=1,3,5,7
/proc/27478/task/27482/stat : 27482 (java) S 27474 27474 11586 0 -1 1077944384 21 0 0 0 1 0 0 0 20 0 15 0 62606086 14316269568 52557 18446744073709551615 4194304 4196468 140725195075792 140051451210384 140051853498069 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 7372800 140725195080113 140725195080289 140725195080289 140725195083727 0
[pid=27478/tid=27483] ppid=27474 vsize=13980732 memory=1852 CPUtime=0.01 cores=1,3,5,7
/proc/27478/task/27483/stat : 27483 (java) S 27474 27474 11586 0 -1 1077944384 18 0 0 0 1 0 0 0 20 0 15 0 62606086 14316269568 52557 18446744073709551615 4194304 4196468 140725195075792 140051450157584 140051853498069 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 7372800 140725195080113 140725195080289 140725195080289 140725195083727 0
[pid=27478/tid=27484] ppid=27474 vsize=13980732 memory=0 CPUtime=0 cores=1,3,5,7
/proc/27478/task/27484/stat : 27484 (java) S 27474 27474 11586 0 -1 1077944384 84 0 0 0 0 0 0 0 20 0 15 0 62606087 14316269568 52557 18446744073709551615 4194304 4196468 140725195075792 140050837363312 140051853499010 0 0 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 7372800 140725195080113 140725195080289 140725195080289 140725195083727 0
[pid=27478/tid=27485] ppid=27474 vsize=13980732 memory=2276 CPUtime=0 cores=1,3,5,7
/proc/27478/task/27485/stat : 27485 (java) S 27474 27474 11586 0 -1 1077944384 34 0 0 0 0 0 0 0 20 0 15 0 62606088 14316269568 52557 18446744073709551615 4194304 4196468 140725195075792 140050836309280 140051853498069 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 7372800 140725195080113 140725195080289 140725195080289 140725195083727 0
[pid=27478/tid=27486] ppid=27474 vsize=13980732 memory=-2893623298589923098 CPUtime=0 cores=1,3,5,7
/proc/27478/task/27486/stat : 27486 (java) S 27474 27474 11586 0 -1 1077944384 22 0 0 0 0 0 0 0 20 0 15 0 62606088 14316269568 52557 18446744073709551615 4194304 4196468 140725195075792 140050835256944 140051853498069 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 7372800 140725195080113 140725195080289 140725195080289 140725195083727 0
[pid=27478/tid=27487] ppid=27474 vsize=13980732 memory=6944652177228980320 CPUtime=0 cores=1,3,5,7
/proc/27478/task/27487/stat : 27487 (java) S 27474 27474 11586 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 62606090 14316269568 52557 18446744073709551615 4194304 4196468 140725195075792 140050834205264 140051853506459 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 7372800 140725195080113 140725195080289 140725195080289 140725195083727 0
[pid=27478/tid=27488] ppid=27474 vsize=13980732 memory=6943526294502006880 CPUtime=1.2 cores=1,3,5,7
/proc/27478/task/27488/stat : 27488 (java) R 27474 27474 11586 0 -1 4202560 2405 0 0 0 120 0 0 0 20 0 15 0 62606090 14316269568 52557 18446744073709551615 4194304 4196468 140725195075792 140050833152112 140051831510408 0 4 1 16800974 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 7372800 140725195080113 140725195080289 140725195080289 140725195083727 0
[pid=27478/tid=27489] ppid=27474 vsize=13980732 memory=-7818643125117462048 CPUtime=1.19 cores=1,3,5,7
/proc/27478/task/27489/stat : 27489 (java) R 27474 27474 11586 0 -1 4202560 1673 0 0 0 119 0 0 0 20 0 15 0 62606090 14316269568 52557 18446744073709551615 4194304 4196468 140725195075792 140050832099312 140051837391776 0 4 1 16800974 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 7372800 140725195080113 140725195080289 140725195080289 140725195083727 0
[pid=27478/tid=27490] ppid=27474 vsize=13980732 memory=6944656592455359580 CPUtime=0.64 cores=1,3,5,7
/proc/27478/task/27490/stat : 27490 (java) S 27474 27474 11586 0 -1 1077944384 2444 0 0 0 64 0 0 0 20 0 15 0 62606090 14316269568 52557 18446744073709551615 4194304 4196468 140725195075792 140050360691056 140051853499010 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 7372800 140725195080113 140725195080289 140725195080289 140725195083727 0
[pid=27478/tid=27491] ppid=27474 vsize=13980732 memory=6944656592387989600 CPUtime=0 cores=1,3,5,7
/proc/27478/task/27491/stat : 27491 (java) S 27474 27474 11586 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 62606091 14316269568 52557 18446744073709551615 4194304 4196468 140725195075792 140050359638496 140051853498069 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 7372800 140725195080113 140725195080289 140725195080289 140725195083727 0
[pid=27478/tid=27492] ppid=27474 vsize=13980732 memory=6943526294502006880 CPUtime=0 cores=1,3,5,7
/proc/27478/task/27492/stat : 27492 (java) S 27474 27474 11586 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 62606102 14316269568 52557 18446744073709551615 4194304 4196468 140725195075792 140050358586288 140051853499010 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 7372800 140725195080113 140725195080289 140725195080289 140725195083727 0
Current children cumulated CPU time: 4.75 s
Current children cumulated vsize: 13990244 KiB
Current children cumulated memory: 211608 KiB

Child status: 0
Real time (s): 1.81672
CPU time (s): 4.77095
CPU user time (s): 4.66251
CPU system time (s): 0.108438
CPU usage (%): 262.613
Max. virtual memory (cumulated for all children) (KiB): 13990244
Max. memory (cumulated for all children) (KiB): 211608

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 4.66251
system time used= 0.108438
maximum resident set size= 211252
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 17147
page faults= 0
swaps= 0
block input operations= 0
block output operations= 112
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 2054
involuntary context switches= 19


# summary of solver processes directly reported to runsolver:
#   pid: 27474
#   total CPU time (s): 4.77095
#   total CPU user time (s): 4.66251
#   total CPU system time (s): 0.108438

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 0.038752 second user time and 0.050545 second system time

The end