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

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4283408-1503218624/watcher-4283408-1503218624 -o /tmp/evaluation-result-4283408-1503218624/solver-4283408-1503218624 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node102-1503215303-27358 --watchdog 2580 ./xcsp3-exec -dir HOME -tl 2520 -ml 11000 -tdir HOME -seed 141537361 HOME/instance-4283408-1503218624.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=27810, runsolver pid=27807
Current StackSize limit: 8192 KiB


[startup+0.100126 s]*
/proc/loadavg: 1.31 1.26 1.38 3/217 27826
/proc/meminfo: memFree=28268508/32770624 swapFree=67108860/67108860
[pid=27810] ppid=27807 vsize=9512 memory=1384 CPUtime=0 cores=1,3,5,7
/proc/27810/stat : 27810 (xcsp3-exec) S 27807 27810 21899 0 -1 4202496 514 0 0 0 0 0 0 0 20 0 1 0 154950542 9740288 346 33554432000 4194304 5098028 140732489040112 140732489038216 140453600354940 0 65536 4100 65538 18446744071579417331 0 0 17 7 0 0 0 0 0 7196144 7232144 29609984 140732489045103 140732489045307 140732489045307 140732489048043 0
/proc/27810/statm: 2378 346 289 221 0 87 0
[pid=27812] ppid=27810 vsize=13978596 memory=28544 CPUtime=0.12 cores=1,3,5,7
/proc/27812/stat : 27812 (java) S 27810 27810 21899 0 -1 1077944320 5491 0 0 0 12 0 0 0 20 0 15 0 154950542 14314082304 7136 33554432000 4194304 4196468 140720640785440 140720640767984 139752813608695 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 21094400 140720640787607 140720640787783 140720640787783 140720640790479 0
/proc/27812/statm: 3494649 7136 2898 1 0 3482966 0
[pid=27812/tid=27813] ppid=27810 vsize=13978596 memory=-6962121287837372198 CPUtime=0.09 cores=1,3,5,7
/proc/27812/task/27813/stat : 27813 (java) R 27810 27810 21899 0 -1 4202560 3444 0 0 0 9 0 0 0 20 0 15 0 154950542 14314082304 7136 33554432000 4194304 4196468 140720640785440 139752817840608 139752813620630 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 21094400 140720640787607 140720640787783 140720640787783 140720640790479 0
[pid=27812/tid=27814] ppid=27810 vsize=13978596 memory=-3689451258167578675 CPUtime=0 cores=1,3,5,7
/proc/27812/task/27814/stat : 27814 (java) S 27810 27810 21899 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 154950543 14314082304 7136 33554432000 4194304 4196468 140720640785440 139752743697040 139752813618901 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 21094400 140720640787607 140720640787783 140720640787783 140720640790479 0
[pid=27812/tid=27815] ppid=27810 vsize=13978596 memory=140466309215872 CPUtime=0 cores=1,3,5,7
/proc/27812/task/27815/stat : 27815 (java) S 27810 27810 21899 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 154950543 14314082304 7136 33554432000 4194304 4196468 140720640785440 139752742644240 139752813618901 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 21094400 140720640787607 140720640787783 140720640787783 140720640790479 0
[pid=27812/tid=27816] ppid=27810 vsize=13978596 memory=0 CPUtime=0 cores=1,3,5,7
/proc/27812/task/27816/stat : 27816 (java) S 27810 27810 21899 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 154950543 14314082304 7136 33554432000 4194304 4196468 140720640785440 139752741591440 139752813618901 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 21094400 140720640787607 140720640787783 140720640787783 140720640790479 0
[pid=27812/tid=27817] ppid=27810 vsize=13978596 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/27812/task/27817/stat : 27817 (java) S 27810 27810 21899 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 154950543 14314082304 7136 33554432000 4194304 4196468 140720640785440 139752740538640 139752813618901 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 21094400 140720640787607 140720640787783 140720640787783 140720640790479 0
[pid=27812/tid=27818] ppid=27810 vsize=13978596 memory=140466309215872 CPUtime=0 cores=1,3,5,7
/proc/27812/task/27818/stat : 27818 (java) S 27810 27810 21899 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 154950544 14314082304 7136 33554432000 4194304 4196468 140720640785440 139752287730544 139752813619842 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 21094400 140720640787607 140720640787783 140720640787783 140720640790479 0
[pid=27812/tid=27819] ppid=27810 vsize=13978596 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/27812/task/27819/stat : 27819 (java) S 27810 27810 21899 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 154950545 14314082304 7136 33554432000 4194304 4196468 140720640785440 139752286676512 139752813618901 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 21094400 140720640787607 140720640787783 140720640787783 140720640790479 0
[pid=27812/tid=27820] ppid=27810 vsize=13978596 memory=0 CPUtime=0 cores=1,3,5,7
/proc/27812/task/27820/stat : 27820 (java) S 27810 27810 21899 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 154950545 14314082304 7136 33554432000 4194304 4196468 140720640785440 139752285623664 139752813618901 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 21094400 140720640787607 140720640787783 140720640787783 140720640790479 0
[pid=27812/tid=27821] ppid=27810 vsize=13978596 memory=0 CPUtime=0 cores=1,3,5,7
/proc/27812/task/27821/stat : 27821 (java) S 27810 27810 21899 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 154950547 14314082304 7136 33554432000 4194304 4196468 140720640785440 139752284571984 139752813627291 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 21094400 140720640787607 140720640787783 140720640787783 140720640790479 0
[pid=27812/tid=27822] ppid=27810 vsize=13978596 memory=0 CPUtime=0 cores=1,3,5,7
/proc/27812/task/27822/stat : 27822 (java) S 27810 27810 21899 0 -1 1077944384 423 0 0 0 0 0 0 0 20 0 15 0 154950547 14314082304 7202 33554432000 4194304 4196468 140720640785440 139752283519344 139752813619842 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 21094400 140720640787607 140720640787783 140720640787783 140720640790479 0
[pid=27812/tid=27823] ppid=27810 vsize=13978596 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/27812/task/27823/stat : 27823 (java) S 27810 27810 21899 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 154950547 14314082304 7202 33554432000 4194304 4196468 140720640785440 139752282466544 139752813619842 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 21094400 140720640787607 140720640787783 140720640787783 140720640790479 0
[pid=27812/tid=27824] ppid=27810 vsize=13978596 memory=140466309215872 CPUtime=0.01 cores=1,3,5,7
/proc/27812/task/27824/stat : 27824 (java) R 27810 27810 21899 0 -1 4202560 332 0 0 0 1 0 0 0 20 0 15 0 154950547 14314082304 7202 33554432000 4194304 4196468 140720640785440 139752281413744 139752813620630 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 21094400 140720640787607 140720640787783 140720640787783 140720640790479 0
[pid=27812/tid=27825] ppid=27810 vsize=13978596 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/27812/task/27825/stat : 27825 (java) S 27810 27810 21899 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 154950548 14314082304 7202 33554432000 4194304 4196468 140720640785440 139752280361184 139752813618901 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 21094400 140720640787607 140720640787783 140720640787783 140720640790479 0
[pid=27812/tid=27826] ppid=27810 vsize=13978596 memory=140466309215872 CPUtime=0 cores=1,3,5,7
/proc/27812/task/27826/stat : 27826 (java) S 27810 27810 21899 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 154950548 14314082304 7202 33554432000 4194304 4196468 140720640785440 139752279309488 139752813619842 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 21094400 140720640787607 140720640787783 140720640787783 140720640790479 0
Current children cumulated CPU time: 0.12 s
Current children cumulated vsize: 13988108 KiB
Current children cumulated memory: 29928 KiB

[startup+0.210691 s]*
/proc/loadavg: 1.31 1.26 1.38 5/217 27826
/proc/meminfo: memFree=28252868/32770624 swapFree=67108860/67108860
[pid=27810] ppid=27807 vsize=9512 memory=1384 CPUtime=0 cores=1,3,5,7
/proc/27810/stat : 27810 (xcsp3-exec) S 27807 27810 21899 0 -1 4202496 514 0 0 0 0 0 0 0 20 0 1 0 154950542 9740288 346 33554432000 4194304 5098028 140732489040112 140732489038216 140453600354940 0 65536 4100 65538 18446744071579417331 0 0 17 7 0 0 0 0 0 7196144 7232144 29609984 140732489045103 140732489045307 140732489045307 140732489048043 0
/proc/27810/statm: 2378 346 289 221 0 87 0
[pid=27812] ppid=27810 vsize=13982852 memory=40424 CPUtime=0.34 cores=1,3,5,7
/proc/27812/stat : 27812 (java) S 27810 27810 21899 0 -1 1077944320 8241 0 0 0 32 2 0 0 20 0 15 0 154950542 14318440448 10106 33554432000 4194304 4196468 140720640785440 140720640767984 139752813608695 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 21094400 140720640787607 140720640787783 140720640787783 140720640790479 0
/proc/27812/statm: 3495713 10106 3079 1 0 3482966 0
[pid=27812/tid=27813] ppid=27810 vsize=13982852 memory=7883960649037381690 CPUtime=0.2 cores=1,3,5,7
/proc/27812/task/27813/stat : 27813 (java) R 27810 27810 21899 0 -1 4202560 5393 0 0 0 19 1 0 0 20 0 15 0 154950542 14318440448 10106 33554432000 4194304 4196468 140720640785440 139752817819600 139752806325799 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 21094400 140720640787607 140720640787783 140720640787783 140720640790479 0
[pid=27812/tid=27814] ppid=27810 vsize=13982852 memory=8965 CPUtime=0 cores=1,3,5,7
/proc/27812/task/27814/stat : 27814 (java) S 27810 27810 21899 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 154950543 14318440448 10106 33554432000 4194304 4196468 140720640785440 139752743697040 139752813618901 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 21094400 140720640787607 140720640787783 140720640787783 140720640790479 0
[pid=27812/tid=27815] ppid=27810 vsize=13982852 memory=140466309975793 CPUtime=0 cores=1,3,5,7
/proc/27812/task/27815/stat : 27815 (java) S 27810 27810 21899 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 154950543 14318440448 10106 33554432000 4194304 4196468 140720640785440 139752742644240 139752813618901 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 21094400 140720640787607 140720640787783 140720640787783 140720640790479 0
[pid=27812/tid=27816] ppid=27810 vsize=13982852 memory=0 CPUtime=0 cores=1,3,5,7
/proc/27812/task/27816/stat : 27816 (java) S 27810 27810 21899 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 154950543 14318440448 10106 33554432000 4194304 4196468 140720640785440 139752741591440 139752813618901 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 21094400 140720640787607 140720640787783 140720640787783 140720640790479 0
[pid=27812/tid=27817] ppid=27810 vsize=13982852 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/27812/task/27817/stat : 27817 (java) S 27810 27810 21899 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 154950543 14318440448 10106 33554432000 4194304 4196468 140720640785440 139752740538640 139752813618901 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 21094400 140720640787607 140720640787783 140720640787783 140720640790479 0
[pid=27812/tid=27818] ppid=27810 vsize=13982852 memory=140466309215872 CPUtime=0 cores=1,3,5,7
/proc/27812/task/27818/stat : 27818 (java) S 27810 27810 21899 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 154950544 14318440448 10106 33554432000 4194304 4196468 140720640785440 139752287730544 139752813619842 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 21094400 140720640787607 140720640787783 140720640787783 140720640790479 0
[pid=27812/tid=27819] ppid=27810 vsize=13982852 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/27812/task/27819/stat : 27819 (java) S 27810 27810 21899 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 154950545 14318440448 10106 33554432000 4194304 4196468 140720640785440 139752286676512 139752813618901 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 21094400 140720640787607 140720640787783 140720640787783 140720640790479 0
[pid=27812/tid=27820] ppid=27810 vsize=13982852 memory=0 CPUtime=0 cores=1,3,5,7
/proc/27812/task/27820/stat : 27820 (java) S 27810 27810 21899 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 154950545 14318440448 10106 33554432000 4194304 4196468 140720640785440 139752285623664 139752813618901 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 21094400 140720640787607 140720640787783 140720640787783 140720640790479 0
[pid=27812/tid=27821] ppid=27810 vsize=13982852 memory=0 CPUtime=0 cores=1,3,5,7
/proc/27812/task/27821/stat : 27821 (java) S 27810 27810 21899 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 154950547 14318440448 10106 33554432000 4194304 4196468 140720640785440 139752284571984 139752813627291 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 21094400 140720640787607 140720640787783 140720640787783 140720640790479 0
[pid=27812/tid=27822] ppid=27810 vsize=13982852 memory=0 CPUtime=0.03 cores=1,3,5,7
/proc/27812/task/27822/stat : 27822 (java) S 27810 27810 21899 0 -1 1077944384 682 0 0 0 3 0 0 0 20 0 15 0 154950547 14318440448 10106 33554432000 4194304 4196468 140720640785440 139752283519344 139752813619842 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 21094400 140720640787607 140720640787783 140720640787783 140720640790479 0
[pid=27812/tid=27823] ppid=27810 vsize=13982852 memory=-1 CPUtime=0.01 cores=1,3,5,7
/proc/27812/task/27823/stat : 27823 (java) S 27810 27810 21899 0 -1 1077944384 153 0 0 0 1 0 0 0 20 0 15 0 154950547 14318440448 10106 33554432000 4194304 4196468 140720640785440 139752282466544 139752813619842 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 21094400 140720640787607 140720640787783 140720640787783 140720640790479 0
[pid=27812/tid=27824] ppid=27810 vsize=13982852 memory=140466309215872 CPUtime=0.07 cores=1,3,5,7
/proc/27812/task/27824/stat : 27824 (java) R 27810 27810 21899 0 -1 4202560 717 0 0 0 7 0 0 0 20 0 15 0 154950547 14318440448 10106 33554432000 4194304 4196468 140720640785440 139752281413744 139752813630042 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 21094400 140720640787607 140720640787783 140720640787783 140720640790479 0
[pid=27812/tid=27825] ppid=27810 vsize=13982852 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/27812/task/27825/stat : 27825 (java) S 27810 27810 21899 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 154950548 14318440448 10106 33554432000 4194304 4196468 140720640785440 139752280361184 139752813618901 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 21094400 140720640787607 140720640787783 140720640787783 140720640790479 0
[pid=27812/tid=27826] ppid=27810 vsize=13982852 memory=0 CPUtime=0 cores=1,3,5,7
/proc/27812/task/27826/stat : 27826 (java) S 27810 27810 21899 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 154950548 14318440448 10106 33554432000 4194304 4196468 140720640785440 139752279309488 139752813619842 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 21094400 140720640787607 140720640787783 140720640787783 140720640790479 0
Current children cumulated CPU time: 0.34 s
Current children cumulated vsize: 13992364 KiB
Current children cumulated memory: 41808 KiB

[startup+0.311451 s]*
/proc/loadavg: 1.31 1.26 1.38 7/217 27826
/proc/meminfo: memFree=28237108/32770624 swapFree=67108860/67108860
[pid=27810] ppid=27807 vsize=9512 memory=1384 CPUtime=0 cores=1,3,5,7
/proc/27810/stat : 27810 (xcsp3-exec) S 27807 27810 21899 0 -1 4202496 514 0 0 0 0 0 0 0 20 0 1 0 154950542 9740288 346 33554432000 4194304 5098028 140732489040112 140732489038216 140453600354940 0 65536 4100 65538 18446744071579417331 0 0 17 7 0 0 0 0 0 7196144 7232144 29609984 140732489045103 140732489045307 140732489045307 140732489048043 0
/proc/27810/statm: 2378 346 289 221 0 87 0
[pid=27812] ppid=27810 vsize=13982852 memory=47308 CPUtime=0.52 cores=1,3,5,7
/proc/27812/stat : 27812 (java) S 27810 27810 21899 0 -1 1077944320 9018 0 0 0 50 2 0 0 20 0 15 0 154950542 14318440448 11827 33554432000 4194304 4196468 140720640785440 140720640767984 139752813608695 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 21094400 140720640787607 140720640787783 140720640787783 140720640790479 0
/proc/27812/statm: 3495713 11827 3103 1 0 3482966 0
[pid=27812/tid=27813] ppid=27810 vsize=13982852 memory=7883960649037381690 CPUtime=0.29 cores=1,3,5,7
/proc/27812/task/27813/stat : 27813 (java) R 27810 27810 21899 0 -1 4202560 5938 0 0 0 28 1 0 0 20 0 15 0 154950542 14318440448 11827 33554432000 4194304 4196468 140720640785440 139752817846608 139752416308481 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 21094400 140720640787607 140720640787783 140720640787783 140720640790479 0
[pid=27812/tid=27814] ppid=27810 vsize=13982852 memory=9325 CPUtime=0 cores=1,3,5,7
/proc/27812/task/27814/stat : 27814 (java) S 27810 27810 21899 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 154950543 14318440448 11827 33554432000 4194304 4196468 140720640785440 139752743697040 139752813618901 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 21094400 140720640787607 140720640787783 140720640787783 140720640790479 0
[pid=27812/tid=27815] ppid=27810 vsize=13982852 memory=778507 CPUtime=0 cores=1,3,5,7
/proc/27812/task/27815/stat : 27815 (java) S 27810 27810 21899 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 154950543 14318440448 11827 33554432000 4194304 4196468 140720640785440 139752742644240 139752813618901 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 21094400 140720640787607 140720640787783 140720640787783 140720640790479 0
[pid=27812/tid=27816] ppid=27810 vsize=13982852 memory=0 CPUtime=0 cores=1,3,5,7
/proc/27812/task/27816/stat : 27816 (java) S 27810 27810 21899 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 154950543 14318440448 11827 33554432000 4194304 4196468 140720640785440 139752741591440 139752813618901 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 21094400 140720640787607 140720640787783 140720640787783 140720640790479 0
[pid=27812/tid=27817] ppid=27810 vsize=13982852 memory=0 CPUtime=0 cores=1,3,5,7
/proc/27812/task/27817/stat : 27817 (java) S 27810 27810 21899 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 154950543 14318440448 11827 33554432000 4194304 4196468 140720640785440 139752740538640 139752813618901 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 21094400 140720640787607 140720640787783 140720640787783 140720640790479 0
[pid=27812/tid=27818] ppid=27810 vsize=13982852 memory=0 CPUtime=0 cores=1,3,5,7
/proc/27812/task/27818/stat : 27818 (java) S 27810 27810 21899 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 154950544 14318440448 11827 33554432000 4194304 4196468 140720640785440 139752287730544 139752813619842 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 21094400 140720640787607 140720640787783 140720640787783 140720640790479 0
[pid=27812/tid=27819] ppid=27810 vsize=13982852 memory=0 CPUtime=0 cores=1,3,5,7
/proc/27812/task/27819/stat : 27819 (java) S 27810 27810 21899 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 154950545 14318440448 11827 33554432000 4194304 4196468 140720640785440 139752286676512 139752813618901 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 21094400 140720640787607 140720640787783 140720640787783 140720640790479 0
[pid=27812/tid=27820] ppid=27810 vsize=13982852 memory=0 CPUtime=0 cores=1,3,5,7
/proc/27812/task/27820/stat : 27820 (java) S 27810 27810 21899 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 154950545 14318440448 11827 33554432000 4194304 4196468 140720640785440 139752285623664 139752813618901 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 21094400 140720640787607 140720640787783 140720640787783 140720640790479 0
[pid=27812/tid=27821] ppid=27810 vsize=13982852 memory=0 CPUtime=0 cores=1,3,5,7
/proc/27812/task/27821/stat : 27821 (java) S 27810 27810 21899 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 154950547 14318440448 11827 33554432000 4194304 4196468 140720640785440 139752284571984 139752813627291 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 21094400 140720640787607 140720640787783 140720640787783 140720640790479 0
[pid=27812/tid=27822] ppid=27810 vsize=13982852 memory=0 CPUtime=0.04 cores=1,3,5,7
/proc/27812/task/27822/stat : 27822 (java) R 27810 27810 21899 0 -1 1077944384 691 0 0 0 4 0 0 0 20 0 15 0 154950547 14318440448 11827 33554432000 4194304 4196468 140720640785440 139752283519440 139752813618901 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 21094400 140720640787607 140720640787783 140720640787783 140720640790479 0
[pid=27812/tid=27823] ppid=27810 vsize=13982852 memory=0 CPUtime=0.03 cores=1,3,5,7
/proc/27812/task/27823/stat : 27823 (java) R 27810 27810 21899 0 -1 4202560 231 0 0 0 3 0 0 0 20 0 15 0 154950547 14318440448 11827 33554432000 4194304 4196468 140720640785440 139752282456464 139752799290134 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 21094400 140720640787607 140720640787783 140720640787783 140720640790479 0
[pid=27812/tid=27824] ppid=27810 vsize=13982852 memory=0 CPUtime=0.13 cores=1,3,5,7
/proc/27812/task/27824/stat : 27824 (java) R 27810 27810 21899 0 -1 4202560 855 0 0 0 13 0 0 0 20 0 15 0 154950547 14318440448 11827 33554432000 4194304 4196468 140720640785440 139752281413872 139752813620630 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 21094400 140720640787607 140720640787783 140720640787783 140720640790479 0
[pid=27812/tid=27825] ppid=27810 vsize=13982852 memory=0 CPUtime=0 cores=1,3,5,7
/proc/27812/task/27825/stat : 27825 (java) S 27810 27810 21899 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 154950548 14318440448 11827 33554432000 4194304 4196468 140720640785440 139752280361184 139752813618901 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 21094400 140720640787607 140720640787783 140720640787783 140720640790479 0
[pid=27812/tid=27826] ppid=27810 vsize=13982852 memory=0 CPUtime=0 cores=1,3,5,7
/proc/27812/task/27826/stat : 27826 (java) S 27810 27810 21899 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 154950548 14318440448 11827 33554432000 4194304 4196468 140720640785440 139752279309488 139752813619842 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 21094400 140720640787607 140720640787783 140720640787783 140720640790479 0
Current children cumulated CPU time: 0.52 s
Current children cumulated vsize: 13992364 KiB
Current children cumulated memory: 48692 KiB

[startup+0.70071 s]
/proc/loadavg: 1.31 1.26 1.38 7/217 27826
/proc/meminfo: memFree=28196708/32770624 swapFree=67108860/67108860
[pid=27810] ppid=27807 vsize=9512 memory=1384 CPUtime=0 cores=1,3,5,7
/proc/27810/stat : 27810 (xcsp3-exec) S 27807 27810 21899 0 -1 4202496 514 0 0 0 0 0 0 0 20 0 1 0 154950542 9740288 346 33554432000 4194304 5098028 140732489040112 140732489038216 140453600354940 0 65536 4100 65538 18446744071579417331 0 0 17 7 0 0 0 0 0 7196144 7232144 29609984 140732489045103 140732489045307 140732489045307 140732489048043 0
/proc/27810/statm: 2378 346 289 221 0 87 0
[pid=27812] ppid=27810 vsize=13984976 memory=93760 CPUtime=1.85 cores=1,3,5,7
/proc/27812/stat : 27812 (java) S 27810 27810 21899 0 -1 1077944320 12453 0 0 0 181 4 0 0 20 0 15 0 154950542 14320615424 23440 33554432000 4194304 4196468 140720640785440 140720640767984 139752813608695 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 21094400 140720640787607 140720640787783 140720640787783 140720640790479 0
/proc/27812/statm: 3496244 23440 3203 1 0 3483478 0
[pid=27812/tid=27813] ppid=27810 vsize=13984976 memory=24692 CPUtime=0.67 cores=1,3,5,7
/proc/27812/task/27813/stat : 27813 (java) R 27810 27810 21899 0 -1 4202560 6521 0 0 0 65 2 0 0 20 0 15 0 154950542 14320615424 23440 33554432000 4194304 4196468 140720640785440 139752817843648 139752414454576 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 21094400 140720640787607 140720640787783 140720640787783 140720640790479 0
[pid=27812/tid=27814] ppid=27810 vsize=13984976 memory=1232 CPUtime=0 cores=1,3,5,7
/proc/27812/task/27814/stat : 27814 (java) S 27810 27810 21899 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 154950543 14320615424 23440 33554432000 4194304 4196468 140720640785440 139752743697040 139752813618901 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 21094400 140720640787607 140720640787783 140720640787783 140720640790479 0
[pid=27812/tid=27815] ppid=27810 vsize=13984976 memory=648 CPUtime=0 cores=1,3,5,7
/proc/27812/task/27815/stat : 27815 (java) S 27810 27810 21899 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 154950543 14320615424 23440 33554432000 4194304 4196468 140720640785440 139752742644240 139752813618901 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 21094400 140720640787607 140720640787783 140720640787783 140720640790479 0
[pid=27812/tid=27816] ppid=27810 vsize=13984976 memory=1796 CPUtime=0 cores=1,3,5,7
/proc/27812/task/27816/stat : 27816 (java) S 27810 27810 21899 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 154950543 14320615424 23440 33554432000 4194304 4196468 140720640785440 139752741591440 139752813618901 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 21094400 140720640787607 140720640787783 140720640787783 140720640790479 0
[pid=27812/tid=27817] ppid=27810 vsize=13984976 memory=956 CPUtime=0 cores=1,3,5,7
/proc/27812/task/27817/stat : 27817 (java) S 27810 27810 21899 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 154950543 14320615424 23440 33554432000 4194304 4196468 140720640785440 139752740538640 139752813618901 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 21094400 140720640787607 140720640787783 140720640787783 140720640790479 0
[pid=27812/tid=27818] ppid=27810 vsize=13984976 memory=2468 CPUtime=0 cores=1,3,5,7
/proc/27812/task/27818/stat : 27818 (java) S 27810 27810 21899 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 154950544 14320615424 23440 33554432000 4194304 4196468 140720640785440 139752287730544 139752813619842 0 0 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 21094400 140720640787607 140720640787783 140720640787783 140720640790479 0
[pid=27812/tid=27819] ppid=27810 vsize=13984976 memory=928 CPUtime=0 cores=1,3,5,7
/proc/27812/task/27819/stat : 27819 (java) S 27810 27810 21899 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 154950545 14320615424 23440 33554432000 4194304 4196468 140720640785440 139752286676512 139752813618901 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 21094400 140720640787607 140720640787783 140720640787783 140720640790479 0
[pid=27812/tid=27820] ppid=27810 vsize=13984976 memory=1576 CPUtime=0 cores=1,3,5,7
/proc/27812/task/27820/stat : 27820 (java) S 27810 27810 21899 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 154950545 14320615424 23440 33554432000 4194304 4196468 140720640785440 139752285623664 139752813618901 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 21094400 140720640787607 140720640787783 140720640787783 140720640790479 0
[pid=27812/tid=27821] ppid=27810 vsize=13984976 memory=2236 CPUtime=0 cores=1,3,5,7
/proc/27812/task/27821/stat : 27821 (java) S 27810 27810 21899 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 154950547 14320615424 23440 33554432000 4194304 4196468 140720640785440 139752284571984 139752813627291 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 21094400 140720640787607 140720640787783 140720640787783 140720640790479 0
[pid=27812/tid=27822] ppid=27810 vsize=13984976 memory=4316 CPUtime=0.39 cores=1,3,5,7
/proc/27812/task/27822/stat : 27822 (java) R 27810 27810 21899 0 -1 4202560 1628 0 0 0 39 0 0 0 20 0 15 0 154950547 14320615424 23440 33554432000 4194304 4196468 140720640785440 139752283507664 139752791845447 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 21094400 140720640787607 140720640787783 140720640787783 140720640790479 0
[pid=27812/tid=27823] ppid=27810 vsize=13984976 memory=2196 CPUtime=0.37 cores=1,3,5,7
/proc/27812/task/27823/stat : 27823 (java) R 27810 27810 21899 0 -1 4202560 1003 0 0 0 37 0 0 0 20 0 15 0 154950547 14320615424 23440 33554432000 4194304 4196468 140720640785440 139752282459568 139752813620630 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 21094400 140720640787607 140720640787783 140720640787783 140720640790479 0
[pid=27812/tid=27824] ppid=27810 vsize=13984976 memory=7784 CPUtime=0.38 cores=1,3,5,7
/proc/27812/task/27824/stat : 27824 (java) S 27810 27810 21899 0 -1 1077944384 1994 0 0 0 38 0 0 0 20 0 15 0 154950547 14320615424 23440 33554432000 4194304 4196468 140720640785440 139752281413744 139752813619842 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 21094400 140720640787607 140720640787783 140720640787783 140720640790479 0
[pid=27812/tid=27825] ppid=27810 vsize=13984976 memory=832 CPUtime=0 cores=1,3,5,7
/proc/27812/task/27825/stat : 27825 (java) S 27810 27810 21899 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 154950548 14320615424 23440 33554432000 4194304 4196468 140720640785440 139752280361184 139752813618901 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 21094400 140720640787607 140720640787783 140720640787783 140720640790479 0
[pid=27812/tid=27826] ppid=27810 vsize=13984976 memory=1696 CPUtime=0 cores=1,3,5,7
/proc/27812/task/27826/stat : 27826 (java) S 27810 27810 21899 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 154950548 14320615424 23440 33554432000 4194304 4196468 140720640785440 139752279309488 139752813619842 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 21094400 140720640787607 140720640787783 140720640787783 140720640790479 0
Current children cumulated CPU time: 1.85 s
Current children cumulated vsize: 13994488 KiB
Current children cumulated memory: 95144 KiB

[startup+1.5008 s]
/proc/loadavg: 1.31 1.26 1.38 4/200 27826
/proc/meminfo: memFree=28206060/32770624 swapFree=67108860/67108860
[pid=27810] ppid=27807 vsize=9512 memory=1384 CPUtime=0 cores=1,3,5,7
/proc/27810/stat : 27810 (xcsp3-exec) S 27807 27810 21899 0 -1 4202496 514 0 0 0 0 0 0 0 20 0 1 0 154950542 9740288 346 33554432000 4194304 5098028 140732489040112 140732489038216 140453600354940 0 65536 4100 65538 18446744071579417331 0 0 17 7 0 0 0 0 0 7196144 7232144 29609984 140732489045103 140732489045307 140732489045307 140732489048043 0
/proc/27810/statm: 2378 346 289 221 0 87 0

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

[pid=27812/tid=27818] ppid=27810 vsize=13984976 memory=1384 CPUtime=1.43 cores=1,3,5,7
/proc/27812/task/27818/stat : 27818 (java) S 27810 27810 21899 0 -1 1077944384 26989 0 0 0 114 29 0 0 20 0 15 0 154950544 14320615424 119320 33554432000 4194304 4196468 140720640785440 139752287730544 139752813619842 0 0 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 21094400 140720640787607 140720640787783 140720640787783 140720640790479 0
[pid=27812/tid=27819] ppid=27810 vsize=13984976 memory=499852 CPUtime=0 cores=1,3,5,7
/proc/27812/task/27819/stat : 27819 (java) S 27810 27810 21899 0 -1 1077944384 57 0 0 0 0 0 0 0 20 0 15 0 154950545 14320615424 119320 33554432000 4194304 4196468 140720640785440 139752286676576 139752813618901 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 21094400 140720640787607 140720640787783 140720640787783 140720640790479 0
[pid=27812/tid=27820] ppid=27810 vsize=13984976 memory=481384 CPUtime=0 cores=1,3,5,7
/proc/27812/task/27820/stat : 27820 (java) S 27810 27810 21899 0 -1 1077944384 47 0 0 0 0 0 0 0 20 0 15 0 154950545 14320615424 119320 33554432000 4194304 4196468 140720640785440 139752285623680 139752813618901 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 21094400 140720640787607 140720640787783 140720640787783 140720640790479 0
[pid=27812/tid=27821] ppid=27810 vsize=13984976 memory=479332 CPUtime=0 cores=1,3,5,7
/proc/27812/task/27821/stat : 27821 (java) S 27810 27810 21899 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 154950547 14320615424 119320 33554432000 4194304 4196468 140720640785440 139752284571984 139752813627291 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 21094400 140720640787607 140720640787783 140720640787783 140720640790479 0
[pid=27812/tid=27822] ppid=27810 vsize=13984976 memory=479332 CPUtime=4.63 cores=1,3,5,7
/proc/27812/task/27822/stat : 27822 (java) S 27810 27810 21899 0 -1 1077944384 16246 0 0 0 461 2 0 0 20 0 15 0 154950547 14320615424 119320 33554432000 4194304 4196468 140720640785440 139752283519344 139752813619842 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 21094400 140720640787607 140720640787783 140720640787783 140720640790479 0
[pid=27812/tid=27823] ppid=27810 vsize=13984976 memory=1384 CPUtime=4.72 cores=1,3,5,7
/proc/27812/task/27823/stat : 27823 (java) S 27810 27810 21899 0 -1 1077944384 19030 0 0 0 470 2 0 0 20 0 15 0 154950547 14320615424 119320 33554432000 4194304 4196468 140720640785440 139752282466544 139752813619842 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 21094400 140720640787607 140720640787783 140720640787783 140720640790479 0
[pid=27812/tid=27824] ppid=27810 vsize=13984976 memory=1384 CPUtime=0.93 cores=1,3,5,7
/proc/27812/task/27824/stat : 27824 (java) S 27810 27810 21899 0 -1 1077944384 12575 0 0 0 90 3 0 0 20 0 15 0 154950547 14320615424 119320 33554432000 4194304 4196468 140720640785440 139752281413744 139752813619842 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 21094400 140720640787607 140720640787783 140720640787783 140720640790479 0
[pid=27812/tid=27825] ppid=27810 vsize=13984976 memory=1384 CPUtime=0 cores=1,3,5,7
/proc/27812/task/27825/stat : 27825 (java) S 27810 27810 21899 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 154950548 14320615424 119320 33554432000 4194304 4196468 140720640785440 139752280361184 139752813618901 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 21094400 140720640787607 140720640787783 140720640787783 140720640790479 0
[pid=27812/tid=27826] ppid=27810 vsize=13984976 memory=481384 CPUtime=1.24 cores=1,3,5,7
/proc/27812/task/27826/stat : 27826 (java) S 27810 27810 21899 0 -1 1077944384 656 0 0 0 56 68 0 0 20 0 15 0 154950548 14320615424 119320 33554432000 4194304 4196468 140720640785440 139752279309488 139752813619842 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 21094400 140720640787607 140720640787783 140720640787783 140720640790479 0
Current children cumulated CPU time: 2388.69 s
Current children cumulated vsize: 13994488 KiB
Current children cumulated memory: 478664 KiB

[startup+2382.31 s]
/proc/loadavg: 1.75 1.63 1.60 3/217 27995
/proc/meminfo: memFree=26809632/32770624 swapFree=67108860/67108860
[pid=27810] ppid=27807 vsize=9512 memory=1384 CPUtime=0 cores=1,3,5,7
/proc/27810/stat : 27810 (xcsp3-exec) S 27807 27810 21899 0 -1 4202496 514 0 0 0 0 0 0 0 20 0 1 0 154950542 9740288 346 33554432000 4194304 5098028 140732489040112 140732489038216 140453600354940 0 65536 4100 65538 18446744071579417331 0 0 17 7 0 0 0 0 0 7196144 7232144 29609984 140732489045103 140732489045307 140732489045307 140732489048043 0
/proc/27810/statm: 2378 346 289 221 0 87 0
[pid=27812] ppid=27810 vsize=13984976 memory=494720 CPUtime=2450.22 cores=1,3,5,7
/proc/27812/stat : 27812 (java) S 27810 27810 21899 0 -1 1077944320 223226 0 0 0 244606 416 0 0 20 0 15 0 154950542 14320615424 123680 33554432000 4194304 4196468 140720640785440 140720640767984 139752813608695 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 21094400 140720640787607 140720640787783 140720640787783 140720640790479 0
/proc/27812/statm: 3496244 123680 3287 1 0 3483478 0
[pid=27812/tid=27813] ppid=27810 vsize=13984976 memory=498824 CPUtime=2361.38 cores=1,3,5,7
/proc/27812/task/27813/stat : 27813 (java) R 27810 27810 21899 0 -1 4202560 77394 0 0 0 236115 23 0 0 20 0 15 0 154950542 14320615424 123680 33554432000 4194304 4196468 140720640785440 139752817848224 139752421562747 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 21094400 140720640787607 140720640787783 140720640787783 140720640790479 0
[pid=27812/tid=27814] ppid=27810 vsize=13984976 memory=498824 CPUtime=18.9 cores=1,3,5,7
/proc/27812/task/27814/stat : 27814 (java) S 27810 27810 21899 0 -1 1077944384 19442 0 0 0 1815 75 0 0 20 0 15 0 154950543 14320615424 123680 33554432000 4194304 4196468 140720640785440 139752743697040 139752813618901 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 21094400 140720640787607 140720640787783 140720640787783 140720640790479 0
[pid=27812/tid=27815] ppid=27810 vsize=13984976 memory=498824 CPUtime=18.95 cores=1,3,5,7
/proc/27812/task/27815/stat : 27815 (java) S 27810 27810 21899 0 -1 1077944384 15718 0 0 0 1820 75 0 0 20 0 15 0 154950543 14320615424 123680 33554432000 4194304 4196468 140720640785440 139752742644240 139752813618901 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 21094400 140720640787607 140720640787783 140720640787783 140720640790479 0
[pid=27812/tid=27816] ppid=27810 vsize=13984976 memory=498824 CPUtime=18.91 cores=1,3,5,7
/proc/27812/task/27816/stat : 27816 (java) S 27810 27810 21899 0 -1 1077944384 17255 0 0 0 1816 75 0 0 20 0 15 0 154950543 14320615424 123680 33554432000 4194304 4196468 140720640785440 139752741591440 139752813618901 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 21094400 140720640787607 140720640787783 140720640787783 140720640790479 0
[pid=27812/tid=27817] ppid=27810 vsize=13984976 memory=494720 CPUtime=18.93 cores=1,3,5,7
/proc/27812/task/27817/stat : 27817 (java) S 27810 27810 21899 0 -1 1077944384 16298 0 0 0 1818 75 0 0 20 0 15 0 154950543 14320615424 123680 33554432000 4194304 4196468 140720640785440 139752740538640 139752813618901 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 21094400 140720640787607 140720640787783 140720640787783 140720640790479 0
[pid=27812/tid=27818] ppid=27810 vsize=13984976 memory=1384 CPUtime=1.47 cores=1,3,5,7
/proc/27812/task/27818/stat : 27818 (java) S 27810 27810 21899 0 -1 1077944384 27262 0 0 0 117 30 0 0 20 0 15 0 154950544 14320615424 123680 33554432000 4194304 4196468 140720640785440 139752287730544 139752813619842 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 21094400 140720640787607 140720640787783 140720640787783 140720640790479 0
[pid=27812/tid=27819] ppid=27810 vsize=13984976 memory=0 CPUtime=0 cores=1,3,5,7
/proc/27812/task/27819/stat : 27819 (java) S 27810 27810 21899 0 -1 1077944384 57 0 0 0 0 0 0 0 20 0 15 0 154950545 14320615424 123680 33554432000 4194304 4196468 140720640785440 139752286676576 139752813618901 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 21094400 140720640787607 140720640787783 140720640787783 140720640790479 0
[pid=27812/tid=27820] ppid=27810 vsize=13984976 memory=4620 CPUtime=0 cores=1,3,5,7
/proc/27812/task/27820/stat : 27820 (java) S 27810 27810 21899 0 -1 1077944384 47 0 0 0 0 0 0 0 20 0 15 0 154950545 14320615424 123680 33554432000 4194304 4196468 140720640785440 139752285623680 139752813618901 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 21094400 140720640787607 140720640787783 140720640787783 140720640790479 0
[pid=27812/tid=27821] ppid=27810 vsize=13984976 memory=502928 CPUtime=0 cores=1,3,5,7
/proc/27812/task/27821/stat : 27821 (java) S 27810 27810 21899 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 154950547 14320615424 123680 33554432000 4194304 4196468 140720640785440 139752284571984 139752813627291 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 21094400 140720640787607 140720640787783 140720640787783 140720640790479 0
[pid=27812/tid=27822] ppid=27810 vsize=13984976 memory=1384 CPUtime=4.63 cores=1,3,5,7
/proc/27812/task/27822/stat : 27822 (java) S 27810 27810 21899 0 -1 1077944384 16246 0 0 0 461 2 0 0 20 0 15 0 154950547 14320615424 123680 33554432000 4194304 4196468 140720640785440 139752283519344 139752813619842 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 21094400 140720640787607 140720640787783 140720640787783 140720640790479 0
[pid=27812/tid=27823] ppid=27810 vsize=13984976 memory=502928 CPUtime=4.72 cores=1,3,5,7
/proc/27812/task/27823/stat : 27823 (java) S 27810 27810 21899 0 -1 1077944384 19030 0 0 0 470 2 0 0 20 0 15 0 154950547 14320615424 123680 33554432000 4194304 4196468 140720640785440 139752282466544 139752813619842 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 21094400 140720640787607 140720640787783 140720640787783 140720640790479 0
[pid=27812/tid=27824] ppid=27810 vsize=13984976 memory=4136 CPUtime=0.93 cores=1,3,5,7
/proc/27812/task/27824/stat : 27824 (java) S 27810 27810 21899 0 -1 1077944384 12575 0 0 0 90 3 0 0 20 0 15 0 154950547 14320615424 123680 33554432000 4194304 4196468 140720640785440 139752281413744 139752813619842 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 21094400 140720640787607 140720640787783 140720640787783 140720640790479 0
[pid=27812/tid=27825] ppid=27810 vsize=13984976 memory=498824 CPUtime=0 cores=1,3,5,7
/proc/27812/task/27825/stat : 27825 (java) S 27810 27810 21899 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 154950548 14320615424 123680 33554432000 4194304 4196468 140720640785440 139752280361184 139752813618901 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 21094400 140720640787607 140720640787783 140720640787783 140720640790479 0
[pid=27812/tid=27826] ppid=27810 vsize=13984976 memory=502928 CPUtime=1.27 cores=1,3,5,7
/proc/27812/task/27826/stat : 27826 (java) S 27810 27810 21899 0 -1 1077944384 660 0 0 0 57 70 0 0 20 0 15 0 154950548 14320615424 123680 33554432000 4194304 4196468 140720640785440 139752279309488 139752813619842 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 21094400 140720640787607 140720640787783 140720640787783 140720640790479 0
Current children cumulated CPU time: 2450.22 s
Current children cumulated vsize: 13994488 KiB
Current children cumulated memory: 496104 KiB

[startup+2442.31 s]
/proc/loadavg: 1.58 1.61 1.59 3/217 28003
/proc/meminfo: memFree=26815520/32770624 swapFree=67108860/67108860
[pid=27810] ppid=27807 vsize=9512 memory=1384 CPUtime=0 cores=1,3,5,7
/proc/27810/stat : 27810 (xcsp3-exec) S 27807 27810 21899 0 -1 4202496 514 0 0 0 0 0 0 0 20 0 1 0 154950542 9740288 346 33554432000 4194304 5098028 140732489040112 140732489038216 140453600354940 0 65536 4100 65538 18446744071579417331 0 0 17 7 0 0 0 0 0 7196144 7232144 29609984 140732489045103 140732489045307 140732489045307 140732489048043 0
/proc/27810/statm: 2378 346 289 221 0 87 0
[pid=27812] ppid=27810 vsize=13984976 memory=511692 CPUtime=2511.83 cores=1,3,5,7
/proc/27812/stat : 27812 (java) S 27810 27810 21899 0 -1 1077944320 226045 0 0 0 250755 428 0 0 20 0 15 0 154950542 14320615424 127923 33554432000 4194304 4196468 140720640785440 140720640767984 139752813608695 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 21094400 140720640787607 140720640787783 140720640787783 140720640790479 0
/proc/27812/statm: 3496244 127923 3287 1 0 3483478 0
[pid=27812/tid=27813] ppid=27810 vsize=13984976 memory=517828 CPUtime=2420.82 cores=1,3,5,7
/proc/27812/task/27813/stat : 27813 (java) R 27810 27810 21899 0 -1 4202560 78115 0 0 0 242058 24 0 0 20 0 15 0 154950542 14320615424 127923 33554432000 4194304 4196468 140720640785440 139752817848144 139752420745811 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 21094400 140720640787607 140720640787783 140720640787783 140720640790479 0
[pid=27812/tid=27814] ppid=27810 vsize=13984976 memory=1384 CPUtime=19.42 cores=1,3,5,7
/proc/27812/task/27814/stat : 27814 (java) S 27810 27810 21899 0 -1 1077944384 19886 0 0 0 1864 78 0 0 20 0 15 0 154950543 14320615424 127923 33554432000 4194304 4196468 140720640785440 139752743697040 139752813618901 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 21094400 140720640787607 140720640787783 140720640787783 140720640790479 0
[pid=27812/tid=27815] ppid=27810 vsize=13984976 memory=511692 CPUtime=19.48 cores=1,3,5,7
/proc/27812/task/27815/stat : 27815 (java) S 27810 27810 21899 0 -1 1077944384 15974 0 0 0 1870 78 0 0 20 0 15 0 154950543 14320615424 127923 33554432000 4194304 4196468 140720640785440 139752742644240 139752813618901 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 21094400 140720640787607 140720640787783 140720640787783 140720640790479 0
[pid=27812/tid=27816] ppid=27810 vsize=13984976 memory=511692 CPUtime=19.43 cores=1,3,5,7
/proc/27812/task/27816/stat : 27816 (java) S 27810 27810 21899 0 -1 1077944384 17600 0 0 0 1866 77 0 0 20 0 15 0 154950543 14320615424 127923 33554432000 4194304 4196468 140720640785440 139752741591440 139752813618901 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 21094400 140720640787607 140720640787783 140720640787783 140720640790479 0
[pid=27812/tid=27817] ppid=27810 vsize=13984976 memory=517808 CPUtime=19.45 cores=1,3,5,7
/proc/27812/task/27817/stat : 27817 (java) S 27810 27810 21899 0 -1 1077944384 16576 0 0 0 1868 77 0 0 20 0 15 0 154950543 14320615424 127923 33554432000 4194304 4196468 140720640785440 139752740538640 139752813618901 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 21094400 140720640787607 140720640787783 140720640787783 140720640790479 0
[pid=27812/tid=27818] ppid=27810 vsize=13984976 memory=524992 CPUtime=1.51 cores=1,3,5,7
/proc/27812/task/27818/stat : 27818 (java) S 27810 27810 21899 0 -1 1077944384 28016 0 0 0 120 31 0 0 20 0 15 0 154950544 14320615424 127923 33554432000 4194304 4196468 140720640785440 139752287730544 139752813619842 0 0 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 21094400 140720640787607 140720640787783 140720640787783 140720640790479 0
[pid=27812/tid=27819] ppid=27810 vsize=13984976 memory=527556 CPUtime=0 cores=1,3,5,7
/proc/27812/task/27819/stat : 27819 (java) S 27810 27810 21899 0 -1 1077944384 57 0 0 0 0 0 0 0 20 0 15 0 154950545 14320615424 127923 33554432000 4194304 4196468 140720640785440 139752286676576 139752813618901 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 21094400 140720640787607 140720640787783 140720640787783 140720640790479 0
[pid=27812/tid=27820] ppid=27810 vsize=13984976 memory=465992 CPUtime=0 cores=1,3,5,7
/proc/27812/task/27820/stat : 27820 (java) S 27810 27810 21899 0 -1 1077944384 47 0 0 0 0 0 0 0 20 0 15 0 154950545 14320615424 127923 33554432000 4194304 4196468 140720640785440 139752285623680 139752813618901 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 21094400 140720640787607 140720640787783 140720640787783 140720640790479 0
[pid=27812/tid=27821] ppid=27810 vsize=13984976 memory=511692 CPUtime=0 cores=1,3,5,7
/proc/27812/task/27821/stat : 27821 (java) S 27810 27810 21899 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 154950547 14320615424 127923 33554432000 4194304 4196468 140720640785440 139752284571984 139752813627291 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 21094400 140720640787607 140720640787783 140720640787783 140720640790479 0
[pid=27812/tid=27822] ppid=27810 vsize=13984976 memory=1384 CPUtime=4.63 cores=1,3,5,7
/proc/27812/task/27822/stat : 27822 (java) S 27810 27810 21899 0 -1 1077944384 16248 0 0 0 461 2 0 0 20 0 15 0 154950547 14320615424 127923 33554432000 4194304 4196468 140720640785440 139752283519344 139752813619842 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 21094400 140720640787607 140720640787783 140720640787783 140720640790479 0
[pid=27812/tid=27823] ppid=27810 vsize=13984976 memory=1384 CPUtime=4.72 cores=1,3,5,7
/proc/27812/task/27823/stat : 27823 (java) S 27810 27810 21899 0 -1 1077944384 19032 0 0 0 470 2 0 0 20 0 15 0 154950547 14320615424 127923 33554432000 4194304 4196468 140720640785440 139752282466544 139752813619842 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 21094400 140720640787607 140720640787783 140720640787783 140720640790479 0
[pid=27812/tid=27824] ppid=27810 vsize=13984976 memory=517808 CPUtime=0.93 cores=1,3,5,7
/proc/27812/task/27824/stat : 27824 (java) S 27810 27810 21899 0 -1 1077944384 12577 0 0 0 90 3 0 0 20 0 15 0 154950547 14320615424 127923 33554432000 4194304 4196468 140720640785440 139752281413744 139752813619842 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 21094400 140720640787607 140720640787783 140720640787783 140720640790479 0
[pid=27812/tid=27825] ppid=27810 vsize=13984976 memory=4044 CPUtime=0 cores=1,3,5,7
/proc/27812/task/27825/stat : 27825 (java) S 27810 27810 21899 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 154950548 14320615424 127923 33554432000 4194304 4196468 140720640785440 139752280361184 139752813618901 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 21094400 140720640787607 140720640787783 140720640787783 140720640790479 0
[pid=27812/tid=27826] ppid=27810 vsize=13984976 memory=517808 CPUtime=1.3 cores=1,3,5,7
/proc/27812/task/27826/stat : 27826 (java) S 27810 27810 21899 0 -1 1077944384 675 0 0 0 58 72 0 0 20 0 15 0 154950548 14320615424 127923 33554432000 4194304 4196468 140720640785440 139752279309488 139752813619842 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 21094400 140720640787607 140720640787783 140720640787783 140720640790479 0
Current children cumulated CPU time: 2511.83 s
Current children cumulated vsize: 13994488 KiB
Current children cumulated memory: 513076 KiB



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+2450.4 s]
/proc/loadavg: 1.65 1.62 1.59 3/217 28081
/proc/meminfo: memFree=27585680/32770624 swapFree=67108860/67108860
[pid=27810] ppid=27807 vsize=9512 memory=1384 CPUtime=0 cores=1,3,5,7
/proc/27810/stat : 27810 (xcsp3-exec) S 27807 27810 21899 0 -1 4202496 514 0 0 0 0 0 0 0 20 0 1 0 154950542 9740288 346 33554432000 4194304 5098028 140732489040112 140732489038216 140453600354940 0 65536 4100 65538 18446744071579417331 0 0 17 7 0 0 0 0 0 7196144 7232144 29609984 140732489045103 140732489045307 140732489045307 140732489048043 0
/proc/27810/statm: 2378 346 289 221 0 87 0
[pid=27812] ppid=27810 vsize=13984976 memory=490148 CPUtime=2520.08 cores=1,3,5,7
/proc/27812/stat : 27812 (java) S 27810 27810 21899 0 -1 1077944320 226121 0 0 0 251580 428 0 0 20 0 15 0 154950542 14320615424 122537 33554432000 4194304 4196468 140720640785440 140720640767984 139752813608695 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 21094400 140720640787607 140720640787783 140720640787783 140720640790479 0
/proc/27812/statm: 3496244 122537 3287 1 0 3483478 0
[pid=27812/tid=27813] ppid=27810 vsize=13984976 memory=15819989005379315 CPUtime=2428.85 cores=1,3,5,7
/proc/27812/task/27813/stat : 27813 (java) R 27810 27810 21899 0 -1 4202560 78187 0 0 0 242861 24 0 0 20 0 15 0 154950542 14320615424 122537 33554432000 4194304 4196468 140720640785440 139752817848560 139752422807040 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 21094400 140720640787607 140720640787783 140720640787783 140720640790479 0
[pid=27812/tid=27814] ppid=27810 vsize=13984976 memory=539356 CPUtime=19.48 cores=1,3,5,7
/proc/27812/task/27814/stat : 27814 (java) S 27810 27810 21899 0 -1 1077944384 19887 0 0 0 1870 78 0 0 20 0 15 0 154950543 14320615424 122537 33554432000 4194304 4196468 140720640785440 139752743697040 139752813618901 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 21094400 140720640787607 140720640787783 140720640787783 140720640790479 0
[pid=27812/tid=27815] ppid=27810 vsize=13984976 memory=1160 CPUtime=19.53 cores=1,3,5,7
/proc/27812/task/27815/stat : 27815 (java) S 27810 27810 21899 0 -1 1077944384 15975 0 0 0 1875 78 0 0 20 0 15 0 154950543 14320615424 122537 33554432000 4194304 4196468 140720640785440 139752742644240 139752813618901 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 21094400 140720640787607 140720640787783 140720640787783 140720640790479 0
[pid=27812/tid=27816] ppid=27810 vsize=13984976 memory=3324 CPUtime=19.48 cores=1,3,5,7
/proc/27812/task/27816/stat : 27816 (java) S 27810 27810 21899 0 -1 1077944384 17601 0 0 0 1871 77 0 0 20 0 15 0 154950543 14320615424 122537 33554432000 4194304 4196468 140720640785440 139752741591440 139752813618901 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 21094400 140720640787607 140720640787783 140720640787783 140720640790479 0
[pid=27812/tid=27817] ppid=27810 vsize=13984976 memory=1384 CPUtime=19.51 cores=1,3,5,7
/proc/27812/task/27817/stat : 27817 (java) S 27810 27810 21899 0 -1 1077944384 16577 0 0 0 1874 77 0 0 20 0 15 0 154950543 14320615424 122537 33554432000 4194304 4196468 140720640785440 139752740538640 139752813618901 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 21094400 140720640787607 140720640787783 140720640787783 140720640790479 0
[pid=27812/tid=27818] ppid=27810 vsize=13984976 memory=976920 CPUtime=1.52 cores=1,3,5,7
/proc/27812/task/27818/stat : 27818 (java) S 27810 27810 21899 0 -1 1077944384 28016 0 0 0 121 31 0 0 20 0 15 0 154950544 14320615424 122537 33554432000 4194304 4196468 140720640785440 139752287730544 139752813619842 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 21094400 140720640787607 140720640787783 140720640787783 140720640790479 0
[pid=27812/tid=27819] ppid=27810 vsize=13984976 memory=6791534058613427641 CPUtime=0 cores=1,3,5,7
/proc/27812/task/27819/stat : 27819 (java) S 27810 27810 21899 0 -1 1077944384 57 0 0 0 0 0 0 0 20 0 15 0 154950545 14320615424 122537 33554432000 4194304 4196468 140720640785440 139752286676576 139752813618901 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 21094400 140720640787607 140720640787783 140720640787783 140720640790479 0
[pid=27812/tid=27820] ppid=27810 vsize=13984976 memory=4872558044660077418 CPUtime=0 cores=1,3,5,7
/proc/27812/task/27820/stat : 27820 (java) S 27810 27810 21899 0 -1 1077944384 47 0 0 0 0 0 0 0 20 0 15 0 154950545 14320615424 122537 33554432000 4194304 4196468 140720640785440 139752285623680 139752813618901 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 21094400 140720640787607 140720640787783 140720640787783 140720640790479 0
[pid=27812/tid=27821] ppid=27810 vsize=13984976 memory=2236 CPUtime=0 cores=1,3,5,7
/proc/27812/task/27821/stat : 27821 (java) S 27810 27810 21899 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 154950547 14320615424 122537 33554432000 4194304 4196468 140720640785440 139752284571984 139752813627291 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 21094400 140720640787607 140720640787783 140720640787783 140720640790479 0
[pid=27812/tid=27822] ppid=27810 vsize=13984976 memory=4316 CPUtime=4.63 cores=1,3,5,7
/proc/27812/task/27822/stat : 27822 (java) S 27810 27810 21899 0 -1 1077944384 16248 0 0 0 461 2 0 0 20 0 15 0 154950547 14320615424 122537 33554432000 4194304 4196468 140720640785440 139752283519344 139752813619842 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 21094400 140720640787607 140720640787783 140720640787783 140720640790479 0
[pid=27812/tid=27823] ppid=27810 vsize=13984976 memory=2196 CPUtime=4.72 cores=1,3,5,7
/proc/27812/task/27823/stat : 27823 (java) S 27810 27810 21899 0 -1 1077944384 19032 0 0 0 470 2 0 0 20 0 15 0 154950547 14320615424 122537 33554432000 4194304 4196468 140720640785440 139752282466544 139752813619842 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 21094400 140720640787607 140720640787783 140720640787783 140720640790479 0
[pid=27812/tid=27824] ppid=27810 vsize=13984976 memory=7784 CPUtime=0.93 cores=1,3,5,7
/proc/27812/task/27824/stat : 27824 (java) S 27810 27810 21899 0 -1 1077944384 12577 0 0 0 90 3 0 0 20 0 15 0 154950547 14320615424 122537 33554432000 4194304 4196468 140720640785440 139752281413744 139752813619842 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 21094400 140720640787607 140720640787783 140720640787783 140720640790479 0
[pid=27812/tid=27825] ppid=27810 vsize=13984976 memory=5792 CPUtime=0 cores=1,3,5,7
/proc/27812/task/27825/stat : 27825 (java) S 27810 27810 21899 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 154950548 14320615424 122537 33554432000 4194304 4196468 140720640785440 139752280361184 139752813618901 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 21094400 140720640787607 140720640787783 140720640787783 140720640790479 0
[pid=27812/tid=27826] ppid=27810 vsize=13984976 memory=288230574492221466 CPUtime=1.32 cores=1,3,5,7
/proc/27812/task/27826/stat : 27826 (java) S 27810 27810 21899 0 -1 1077944384 675 0 0 0 59 73 0 0 20 0 15 0 154950548 14320615424 122537 33554432000 4194304 4196468 140720640785440 139752279309488 139752813619842 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 21094400 140720640787607 140720640787783 140720640787783 140720640790479 0
Current children cumulated CPU time: 2520.08 s
Current children cumulated vsize: 13994488 KiB
Current children cumulated memory: 491532 KiB

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

[startup+2450.41 s]
# the end of solver process 27810 was just reported to runsolver
# cumulated CPU time of all completed processes:  user=2515.82 s, system=4.28653 s

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

Child ended because it received signal 15 (SIGTERM)
Real time (s): 2450.41
CPU time (s): 2520.1
CPU user time (s): 2515.82
CPU system time (s): 4.28653
CPU usage (%): 102.844
Max. virtual memory (cumulated for all children) (KiB): 13996976
Max. memory (cumulated for all children) (KiB): 662220

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2515.82
system time used= 4.28653
maximum resident set size= 667172
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 226768
page faults= 0
swaps= 0
block input operations= 0
block output operations= 2856
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 80864
involuntary context switches= 2956


# summary of solver processes directly reported to runsolver:
#   pid: 27810
#   total CPU time (s): 2520.1
#   total CPU user time (s): 2515.82
#   total CPU system time (s): 4.28653

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 15.9499 second user time and 23.6794 second system time

The end