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 (12401 MiB free)
memory of node 1: 16384 MiB (12334 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4283169-1503215415/watcher-4283169-1503215415 -o /tmp/evaluation-result-4283169-1503215415/solver-4283169-1503215415 -C 264 -W 240 -M 15500 --bin-var /tmp/runsolver-exch-node115-1503208459-21140 --watchdog 300 ./xcsp3-exec -dir HOME -tl 264 -ml 11000 -tdir HOME -seed 2142829436 HOME/instance-4283169-1503215415.xml
running on 4 cores: 0,2,4,6
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=26250, runsolver pid=26247
Current StackSize limit: 8192 KiB
[startup+0.100215 s]*
/proc/loadavg: 1.99 1.97 1.92 3/217 26266
/proc/meminfo: memFree=25314028/32770624 swapFree=67108860/67108860
[pid=26250] ppid=26247 vsize=9512 memory=1384 CPUtime=0 cores=0,2,4,6
/proc/26250/stat : 26250 (xcsp3-exec) S 26247 26250 21109 0 -1 4202496 514 0 0 0 0 0 0 0 20 0 1 0 154629048 9740288 346 33554432000 4194304 5098028 140728678274992 140728678273096 139793102279292 0 65536 4100 65538 18446744071579417331 0 0 17 0 0 0 0 0 0 7196144 7232144 40579072 140728678278260 140728678278464 140728678278464 140728678281195 0
/proc/26250/statm: 2378 346 289 221 0 87 0
[pid=26252] ppid=26250 vsize=13978596 memory=27504 CPUtime=0.12 cores=0,2,4,6
/proc/26252/stat : 26252 (java) S 26250 26250 21109 0 -1 1077944320 5311 0 0 0 11 1 0 0 20 0 15 0 154629049 14314082304 6876 33554432000 4194304 4196468 140731309889344 140731309871888 140576291065591 0 0 0 16800975 18446744073709551615 0 0 17 6 0 0 0 0 0 6293624 6294260 38133760 140731309896861 140731309897036 140731309897036 140731309899727 0
/proc/26252/statm: 3494649 6876 2840 1 0 3482966 0
[pid=26252/tid=26253] ppid=26250 vsize=13978596 memory=-6962121287837372198 CPUtime=0.09 cores=0,2,4,6
/proc/26252/task/26253/stat : 26253 (java) R 26250 26250 21109 0 -1 4202560 3323 0 0 0 9 0 0 0 20 0 15 0 154629049 14314082304 6876 33554432000 4194304 4196468 140731309889344 140576295291840 140576291077526 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 38133760 140731309896861 140731309897036 140731309897036 140731309899727 0
[pid=26252/tid=26254] ppid=26250 vsize=13978596 memory=0 CPUtime=0 cores=0,2,4,6
/proc/26252/task/26254/stat : 26254 (java) S 26250 26250 21109 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 154629050 14314082304 6876 33554432000 4194304 4196468 140731309889344 140576228666000 140576291075797 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 38133760 140731309896861 140731309897036 140731309897036 140731309899727 0
[pid=26252/tid=26255] ppid=26250 vsize=13978596 memory=140662292797056 CPUtime=0 cores=0,2,4,6
/proc/26252/task/26255/stat : 26255 (java) S 26250 26250 21109 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 154629050 14314082304 6876 33554432000 4194304 4196468 140731309889344 140576227613200 140576291075797 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 38133760 140731309896861 140731309897036 140731309897036 140731309899727 0
[pid=26252/tid=26256] ppid=26250 vsize=13978596 memory=0 CPUtime=0 cores=0,2,4,6
/proc/26252/task/26256/stat : 26256 (java) S 26250 26250 21109 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 154629050 14314082304 6876 33554432000 4194304 4196468 140731309889344 140575884450192 140576291075797 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 38133760 140731309896861 140731309897036 140731309897036 140731309899727 0
[pid=26252/tid=26257] ppid=26250 vsize=13978596 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/26252/task/26257/stat : 26257 (java) S 26250 26250 21109 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 154629050 14314082304 6876 33554432000 4194304 4196468 140731309889344 140575883397392 140576291075797 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 38133760 140731309896861 140731309897036 140731309897036 140731309899727 0
[pid=26252/tid=26258] ppid=26250 vsize=13978596 memory=140662292797056 CPUtime=0 cores=0,2,4,6
/proc/26252/task/26258/stat : 26258 (java) S 26250 26250 21109 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 154629051 14314082304 6876 33554432000 4194304 4196468 140731309889344 140575832488816 140576291076738 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 38133760 140731309896861 140731309897036 140731309897036 140731309899727 0
[pid=26252/tid=26259] ppid=26250 vsize=13978596 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/26252/task/26259/stat : 26259 (java) S 26250 26250 21109 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 154629052 14314082304 6876 33554432000 4194304 4196468 140731309889344 140575831434784 140576291075797 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 38133760 140731309896861 140731309897036 140731309897036 140731309899727 0
[pid=26252/tid=26260] ppid=26250 vsize=13978596 memory=0 CPUtime=0 cores=0,2,4,6
/proc/26252/task/26260/stat : 26260 (java) S 26250 26250 21109 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 154629052 14314082304 6876 33554432000 4194304 4196468 140731309889344 140575830381936 140576291075797 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 38133760 140731309896861 140731309897036 140731309897036 140731309899727 0
[pid=26252/tid=26261] ppid=26250 vsize=13978596 memory=0 CPUtime=0 cores=0,2,4,6
/proc/26252/task/26261/stat : 26261 (java) S 26250 26250 21109 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 154629054 14314082304 6876 33554432000 4194304 4196468 140731309889344 140575829330256 140576291084187 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 38133760 140731309896861 140731309897036 140731309897036 140731309899727 0
[pid=26252/tid=26262] ppid=26250 vsize=13978596 memory=0 CPUtime=0 cores=0,2,4,6
/proc/26252/task/26262/stat : 26262 (java) S 26250 26250 21109 0 -1 1077944384 301 0 0 0 0 0 0 0 20 0 15 0 154629054 14314082304 6876 33554432000 4194304 4196468 140731309889344 140575828277616 140576291076738 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 38133760 140731309896861 140731309897036 140731309897036 140731309899727 0
[pid=26252/tid=26263] ppid=26250 vsize=13978596 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/26252/task/26263/stat : 26263 (java) S 26250 26250 21109 0 -1 1077944384 124 0 0 0 0 0 0 0 20 0 15 0 154629054 14314082304 6876 33554432000 4194304 4196468 140731309889344 140575827224816 140576291076738 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 38133760 140731309896861 140731309897036 140731309897036 140731309899727 0
[pid=26252/tid=26264] ppid=26250 vsize=13978596 memory=140662292797056 CPUtime=0.01 cores=0,2,4,6
/proc/26252/task/26264/stat : 26264 (java) R 26250 26250 21109 0 -1 4202560 259 0 0 0 1 0 0 0 20 0 15 0 154629054 14314082304 6876 33554432000 4194304 4196468 140731309889344 140575826172016 140576291086938 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 38133760 140731309896861 140731309897036 140731309897036 140731309899727 0
[pid=26252/tid=26265] ppid=26250 vsize=13978596 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/26252/task/26265/stat : 26265 (java) S 26250 26250 21109 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 154629054 14314082304 6876 33554432000 4194304 4196468 140731309889344 140575825119456 140576291075797 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 38133760 140731309896861 140731309897036 140731309897036 140731309899727 0
[pid=26252/tid=26266] ppid=26250 vsize=13978596 memory=140662292797056 CPUtime=0 cores=0,2,4,6
/proc/26252/task/26266/stat : 26266 (java) S 26250 26250 21109 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 154629055 14314082304 6876 33554432000 4194304 4196468 140731309889344 140575755988144 140576291076738 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 38133760 140731309896861 140731309897036 140731309897036 140731309899727 0
Current children cumulated CPU time: 0.12 s
Current children cumulated vsize: 13988108 KiB
Current children cumulated memory: 28888 KiB
[startup+0.210614 s]*
/proc/loadavg: 1.99 1.97 1.92 3/217 26266
/proc/meminfo: memFree=25302612/32770624 swapFree=67108860/67108860
[pid=26250] ppid=26247 vsize=9512 memory=1384 CPUtime=0 cores=0,2,4,6
/proc/26250/stat : 26250 (xcsp3-exec) S 26247 26250 21109 0 -1 4202496 514 0 0 0 0 0 0 0 20 0 1 0 154629048 9740288 346 33554432000 4194304 5098028 140728678274992 140728678273096 139793102279292 0 65536 4100 65538 18446744071579417331 0 0 17 0 0 0 0 0 0 7196144 7232144 40579072 140728678278260 140728678278464 140728678278464 140728678281195 0
/proc/26250/statm: 2378 346 289 221 0 87 0
[pid=26252] ppid=26250 vsize=13982852 memory=40512 CPUtime=0.33 cores=0,2,4,6
/proc/26252/stat : 26252 (java) S 26250 26250 21109 0 -1 1077944320 8120 0 0 0 31 2 0 0 20 0 15 0 154629049 14318440448 10128 33554432000 4194304 4196468 140731309889344 140731309871888 140576291065591 0 0 0 16800975 18446744073709551615 0 0 17 6 0 0 0 0 0 6293624 6294260 38133760 140731309896861 140731309897036 140731309897036 140731309899727 0
/proc/26252/statm: 3495713 10128 3082 1 0 3482966 0
[pid=26252/tid=26253] ppid=26250 vsize=13982852 memory=7883960649037381690 CPUtime=0.19 cores=0,2,4,6
/proc/26252/task/26253/stat : 26253 (java) R 26250 26250 21109 0 -1 4202560 5231 0 0 0 18 1 0 0 20 0 15 0 154629049 14318440448 10128 33554432000 4194304 4196468 140731309889344 140576295286400 140576283743605 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 38133760 140731309896861 140731309897036 140731309897036 140731309899727 0
[pid=26252/tid=26254] ppid=26250 vsize=13982852 memory=9005 CPUtime=0 cores=0,2,4,6
/proc/26252/task/26254/stat : 26254 (java) S 26250 26250 21109 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 154629050 14318440448 10128 33554432000 4194304 4196468 140731309889344 140576228666000 140576291075797 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 38133760 140731309896861 140731309897036 140731309897036 140731309899727 0
[pid=26252/tid=26255] ppid=26250 vsize=13982852 memory=140662293540172 CPUtime=0 cores=0,2,4,6
/proc/26252/task/26255/stat : 26255 (java) S 26250 26250 21109 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 154629050 14318440448 10128 33554432000 4194304 4196468 140731309889344 140576227613200 140576291075797 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 38133760 140731309896861 140731309897036 140731309897036 140731309899727 0
[pid=26252/tid=26256] ppid=26250 vsize=13982852 memory=0 CPUtime=0 cores=0,2,4,6
/proc/26252/task/26256/stat : 26256 (java) S 26250 26250 21109 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 154629050 14318440448 10128 33554432000 4194304 4196468 140731309889344 140575884450192 140576291075797 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 38133760 140731309896861 140731309897036 140731309897036 140731309899727 0
[pid=26252/tid=26257] ppid=26250 vsize=13982852 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/26252/task/26257/stat : 26257 (java) S 26250 26250 21109 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 154629050 14318440448 10128 33554432000 4194304 4196468 140731309889344 140575883397392 140576291075797 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 38133760 140731309896861 140731309897036 140731309897036 140731309899727 0
[pid=26252/tid=26258] ppid=26250 vsize=13982852 memory=140662292797056 CPUtime=0 cores=0,2,4,6
/proc/26252/task/26258/stat : 26258 (java) S 26250 26250 21109 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 154629051 14318440448 10128 33554432000 4194304 4196468 140731309889344 140575832488816 140576291076738 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 38133760 140731309896861 140731309897036 140731309897036 140731309899727 0
[pid=26252/tid=26259] ppid=26250 vsize=13982852 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/26252/task/26259/stat : 26259 (java) S 26250 26250 21109 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 154629052 14318440448 10128 33554432000 4194304 4196468 140731309889344 140575831434784 140576291075797 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 38133760 140731309896861 140731309897036 140731309897036 140731309899727 0
[pid=26252/tid=26260] ppid=26250 vsize=13982852 memory=0 CPUtime=0 cores=0,2,4,6
/proc/26252/task/26260/stat : 26260 (java) S 26250 26250 21109 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 154629052 14318440448 10128 33554432000 4194304 4196468 140731309889344 140575830381936 140576291075797 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 38133760 140731309896861 140731309897036 140731309897036 140731309899727 0
[pid=26252/tid=26261] ppid=26250 vsize=13982852 memory=0 CPUtime=0 cores=0,2,4,6
/proc/26252/task/26261/stat : 26261 (java) S 26250 26250 21109 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 154629054 14318440448 10128 33554432000 4194304 4196468 140731309889344 140575829330256 140576291084187 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 38133760 140731309896861 140731309897036 140731309897036 140731309899727 0
[pid=26252/tid=26262] ppid=26250 vsize=13982852 memory=0 CPUtime=0.02 cores=0,2,4,6
/proc/26252/task/26262/stat : 26262 (java) S 26250 26250 21109 0 -1 1077944384 547 0 0 0 2 0 0 0 20 0 15 0 154629054 14318440448 10128 33554432000 4194304 4196468 140731309889344 140575828277616 140576291076738 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 38133760 140731309896861 140731309897036 140731309897036 140731309899727 0
[pid=26252/tid=26263] ppid=26250 vsize=13982852 memory=-1 CPUtime=0.02 cores=0,2,4,6
/proc/26252/task/26263/stat : 26263 (java) S 26250 26250 21109 0 -1 1077944384 268 0 0 0 2 0 0 0 20 0 15 0 154629054 14318440448 10128 33554432000 4194304 4196468 140731309889344 140575827224816 140576291076738 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 38133760 140731309896861 140731309897036 140731309897036 140731309899727 0
[pid=26252/tid=26264] ppid=26250 vsize=13982852 memory=140662292797056 CPUtime=0.07 cores=0,2,4,6
/proc/26252/task/26264/stat : 26264 (java) S 26250 26250 21109 0 -1 1077944384 770 0 0 0 7 0 0 0 20 0 15 0 154629054 14318440448 10128 33554432000 4194304 4196468 140731309889344 140575826172016 140576291076738 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 38133760 140731309896861 140731309897036 140731309897036 140731309899727 0
[pid=26252/tid=26265] ppid=26250 vsize=13982852 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/26252/task/26265/stat : 26265 (java) S 26250 26250 21109 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 154629054 14318440448 10128 33554432000 4194304 4196468 140731309889344 140575825119456 140576291075797 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 38133760 140731309896861 140731309897036 140731309897036 140731309899727 0
[pid=26252/tid=26266] ppid=26250 vsize=13982852 memory=0 CPUtime=0 cores=0,2,4,6
/proc/26252/task/26266/stat : 26266 (java) S 26250 26250 21109 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 154629055 14318440448 10128 33554432000 4194304 4196468 140731309889344 140575755988144 140576291076738 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 38133760 140731309896861 140731309897036 140731309897036 140731309899727 0
Current children cumulated CPU time: 0.33 s
Current children cumulated vsize: 13992364 KiB
Current children cumulated memory: 41896 KiB
[startup+0.310614 s]*
/proc/loadavg: 1.99 1.97 1.92 4/217 26266
/proc/meminfo: memFree=25296356/32770624 swapFree=67108860/67108860
[pid=26250] ppid=26247 vsize=9512 memory=1384 CPUtime=0 cores=0,2,4,6
/proc/26250/stat : 26250 (xcsp3-exec) S 26247 26250 21109 0 -1 4202496 514 0 0 0 0 0 0 0 20 0 1 0 154629048 9740288 346 33554432000 4194304 5098028 140728678274992 140728678273096 139793102279292 0 65536 4100 65538 18446744071579417331 0 0 17 0 0 0 0 0 0 7196144 7232144 40579072 140728678278260 140728678278464 140728678278464 140728678281195 0
/proc/26250/statm: 2378 346 289 221 0 87 0
[pid=26252] ppid=26250 vsize=13982852 memory=46948 CPUtime=0.5 cores=0,2,4,6
/proc/26252/stat : 26252 (java) S 26250 26250 21109 0 -1 1077944320 8916 0 0 0 47 3 0 0 20 0 15 0 154629049 14318440448 11737 33554432000 4194304 4196468 140731309889344 140731309871888 140576291065591 0 0 0 16800975 18446744073709551615 0 0 17 6 0 0 0 0 0 6293624 6294260 38133760 140731309896861 140731309897036 140731309897036 140731309899727 0
/proc/26252/statm: 3495713 11737 3097 1 0 3482966 0
[pid=26252/tid=26253] ppid=26250 vsize=13982852 memory=6791534058613427641 CPUtime=0.29 cores=0,2,4,6
/proc/26252/task/26253/stat : 26253 (java) R 26250 26250 21109 0 -1 4202560 5907 0 0 0 27 2 0 0 20 0 15 0 154629049 14318440448 11737 33554432000 4194304 4196468 140731309889344 140576295292192 140576291087517 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 38133760 140731309896861 140731309897036 140731309897036 140731309899727 0
[pid=26252/tid=26254] ppid=26250 vsize=13982852 memory=6943526294502006880 CPUtime=0 cores=0,2,4,6
/proc/26252/task/26254/stat : 26254 (java) S 26250 26250 21109 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 154629050 14318440448 11737 33554432000 4194304 4196468 140731309889344 140576228666000 140576291075797 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 38133760 140731309896861 140731309897036 140731309897036 140731309899727 0
[pid=26252/tid=26255] ppid=26250 vsize=13982852 memory=6944656575208382560 CPUtime=0 cores=0,2,4,6
/proc/26252/task/26255/stat : 26255 (java) S 26250 26250 21109 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 154629050 14318440448 11737 33554432000 4194304 4196468 140731309889344 140576227613200 140576291075797 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 38133760 140731309896861 140731309897036 140731309897036 140731309899727 0
[pid=26252/tid=26256] ppid=26250 vsize=13982852 memory=-3258418265892434876 CPUtime=0 cores=0,2,4,6
/proc/26252/task/26256/stat : 26256 (java) S 26250 26250 21109 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 154629050 14318440448 11737 33554432000 4194304 4196468 140731309889344 140575884450192 140576291075797 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 38133760 140731309896861 140731309897036 140731309897036 140731309899727 0
[pid=26252/tid=26257] ppid=26250 vsize=13982852 memory=4500088472188524148 CPUtime=0 cores=0,2,4,6
/proc/26252/task/26257/stat : 26257 (java) S 26250 26250 21109 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 154629050 14318440448 11737 33554432000 4194304 4196468 140731309889344 140575883397392 140576291075797 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 38133760 140731309896861 140731309897036 140731309897036 140731309899727 0
[pid=26252/tid=26258] ppid=26250 vsize=13982852 memory=6944613755495348631 CPUtime=0 cores=0,2,4,6
/proc/26252/task/26258/stat : 26258 (java) S 26250 26250 21109 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 154629051 14318440448 11737 33554432000 4194304 4196468 140731309889344 140575832488816 140576291076738 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 38133760 140731309896861 140731309897036 140731309897036 140731309899727 0
[pid=26252/tid=26259] ppid=26250 vsize=13982852 memory=7893295687695687954 CPUtime=0 cores=0,2,4,6
/proc/26252/task/26259/stat : 26259 (java) S 26250 26250 21109 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 154629052 14318440448 11737 33554432000 4194304 4196468 140731309889344 140575831434784 140576291075797 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 38133760 140731309896861 140731309897036 140731309897036 140731309899727 0
[pid=26252/tid=26260] ppid=26250 vsize=13982852 memory=-8813974798734826869 CPUtime=0 cores=0,2,4,6
/proc/26252/task/26260/stat : 26260 (java) S 26250 26250 21109 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 154629052 14318440448 11737 33554432000 4194304 4196468 140731309889344 140575830381936 140576291075797 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 38133760 140731309896861 140731309897036 140731309897036 140731309899727 0
[pid=26252/tid=26261] ppid=26250 vsize=13982852 memory=-6664436420846796947 CPUtime=0 cores=0,2,4,6
/proc/26252/task/26261/stat : 26261 (java) S 26250 26250 21109 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 154629054 14318440448 11737 33554432000 4194304 4196468 140731309889344 140575829330256 140576291084187 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 38133760 140731309896861 140731309897036 140731309897036 140731309899727 0
[pid=26252/tid=26262] ppid=26250 vsize=13982852 memory=4713750055892520310 CPUtime=0.02 cores=0,2,4,6
/proc/26252/task/26262/stat : 26262 (java) S 26250 26250 21109 0 -1 1077944384 552 0 0 0 2 0 0 0 20 0 15 0 154629054 14318440448 11737 33554432000 4194304 4196468 140731309889344 140575828277616 140576291076738 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 38133760 140731309896861 140731309897036 140731309897036 140731309899727 0
[pid=26252/tid=26263] ppid=26250 vsize=13982852 memory=0 CPUtime=0.04 cores=0,2,4,6
/proc/26252/task/26263/stat : 26263 (java) S 26250 26250 21109 0 -1 1077944384 309 0 0 0 4 0 0 0 20 0 15 0 154629054 14318440448 11737 33554432000 4194304 4196468 140731309889344 140575827224816 140576291076738 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 38133760 140731309896861 140731309897036 140731309897036 140731309899727 0
[pid=26252/tid=26264] ppid=26250 vsize=13982852 memory=0 CPUtime=0.12 cores=0,2,4,6
/proc/26252/task/26264/stat : 26264 (java) R 26250 26250 21109 0 -1 4202560 844 0 0 0 12 0 0 0 20 0 15 0 154629054 14318440448 11737 33554432000 4194304 4196468 140731309889344 140575826168384 140576269984411 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 38133760 140731309896861 140731309897036 140731309897036 140731309899727 0
[pid=26252/tid=26265] ppid=26250 vsize=13982852 memory=0 CPUtime=0 cores=0,2,4,6
/proc/26252/task/26265/stat : 26265 (java) S 26250 26250 21109 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 154629054 14318440448 11737 33554432000 4194304 4196468 140731309889344 140575825119456 140576291075797 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 38133760 140731309896861 140731309897036 140731309897036 140731309899727 0
[pid=26252/tid=26266] ppid=26250 vsize=13982852 memory=0 CPUtime=0 cores=0,2,4,6
/proc/26252/task/26266/stat : 26266 (java) S 26250 26250 21109 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 154629055 14318440448 11737 33554432000 4194304 4196468 140731309889344 140575755988144 140576291076738 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 38133760 140731309896861 140731309897036 140731309897036 140731309899727 0
Current children cumulated CPU time: 0.5 s
Current children cumulated vsize: 13992364 KiB
Current children cumulated memory: 48332 KiB
[startup+0.700857 s]
/proc/loadavg: 1.99 1.97 1.92 5/217 26266
/proc/meminfo: memFree=25264964/32770624 swapFree=67108860/67108860
[pid=26250] ppid=26247 vsize=9512 memory=1384 CPUtime=0 cores=0,2,4,6
/proc/26250/stat : 26250 (xcsp3-exec) S 26247 26250 21109 0 -1 4202496 514 0 0 0 0 0 0 0 20 0 1 0 154629048 9740288 346 33554432000 4194304 5098028 140728678274992 140728678273096 139793102279292 0 65536 4100 65538 18446744071579417331 0 0 17 0 0 0 0 0 0 7196144 7232144 40579072 140728678278260 140728678278464 140728678278464 140728678281195 0
/proc/26250/statm: 2378 346 289 221 0 87 0
[pid=26252] ppid=26250 vsize=13982928 memory=127344 CPUtime=1.78 cores=0,2,4,6
/proc/26252/stat : 26252 (java) S 26250 26250 21109 0 -1 1077944320 12074 0 0 0 173 5 0 0 20 0 15 0 154629049 14318518272 31836 33554432000 4194304 4196468 140731309889344 140731309871888 140576291065591 0 0 0 16800975 18446744073709551615 0 0 17 6 0 0 0 0 0 6293624 6294260 38133760 140731309896861 140731309897036 140731309897036 140731309899727 0
/proc/26252/statm: 3495732 31836 3198 1 0 3482966 0
[pid=26252/tid=26253] ppid=26250 vsize=13982928 memory=33 CPUtime=0.67 cores=0,2,4,6
/proc/26252/task/26253/stat : 26253 (java) R 26250 26250 21109 0 -1 4202560 6243 0 0 0 64 3 0 0 20 0 15 0 154629049 14318518272 31836 33554432000 4194304 4196468 140731309889344 140576295302784 140575910685744 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 38133760 140731309896861 140731309897036 140731309897036 140731309899727 0
[pid=26252/tid=26254] ppid=26250 vsize=13982928 memory=288230587427463936 CPUtime=0 cores=0,2,4,6
/proc/26252/task/26254/stat : 26254 (java) S 26250 26250 21109 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 154629050 14318518272 31836 33554432000 4194304 4196468 140731309889344 140576228666000 140576291075797 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 38133760 140731309896861 140731309897036 140731309897036 140731309899727 0
[pid=26252/tid=26255] ppid=26250 vsize=13982928 memory=16106957111054841 CPUtime=0 cores=0,2,4,6
/proc/26252/task/26255/stat : 26255 (java) S 26250 26250 21109 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 154629050 14318518272 31836 33554432000 4194304 4196468 140731309889344 140576227613200 140576291075797 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 38133760 140731309896861 140731309897036 140731309897036 140731309899727 0
[pid=26252/tid=26256] ppid=26250 vsize=13982928 memory=0 CPUtime=0 cores=0,2,4,6
/proc/26252/task/26256/stat : 26256 (java) S 26250 26250 21109 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 154629050 14318518272 31836 33554432000 4194304 4196468 140731309889344 140575884450192 140576291075797 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 38133760 140731309896861 140731309897036 140731309897036 140731309899727 0
[pid=26252/tid=26257] ppid=26250 vsize=13982928 memory=0 CPUtime=0 cores=0,2,4,6
/proc/26252/task/26257/stat : 26257 (java) S 26250 26250 21109 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 154629050 14318518272 31836 33554432000 4194304 4196468 140731309889344 140575883397392 140576291075797 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 38133760 140731309896861 140731309897036 140731309897036 140731309899727 0
[pid=26252/tid=26258] ppid=26250 vsize=13982928 memory=0 CPUtime=0 cores=0,2,4,6
/proc/26252/task/26258/stat : 26258 (java) S 26250 26250 21109 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 154629051 14318518272 31836 33554432000 4194304 4196468 140731309889344 140575832488816 140576291076738 0 0 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 38133760 140731309896861 140731309897036 140731309897036 140731309899727 0
[pid=26252/tid=26259] ppid=26250 vsize=13982928 memory=0 CPUtime=0 cores=0,2,4,6
/proc/26252/task/26259/stat : 26259 (java) S 26250 26250 21109 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 154629052 14318518272 31836 33554432000 4194304 4196468 140731309889344 140575831434784 140576291075797 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 38133760 140731309896861 140731309897036 140731309897036 140731309899727 0
[pid=26252/tid=26260] ppid=26250 vsize=13982928 memory=0 CPUtime=0 cores=0,2,4,6
/proc/26252/task/26260/stat : 26260 (java) S 26250 26250 21109 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 154629052 14318518272 31836 33554432000 4194304 4196468 140731309889344 140575830381936 140576291075797 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 38133760 140731309896861 140731309897036 140731309897036 140731309899727 0
[pid=26252/tid=26261] ppid=26250 vsize=13982928 memory=0 CPUtime=0 cores=0,2,4,6
/proc/26252/task/26261/stat : 26261 (java) S 26250 26250 21109 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 154629054 14318518272 31836 33554432000 4194304 4196468 140731309889344 140575829330256 140576291084187 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 38133760 140731309896861 140731309897036 140731309897036 140731309899727 0
[pid=26252/tid=26262] ppid=26250 vsize=13982928 memory=0 CPUtime=0.38 cores=0,2,4,6
/proc/26252/task/26262/stat : 26262 (java) R 26250 26250 21109 0 -1 4202560 1410 0 0 0 38 0 0 0 20 0 15 0 154629054 14318518272 31836 33554432000 4194304 4196468 140731309889344 140575828265760 140576270291006 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 38133760 140731309896861 140731309897036 140731309897036 140731309899727 0
[pid=26252/tid=26263] ppid=26250 vsize=13982928 memory=4125976002727996016 CPUtime=0.41 cores=0,2,4,6
/proc/26252/task/26263/stat : 26263 (java) R 26250 26250 21109 0 -1 4202560 1406 0 0 0 41 0 0 0 20 0 15 0 154629054 14318518272 31836 33554432000 4194304 4196468 140731309889344 140575827213840 140576276436880 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 38133760 140731309896861 140731309897036 140731309897036 140731309899727 0
[pid=26252/tid=26264] ppid=26250 vsize=13982928 memory=7162246588954733925 CPUtime=0.29 cores=0,2,4,6
/proc/26252/task/26264/stat : 26264 (java) S 26250 26250 21109 0 -1 1077944384 1708 0 0 0 29 0 0 0 20 0 15 0 154629054 14318518272 31836 33554432000 4194304 4196468 140731309889344 140575826172016 140576291076738 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 38133760 140731309896861 140731309897036 140731309897036 140731309899727 0
[pid=26252/tid=26265] ppid=26250 vsize=13982928 memory=7594587674001172330 CPUtime=0 cores=0,2,4,6
/proc/26252/task/26265/stat : 26265 (java) S 26250 26250 21109 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 154629054 14318518272 31836 33554432000 4194304 4196468 140731309889344 140575825119456 140576291075797 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 38133760 140731309896861 140731309897036 140731309897036 140731309899727 0
[pid=26252/tid=26266] ppid=26250 vsize=13982928 memory=7300704776819335744 CPUtime=0 cores=0,2,4,6
/proc/26252/task/26266/stat : 26266 (java) S 26250 26250 21109 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 154629055 14318518272 31836 33554432000 4194304 4196468 140731309889344 140575755988144 140576291076738 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 38133760 140731309896861 140731309897036 140731309897036 140731309899727 0
Current children cumulated CPU time: 1.78 s
Current children cumulated vsize: 13992440 KiB
Current children cumulated memory: 128728 KiB
[startup+1.50179 s]
/proc/loadavg: 1.99 1.97 1.92 5/217 26266
/proc/meminfo: memFree=25122228/32770624 swapFree=67108860/67108860
[pid=26250] ppid=26247 vsize=9512 memory=1384 CPUtime=0 cores=0,2,4,6
/proc/26250/stat : 26250 (xcsp3-exec) S 26247 26250 21109 0 -1 4202496 514 0 0 0 0 0 0 0 20 0 1 0 154629048 9740288 346 33554432000 4194304 5098028 140728678274992 140728678273096 139793102279292 0 65536 4100 65538 18446744071579417331 0 0 17 0 0 0 0 0 0 7196144 7232144 40579072 140728678278260 140728678278464 140728678278464 140728678281195 0
/proc/26250/statm: 2378 346 289 221 0 87 0
################
# More data... #
################
/proc/26252/task/26260/stat : 26260 (java) S 26250 26250 21109 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 154629052 14320615424 573238 33554432000 4194304 4196468 140731309889344 140575830381952 140576291075797 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 38133760 140731309896861 140731309897036 140731309897036 140731309899727 0
[pid=26252/tid=26261] ppid=26250 vsize=13984976 memory=2292948 CPUtime=0 cores=0,2,4,6
/proc/26252/task/26261/stat : 26261 (java) S 26250 26250 21109 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 154629054 14320615424 573238 33554432000 4194304 4196468 140731309889344 140575829330256 140576291084187 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 38133760 140731309896861 140731309897036 140731309897036 140731309899727 0
[pid=26252/tid=26262] ppid=26250 vsize=13984976 memory=2292952 CPUtime=2.71 cores=0,2,4,6
/proc/26252/task/26262/stat : 26262 (java) S 26250 26250 21109 0 -1 1077944384 6377 0 0 0 271 0 0 0 20 0 15 0 154629054 14320615424 573238 33554432000 4194304 4196468 140731309889344 140575828277616 140576291076738 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 38133760 140731309896861 140731309897036 140731309897036 140731309899727 0
[pid=26252/tid=26263] ppid=26250 vsize=13984976 memory=1384 CPUtime=2.36 cores=0,2,4,6
/proc/26252/task/26263/stat : 26263 (java) S 26250 26250 21109 0 -1 1077944384 5903 0 0 0 235 1 0 0 20 0 15 0 154629054 14320615424 573238 33554432000 4194304 4196468 140731309889344 140575827224816 140576291076738 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 38133760 140731309896861 140731309897036 140731309897036 140731309899727 0
[pid=26252/tid=26264] ppid=26250 vsize=13984976 memory=15058155342575 CPUtime=0.74 cores=0,2,4,6
/proc/26252/task/26264/stat : 26264 (java) S 26250 26250 21109 0 -1 1077944384 5981 0 0 0 73 1 0 0 20 0 15 0 154629054 14320615424 573238 33554432000 4194304 4196468 140731309889344 140575826172016 140576291076738 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 13 0 0 6293624 6294260 38133760 140731309896861 140731309897036 140731309897036 140731309899727 0
[pid=26252/tid=26265] ppid=26250 vsize=13984976 memory=7380385388137112419 CPUtime=0 cores=0,2,4,6
/proc/26252/task/26265/stat : 26265 (java) S 26250 26250 21109 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 154629054 14320615424 573238 33554432000 4194304 4196468 140731309889344 140575825119456 140576291075797 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 38133760 140731309896861 140731309897036 140731309897036 140731309899727 0
[pid=26252/tid=26266] ppid=26250 vsize=13984976 memory=281324385168448 CPUtime=0.05 cores=0,2,4,6
/proc/26252/task/26266/stat : 26266 (java) S 26250 26250 21109 0 -1 1077944384 934 0 0 0 2 3 0 0 20 0 15 0 154629055 14320615424 573238 33554432000 4194304 4196468 140731309889344 140575755988144 140576291076738 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 12 0 0 6293624 6294260 38133760 140731309896861 140731309897036 140731309897036 140731309899727 0
Current children cumulated CPU time: 108.96 s
Current children cumulated vsize: 13994488 KiB
Current children cumulated memory: 2294336 KiB
[startup+162.301 s]
/proc/loadavg: 1.98 1.96 1.93 3/217 26582
/proc/meminfo: memFree=23228820/32770624 swapFree=67108860/67108860
[pid=26250] ppid=26247 vsize=9512 memory=1384 CPUtime=0 cores=0,2,4,6
/proc/26250/stat : 26250 (xcsp3-exec) S 26247 26250 21109 0 -1 4202496 514 0 0 0 0 0 0 0 20 0 1 0 154629048 9740288 346 33554432000 4194304 5098028 140728678274992 140728678273096 139793102279292 0 65536 4100 65538 18446744071579417331 0 0 17 0 0 0 0 0 0 7196144 7232144 40579072 140728678278260 140728678278464 140728678278464 140728678281195 0
/proc/26250/statm: 2378 346 289 221 0 87 0
[pid=26252] ppid=26250 vsize=13984976 memory=3302780 CPUtime=169.1 cores=0,2,4,6
/proc/26252/stat : 26252 (java) S 26250 26250 21109 0 -1 1077944320 46971 0 0 0 16826 84 0 0 20 0 15 0 154629049 14320615424 825695 33554432000 4194304 4196468 140731309889344 140731309871888 140576291065591 0 0 0 16800975 18446744073709551615 0 0 17 6 0 0 0 0 0 6293624 6294260 38133760 140731309896861 140731309897036 140731309897036 140731309899727 0
/proc/26252/statm: 3496244 825695 3262 1 0 3483478 0
[pid=26252/tid=26253] ppid=26250 vsize=13984976 memory=3124604 CPUtime=161.73 cores=0,2,4,6
/proc/26252/task/26253/stat : 26253 (java) R 26250 26250 21109 0 -1 4202560 16833 0 0 0 16128 45 0 0 20 0 15 0 154629049 14320615424 825695 33554432000 4194304 4196468 140731309889344 140576295302400 140575914688746 0 4 0 16800975 0 0 0 -1 2 0 0 13 0 0 6293624 6294260 38133760 140731309896861 140731309897036 140731309897036 140731309899727 0
[pid=26252/tid=26254] ppid=26250 vsize=13984976 memory=3163516 CPUtime=0.29 cores=0,2,4,6
/proc/26252/task/26254/stat : 26254 (java) S 26250 26250 21109 0 -1 1077944384 686 0 0 0 23 6 0 0 20 0 15 0 154629050 14320615424 825695 33554432000 4194304 4196468 140731309889344 140576228666000 140576291075797 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 38133760 140731309896861 140731309897036 140731309897036 140731309899727 0
[pid=26252/tid=26255] ppid=26250 vsize=13984976 memory=3239292 CPUtime=0.34 cores=0,2,4,6
/proc/26252/task/26255/stat : 26255 (java) S 26250 26250 21109 0 -1 1077944384 1695 0 0 0 27 7 0 0 20 0 15 0 154629050 14320615424 825695 33554432000 4194304 4196468 140731309889344 140576227613200 140576291075797 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 38133760 140731309896861 140731309897036 140731309897036 140731309899727 0
[pid=26252/tid=26256] ppid=26250 vsize=13984976 memory=3265916 CPUtime=0.31 cores=0,2,4,6
/proc/26252/task/26256/stat : 26256 (java) S 26250 26250 21109 0 -1 1077944384 1213 0 0 0 24 7 0 0 20 0 15 0 154629050 14320615424 825695 33554432000 4194304 4196468 140731309889344 140575884450192 140576291075797 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 38133760 140731309896861 140731309897036 140731309897036 140731309899727 0
[pid=26252/tid=26257] ppid=26250 vsize=13984976 memory=3290492 CPUtime=0.34 cores=0,2,4,6
/proc/26252/task/26257/stat : 26257 (java) S 26250 26250 21109 0 -1 1077944384 796 0 0 0 26 8 0 0 20 0 15 0 154629050 14320615424 825695 33554432000 4194304 4196468 140731309889344 140575883397392 140576291075797 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 38133760 140731309896861 140731309897036 140731309897036 140731309899727 0
[pid=26252/tid=26258] ppid=26250 vsize=13984976 memory=1384 CPUtime=0.02 cores=0,2,4,6
/proc/26252/task/26258/stat : 26258 (java) S 26250 26250 21109 0 -1 1077944384 2439 0 0 0 1 1 0 0 20 0 15 0 154629051 14320615424 825695 33554432000 4194304 4196468 140731309889344 140575832488816 140576291076738 0 0 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 38133760 140731309896861 140731309897036 140731309897036 140731309899727 0
[pid=26252/tid=26259] ppid=26250 vsize=13984976 memory=2295164 CPUtime=0 cores=0,2,4,6
/proc/26252/task/26259/stat : 26259 (java) S 26250 26250 21109 0 -1 1077944384 37 0 0 0 0 0 0 0 20 0 15 0 154629052 14320615424 825695 33554432000 4194304 4196468 140731309889344 140575831434848 140576291075797 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 38133760 140731309896861 140731309897036 140731309897036 140731309899727 0
[pid=26252/tid=26260] ppid=26250 vsize=13984976 memory=2831740 CPUtime=0 cores=0,2,4,6
/proc/26252/task/26260/stat : 26260 (java) S 26250 26250 21109 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 154629052 14320615424 825695 33554432000 4194304 4196468 140731309889344 140575830381952 140576291075797 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 38133760 140731309896861 140731309897036 140731309897036 140731309899727 0
[pid=26252/tid=26261] ppid=26250 vsize=13984976 memory=2983292 CPUtime=0 cores=0,2,4,6
/proc/26252/task/26261/stat : 26261 (java) S 26250 26250 21109 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 154629054 14320615424 825695 33554432000 4194304 4196468 140731309889344 140575829330256 140576291084187 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 38133760 140731309896861 140731309897036 140731309897036 140731309899727 0
[pid=26252/tid=26262] ppid=26250 vsize=13984976 memory=1384 CPUtime=2.75 cores=0,2,4,6
/proc/26252/task/26262/stat : 26262 (java) S 26250 26250 21109 0 -1 1077944384 7869 0 0 0 274 1 0 0 20 0 15 0 154629054 14320615424 825695 33554432000 4194304 4196468 140731309889344 140575828277616 140576291076738 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 38133760 140731309896861 140731309897036 140731309897036 140731309899727 0
[pid=26252/tid=26263] ppid=26250 vsize=13984976 memory=6791534058613427641 CPUtime=2.41 cores=0,2,4,6
/proc/26252/task/26263/stat : 26263 (java) S 26250 26250 21109 0 -1 1077944384 7218 0 0 0 240 1 0 0 20 0 15 0 154629054 14320615424 825695 33554432000 4194304 4196468 140731309889344 140575827224816 140576291076738 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 38133760 140731309896861 140731309897036 140731309897036 140731309899727 0
[pid=26252/tid=26264] ppid=26250 vsize=13984976 memory=3832 CPUtime=0.74 cores=0,2,4,6
/proc/26252/task/26264/stat : 26264 (java) S 26250 26250 21109 0 -1 1077944384 5981 0 0 0 73 1 0 0 20 0 15 0 154629054 14320615424 825695 33554432000 4194304 4196468 140731309889344 140575826172016 140576291076738 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 13 0 0 6293624 6294260 38133760 140731309896861 140731309897036 140731309897036 140731309899727 0
[pid=26252/tid=26265] ppid=26250 vsize=13984976 memory=1384 CPUtime=0 cores=0,2,4,6
/proc/26252/task/26265/stat : 26265 (java) S 26250 26250 21109 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 154629054 14320615424 825695 33554432000 4194304 4196468 140731309889344 140575825119456 140576291075797 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 38133760 140731309896861 140731309897036 140731309897036 140731309899727 0
[pid=26252/tid=26266] ppid=26250 vsize=13984976 memory=3104124 CPUtime=0.09 cores=0,2,4,6
/proc/26252/task/26266/stat : 26266 (java) S 26250 26250 21109 0 -1 1077944384 941 0 0 0 5 4 0 0 20 0 15 0 154629055 14320615424 825695 33554432000 4194304 4196468 140731309889344 140575755988144 140576291076738 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 12 0 0 6293624 6294260 38133760 140731309896861 140731309897036 140731309897036 140731309899727 0
Current children cumulated CPU time: 169.1 s
Current children cumulated vsize: 13994488 KiB
Current children cumulated memory: 3304164 KiB
[startup+222.301 s]
/proc/loadavg: 1.99 1.97 1.93 3/217 26583
/proc/meminfo: memFree=22989444/32770624 swapFree=67108860/67108860
[pid=26250] ppid=26247 vsize=9512 memory=1384 CPUtime=0 cores=0,2,4,6
/proc/26250/stat : 26250 (xcsp3-exec) S 26247 26250 21109 0 -1 4202496 514 0 0 0 0 0 0 0 20 0 1 0 154629048 9740288 346 33554432000 4194304 5098028 140728678274992 140728678273096 139793102279292 0 65536 4100 65538 18446744071579417331 0 0 17 0 0 0 0 0 0 7196144 7232144 40579072 140728678278260 140728678278464 140728678278464 140728678281195 0
/proc/26250/statm: 2378 346 289 221 0 87 0
[pid=26252] ppid=26250 vsize=13984976 memory=3522480 CPUtime=229.15 cores=0,2,4,6
/proc/26252/stat : 26252 (java) S 26250 26250 21109 0 -1 1077944320 51119 0 0 0 22826 89 0 0 20 0 15 0 154629049 14320615424 880620 33554432000 4194304 4196468 140731309889344 140731309871888 140576291065591 0 0 0 16800975 18446744073709551615 0 0 17 6 0 0 0 0 0 6293624 6294260 38133760 140731309896861 140731309897036 140731309897036 140731309899727 0
/proc/26252/statm: 3496244 880620 3262 1 0 3483478 0
[pid=26252/tid=26253] ppid=26250 vsize=13984976 memory=3522480 CPUtime=221.72 cores=0,2,4,6
/proc/26252/task/26253/stat : 26253 (java) R 26250 26250 21109 0 -1 4202560 18699 0 0 0 22124 48 0 0 20 0 15 0 154629049 14320615424 880620 33554432000 4194304 4196468 140731309889344 140576295305456 140575914688680 0 4 0 16800975 0 0 0 -1 2 0 0 13 0 0 6293624 6294260 38133760 140731309896861 140731309897036 140731309897036 140731309899727 0
[pid=26252/tid=26254] ppid=26250 vsize=13984976 memory=3520388 CPUtime=0.29 cores=0,2,4,6
/proc/26252/task/26254/stat : 26254 (java) S 26250 26250 21109 0 -1 1077944384 995 0 0 0 23 6 0 0 20 0 15 0 154629050 14320615424 880620 33554432000 4194304 4196468 140731309889344 140576228666000 140576291075797 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 38133760 140731309896861 140731309897036 140731309897036 140731309899727 0
[pid=26252/tid=26255] ppid=26250 vsize=13984976 memory=3522480 CPUtime=0.34 cores=0,2,4,6
/proc/26252/task/26255/stat : 26255 (java) S 26250 26250 21109 0 -1 1077944384 2059 0 0 0 27 7 0 0 20 0 15 0 154629050 14320615424 880620 33554432000 4194304 4196468 140731309889344 140576227613200 140576291075797 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 38133760 140731309896861 140731309897036 140731309897036 140731309899727 0
[pid=26252/tid=26256] ppid=26250 vsize=13984976 memory=1384 CPUtime=0.31 cores=0,2,4,6
/proc/26252/task/26256/stat : 26256 (java) S 26250 26250 21109 0 -1 1077944384 1648 0 0 0 24 7 0 0 20 0 15 0 154629050 14320615424 880620 33554432000 4194304 4196468 140731309889344 140575884450192 140576291075797 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 38133760 140731309896861 140731309897036 140731309897036 140731309899727 0
[pid=26252/tid=26257] ppid=26250 vsize=13984976 memory=31 CPUtime=0.34 cores=0,2,4,6
/proc/26252/task/26257/stat : 26257 (java) S 26250 26250 21109 0 -1 1077944384 1449 0 0 0 26 8 0 0 20 0 15 0 154629050 14320615424 880620 33554432000 4194304 4196468 140731309889344 140575883397392 140576291075797 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 38133760 140731309896861 140731309897036 140731309897036 140731309899727 0
[pid=26252/tid=26258] ppid=26250 vsize=13984976 memory=288230574492221466 CPUtime=0.02 cores=0,2,4,6
/proc/26252/task/26258/stat : 26258 (java) S 26250 26250 21109 0 -1 1077944384 2800 0 0 0 1 1 0 0 20 0 15 0 154629051 14320615424 880620 33554432000 4194304 4196468 140731309889344 140575832488816 140576291076738 0 0 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 38133760 140731309896861 140731309897036 140731309897036 140731309899727 0
[pid=26252/tid=26259] ppid=26250 vsize=13984976 memory=288230596050944315 CPUtime=0 cores=0,2,4,6
/proc/26252/task/26259/stat : 26259 (java) S 26250 26250 21109 0 -1 1077944384 37 0 0 0 0 0 0 0 20 0 15 0 154629052 14320615424 880620 33554432000 4194304 4196468 140731309889344 140575831434848 140576291075797 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 38133760 140731309896861 140731309897036 140731309897036 140731309899727 0
[pid=26252/tid=26260] ppid=26250 vsize=13984976 memory=3520388 CPUtime=0 cores=0,2,4,6
/proc/26252/task/26260/stat : 26260 (java) S 26250 26250 21109 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 154629052 14320615424 880620 33554432000 4194304 4196468 140731309889344 140575830381952 140576291075797 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 38133760 140731309896861 140731309897036 140731309897036 140731309899727 0
[pid=26252/tid=26261] ppid=26250 vsize=13984976 memory=1384 CPUtime=0 cores=0,2,4,6
/proc/26252/task/26261/stat : 26261 (java) S 26250 26250 21109 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 154629054 14320615424 880620 33554432000 4194304 4196468 140731309889344 140575829330256 140576291084187 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 38133760 140731309896861 140731309897036 140731309897036 140731309899727 0
[pid=26252/tid=26262] ppid=26250 vsize=13984976 memory=1384 CPUtime=2.75 cores=0,2,4,6
/proc/26252/task/26262/stat : 26262 (java) S 26250 26250 21109 0 -1 1077944384 7874 0 0 0 274 1 0 0 20 0 15 0 154629054 14320615424 880620 33554432000 4194304 4196468 140731309889344 140575828277616 140576291076738 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 38133760 140731309896861 140731309897036 140731309897036 140731309899727 0
[pid=26252/tid=26263] ppid=26250 vsize=13984976 memory=3522480 CPUtime=2.41 cores=0,2,4,6
/proc/26252/task/26263/stat : 26263 (java) S 26250 26250 21109 0 -1 1077944384 7220 0 0 0 240 1 0 0 20 0 15 0 154629054 14320615424 880620 33554432000 4194304 4196468 140731309889344 140575827224816 140576291076738 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 38133760 140731309896861 140731309897036 140731309897036 140731309899727 0
[pid=26252/tid=26264] ppid=26250 vsize=13984976 memory=4132 CPUtime=0.74 cores=0,2,4,6
/proc/26252/task/26264/stat : 26264 (java) S 26250 26250 21109 0 -1 1077944384 6097 0 0 0 73 1 0 0 20 0 15 0 154629054 14320615424 880620 33554432000 4194304 4196468 140731309889344 140575826172016 140576291076738 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 13 0 0 6293624 6294260 38133760 140731309896861 140731309897036 140731309897036 140731309899727 0
[pid=26252/tid=26265] ppid=26250 vsize=13984976 memory=1384 CPUtime=0 cores=0,2,4,6
/proc/26252/task/26265/stat : 26265 (java) S 26250 26250 21109 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 154629054 14320615424 880620 33554432000 4194304 4196468 140731309889344 140575825119456 140576291075797 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 38133760 140731309896861 140731309897036 140731309897036 140731309899727 0
[pid=26252/tid=26266] ppid=26250 vsize=13984976 memory=3522480 CPUtime=0.13 cores=0,2,4,6
/proc/26252/task/26266/stat : 26266 (java) S 26250 26250 21109 0 -1 1077944384 978 0 0 0 7 6 0 0 20 0 15 0 154629055 14320615424 880620 33554432000 4194304 4196468 140731309889344 140575755988144 140576291076738 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 12 0 0 6293624 6294260 38133760 140731309896861 140731309897036 140731309897036 140731309899727 0
Current children cumulated CPU time: 229.15 s
Current children cumulated vsize: 13994488 KiB
Current children cumulated memory: 3523864 KiB
Maximum wall clock time exceeded: sending SIGTERM then SIGKILL
[startup+240.001 s]*
/proc/loadavg: 1.99 1.97 1.93 3/217 26584
/proc/meminfo: memFree=22989072/32770624 swapFree=67108860/67108860
[pid=26250] ppid=26247 vsize=9512 memory=1384 CPUtime=0 cores=0,2,4,6
/proc/26250/stat : 26250 (xcsp3-exec) S 26247 26250 21109 0 -1 4202496 514 0 0 0 0 0 0 0 20 0 1 0 154629048 9740288 346 33554432000 4194304 5098028 140728678274992 140728678273096 139793102279292 0 65536 4100 65538 18446744071579417331 0 0 17 0 0 0 0 0 0 7196144 7232144 40579072 140728678278260 140728678278464 140728678278464 140728678281195 0
/proc/26250/statm: 2378 346 289 221 0 87 0
[pid=26252] ppid=26250 vsize=13984976 memory=3522480 CPUtime=246.88 cores=0,2,4,6
/proc/26252/stat : 26252 (java) S 26250 26250 21109 0 -1 1077944320 52401 0 0 0 24598 90 0 0 20 0 15 0 154629049 14320615424 880620 33554432000 4194304 4196468 140731309889344 140731309871888 140576291065591 0 0 0 16800975 18446744073709551615 0 0 17 6 0 0 0 0 0 6293624 6294260 38133760 140731309896861 140731309897036 140731309897036 140731309899727 0
/proc/26252/statm: 3496244 880620 3262 1 0 3483478 0
[pid=26252/tid=26253] ppid=26250 vsize=13984976 memory=6791534058613427641 CPUtime=239.43 cores=0,2,4,6
/proc/26252/task/26253/stat : 26253 (java) R 26250 26250 21109 0 -1 4202560 19981 0 0 0 23894 49 0 0 20 0 15 0 154629049 14320615424 880620 33554432000 4194304 4196468 140731309889344 140576295305456 140575914688680 0 4 0 16800975 0 0 0 -1 2 0 0 13 0 0 6293624 6294260 38133760 140731309896861 140731309897036 140731309897036 140731309899727 0
[pid=26252/tid=26254] ppid=26250 vsize=13984976 memory=640 CPUtime=0.29 cores=0,2,4,6
/proc/26252/task/26254/stat : 26254 (java) S 26250 26250 21109 0 -1 1077944384 995 0 0 0 23 6 0 0 20 0 15 0 154629050 14320615424 880620 33554432000 4194304 4196468 140731309889344 140576228666000 140576291075797 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 38133760 140731309896861 140731309897036 140731309897036 140731309899727 0
[pid=26252/tid=26255] ppid=26250 vsize=13984976 memory=952 CPUtime=0.34 cores=0,2,4,6
/proc/26252/task/26255/stat : 26255 (java) S 26250 26250 21109 0 -1 1077944384 2059 0 0 0 27 7 0 0 20 0 15 0 154629050 14320615424 880620 33554432000 4194304 4196468 140731309889344 140576227613200 140576291075797 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 38133760 140731309896861 140731309897036 140731309897036 140731309899727 0
[pid=26252/tid=26256] ppid=26250 vsize=13984976 memory=1236 CPUtime=0.31 cores=0,2,4,6
/proc/26252/task/26256/stat : 26256 (java) S 26250 26250 21109 0 -1 1077944384 1648 0 0 0 24 7 0 0 20 0 15 0 154629050 14320615424 880620 33554432000 4194304 4196468 140731309889344 140575884450192 140576291075797 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 38133760 140731309896861 140731309897036 140731309897036 140731309899727 0
[pid=26252/tid=26257] ppid=26250 vsize=13984976 memory=4468 CPUtime=0.34 cores=0,2,4,6
/proc/26252/task/26257/stat : 26257 (java) S 26250 26250 21109 0 -1 1077944384 1449 0 0 0 26 8 0 0 20 0 15 0 154629050 14320615424 880620 33554432000 4194304 4196468 140731309889344 140575883397392 140576291075797 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 38133760 140731309896861 140731309897036 140731309897036 140731309899727 0
[pid=26252/tid=26258] ppid=26250 vsize=13984976 memory=6791534058613427641 CPUtime=0.02 cores=0,2,4,6
/proc/26252/task/26258/stat : 26258 (java) S 26250 26250 21109 0 -1 1077944384 2800 0 0 0 1 1 0 0 20 0 15 0 154629051 14320615424 880620 33554432000 4194304 4196468 140731309889344 140575832488816 140576291076738 0 0 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 38133760 140731309896861 140731309897036 140731309897036 140731309899727 0
[pid=26252/tid=26259] ppid=26250 vsize=13984976 memory=1160 CPUtime=0 cores=0,2,4,6
/proc/26252/task/26259/stat : 26259 (java) S 26250 26250 21109 0 -1 1077944384 37 0 0 0 0 0 0 0 20 0 15 0 154629052 14320615424 880620 33554432000 4194304 4196468 140731309889344 140575831434848 140576291075797 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 38133760 140731309896861 140731309897036 140731309897036 140731309899727 0
[pid=26252/tid=26260] ppid=26250 vsize=13984976 memory=3096 CPUtime=0 cores=0,2,4,6
/proc/26252/task/26260/stat : 26260 (java) S 26250 26250 21109 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 154629052 14320615424 880620 33554432000 4194304 4196468 140731309889344 140575830381952 140576291075797 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 38133760 140731309896861 140731309897036 140731309897036 140731309899727 0
[pid=26252/tid=26261] ppid=26250 vsize=13984976 memory=1384 CPUtime=0 cores=0,2,4,6
/proc/26252/task/26261/stat : 26261 (java) S 26250 26250 21109 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 154629054 14320615424 880620 33554432000 4194304 4196468 140731309889344 140575829330256 140576291084187 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 38133760 140731309896861 140731309897036 140731309897036 140731309899727 0
[pid=26252/tid=26262] ppid=26250 vsize=13984976 memory=3522480 CPUtime=2.75 cores=0,2,4,6
/proc/26252/task/26262/stat : 26262 (java) S 26250 26250 21109 0 -1 1077944384 7874 0 0 0 274 1 0 0 20 0 15 0 154629054 14320615424 880620 33554432000 4194304 4196468 140731309889344 140575828277616 140576291076738 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 38133760 140731309896861 140731309897036 140731309897036 140731309899727 0
[pid=26252/tid=26263] ppid=26250 vsize=13984976 memory=1156 CPUtime=2.41 cores=0,2,4,6
/proc/26252/task/26263/stat : 26263 (java) S 26250 26250 21109 0 -1 1077944384 7220 0 0 0 240 1 0 0 20 0 15 0 154629054 14320615424 880620 33554432000 4194304 4196468 140731309889344 140575827224816 140576291076738 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 38133760 140731309896861 140731309897036 140731309897036 140731309899727 0
[pid=26252/tid=26264] ppid=26250 vsize=13984976 memory=3084 CPUtime=0.74 cores=0,2,4,6
/proc/26252/task/26264/stat : 26264 (java) S 26250 26250 21109 0 -1 1077944384 6097 0 0 0 73 1 0 0 20 0 15 0 154629054 14320615424 880620 33554432000 4194304 4196468 140731309889344 140575826172016 140576291076738 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 13 0 0 6293624 6294260 38133760 140731309896861 140731309897036 140731309897036 140731309899727 0
[pid=26252/tid=26265] ppid=26250 vsize=13984976 memory=1384 CPUtime=0 cores=0,2,4,6
/proc/26252/task/26265/stat : 26265 (java) S 26250 26250 21109 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 154629054 14320615424 880620 33554432000 4194304 4196468 140731309889344 140575825119456 140576291075797 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 38133760 140731309896861 140731309897036 140731309897036 140731309899727 0
[pid=26252/tid=26266] ppid=26250 vsize=13984976 memory=205136 CPUtime=0.15 cores=0,2,4,6
/proc/26252/task/26266/stat : 26266 (java) S 26250 26250 21109 0 -1 1077944384 978 0 0 0 8 7 0 0 20 0 15 0 154629055 14320615424 880620 33554432000 4194304 4196468 140731309889344 140575755988144 140576291076738 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 12 0 0 6293624 6294260 38133760 140731309896861 140731309897036 140731309897036 140731309899727 0
Current children cumulated CPU time: 246.88 s
Current children cumulated vsize: 13994488 KiB
Current children cumulated memory: 3523864 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
[startup+240.02 s]
# the end of solver process 26250 was just reported to runsolver
# cumulated CPU time of all completed processes: user=0.0011 s, system=0.0011 s
[startup+240.035 s]
# the end of solver process 26252 was just reported to runsolver
# cumulated CPU time of all completed processes: user=245.995 s, system=0.919417 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.035
CPU time (s): 246.914
CPU user time (s): 245.995
CPU system time (s): 0.919417
CPU usage (%): 102.866
Max. virtual memory (cumulated for all children) (KiB): 13994488
Max. memory (cumulated for all children) (KiB): 3523864
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 245.995
system time used= 0.919417
maximum resident set size= 3523044
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 53632
page faults= 0
swaps= 0
block input operations= 0
block output operations= 368
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 7463
involuntary context switches= 377
# summary of solver processes directly reported to runsolver:
# pid: 26250,26252
# total CPU time (s): 246.914
# total CPU user time (s): 245.995
# total CPU system time (s): 0.919417
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 1.49681 second user time and 2.48416 second system time
The end