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 (11334 MiB free)
memory of node 1: 16384 MiB (9391 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4284480-1503209855/watcher-4284480-1503209855 -o /tmp/evaluation-result-4284480-1503209855/solver-4284480-1503209855 -C 264 -W 240 -M 15500 --bin-var /tmp/runsolver-exch-node114-1503208995-20020 --watchdog 300 ./xcsp3-exec -dir HOME -tl 264 -ml 11000 -tdir HOME -seed 1565677679 HOME/instance-4284480-1503209855.xml
running on 4 cores: 1,3,5,7
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 264 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 294 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 240 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=20052, runsolver pid=20049
Current StackSize limit: 8192 KiB
[startup+0.101852 s]*
/proc/loadavg: 1.00 1.01 1.05 4/220 20081
/proc/meminfo: memFree=21191420/32770624 swapFree=67108860/67108860
[pid=20052] ppid=20049 vsize=9512 memory=1384 CPUtime=0 cores=1,3,5,7
/proc/20052/stat : 20052 (xcsp3-exec) S 20049 20052 19988 0 -1 4202496 514 0 0 0 0 0 0 0 20 0 1 0 154073167 9740288 346 33554432000 4194304 5098028 140726803644848 140726803642952 139702527189628 0 65536 4100 65538 18446744071579417331 0 0 17 5 0 0 0 0 0 7196144 7232144 10997760 140726803653748 140726803653952 140726803653952 140726803656683 0
/proc/20052/statm: 2378 346 289 221 0 87 0
[pid=20054] ppid=20052 vsize=13978596 memory=29040 CPUtime=0.13 cores=1,3,5,7
/proc/20054/stat : 20054 (java) S 20052 20052 19988 0 -1 1077944320 5137 0 0 0 11 2 0 0 20 0 15 0 154073167 14314082304 7260 33554432000 4194304 4196468 140724849600992 140724849583536 140006764637943 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 32632832 140724849607837 140724849608012 140724849608012 140724849610703 0
/proc/20054/statm: 3494649 7260 2872 1 0 3482966 0
[pid=20054/tid=20059] ppid=20052 vsize=13978596 memory=-6962121287837372198 CPUtime=0.09 cores=1,3,5,7
/proc/20054/task/20059/stat : 20059 (java) R 20052 20052 19988 0 -1 4202560 3064 0 0 0 8 1 0 0 20 0 15 0 154073168 14314082304 7260 33554432000 4194304 4196468 140724849600992 140006768869872 140006748681573 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 32632832 140724849607837 140724849608012 140724849608012 140724849610703 0
[pid=20054/tid=20060] ppid=20052 vsize=13978596 memory=-3689451258167578675 CPUtime=0 cores=1,3,5,7
/proc/20054/task/20060/stat : 20060 (java) S 20052 20052 19988 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 154073169 14314082304 7260 33554432000 4194304 4196468 140724849600992 140006679706000 140006764648149 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 32632832 140724849607837 140724849608012 140724849608012 140724849610703 0
[pid=20054/tid=20061] ppid=20052 vsize=13978596 memory=139965122872960 CPUtime=0 cores=1,3,5,7
/proc/20054/task/20061/stat : 20061 (java) S 20052 20052 19988 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 154073169 14314082304 7260 33554432000 4194304 4196468 140724849600992 140006678653200 140006764648149 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 32632832 140724849607837 140724849608012 140724849608012 140724849610703 0
[pid=20054/tid=20062] ppid=20052 vsize=13978596 memory=0 CPUtime=0 cores=1,3,5,7
/proc/20054/task/20062/stat : 20062 (java) S 20052 20052 19988 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 154073169 14314082304 7260 33554432000 4194304 4196468 140724849600992 140006677600912 140006764648149 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 32632832 140724849607837 140724849608012 140724849608012 140724849610703 0
[pid=20054/tid=20063] ppid=20052 vsize=13978596 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/20054/task/20063/stat : 20063 (java) S 20052 20052 19988 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 154073169 14314082304 7260 33554432000 4194304 4196468 140724849600992 140006676548112 140006764648149 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 32632832 140724849607837 140724849608012 140724849608012 140724849610703 0
[pid=20054/tid=20067] ppid=20052 vsize=13978596 memory=139965122872960 CPUtime=0 cores=1,3,5,7
/proc/20054/task/20067/stat : 20067 (java) S 20052 20052 19988 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 154073170 14314082304 7260 33554432000 4194304 4196468 140724849600992 140006238947952 140006764649090 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 32632832 140724849607837 140724849608012 140724849608012 140724849610703 0
[pid=20054/tid=20068] ppid=20052 vsize=13978596 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/20054/task/20068/stat : 20068 (java) S 20052 20052 19988 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 154073170 14314082304 7260 33554432000 4194304 4196468 140724849600992 140006237893920 140006764648149 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 32632832 140724849607837 140724849608012 140724849608012 140724849610703 0
[pid=20054/tid=20069] ppid=20052 vsize=13978596 memory=0 CPUtime=0 cores=1,3,5,7
/proc/20054/task/20069/stat : 20069 (java) S 20052 20052 19988 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 154073171 14314082304 7260 33554432000 4194304 4196468 140724849600992 140006236841584 140006764648149 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 32632832 140724849607837 140724849608012 140724849608012 140724849610703 0
[pid=20054/tid=20076] ppid=20052 vsize=13978596 memory=0 CPUtime=0 cores=1,3,5,7
/proc/20054/task/20076/stat : 20076 (java) S 20052 20052 19988 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 154073173 14314082304 7260 33554432000 4194304 4196468 140724849600992 140006235789904 140006764656539 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 32632832 140724849607837 140724849608012 140724849608012 140724849610703 0
[pid=20054/tid=20077] ppid=20052 vsize=13978596 memory=0 CPUtime=0 cores=1,3,5,7
/proc/20054/task/20077/stat : 20077 (java) S 20052 20052 19988 0 -1 1077944384 311 0 0 0 0 0 0 0 20 0 15 0 154073173 14314082304 7260 33554432000 4194304 4196468 140724849600992 140006234736752 140006764649090 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 32632832 140724849607837 140724849608012 140724849608012 140724849610703 0
[pid=20054/tid=20078] ppid=20052 vsize=13978596 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/20054/task/20078/stat : 20078 (java) S 20052 20052 19988 0 -1 1077944384 126 0 0 0 0 0 0 0 20 0 15 0 154073173 14314082304 7260 33554432000 4194304 4196468 140724849600992 140006233683952 140006764649090 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 32632832 140724849607837 140724849608012 140724849608012 140724849610703 0
[pid=20054/tid=20079] ppid=20052 vsize=13978596 memory=139965122872960 CPUtime=0.01 cores=1,3,5,7
/proc/20054/task/20079/stat : 20079 (java) R 20052 20052 19988 0 -1 4202560 334 0 0 0 1 0 0 0 20 0 15 0 154073173 14314082304 7260 33554432000 4194304 4196468 140724849600992 140006232631664 140006744111008 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 32632832 140724849607837 140724849608012 140724849608012 140724849610703 0
[pid=20054/tid=20080] ppid=20052 vsize=13978596 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/20054/task/20080/stat : 20080 (java) S 20052 20052 19988 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 154073173 14314082304 7260 33554432000 4194304 4196468 140724849600992 140006231579104 140006764648149 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 32632832 140724849607837 140724849608012 140724849608012 140724849610703 0
[pid=20054/tid=20081] ppid=20052 vsize=13978596 memory=139965122872960 CPUtime=0 cores=1,3,5,7
/proc/20054/task/20081/stat : 20081 (java) S 20052 20052 19988 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 154073173 14314082304 7260 33554432000 4194304 4196468 140724849600992 140006230526896 140006764649090 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 32632832 140724849607837 140724849608012 140724849608012 140724849610703 0
Current children cumulated CPU time: 0.13 s
Current children cumulated vsize: 13988108 KiB
Current children cumulated memory: 30424 KiB
[startup+0.210596 s]*
/proc/loadavg: 1.00 1.01 1.05 4/220 20081
/proc/meminfo: memFree=21170696/32770624 swapFree=67108860/67108860
[pid=20052] ppid=20049 vsize=9512 memory=1384 CPUtime=0 cores=1,3,5,7
/proc/20052/stat : 20052 (xcsp3-exec) S 20049 20052 19988 0 -1 4202496 514 0 0 0 0 0 0 0 20 0 1 0 154073167 9740288 346 33554432000 4194304 5098028 140726803644848 140726803642952 139702527189628 0 65536 4100 65538 18446744071579417331 0 0 17 5 0 0 0 0 0 7196144 7232144 10997760 140726803653748 140726803653952 140726803653952 140726803656683 0
/proc/20052/statm: 2378 346 289 221 0 87 0
[pid=20054] ppid=20052 vsize=13982852 memory=40520 CPUtime=0.33 cores=1,3,5,7
/proc/20054/stat : 20054 (java) S 20052 20052 19988 0 -1 1077944320 7766 0 0 0 30 3 0 0 20 0 15 0 154073167 14318440448 10130 33554432000 4194304 4196468 140724849600992 140724849583536 140006764637943 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 32632832 140724849607837 140724849608012 140724849608012 140724849610703 0
/proc/20054/statm: 3495713 10130 3062 1 0 3482966 0
[pid=20054/tid=20059] ppid=20052 vsize=13982852 memory=7883960649037381690 CPUtime=0.2 cores=1,3,5,7
/proc/20054/task/20059/stat : 20059 (java) R 20052 20052 19988 0 -1 4202560 4917 0 0 0 18 2 0 0 20 0 15 0 154073168 14318440448 10130 33554432000 4194304 4196468 140724849600992 140006768860144 140006764659869 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 32632832 140724849607837 140724849608012 140724849608012 140724849610703 0
[pid=20054/tid=20060] ppid=20052 vsize=13982852 memory=9107 CPUtime=0 cores=1,3,5,7
/proc/20054/task/20060/stat : 20060 (java) S 20052 20052 19988 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 154073169 14318440448 10130 33554432000 4194304 4196468 140724849600992 140006679706000 140006764648149 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 32632832 140724849607837 140724849608012 140724849608012 140724849610703 0
[pid=20054/tid=20061] ppid=20052 vsize=13982852 memory=4051190747740898976 CPUtime=0 cores=1,3,5,7
/proc/20054/task/20061/stat : 20061 (java) S 20052 20052 19988 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 154073169 14318440448 10130 33554432000 4194304 4196468 140724849600992 140006678653200 140006764648149 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 32632832 140724849607837 140724849608012 140724849608012 140724849610703 0
[pid=20054/tid=20062] ppid=20052 vsize=13982852 memory=0 CPUtime=0 cores=1,3,5,7
/proc/20054/task/20062/stat : 20062 (java) S 20052 20052 19988 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 154073169 14318440448 10130 33554432000 4194304 4196468 140724849600992 140006677600912 140006764648149 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 32632832 140724849607837 140724849608012 140724849608012 140724849610703 0
[pid=20054/tid=20063] ppid=20052 vsize=13982852 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/20054/task/20063/stat : 20063 (java) S 20052 20052 19988 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 154073169 14318440448 10130 33554432000 4194304 4196468 140724849600992 140006676548112 140006764648149 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 32632832 140724849607837 140724849608012 140724849608012 140724849610703 0
[pid=20054/tid=20067] ppid=20052 vsize=13982852 memory=139965122872960 CPUtime=0 cores=1,3,5,7
/proc/20054/task/20067/stat : 20067 (java) S 20052 20052 19988 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 154073170 14318440448 10130 33554432000 4194304 4196468 140724849600992 140006238947952 140006764649090 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 32632832 140724849607837 140724849608012 140724849608012 140724849610703 0
[pid=20054/tid=20068] ppid=20052 vsize=13982852 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/20054/task/20068/stat : 20068 (java) S 20052 20052 19988 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 154073170 14318440448 10130 33554432000 4194304 4196468 140724849600992 140006237893920 140006764648149 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 32632832 140724849607837 140724849608012 140724849608012 140724849610703 0
[pid=20054/tid=20069] ppid=20052 vsize=13982852 memory=0 CPUtime=0 cores=1,3,5,7
/proc/20054/task/20069/stat : 20069 (java) S 20052 20052 19988 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 154073171 14318440448 10130 33554432000 4194304 4196468 140724849600992 140006236841584 140006764648149 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 32632832 140724849607837 140724849608012 140724849608012 140724849610703 0
[pid=20054/tid=20076] ppid=20052 vsize=13982852 memory=0 CPUtime=0 cores=1,3,5,7
/proc/20054/task/20076/stat : 20076 (java) S 20052 20052 19988 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 154073173 14318440448 10130 33554432000 4194304 4196468 140724849600992 140006235789904 140006764656539 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 32632832 140724849607837 140724849608012 140724849608012 140724849610703 0
[pid=20054/tid=20077] ppid=20052 vsize=13982852 memory=0 CPUtime=0.02 cores=1,3,5,7
/proc/20054/task/20077/stat : 20077 (java) S 20052 20052 19988 0 -1 1077944384 414 0 0 0 2 0 0 0 20 0 15 0 154073173 14318440448 10130 33554432000 4194304 4196468 140724849600992 140006234736752 140006764649090 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 32632832 140724849607837 140724849608012 140724849608012 140724849610703 0
[pid=20054/tid=20078] ppid=20052 vsize=13982852 memory=-1 CPUtime=0.02 cores=1,3,5,7
/proc/20054/task/20078/stat : 20078 (java) S 20052 20052 19988 0 -1 1077944384 379 0 0 0 2 0 0 0 20 0 15 0 154073173 14318440448 10130 33554432000 4194304 4196468 140724849600992 140006233683952 140006764649090 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 32632832 140724849607837 140724849608012 140724849608012 140724849610703 0
[pid=20054/tid=20079] ppid=20052 vsize=13982852 memory=139965122872960 CPUtime=0.07 cores=1,3,5,7
/proc/20054/task/20079/stat : 20079 (java) R 20052 20052 19988 0 -1 4202560 760 0 0 0 7 0 0 0 20 0 15 0 154073173 14318440448 10130 33554432000 4194304 4196468 140724849600992 140006232631664 140006744065386 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 32632832 140724849607837 140724849608012 140724849608012 140724849610703 0
[pid=20054/tid=20080] ppid=20052 vsize=13982852 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/20054/task/20080/stat : 20080 (java) S 20052 20052 19988 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 154073173 14318440448 10130 33554432000 4194304 4196468 140724849600992 140006231579104 140006764648149 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 32632832 140724849607837 140724849608012 140724849608012 140724849610703 0
[pid=20054/tid=20081] ppid=20052 vsize=13982852 memory=0 CPUtime=0 cores=1,3,5,7
/proc/20054/task/20081/stat : 20081 (java) S 20052 20052 19988 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 154073173 14318440448 10130 33554432000 4194304 4196468 140724849600992 140006230526896 140006764649090 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 32632832 140724849607837 140724849608012 140724849608012 140724849610703 0
Current children cumulated CPU time: 0.33 s
Current children cumulated vsize: 13992364 KiB
Current children cumulated memory: 41904 KiB
[startup+0.310683 s]*
/proc/loadavg: 1.00 1.01 1.05 6/220 20081
/proc/meminfo: memFree=21156428/32770624 swapFree=67108860/67108860
[pid=20052] ppid=20049 vsize=9512 memory=1384 CPUtime=0 cores=1,3,5,7
/proc/20052/stat : 20052 (xcsp3-exec) S 20049 20052 19988 0 -1 4202496 514 0 0 0 0 0 0 0 20 0 1 0 154073167 9740288 346 33554432000 4194304 5098028 140726803644848 140726803642952 139702527189628 0 65536 4100 65538 18446744071579417331 0 0 17 5 0 0 0 0 0 7196144 7232144 10997760 140726803653748 140726803653952 140726803653952 140726803656683 0
/proc/20052/statm: 2378 346 289 221 0 87 0
[pid=20054] ppid=20052 vsize=13982852 memory=47652 CPUtime=0.52 cores=1,3,5,7
/proc/20054/stat : 20054 (java) S 20052 20052 19988 0 -1 1077944320 8550 0 0 0 49 3 0 0 20 0 15 0 154073167 14318440448 11913 33554432000 4194304 4196468 140724849600992 140724849583536 140006764637943 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 32632832 140724849607837 140724849608012 140724849608012 140724849610703 0
/proc/20054/statm: 3495713 11913 3130 1 0 3482966 0
[pid=20054/tid=20059] ppid=20052 vsize=13982852 memory=7883960649037381690 CPUtime=0.29 cores=1,3,5,7
/proc/20054/task/20059/stat : 20059 (java) R 20052 20052 19988 0 -1 4202560 5443 0 0 0 27 2 0 0 20 0 15 0 154073168 14318440448 11913 33554432000 4194304 4196468 140724849600992 140006768876752 140006354396032 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 32632832 140724849607837 140724849608012 140724849608012 140724849610703 0
[pid=20054/tid=20060] ppid=20052 vsize=13982852 memory=9469 CPUtime=0 cores=1,3,5,7
/proc/20054/task/20060/stat : 20060 (java) S 20052 20052 19988 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 154073169 14318440448 11913 33554432000 4194304 4196468 140724849600992 140006679706000 140006764648149 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 32632832 140724849607837 140724849608012 140724849608012 140724849610703 0
[pid=20054/tid=20061] ppid=20052 vsize=13982852 memory=4193195645856907296 CPUtime=0 cores=1,3,5,7
/proc/20054/task/20061/stat : 20061 (java) S 20052 20052 19988 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 154073169 14318440448 11913 33554432000 4194304 4196468 140724849600992 140006678653200 140006764648149 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 32632832 140724849607837 140724849608012 140724849608012 140724849610703 0
[pid=20054/tid=20062] ppid=20052 vsize=13982852 memory=0 CPUtime=0 cores=1,3,5,7
/proc/20054/task/20062/stat : 20062 (java) S 20052 20052 19988 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 154073169 14318440448 11913 33554432000 4194304 4196468 140724849600992 140006677600912 140006764648149 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 32632832 140724849607837 140724849608012 140724849608012 140724849610703 0
[pid=20054/tid=20063] ppid=20052 vsize=13982852 memory=0 CPUtime=0 cores=1,3,5,7
/proc/20054/task/20063/stat : 20063 (java) S 20052 20052 19988 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 154073169 14318440448 11913 33554432000 4194304 4196468 140724849600992 140006676548112 140006764648149 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 32632832 140724849607837 140724849608012 140724849608012 140724849610703 0
[pid=20054/tid=20067] ppid=20052 vsize=13982852 memory=0 CPUtime=0 cores=1,3,5,7
/proc/20054/task/20067/stat : 20067 (java) S 20052 20052 19988 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 154073170 14318440448 11913 33554432000 4194304 4196468 140724849600992 140006238947952 140006764649090 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 32632832 140724849607837 140724849608012 140724849608012 140724849610703 0
[pid=20054/tid=20068] ppid=20052 vsize=13982852 memory=0 CPUtime=0 cores=1,3,5,7
/proc/20054/task/20068/stat : 20068 (java) S 20052 20052 19988 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 154073170 14318440448 11913 33554432000 4194304 4196468 140724849600992 140006237893920 140006764648149 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 32632832 140724849607837 140724849608012 140724849608012 140724849610703 0
[pid=20054/tid=20069] ppid=20052 vsize=13982852 memory=0 CPUtime=0 cores=1,3,5,7
/proc/20054/task/20069/stat : 20069 (java) S 20052 20052 19988 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 154073171 14318440448 11913 33554432000 4194304 4196468 140724849600992 140006236841584 140006764648149 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 32632832 140724849607837 140724849608012 140724849608012 140724849610703 0
[pid=20054/tid=20076] ppid=20052 vsize=13982852 memory=0 CPUtime=0 cores=1,3,5,7
/proc/20054/task/20076/stat : 20076 (java) S 20052 20052 19988 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 154073173 14318440448 11913 33554432000 4194304 4196468 140724849600992 140006235789904 140006764656539 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 32632832 140724849607837 140724849608012 140724849608012 140724849610703 0
[pid=20054/tid=20077] ppid=20052 vsize=13982852 memory=0 CPUtime=0.03 cores=1,3,5,7
/proc/20054/task/20077/stat : 20077 (java) R 20052 20052 19988 0 -1 1077944384 480 0 0 0 3 0 0 0 20 0 15 0 154073173 14318440448 11913 33554432000 4194304 4196468 140724849600992 140006234736752 140006764649090 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 32632832 140724849607837 140724849608012 140724849608012 140724849610703 0
[pid=20054/tid=20078] ppid=20052 vsize=13982852 memory=0 CPUtime=0.04 cores=1,3,5,7
/proc/20054/task/20078/stat : 20078 (java) R 20052 20052 19988 0 -1 4202560 416 0 0 0 4 0 0 0 20 0 15 0 154073173 14318440448 11913 33554432000 4194304 4196468 140724849600992 140006233683952 140006742257888 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 32632832 140724849607837 140724849608012 140724849608012 140724849610703 0
[pid=20054/tid=20079] ppid=20052 vsize=13982852 memory=0 CPUtime=0.13 cores=1,3,5,7
/proc/20054/task/20079/stat : 20079 (java) R 20052 20052 19988 0 -1 4202560 907 0 0 0 13 0 0 0 20 0 15 0 154073173 14318440448 11913 33554432000 4194304 4196468 140724849600992 140006232628032 140006743003668 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 32632832 140724849607837 140724849608012 140724849608012 140724849610703 0
[pid=20054/tid=20080] ppid=20052 vsize=13982852 memory=0 CPUtime=0 cores=1,3,5,7
/proc/20054/task/20080/stat : 20080 (java) S 20052 20052 19988 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 154073173 14318440448 11913 33554432000 4194304 4196468 140724849600992 140006231579104 140006764648149 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 32632832 140724849607837 140724849608012 140724849608012 140724849610703 0
[pid=20054/tid=20081] ppid=20052 vsize=13982852 memory=0 CPUtime=0 cores=1,3,5,7
/proc/20054/task/20081/stat : 20081 (java) S 20052 20052 19988 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 154073173 14318440448 11913 33554432000 4194304 4196468 140724849600992 140006230526896 140006764649090 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 32632832 140724849607837 140724849608012 140724849608012 140724849610703 0
Current children cumulated CPU time: 0.52 s
Current children cumulated vsize: 13992364 KiB
Current children cumulated memory: 49036 KiB
[startup+0.701371 s]
/proc/loadavg: 1.00 1.01 1.05 10/220 20081
/proc/meminfo: memFree=21094216/32770624 swapFree=67108860/67108860
[pid=20052] ppid=20049 vsize=9512 memory=1384 CPUtime=0 cores=1,3,5,7
/proc/20052/stat : 20052 (xcsp3-exec) S 20049 20052 19988 0 -1 4202496 514 0 0 0 0 0 0 0 20 0 1 0 154073167 9740288 346 33554432000 4194304 5098028 140726803644848 140726803642952 139702527189628 0 65536 4100 65538 18446744071579417331 0 0 17 5 0 0 0 0 0 7196144 7232144 10997760 140726803653748 140726803653952 140726803653952 140726803656683 0
/proc/20052/statm: 2378 346 289 221 0 87 0
[pid=20054] ppid=20052 vsize=13984976 memory=101412 CPUtime=1.85 cores=1,3,5,7
/proc/20054/stat : 20054 (java) S 20052 20052 19988 0 -1 1077944320 12338 0 0 0 180 5 0 0 20 0 15 0 154073167 14320615424 25353 33554432000 4194304 4196468 140724849600992 140724849583536 140006764637943 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 32632832 140724849607837 140724849608012 140724849608012 140724849610703 0
/proc/20054/statm: 3496244 25353 3206 1 0 3483478 0
[pid=20054/tid=20059] ppid=20052 vsize=13984976 memory=23580 CPUtime=0.67 cores=1,3,5,7
/proc/20054/task/20059/stat : 20059 (java) R 20052 20052 19988 0 -1 4202560 6109 0 0 0 64 3 0 0 20 0 15 0 154073168 14320615424 25353 33554432000 4194304 4196468 140724849600992 140006768874088 140006354092096 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 32632832 140724849607837 140724849608012 140724849608012 140724849610703 0
[pid=20054/tid=20060] ppid=20052 vsize=13984976 memory=1232 CPUtime=0 cores=1,3,5,7
/proc/20054/task/20060/stat : 20060 (java) S 20052 20052 19988 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 154073169 14320615424 25353 33554432000 4194304 4196468 140724849600992 140006679706000 140006764648149 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 32632832 140724849607837 140724849608012 140724849608012 140724849610703 0
[pid=20054/tid=20061] ppid=20052 vsize=13984976 memory=1792 CPUtime=0 cores=1,3,5,7
/proc/20054/task/20061/stat : 20061 (java) S 20052 20052 19988 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 154073169 14320615424 25353 33554432000 4194304 4196468 140724849600992 140006678653200 140006764648149 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 32632832 140724849607837 140724849608012 140724849608012 140724849610703 0
[pid=20054/tid=20062] ppid=20052 vsize=13984976 memory=640 CPUtime=0 cores=1,3,5,7
/proc/20054/task/20062/stat : 20062 (java) S 20052 20052 19988 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 154073169 14320615424 25353 33554432000 4194304 4196468 140724849600992 140006677600912 140006764648149 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 32632832 140724849607837 140724849608012 140724849608012 140724849610703 0
[pid=20054/tid=20063] ppid=20052 vsize=13984976 memory=956 CPUtime=0 cores=1,3,5,7
/proc/20054/task/20063/stat : 20063 (java) S 20052 20052 19988 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 154073169 14320615424 25353 33554432000 4194304 4196468 140724849600992 140006676548112 140006764648149 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 32632832 140724849607837 140724849608012 140724849608012 140724849610703 0
[pid=20054/tid=20067] ppid=20052 vsize=13984976 memory=2468 CPUtime=0 cores=1,3,5,7
/proc/20054/task/20067/stat : 20067 (java) S 20052 20052 19988 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 154073170 14320615424 25353 33554432000 4194304 4196468 140724849600992 140006238947952 140006764649090 0 0 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 32632832 140724849607837 140724849608012 140724849608012 140724849610703 0
[pid=20054/tid=20068] ppid=20052 vsize=13984976 memory=1576 CPUtime=0 cores=1,3,5,7
/proc/20054/task/20068/stat : 20068 (java) S 20052 20052 19988 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 154073170 14320615424 25353 33554432000 4194304 4196468 140724849600992 140006237893920 140006764648149 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 32632832 140724849607837 140724849608012 140724849608012 140724849610703 0
[pid=20054/tid=20069] ppid=20052 vsize=13984976 memory=932 CPUtime=0 cores=1,3,5,7
/proc/20054/task/20069/stat : 20069 (java) S 20052 20052 19988 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 154073171 14320615424 25353 33554432000 4194304 4196468 140724849600992 140006236841584 140006764648149 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 32632832 140724849607837 140724849608012 140724849608012 140724849610703 0
[pid=20054/tid=20076] ppid=20052 vsize=13984976 memory=2236 CPUtime=0 cores=1,3,5,7
/proc/20054/task/20076/stat : 20076 (java) S 20052 20052 19988 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 154073173 14320615424 25353 33554432000 4194304 4196468 140724849600992 140006235789904 140006764656539 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 32632832 140724849607837 140724849608012 140724849608012 140724849610703 0
[pid=20054/tid=20077] ppid=20052 vsize=13984976 memory=4124 CPUtime=0.39 cores=1,3,5,7
/proc/20054/task/20077/stat : 20077 (java) R 20052 20052 19988 0 -1 4202560 1521 0 0 0 39 0 0 0 20 0 15 0 154073173 14320615424 25353 33554432000 4194304 4196468 140724849600992 140006234725344 140006748048744 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 32632832 140724849607837 140724849608012 140724849608012 140724849610703 0
[pid=20054/tid=20078] ppid=20052 vsize=13984976 memory=2200 CPUtime=0.36 cores=1,3,5,7
/proc/20054/task/20078/stat : 20078 (java) R 20052 20052 19988 0 -1 4202560 1246 0 0 0 36 0 0 0 20 0 15 0 154073173 14320615424 25353 33554432000 4194304 4196468 140724849600992 140006233666224 140006748048837 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 32632832 140724849607837 140724849608012 140724849608012 140724849610703 0
[pid=20054/tid=20079] ppid=20052 vsize=13984976 memory=7528 CPUtime=0.4 cores=1,3,5,7
/proc/20054/task/20079/stat : 20079 (java) R 20052 20052 19988 0 -1 4202560 2156 0 0 0 40 0 0 0 20 0 15 0 154073173 14320615424 25353 33554432000 4194304 4196468 140724849600992 140006232629624 140006757734779 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 32632832 140724849607837 140724849608012 140724849608012 140724849610703 0
[pid=20054/tid=20080] ppid=20052 vsize=13984976 memory=840 CPUtime=0 cores=1,3,5,7
/proc/20054/task/20080/stat : 20080 (java) S 20052 20052 19988 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 154073173 14320615424 25353 33554432000 4194304 4196468 140724849600992 140006231579104 140006764648149 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 32632832 140724849607837 140724849608012 140724849608012 140724849610703 0
[pid=20054/tid=20081] ppid=20052 vsize=13984976 memory=4104 CPUtime=0 cores=1,3,5,7
/proc/20054/task/20081/stat : 20081 (java) S 20052 20052 19988 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 154073173 14320615424 25353 33554432000 4194304 4196468 140724849600992 140006230526896 140006764649090 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 32632832 140724849607837 140724849608012 140724849608012 140724849610703 0
Current children cumulated CPU time: 1.85 s
Current children cumulated vsize: 13994488 KiB
Current children cumulated memory: 102796 KiB
[startup+1.50083 s]
/proc/loadavg: 1.00 1.01 1.05 7/220 20081
/proc/meminfo: memFree=20968384/32770624 swapFree=67108860/67108860
[pid=20052] ppid=20049 vsize=9512 memory=1384 CPUtime=0 cores=1,3,5,7
/proc/20052/stat : 20052 (xcsp3-exec) S 20049 20052 19988 0 -1 4202496 514 0 0 0 0 0 0 0 20 0 1 0 154073167 9740288 346 33554432000 4194304 5098028 140726803644848 140726803642952 139702527189628 0 65536 4100 65538 18446744071579417331 0 0 17 5 0 0 0 0 0 7196144 7232144 10997760 140726803653748 140726803653952 140726803653952 140726803656683 0
/proc/20052/statm: 2378 346 289 221 0 87 0
################
# More data... #
################
/proc/20054/task/20069/stat : 20069 (java) S 20052 20052 19988 0 -1 1077944384 64 0 0 0 0 0 0 0 20 0 15 0 154073171 14320615424 392348 33554432000 4194304 4196468 140724849600992 140006236841600 140006764648149 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 32632832 140724849607837 140724849608012 140724849608012 140724849610703 0
[pid=20054/tid=20076] ppid=20052 vsize=13984976 memory=0 CPUtime=0 cores=1,3,5,7
/proc/20054/task/20076/stat : 20076 (java) S 20052 20052 19988 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 154073173 14320615424 392348 33554432000 4194304 4196468 140724849600992 140006235789904 140006764656539 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 32632832 140724849607837 140724849608012 140724849608012 140724849610703 0
[pid=20054/tid=20077] ppid=20052 vsize=13984976 memory=3 CPUtime=5.03 cores=1,3,5,7
/proc/20054/task/20077/stat : 20077 (java) S 20052 20052 19988 0 -1 1077944384 19735 0 0 0 500 3 0 0 20 0 15 0 154073173 14320615424 392348 33554432000 4194304 4196468 140724849600992 140006234736752 140006764649090 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 32632832 140724849607837 140724849608012 140724849608012 140724849610703 0
[pid=20054/tid=20078] ppid=20052 vsize=13984976 memory=1532528 CPUtime=5.25 cores=1,3,5,7
/proc/20054/task/20078/stat : 20078 (java) S 20052 20052 19988 0 -1 1077944384 18779 0 0 0 523 2 0 0 20 0 15 0 154073173 14320615424 392348 33554432000 4194304 4196468 140724849600992 140006233683952 140006764649090 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 32632832 140724849607837 140724849608012 140724849608012 140724849610703 0
[pid=20054/tid=20079] ppid=20052 vsize=13984976 memory=1514096 CPUtime=0.96 cores=1,3,5,7
/proc/20054/task/20079/stat : 20079 (java) S 20052 20052 19988 0 -1 1077944384 9205 0 0 0 94 2 0 0 20 0 15 0 154073173 14320615424 392348 33554432000 4194304 4196468 140724849600992 140006232631664 140006764649090 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 32632832 140724849607837 140724849608012 140724849608012 140724849610703 0
[pid=20054/tid=20080] ppid=20052 vsize=13984976 memory=1032712 CPUtime=0 cores=1,3,5,7
/proc/20054/task/20080/stat : 20080 (java) S 20052 20052 19988 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 154073173 14320615424 392348 33554432000 4194304 4196468 140724849600992 140006231579104 140006764648149 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 32632832 140724849607837 140724849608012 140724849608012 140724849610703 0
[pid=20054/tid=20081] ppid=20052 vsize=13984976 memory=1384 CPUtime=0.04 cores=1,3,5,7
/proc/20054/task/20081/stat : 20081 (java) S 20052 20052 19988 0 -1 1077944384 1194 0 0 0 1 3 0 0 20 0 15 0 154073173 14320615424 392348 33554432000 4194304 4196468 140724849600992 140006230526896 140006764649090 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 32632832 140724849607837 140724849608012 140724849608012 140724849610703 0
Current children cumulated CPU time: 120.94 s
Current children cumulated vsize: 13994488 KiB
Current children cumulated memory: 1570776 KiB
[startup+162.301 s]
/proc/loadavg: 1.56 1.33 1.17 3/219 20083
/proc/meminfo: memFree=18746804/32770624 swapFree=67108860/67108860
[pid=20052] ppid=20049 vsize=9512 memory=1384 CPUtime=0 cores=1,3,5,7
/proc/20052/stat : 20052 (xcsp3-exec) S 20049 20052 19988 0 -1 4202496 514 0 0 0 0 0 0 0 20 0 1 0 154073167 9740288 346 33554432000 4194304 5098028 140726803644848 140726803642952 139702527189628 0 65536 4100 65538 18446744071579417331 0 0 17 5 0 0 0 0 0 7196144 7232144 10997760 140726803653748 140726803653952 140726803653952 140726803656683 0
/proc/20052/statm: 2378 346 289 221 0 87 0
[pid=20054] ppid=20052 vsize=13984976 memory=1710824 CPUtime=181.46 cores=1,3,5,7
/proc/20054/stat : 20054 (java) S 20052 20052 19988 0 -1 1077944320 104930 0 0 0 18023 123 0 0 20 0 15 0 154073167 14320615424 427706 33554432000 4194304 4196468 140724849600992 140724849583536 140006764637943 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 32632832 140724849607837 140724849608012 140724849608012 140724849610703 0
/proc/20054/statm: 3496244 427706 3286 1 0 3483478 0
[pid=20054/tid=20059] ppid=20052 vsize=13984976 memory=1710824 CPUtime=159.3 cores=1,3,5,7
/proc/20054/task/20059/stat : 20059 (java) R 20052 20052 19988 0 -1 4202560 18262 0 0 0 15917 13 0 0 20 0 15 0 154073168 14320615424 427706 33554432000 4194304 4196468 140724849600992 140006768874304 140006363896918 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 32632832 140724849607837 140724849608012 140724849608012 140724849610703 0
[pid=20054/tid=20060] ppid=20052 vsize=13984976 memory=1710824 CPUtime=2.54 cores=1,3,5,7
/proc/20054/task/20060/stat : 20060 (java) S 20052 20052 19988 0 -1 1077944384 6188 0 0 0 229 25 0 0 20 0 15 0 154073169 14320615424 427706 33554432000 4194304 4196468 140724849600992 140006679706000 140006764648149 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 32632832 140724849607837 140724849608012 140724849608012 140724849610703 0
[pid=20054/tid=20061] ppid=20052 vsize=13984976 memory=1710824 CPUtime=2.57 cores=1,3,5,7
/proc/20054/task/20061/stat : 20061 (java) S 20052 20052 19988 0 -1 1077944384 6610 0 0 0 234 23 0 0 20 0 15 0 154073169 14320615424 427706 33554432000 4194304 4196468 140724849600992 140006678653200 140006764648149 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 32632832 140724849607837 140724849608012 140724849608012 140724849610703 0
[pid=20054/tid=20062] ppid=20052 vsize=13984976 memory=1710816 CPUtime=2.58 cores=1,3,5,7
/proc/20054/task/20062/stat : 20062 (java) S 20052 20052 19988 0 -1 1077944384 7079 0 0 0 235 23 0 0 20 0 15 0 154073169 14320615424 427706 33554432000 4194304 4196468 140724849600992 140006677600912 140006764648149 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 32632832 140724849607837 140724849608012 140724849608012 140724849610703 0
[pid=20054/tid=20063] ppid=20052 vsize=13984976 memory=4140 CPUtime=2.56 cores=1,3,5,7
/proc/20054/task/20063/stat : 20063 (java) S 20052 20052 19988 0 -1 1077944384 6915 0 0 0 232 24 0 0 20 0 15 0 154073169 14320615424 427706 33554432000 4194304 4196468 140724849600992 140006676548112 140006764648149 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 32632832 140724849607837 140724849608012 140724849608012 140724849610703 0
[pid=20054/tid=20067] ppid=20052 vsize=13984976 memory=11121 CPUtime=0.34 cores=1,3,5,7
/proc/20054/task/20067/stat : 20067 (java) S 20052 20052 19988 0 -1 1077944384 4288 0 0 0 34 0 0 0 20 0 15 0 154073170 14320615424 427706 33554432000 4194304 4196468 140724849600992 140006238947952 140006764649090 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 32632832 140724849607837 140724849608012 140724849608012 140724849610703 0
[pid=20054/tid=20068] ppid=20052 vsize=13984976 memory=4420 CPUtime=0 cores=1,3,5,7
/proc/20054/task/20068/stat : 20068 (java) S 20052 20052 19988 0 -1 1077944384 62 0 0 0 0 0 0 0 20 0 15 0 154073170 14320615424 427706 33554432000 4194304 4196468 140724849600992 140006237893984 140006764648149 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 32632832 140724849607837 140724849608012 140724849608012 140724849610703 0
[pid=20054/tid=20069] ppid=20052 vsize=13984976 memory=1384 CPUtime=0 cores=1,3,5,7
/proc/20054/task/20069/stat : 20069 (java) S 20052 20052 19988 0 -1 1077944384 64 0 0 0 0 0 0 0 20 0 15 0 154073171 14320615424 427706 33554432000 4194304 4196468 140724849600992 140006236841600 140006764648149 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 32632832 140724849607837 140724849608012 140724849608012 140724849610703 0
[pid=20054/tid=20076] ppid=20052 vsize=13984976 memory=1384 CPUtime=0 cores=1,3,5,7
/proc/20054/task/20076/stat : 20076 (java) S 20052 20052 19988 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 154073173 14320615424 427706 33554432000 4194304 4196468 140724849600992 140006235789904 140006764656539 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 32632832 140724849607837 140724849608012 140724849608012 140724849610703 0
[pid=20054/tid=20077] ppid=20052 vsize=13984976 memory=1384 CPUtime=5.05 cores=1,3,5,7
/proc/20054/task/20077/stat : 20077 (java) S 20052 20052 19988 0 -1 1077944384 20316 0 0 0 502 3 0 0 20 0 15 0 154073173 14320615424 427706 33554432000 4194304 4196468 140724849600992 140006234736752 140006764649090 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 32632832 140724849607837 140724849608012 140724849608012 140724849610703 0
[pid=20054/tid=20078] ppid=20052 vsize=13984976 memory=1384 CPUtime=5.4 cores=1,3,5,7
/proc/20054/task/20078/stat : 20078 (java) S 20052 20052 19988 0 -1 1077944384 21609 0 0 0 538 2 0 0 20 0 15 0 154073173 14320615424 427706 33554432000 4194304 4196468 140724849600992 140006233683952 140006764649090 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 32632832 140724849607837 140724849608012 140724849608012 140724849610703 0
[pid=20054/tid=20079] ppid=20052 vsize=13984976 memory=6791534058613427641 CPUtime=0.97 cores=1,3,5,7
/proc/20054/task/20079/stat : 20079 (java) S 20052 20052 19988 0 -1 1077944384 11054 0 0 0 95 2 0 0 20 0 15 0 154073173 14320615424 427706 33554432000 4194304 4196468 140724849600992 140006232631664 140006764649090 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 32632832 140724849607837 140724849608012 140724849608012 140724849610703 0
[pid=20054/tid=20080] ppid=20052 vsize=13984976 memory=1702624 CPUtime=0 cores=1,3,5,7
/proc/20054/task/20080/stat : 20080 (java) S 20052 20052 19988 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 154073173 14320615424 427706 33554432000 4194304 4196468 140724849600992 140006231579104 140006764648149 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 32632832 140724849607837 140724849608012 140724849608012 140724849610703 0
[pid=20054/tid=20081] ppid=20052 vsize=13984976 memory=1384 CPUtime=0.06 cores=1,3,5,7
/proc/20054/task/20081/stat : 20081 (java) S 20052 20052 19988 0 -1 1077944384 1242 0 0 0 2 4 0 0 20 0 15 0 154073173 14320615424 427706 33554432000 4194304 4196468 140724849600992 140006230526896 140006764649090 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 32632832 140724849607837 140724849608012 140724849608012 140724849610703 0
Current children cumulated CPU time: 181.46 s
Current children cumulated vsize: 13994488 KiB
Current children cumulated memory: 1712208 KiB
[startup+222.301 s]
/proc/loadavg: 1.52 1.36 1.19 3/218 20084
/proc/meminfo: memFree=18797072/32770624 swapFree=67108860/67108860
[pid=20052] ppid=20049 vsize=9512 memory=1384 CPUtime=0 cores=1,3,5,7
/proc/20052/stat : 20052 (xcsp3-exec) S 20049 20052 19988 0 -1 4202496 514 0 0 0 0 0 0 0 20 0 1 0 154073167 9740288 346 33554432000 4194304 5098028 140726803644848 140726803642952 139702527189628 0 65536 4100 65538 18446744071579417331 0 0 17 5 0 0 0 0 0 7196144 7232144 10997760 140726803653748 140726803653952 140726803653952 140726803656683 0
/proc/20052/statm: 2378 346 289 221 0 87 0
[pid=20054] ppid=20052 vsize=13984976 memory=1753760 CPUtime=241.71 cores=1,3,5,7
/proc/20054/stat : 20054 (java) S 20052 20052 19988 0 -1 1077944320 112361 0 0 0 24044 127 0 0 20 0 15 0 154073167 14320615424 438440 33554432000 4194304 4196468 140724849600992 140724849583536 140006764637943 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 32632832 140724849607837 140724849608012 140724849608012 140724849610703 0
/proc/20054/statm: 3496244 438440 3286 1 0 3483478 0
[pid=20054/tid=20059] ppid=20052 vsize=13984976 memory=1753780 CPUtime=219.22 cores=1,3,5,7
/proc/20054/task/20059/stat : 20059 (java) R 20052 20052 19988 0 -1 4202560 22159 0 0 0 21908 14 0 0 20 0 15 0 154073168 14320615424 438440 33554432000 4194304 4196468 140724849600992 140006768877376 140006364545961 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 32632832 140724849607837 140724849608012 140724849608012 140724849610703 0
[pid=20054/tid=20060] ppid=20052 vsize=13984976 memory=1384 CPUtime=2.62 cores=1,3,5,7
/proc/20054/task/20060/stat : 20060 (java) S 20052 20052 19988 0 -1 1077944384 6855 0 0 0 236 26 0 0 20 0 15 0 154073169 14320615424 438440 33554432000 4194304 4196468 140724849600992 140006679706000 140006764648149 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 32632832 140724849607837 140724849608012 140724849608012 140724849610703 0
[pid=20054/tid=20061] ppid=20052 vsize=13984976 memory=3116 CPUtime=2.64 cores=1,3,5,7
/proc/20054/task/20061/stat : 20061 (java) S 20052 20052 19988 0 -1 1077944384 7172 0 0 0 241 23 0 0 20 0 15 0 154073169 14320615424 438440 33554432000 4194304 4196468 140724849600992 140006678653200 140006764648149 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 32632832 140724849607837 140724849608012 140724849608012 140724849610703 0
[pid=20054/tid=20062] ppid=20052 vsize=13984976 memory=1384 CPUtime=2.66 cores=1,3,5,7
/proc/20054/task/20062/stat : 20062 (java) S 20052 20052 19988 0 -1 1077944384 8164 0 0 0 242 24 0 0 20 0 15 0 154073169 14320615424 438440 33554432000 4194304 4196468 140724849600992 140006677600912 140006764648149 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 32632832 140724849607837 140724849608012 140724849608012 140724849610703 0
[pid=20054/tid=20063] ppid=20052 vsize=13984976 memory=1384 CPUtime=2.64 cores=1,3,5,7
/proc/20054/task/20063/stat : 20063 (java) S 20052 20052 19988 0 -1 1077944384 7387 0 0 0 239 25 0 0 20 0 15 0 154073169 14320615424 438440 33554432000 4194304 4196468 140724849600992 140006676548112 140006764648149 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 32632832 140724849607837 140724849608012 140724849608012 140724849610703 0
[pid=20054/tid=20067] ppid=20052 vsize=13984976 memory=1753780 CPUtime=0.35 cores=1,3,5,7
/proc/20054/task/20067/stat : 20067 (java) S 20052 20052 19988 0 -1 1077944384 4553 0 0 0 35 0 0 0 20 0 15 0 154073170 14320615424 438440 33554432000 4194304 4196468 140724849600992 140006238947952 140006764649090 0 0 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 32632832 140724849607837 140724849608012 140724849608012 140724849610703 0
[pid=20054/tid=20068] ppid=20052 vsize=13984976 memory=15876 CPUtime=0 cores=1,3,5,7
/proc/20054/task/20068/stat : 20068 (java) S 20052 20052 19988 0 -1 1077944384 62 0 0 0 0 0 0 0 20 0 15 0 154073170 14320615424 438440 33554432000 4194304 4196468 140724849600992 140006237893984 140006764648149 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 32632832 140724849607837 140724849608012 140724849608012 140724849610703 0
[pid=20054/tid=20069] ppid=20052 vsize=13984976 memory=16444 CPUtime=0 cores=1,3,5,7
/proc/20054/task/20069/stat : 20069 (java) S 20052 20052 19988 0 -1 1077944384 64 0 0 0 0 0 0 0 20 0 15 0 154073171 14320615424 438440 33554432000 4194304 4196468 140724849600992 140006236841600 140006764648149 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 32632832 140724849607837 140724849608012 140724849608012 140724849610703 0
[pid=20054/tid=20076] ppid=20052 vsize=13984976 memory=1753760 CPUtime=0 cores=1,3,5,7
/proc/20054/task/20076/stat : 20076 (java) S 20052 20052 19988 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 154073173 14320615424 438440 33554432000 4194304 4196468 140724849600992 140006235789904 140006764656539 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 32632832 140724849607837 140724849608012 140724849608012 140724849610703 0
[pid=20054/tid=20077] ppid=20052 vsize=13984976 memory=1384 CPUtime=5.05 cores=1,3,5,7
/proc/20054/task/20077/stat : 20077 (java) S 20052 20052 19988 0 -1 1077944384 20318 0 0 0 502 3 0 0 20 0 15 0 154073173 14320615424 438440 33554432000 4194304 4196468 140724849600992 140006234736752 140006764649090 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 32632832 140724849607837 140724849608012 140724849608012 140724849610703 0
[pid=20054/tid=20078] ppid=20052 vsize=13984976 memory=1753760 CPUtime=5.4 cores=1,3,5,7
/proc/20054/task/20078/stat : 20078 (java) S 20052 20052 19988 0 -1 1077944384 21612 0 0 0 538 2 0 0 20 0 15 0 154073173 14320615424 438440 33554432000 4194304 4196468 140724849600992 140006233683952 140006764649090 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 32632832 140724849607837 140724849608012 140724849608012 140724849610703 0
[pid=20054/tid=20079] ppid=20052 vsize=13984976 memory=13160 CPUtime=0.97 cores=1,3,5,7
/proc/20054/task/20079/stat : 20079 (java) S 20052 20052 19988 0 -1 1077944384 11493 0 0 0 95 2 0 0 20 0 15 0 154073173 14320615424 438440 33554432000 4194304 4196468 140724849600992 140006232631664 140006764649090 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 32632832 140724849607837 140724849608012 140724849608012 140724849610703 0
[pid=20054/tid=20080] ppid=20052 vsize=13984976 memory=792 CPUtime=0 cores=1,3,5,7
/proc/20054/task/20080/stat : 20080 (java) S 20052 20052 19988 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 154073173 14320615424 438440 33554432000 4194304 4196468 140724849600992 140006231579104 140006764648149 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 32632832 140724849607837 140724849608012 140724849608012 140724849610703 0
[pid=20054/tid=20081] ppid=20052 vsize=13984976 memory=1384 CPUtime=0.08 cores=1,3,5,7
/proc/20054/task/20081/stat : 20081 (java) S 20052 20052 19988 0 -1 1077944384 1281 0 0 0 3 5 0 0 20 0 15 0 154073173 14320615424 438440 33554432000 4194304 4196468 140724849600992 140006230526896 140006764649090 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 32632832 140724849607837 140724849608012 140724849608012 140724849610703 0
Current children cumulated CPU time: 241.71 s
Current children cumulated vsize: 13994488 KiB
Current children cumulated memory: 1755144 KiB
Maximum wall clock time exceeded: sending SIGTERM then SIGKILL
[startup+240.001 s]*
/proc/loadavg: 1.55 1.38 1.20 3/218 20084
/proc/meminfo: memFree=18807372/32770624 swapFree=67108860/67108860
[pid=20052] ppid=20049 vsize=9512 memory=1384 CPUtime=0 cores=1,3,5,7
/proc/20052/stat : 20052 (xcsp3-exec) S 20049 20052 19988 0 -1 4202496 514 0 0 0 0 0 0 0 20 0 1 0 154073167 9740288 346 33554432000 4194304 5098028 140726803644848 140726803642952 139702527189628 0 65536 4100 65538 18446744071579417331 0 0 17 5 0 0 0 0 0 7196144 7232144 10997760 140726803653748 140726803653952 140726803653952 140726803656683 0
/proc/20052/statm: 2378 346 289 221 0 87 0
[pid=20054] ppid=20052 vsize=13984976 memory=1759888 CPUtime=259.48 cores=1,3,5,7
/proc/20054/stat : 20054 (java) S 20052 20052 19988 0 -1 1077944320 112921 0 0 0 25820 128 0 0 20 0 15 0 154073167 14320615424 439972 33554432000 4194304 4196468 140724849600992 140724849583536 140006764637943 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 32632832 140724849607837 140724849608012 140724849608012 140724849610703 0
/proc/20054/statm: 3496244 439972 3286 1 0 3483478 0
[pid=20054/tid=20059] ppid=20052 vsize=13984976 memory=1232 CPUtime=236.91 cores=1,3,5,7
/proc/20054/task/20059/stat : 20059 (java) R 20052 20052 19988 0 -1 4202560 22403 0 0 0 23677 14 0 0 20 0 15 0 154073168 14320615424 439972 33554432000 4194304 4196468 140724849600992 140006768877088 140006363896293 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 32632832 140724849607837 140724849608012 140724849608012 140724849610703 0
[pid=20054/tid=20060] ppid=20052 vsize=13984976 memory=4872558044660077418 CPUtime=2.64 cores=1,3,5,7
/proc/20054/task/20060/stat : 20060 (java) S 20052 20052 19988 0 -1 1077944384 7101 0 0 0 238 26 0 0 20 0 15 0 154073169 14320615424 439972 33554432000 4194304 4196468 140724849600992 140006679706000 140006764648149 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 32632832 140724849607837 140724849608012 140724849608012 140724849610703 0
[pid=20054/tid=20061] ppid=20052 vsize=13984976 memory=1759888 CPUtime=2.65 cores=1,3,5,7
/proc/20054/task/20061/stat : 20061 (java) S 20052 20052 19988 0 -1 1077944384 7196 0 0 0 242 23 0 0 20 0 15 0 154073169 14320615424 439972 33554432000 4194304 4196468 140724849600992 140006678653200 140006764648149 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 32632832 140724849607837 140724849608012 140724849608012 140724849610703 0
[pid=20054/tid=20062] ppid=20052 vsize=13984976 memory=2244 CPUtime=2.67 cores=1,3,5,7
/proc/20054/task/20062/stat : 20062 (java) S 20052 20052 19988 0 -1 1077944384 8177 0 0 0 243 24 0 0 20 0 15 0 154073169 14320615424 439972 33554432000 4194304 4196468 140724849600992 140006677600912 140006764648149 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 32632832 140724849607837 140724849608012 140724849608012 140724849610703 0
[pid=20054/tid=20063] ppid=20052 vsize=13984976 memory=2244 CPUtime=2.65 cores=1,3,5,7
/proc/20054/task/20063/stat : 20063 (java) S 20052 20052 19988 0 -1 1077944384 7420 0 0 0 240 25 0 0 20 0 15 0 154073169 14320615424 439972 33554432000 4194304 4196468 140724849600992 140006676548112 140006764648149 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 32632832 140724849607837 140724849608012 140724849608012 140724849610703 0
[pid=20054/tid=20067] ppid=20052 vsize=13984976 memory=1160 CPUtime=0.35 cores=1,3,5,7
/proc/20054/task/20067/stat : 20067 (java) S 20052 20052 19988 0 -1 1077944384 4553 0 0 0 35 0 0 0 20 0 15 0 154073170 14320615424 439972 33554432000 4194304 4196468 140724849600992 140006238947952 140006764649090 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 32632832 140724849607837 140724849608012 140724849608012 140724849610703 0
[pid=20054/tid=20068] ppid=20052 vsize=13984976 memory=3088 CPUtime=0 cores=1,3,5,7
/proc/20054/task/20068/stat : 20068 (java) S 20052 20052 19988 0 -1 1077944384 62 0 0 0 0 0 0 0 20 0 15 0 154073170 14320615424 439972 33554432000 4194304 4196468 140724849600992 140006237893984 140006764648149 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 32632832 140724849607837 140724849608012 140724849608012 140724849610703 0
[pid=20054/tid=20069] ppid=20052 vsize=13984976 memory=1384 CPUtime=0 cores=1,3,5,7
/proc/20054/task/20069/stat : 20069 (java) S 20052 20052 19988 0 -1 1077944384 64 0 0 0 0 0 0 0 20 0 15 0 154073171 14320615424 439972 33554432000 4194304 4196468 140724849600992 140006236841600 140006764648149 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 32632832 140724849607837 140724849608012 140724849608012 140724849610703 0
[pid=20054/tid=20076] ppid=20052 vsize=13984976 memory=4140 CPUtime=0 cores=1,3,5,7
/proc/20054/task/20076/stat : 20076 (java) S 20052 20052 19988 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 154073173 14320615424 439972 33554432000 4194304 4196468 140724849600992 140006235789904 140006764656539 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 32632832 140724849607837 140724849608012 140724849608012 140724849610703 0
[pid=20054/tid=20077] ppid=20052 vsize=13984976 memory=42744 CPUtime=5.05 cores=1,3,5,7
/proc/20054/task/20077/stat : 20077 (java) S 20052 20052 19988 0 -1 1077944384 20318 0 0 0 502 3 0 0 20 0 15 0 154073173 14320615424 439972 33554432000 4194304 4196468 140724849600992 140006234736752 140006764649090 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 32632832 140724849607837 140724849608012 140724849608012 140724849610703 0
[pid=20054/tid=20078] ppid=20052 vsize=13984976 memory=15876 CPUtime=5.4 cores=1,3,5,7
/proc/20054/task/20078/stat : 20078 (java) S 20052 20052 19988 0 -1 1077944384 21612 0 0 0 538 2 0 0 20 0 15 0 154073173 14320615424 439972 33554432000 4194304 4196468 140724849600992 140006233683952 140006764649090 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 32632832 140724849607837 140724849608012 140724849608012 140724849610703 0
[pid=20054/tid=20079] ppid=20052 vsize=13984976 memory=16444 CPUtime=0.97 cores=1,3,5,7
/proc/20054/task/20079/stat : 20079 (java) S 20052 20052 19988 0 -1 1077944384 11493 0 0 0 95 2 0 0 20 0 15 0 154073173 14320615424 439972 33554432000 4194304 4196468 140724849600992 140006232631664 140006764649090 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 32632832 140724849607837 140724849608012 140724849608012 140724849610703 0
[pid=20054/tid=20080] ppid=20052 vsize=13984976 memory=4052 CPUtime=0 cores=1,3,5,7
/proc/20054/task/20080/stat : 20080 (java) S 20052 20052 19988 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 154073173 14320615424 439972 33554432000 4194304 4196468 140724849600992 140006231579104 140006764648149 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 32632832 140724849607837 140724849608012 140724849608012 140724849610703 0
[pid=20054/tid=20081] ppid=20052 vsize=13984976 memory=23580 CPUtime=0.09 cores=1,3,5,7
/proc/20054/task/20081/stat : 20081 (java) S 20052 20052 19988 0 -1 1077944384 1281 0 0 0 4 5 0 0 20 0 15 0 154073173 14320615424 439972 33554432000 4194304 4196468 140724849600992 140006230526896 140006764649090 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 32632832 140724849607837 140724849608012 140724849608012 140724849610703 0
Current children cumulated CPU time: 259.48 s
Current children cumulated vsize: 13994488 KiB
Current children cumulated memory: 1761272 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
[startup+240.02 s]
# the end of solver process 20052 was just reported to runsolver
# cumulated CPU time of all completed processes: user=0.000876 s, system=0.000876 s
[startup+240.031 s]
# the end of solver process 20054 was just reported to runsolver
# cumulated CPU time of all completed processes: user=258.216 s, system=1.29844 s
# this solver process was not waited by its parent and was adopted by runsolver
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
Child status: 143
Real time (s): 240.032
CPU time (s): 259.515
CPU user time (s): 258.216
CPU system time (s): 1.29844
CPU usage (%): 108.117
Max. virtual memory (cumulated for all children) (KiB): 13999096
Max. memory (cumulated for all children) (KiB): 1761288
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 258.216
system time used= 1.29844
maximum resident set size= 1760392
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 113838
page faults= 0
swaps= 0
block input operations= 128
block output operations= 384
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 9287
involuntary context switches= 499
# summary of solver processes directly reported to runsolver:
# pid: 20052,20054
# total CPU time (s): 259.515
# total CPU user time (s): 258.216
# total CPU system time (s): 1.29844
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 1.95749 second user time and 1.81767 second system time
The end