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 (12495 MiB free)
memory of node 1: 16384 MiB (11880 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4284660-1503215867/watcher-4284660-1503215867 -o /tmp/evaluation-result-4284660-1503215867/solver-4284660-1503215867 -C 264 -W 240 -M 15500 --bin-var /tmp/runsolver-exch-node112-1503208953-13389 --watchdog 300 ./xcsp3-exec -dir HOME -tl 264 -ml 11000 -tdir HOME -seed 1642591256 HOME/instance-4284660-1503215867.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=18707, runsolver pid=18704
Current StackSize limit: 8192 KiB
[startup+0.102397 s]*
/proc/loadavg: 1.95 1.98 1.90 4/218 18723
/proc/meminfo: memFree=24944324/32770624 swapFree=67108860/67108860
[pid=18707] ppid=18704 vsize=9512 memory=1384 CPUtime=0 cores=0,2,4,6
/proc/18707/stat : 18707 (xcsp3-exec) S 18704 18707 13358 0 -1 4202496 515 0 0 0 0 0 0 0 20 0 1 0 154674344 9740288 346 33554432000 4194304 5098028 140726838433408 140726838431512 140167143772796 0 65536 4100 65538 18446744071579417331 0 0 17 4 0 0 0 0 0 7196144 7232144 8327168 140726838441076 140726838441280 140726838441280 140726838444011 0
/proc/18707/statm: 2378 346 289 221 0 87 0
[pid=18709] ppid=18707 vsize=13978596 memory=28568 CPUtime=0.12 cores=0,2,4,6
/proc/18709/stat : 18709 (java) S 18707 18707 13358 0 -1 1077944320 5396 0 0 0 11 1 0 0 20 0 15 0 154674344 14314082304 7142 33554432000 4194304 4196468 140725454799808 140725454782352 140678430654199 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 36065280 140725454804125 140725454804300 140725454804300 140725454806991 0
/proc/18709/statm: 3494649 7142 2900 1 0 3482966 0
[pid=18709/tid=18710] ppid=18707 vsize=13978596 memory=-6962121287837372198 CPUtime=0.09 cores=0,2,4,6
/proc/18709/task/18710/stat : 18710 (java) R 18707 18707 13358 0 -1 4202560 3332 0 0 0 9 0 0 0 20 0 15 0 154674344 14314082304 7142 33554432000 4194304 4196468 140725454799808 140678434878672 140678430676125 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 36065280 140725454804125 140725454804300 140725454804300 140725454806991 0
[pid=18709/tid=18711] ppid=18707 vsize=13978596 memory=-3689451258167578675 CPUtime=0 cores=0,2,4,6
/proc/18709/task/18711/stat : 18711 (java) S 18707 18707 13358 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 154674345 14314082304 7142 33554432000 4194304 4196468 140725454799808 140678368254480 140678430664405 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 36065280 140725454804125 140725454804300 140725454804300 140725454806991 0
[pid=18709/tid=18712] ppid=18707 vsize=13978596 memory=140680175339136 CPUtime=0 cores=0,2,4,6
/proc/18709/task/18712/stat : 18712 (java) S 18707 18707 13358 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 154674345 14314082304 7142 33554432000 4194304 4196468 140725454799808 140678367201936 140678430664405 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 36065280 140725454804125 140725454804300 140725454804300 140725454806991 0
[pid=18709/tid=18713] ppid=18707 vsize=13978596 memory=0 CPUtime=0 cores=0,2,4,6
/proc/18709/task/18713/stat : 18713 (java) S 18707 18707 13358 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 154674345 14314082304 7142 33554432000 4194304 4196468 140725454799808 140678024141072 140678430664405 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 36065280 140725454804125 140725454804300 140725454804300 140725454806991 0
[pid=18709/tid=18714] ppid=18707 vsize=13978596 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/18709/task/18714/stat : 18714 (java) S 18707 18707 13358 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 154674345 14314082304 7142 33554432000 4194304 4196468 140725454799808 140678023088528 140678430664405 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 36065280 140725454804125 140725454804300 140725454804300 140725454806991 0
[pid=18709/tid=18715] ppid=18707 vsize=13978596 memory=140680175339136 CPUtime=0 cores=0,2,4,6
/proc/18709/task/18715/stat : 18715 (java) S 18707 18707 13358 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 154674346 14314082304 7142 33554432000 4194304 4196468 140725454799808 140677972044528 140678430665346 0 0 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 36065280 140725454804125 140725454804300 140725454804300 140725454806991 0
[pid=18709/tid=18716] ppid=18707 vsize=13978596 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/18709/task/18716/stat : 18716 (java) S 18707 18707 13358 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 154674347 14314082304 7142 33554432000 4194304 4196468 140725454799808 140677970990752 140678430664405 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 36065280 140725454804125 140725454804300 140725454804300 140725454806991 0
[pid=18709/tid=18717] ppid=18707 vsize=13978596 memory=0 CPUtime=0 cores=0,2,4,6
/proc/18709/task/18717/stat : 18717 (java) S 18707 18707 13358 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 154674347 14314082304 7142 33554432000 4194304 4196468 140725454799808 140677969937648 140678430664405 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 36065280 140725454804125 140725454804300 140725454804300 140725454806991 0
[pid=18709/tid=18718] ppid=18707 vsize=13978596 memory=0 CPUtime=0 cores=0,2,4,6
/proc/18709/task/18718/stat : 18718 (java) S 18707 18707 13358 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 154674349 14314082304 7142 33554432000 4194304 4196468 140725454799808 140677968886224 140678430672795 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 36065280 140725454804125 140725454804300 140725454804300 140725454806991 0
[pid=18709/tid=18719] ppid=18707 vsize=13978596 memory=0 CPUtime=0 cores=0,2,4,6
/proc/18709/task/18719/stat : 18719 (java) S 18707 18707 13358 0 -1 1077944384 428 0 0 0 0 0 0 0 20 0 15 0 154674349 14314082304 7142 33554432000 4194304 4196468 140725454799808 140677967833328 140678430665346 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 36065280 140725454804125 140725454804300 140725454804300 140725454806991 0
[pid=18709/tid=18720] ppid=18707 vsize=13978596 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/18709/task/18720/stat : 18720 (java) R 18707 18707 13358 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 154674349 14314082304 7142 33554432000 4194304 4196468 140725454799808 140677966780784 140678430665346 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 36065280 140725454804125 140725454804300 140725454804300 140725454806991 0
[pid=18709/tid=18721] ppid=18707 vsize=13978596 memory=140680175339136 CPUtime=0.01 cores=0,2,4,6
/proc/18709/task/18721/stat : 18721 (java) R 18707 18707 13358 0 -1 4202560 334 0 0 0 1 0 0 0 20 0 15 0 154674349 14314082304 7142 33554432000 4194304 4196468 140725454799808 140677965727728 140678430666134 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 36065280 140725454804125 140725454804300 140725454804300 140725454806991 0
[pid=18709/tid=18722] ppid=18707 vsize=13978596 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/18709/task/18722/stat : 18722 (java) S 18707 18707 13358 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 154674350 14314082304 7142 33554432000 4194304 4196468 140725454799808 140677964675424 140678430664405 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 36065280 140725454804125 140725454804300 140725454804300 140725454806991 0
[pid=18709/tid=18723] ppid=18707 vsize=13978596 memory=140680175339136 CPUtime=0 cores=0,2,4,6
/proc/18709/task/18723/stat : 18723 (java) S 18707 18707 13358 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 154674350 14314082304 7142 33554432000 4194304 4196468 140725454799808 140677895679024 140678430665346 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 36065280 140725454804125 140725454804300 140725454804300 140725454806991 0
Current children cumulated CPU time: 0.12 s
Current children cumulated vsize: 13988108 KiB
Current children cumulated memory: 29952 KiB
[startup+0.210751 s]*
/proc/loadavg: 1.95 1.98 1.90 3/218 18723
/proc/meminfo: memFree=24933940/32770624 swapFree=67108860/67108860
[pid=18707] ppid=18704 vsize=9512 memory=1384 CPUtime=0 cores=0,2,4,6
/proc/18707/stat : 18707 (xcsp3-exec) S 18704 18707 13358 0 -1 4202496 515 0 0 0 0 0 0 0 20 0 1 0 154674344 9740288 346 33554432000 4194304 5098028 140726838433408 140726838431512 140167143772796 0 65536 4100 65538 18446744071579417331 0 0 17 4 0 0 0 0 0 7196144 7232144 8327168 140726838441076 140726838441280 140726838441280 140726838444011 0
/proc/18707/statm: 2378 346 289 221 0 87 0
[pid=18709] ppid=18707 vsize=13982852 memory=40044 CPUtime=0.34 cores=0,2,4,6
/proc/18709/stat : 18709 (java) S 18707 18707 13358 0 -1 1077944320 8109 0 0 0 32 2 0 0 20 0 15 0 154674344 14318440448 10011 33554432000 4194304 4196468 140725454799808 140725454782352 140678430654199 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 36065280 140725454804125 140725454804300 140725454804300 140725454806991 0
/proc/18709/statm: 3495713 10011 3080 1 0 3482966 0
[pid=18709/tid=18710] ppid=18707 vsize=13982852 memory=7883960649037381690 CPUtime=0.2 cores=0,2,4,6
/proc/18709/task/18710/stat : 18710 (java) D 18707 18707 13358 0 -1 1077944384 5314 0 0 0 19 1 0 0 20 0 15 0 154674344 14318440448 10011 33554432000 4194304 4196468 140725454799808 140678434864992 140678423333421 0 4 0 16800975 18446744072101625380 0 0 -1 0 0 0 0 0 0 6293624 6294260 36065280 140725454804125 140725454804300 140725454804300 140725454806991 0
[pid=18709/tid=18711] ppid=18707 vsize=13982884 memory=2898 CPUtime=0 cores=0,2,4,6
/proc/18709/task/18711/stat : 18711 (java) S 18707 18707 13358 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 154674345 14318473216 10011 33554432000 4194304 4196468 140725454799808 140678368254480 140678430664405 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 36065280 140725454804125 140725454804300 140725454804300 140725454806991 0
[pid=18709/tid=18712] ppid=18707 vsize=13982884 memory=3545096130362918560 CPUtime=0 cores=0,2,4,6
/proc/18709/task/18712/stat : 18712 (java) S 18707 18707 13358 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 154674345 14318473216 10011 33554432000 4194304 4196468 140725454799808 140678367201936 140678430664405 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 36065280 140725454804125 140725454804300 140725454804300 140725454806991 0
[pid=18709/tid=18713] ppid=18707 vsize=13982852 memory=0 CPUtime=0 cores=0,2,4,6
/proc/18709/task/18713/stat : 18713 (java) S 18707 18707 13358 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 154674345 14318440448 10011 33554432000 4194304 4196468 140725454799808 140678024141072 140678430664405 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 36065280 140725454804125 140725454804300 140725454804300 140725454806991 0
[pid=18709/tid=18714] ppid=18707 vsize=13982852 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/18709/task/18714/stat : 18714 (java) S 18707 18707 13358 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 154674345 14318440448 10011 33554432000 4194304 4196468 140725454799808 140678023088528 140678430664405 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 36065280 140725454804125 140725454804300 140725454804300 140725454806991 0
[pid=18709/tid=18715] ppid=18707 vsize=13982852 memory=140680175339136 CPUtime=0 cores=0,2,4,6
/proc/18709/task/18715/stat : 18715 (java) S 18707 18707 13358 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 154674346 14318440448 10011 33554432000 4194304 4196468 140725454799808 140677972044528 140678430665346 0 0 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 36065280 140725454804125 140725454804300 140725454804300 140725454806991 0
[pid=18709/tid=18716] ppid=18707 vsize=13982852 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/18709/task/18716/stat : 18716 (java) S 18707 18707 13358 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 154674347 14318440448 10011 33554432000 4194304 4196468 140725454799808 140677970990752 140678430664405 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 36065280 140725454804125 140725454804300 140725454804300 140725454806991 0
[pid=18709/tid=18717] ppid=18707 vsize=13982852 memory=0 CPUtime=0 cores=0,2,4,6
/proc/18709/task/18717/stat : 18717 (java) S 18707 18707 13358 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 154674347 14318440448 10011 33554432000 4194304 4196468 140725454799808 140677969937648 140678430664405 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 36065280 140725454804125 140725454804300 140725454804300 140725454806991 0
[pid=18709/tid=18718] ppid=18707 vsize=13982852 memory=0 CPUtime=0 cores=0,2,4,6
/proc/18709/task/18718/stat : 18718 (java) S 18707 18707 13358 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 154674349 14318440448 10011 33554432000 4194304 4196468 140725454799808 140677968886224 140678430672795 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 36065280 140725454804125 140725454804300 140725454804300 140725454806991 0
[pid=18709/tid=18719] ppid=18707 vsize=13982852 memory=0 CPUtime=0.03 cores=0,2,4,6
/proc/18709/task/18719/stat : 18719 (java) S 18707 18707 13358 0 -1 1077944384 613 0 0 0 3 0 0 0 20 0 15 0 154674349 14318440448 10011 33554432000 4194304 4196468 140725454799808 140677967833328 140678430665346 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 36065280 140725454804125 140725454804300 140725454804300 140725454806991 0
[pid=18709/tid=18720] ppid=18707 vsize=13982852 memory=-1 CPUtime=0.01 cores=0,2,4,6
/proc/18709/task/18720/stat : 18720 (java) S 18707 18707 13358 0 -1 1077944384 169 0 0 0 1 0 0 0 20 0 15 0 154674349 14318440448 10011 33554432000 4194304 4196468 140725454799808 140677966780784 140678430665346 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 36065280 140725454804125 140725454804300 140725454804300 140725454806991 0
[pid=18709/tid=18721] ppid=18707 vsize=13982884 memory=140680175339136 CPUtime=0.08 cores=0,2,4,6
/proc/18709/task/18721/stat : 18721 (java) S 18707 18707 13358 0 -1 1077944384 725 0 0 0 8 0 0 0 20 0 15 0 154674349 14318473216 10011 33554432000 4194304 4196468 140725454799808 140677965727728 140678430665346 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 36065280 140725454804125 140725454804300 140725454804300 140725454806991 0
[pid=18709/tid=18722] ppid=18707 vsize=13982884 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/18709/task/18722/stat : 18722 (java) S 18707 18707 13358 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 154674350 14318473216 10011 33554432000 4194304 4196468 140725454799808 140677964675424 140678430664405 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 36065280 140725454804125 140725454804300 140725454804300 140725454806991 0
[pid=18709/tid=18723] ppid=18707 vsize=13982852 memory=0 CPUtime=0 cores=0,2,4,6
/proc/18709/task/18723/stat : 18723 (java) S 18707 18707 13358 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 154674350 14318440448 10011 33554432000 4194304 4196468 140725454799808 140677895679024 140678430665346 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 36065280 140725454804125 140725454804300 140725454804300 140725454806991 0
Current children cumulated CPU time: 0.34 s
Current children cumulated vsize: 13992364 KiB
Current children cumulated memory: 41428 KiB
[startup+0.310862 s]*
/proc/loadavg: 1.95 1.98 1.90 4/218 18723
/proc/meminfo: memFree=24926064/32770624 swapFree=67108860/67108860
[pid=18707] ppid=18704 vsize=9512 memory=1384 CPUtime=0 cores=0,2,4,6
/proc/18707/stat : 18707 (xcsp3-exec) S 18704 18707 13358 0 -1 4202496 515 0 0 0 0 0 0 0 20 0 1 0 154674344 9740288 346 33554432000 4194304 5098028 140726838433408 140726838431512 140167143772796 0 65536 4100 65538 18446744071579417331 0 0 17 4 0 0 0 0 0 7196144 7232144 8327168 140726838441076 140726838441280 140726838441280 140726838444011 0
/proc/18707/statm: 2378 346 289 221 0 87 0
[pid=18709] ppid=18707 vsize=13982852 memory=47768 CPUtime=0.5 cores=0,2,4,6
/proc/18709/stat : 18709 (java) S 18707 18707 13358 0 -1 1077944320 9127 0 0 0 48 2 0 0 20 0 15 0 154674344 14318440448 11942 33554432000 4194304 4196468 140725454799808 140725454782352 140678430654199 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 36065280 140725454804125 140725454804300 140725454804300 140725454806991 0
/proc/18709/statm: 3495713 11942 3107 1 0 3482966 0
[pid=18709/tid=18710] ppid=18707 vsize=13982852 memory=6791534058613427641 CPUtime=0.3 cores=0,2,4,6
/proc/18709/task/18710/stat : 18710 (java) R 18707 18707 13358 0 -1 4202560 5994 0 0 0 28 2 0 0 20 0 15 0 154674344 14318440448 11942 33554432000 4194304 4196468 140725454799808 140678434890448 140678414734686 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 36065280 140725454804125 140725454804300 140725454804300 140725454806991 0
[pid=18709/tid=18711] ppid=18707 vsize=13982852 memory=4872558044660077418 CPUtime=0 cores=0,2,4,6
/proc/18709/task/18711/stat : 18711 (java) S 18707 18707 13358 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 154674345 14318440448 11942 33554432000 4194304 4196468 140725454799808 140678368254480 140678430664405 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 36065280 140725454804125 140725454804300 140725454804300 140725454806991 0
[pid=18709/tid=18712] ppid=18707 vsize=13982852 memory=6944656575208382560 CPUtime=0 cores=0,2,4,6
/proc/18709/task/18712/stat : 18712 (java) S 18707 18707 13358 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 154674345 14318440448 11942 33554432000 4194304 4196468 140725454799808 140678367201936 140678430664405 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 36065280 140725454804125 140725454804300 140725454804300 140725454806991 0
[pid=18709/tid=18713] ppid=18707 vsize=13982852 memory=-3258418265892434876 CPUtime=0 cores=0,2,4,6
/proc/18709/task/18713/stat : 18713 (java) S 18707 18707 13358 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 154674345 14318440448 11942 33554432000 4194304 4196468 140725454799808 140678024141072 140678430664405 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 36065280 140725454804125 140725454804300 140725454804300 140725454806991 0
[pid=18709/tid=18714] ppid=18707 vsize=13982852 memory=4500088472188524148 CPUtime=0 cores=0,2,4,6
/proc/18709/task/18714/stat : 18714 (java) S 18707 18707 13358 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 154674345 14318440448 11942 33554432000 4194304 4196468 140725454799808 140678023088528 140678430664405 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 36065280 140725454804125 140725454804300 140725454804300 140725454806991 0
[pid=18709/tid=18715] ppid=18707 vsize=13982852 memory=6944613755495348631 CPUtime=0 cores=0,2,4,6
/proc/18709/task/18715/stat : 18715 (java) S 18707 18707 13358 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 154674346 14318440448 11942 33554432000 4194304 4196468 140725454799808 140677972044528 140678430665346 0 0 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 36065280 140725454804125 140725454804300 140725454804300 140725454806991 0
[pid=18709/tid=18716] ppid=18707 vsize=13982852 memory=7893295687695687954 CPUtime=0 cores=0,2,4,6
/proc/18709/task/18716/stat : 18716 (java) S 18707 18707 13358 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 154674347 14318440448 11942 33554432000 4194304 4196468 140725454799808 140677970990752 140678430664405 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 36065280 140725454804125 140725454804300 140725454804300 140725454806991 0
[pid=18709/tid=18717] ppid=18707 vsize=13982852 memory=-8813974798734826869 CPUtime=0 cores=0,2,4,6
/proc/18709/task/18717/stat : 18717 (java) S 18707 18707 13358 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 154674347 14318440448 11942 33554432000 4194304 4196468 140725454799808 140677969937648 140678430664405 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 36065280 140725454804125 140725454804300 140725454804300 140725454806991 0
[pid=18709/tid=18718] ppid=18707 vsize=13982852 memory=-6664436420846797971 CPUtime=0 cores=0,2,4,6
/proc/18709/task/18718/stat : 18718 (java) S 18707 18707 13358 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 154674349 14318440448 11942 33554432000 4194304 4196468 140725454799808 140677968886224 140678430672795 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 36065280 140725454804125 140725454804300 140725454804300 140725454806991 0
[pid=18709/tid=18719] ppid=18707 vsize=13982852 memory=4713750055892520310 CPUtime=0.04 cores=0,2,4,6
/proc/18709/task/18719/stat : 18719 (java) S 18707 18707 13358 0 -1 1077944384 625 0 0 0 4 0 0 0 20 0 15 0 154674349 14318440448 11942 33554432000 4194304 4196468 140725454799808 140677967833328 140678430665346 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 36065280 140725454804125 140725454804300 140725454804300 140725454806991 0
[pid=18709/tid=18720] ppid=18707 vsize=13982852 memory=0 CPUtime=0.03 cores=0,2,4,6
/proc/18709/task/18720/stat : 18720 (java) S 18707 18707 13358 0 -1 1077944384 310 0 0 0 3 0 0 0 20 0 15 0 154674349 14318440448 11942 33554432000 4194304 4196468 140725454799808 140677966780784 140678430665346 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 36065280 140725454804125 140725454804300 140725454804300 140725454806991 0
[pid=18709/tid=18721] ppid=18707 vsize=13982852 memory=0 CPUtime=0.12 cores=0,2,4,6
/proc/18709/task/18721/stat : 18721 (java) S 18707 18707 13358 0 -1 1077944384 900 0 0 0 12 0 0 0 20 0 15 0 154674349 14318440448 11942 33554432000 4194304 4196468 140725454799808 140677965727728 140678430665346 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 36065280 140725454804125 140725454804300 140725454804300 140725454806991 0
[pid=18709/tid=18722] ppid=18707 vsize=13982852 memory=0 CPUtime=0 cores=0,2,4,6
/proc/18709/task/18722/stat : 18722 (java) S 18707 18707 13358 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 154674350 14318440448 11942 33554432000 4194304 4196468 140725454799808 140677964675424 140678430664405 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 36065280 140725454804125 140725454804300 140725454804300 140725454806991 0
[pid=18709/tid=18723] ppid=18707 vsize=13982852 memory=0 CPUtime=0 cores=0,2,4,6
/proc/18709/task/18723/stat : 18723 (java) S 18707 18707 13358 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 154674350 14318440448 11942 33554432000 4194304 4196468 140725454799808 140677895679024 140678430665346 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 36065280 140725454804125 140725454804300 140725454804300 140725454806991 0
Current children cumulated CPU time: 0.5 s
Current children cumulated vsize: 13992364 KiB
Current children cumulated memory: 49152 KiB
[startup+0.701773 s]
/proc/loadavg: 1.95 1.98 1.90 5/218 18723
/proc/meminfo: memFree=24910804/32770624 swapFree=67108860/67108860
[pid=18707] ppid=18704 vsize=9512 memory=1384 CPUtime=0 cores=0,2,4,6
/proc/18707/stat : 18707 (xcsp3-exec) S 18704 18707 13358 0 -1 4202496 515 0 0 0 0 0 0 0 20 0 1 0 154674344 9740288 346 33554432000 4194304 5098028 140726838433408 140726838431512 140167143772796 0 65536 4100 65538 18446744071579417331 0 0 17 4 0 0 0 0 0 7196144 7232144 8327168 140726838441076 140726838441280 140726838441280 140726838444011 0
/proc/18707/statm: 2378 346 289 221 0 87 0
[pid=18709] ppid=18707 vsize=13984976 memory=69448 CPUtime=1.57 cores=0,2,4,6
/proc/18709/stat : 18709 (java) S 18707 18707 13358 0 -1 1077944320 12078 0 0 0 153 4 0 0 20 0 15 0 154674344 14320615424 17362 33554432000 4194304 4196468 140725454799808 140725454782352 140678430654199 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 36065280 140725454804125 140725454804300 140725454804300 140725454806991 0
/proc/18709/statm: 3496244 17362 3207 1 0 3483478 0
[pid=18709/tid=18710] ppid=18707 vsize=13984976 memory=33 CPUtime=0.66 cores=0,2,4,6
/proc/18709/task/18710/stat : 18710 (java) R 18707 18707 13358 0 -1 4202560 6783 0 0 0 64 2 0 0 20 0 15 0 154674344 14320615424 17362 33554432000 4194304 4196468 140725454799808 140678434892288 140678046829581 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 36065280 140725454804125 140725454804300 140725454804300 140725454806991 0
[pid=18709/tid=18711] ppid=18707 vsize=13984976 memory=-7816663703405220396 CPUtime=0 cores=0,2,4,6
/proc/18709/task/18711/stat : 18711 (java) S 18707 18707 13358 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 154674345 14320615424 17362 33554432000 4194304 4196468 140725454799808 140678368254480 140678430664405 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 36065280 140725454804125 140725454804300 140725454804300 140725454806991 0
[pid=18709/tid=18712] ppid=18707 vsize=13984976 memory=0 CPUtime=0 cores=0,2,4,6
/proc/18709/task/18712/stat : 18712 (java) S 18707 18707 13358 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 154674345 14320615424 17362 33554432000 4194304 4196468 140725454799808 140678367201936 140678430664405 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 36065280 140725454804125 140725454804300 140725454804300 140725454806991 0
[pid=18709/tid=18713] ppid=18707 vsize=13984976 memory=43084 CPUtime=0 cores=0,2,4,6
/proc/18709/task/18713/stat : 18713 (java) S 18707 18707 13358 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 154674345 14320615424 17362 33554432000 4194304 4196468 140725454799808 140678024141072 140678430664405 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 36065280 140725454804125 140725454804300 140725454804300 140725454806991 0
[pid=18709/tid=18714] ppid=18707 vsize=13984976 memory=2332 CPUtime=0 cores=0,2,4,6
/proc/18709/task/18714/stat : 18714 (java) S 18707 18707 13358 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 154674345 14320615424 17362 33554432000 4194304 4196468 140725454799808 140678023088528 140678430664405 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 36065280 140725454804125 140725454804300 140725454804300 140725454806991 0
[pid=18709/tid=18715] ppid=18707 vsize=13984976 memory=1292 CPUtime=0 cores=0,2,4,6
/proc/18709/task/18715/stat : 18715 (java) S 18707 18707 13358 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 154674346 14320615424 17362 33554432000 4194304 4196468 140725454799808 140677972044528 140678430665346 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 36065280 140725454804125 140725454804300 140725454804300 140725454806991 0
[pid=18709/tid=18716] ppid=18707 vsize=13984976 memory=1728 CPUtime=0 cores=0,2,4,6
/proc/18709/task/18716/stat : 18716 (java) S 18707 18707 13358 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 154674347 14320615424 17362 33554432000 4194304 4196468 140725454799808 140677970990752 140678430664405 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 36065280 140725454804125 140725454804300 140725454804300 140725454806991 0
[pid=18709/tid=18717] ppid=18707 vsize=13984976 memory=5788 CPUtime=0 cores=0,2,4,6
/proc/18709/task/18717/stat : 18717 (java) S 18707 18707 13358 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 154674347 14320615424 17362 33554432000 4194304 4196468 140725454799808 140677969937648 140678430664405 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 36065280 140725454804125 140725454804300 140725454804300 140725454806991 0
[pid=18709/tid=18718] ppid=18707 vsize=13984976 memory=1228 CPUtime=0 cores=0,2,4,6
/proc/18709/task/18718/stat : 18718 (java) S 18707 18707 13358 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 154674349 14320615424 17362 33554432000 4194304 4196468 140725454799808 140677968886224 140678430672795 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 36065280 140725454804125 140725454804300 140725454804300 140725454806991 0
[pid=18709/tid=18719] ppid=18707 vsize=13984976 memory=796 CPUtime=0.26 cores=0,2,4,6
/proc/18709/task/18719/stat : 18719 (java) R 18707 18707 13358 0 -1 4202560 1251 0 0 0 26 0 0 0 20 0 15 0 154674349 14320615424 17362 33554432000 4194304 4196468 140725454799808 140677967819352 140678409898095 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 36065280 140725454804125 140725454804300 140725454804300 140725454806991 0
[pid=18709/tid=18720] ppid=18707 vsize=13984976 memory=10088 CPUtime=0.23 cores=0,2,4,6
/proc/18709/task/18720/stat : 18720 (java) R 18707 18707 13358 0 -1 4202560 987 0 0 0 23 0 0 0 20 0 15 0 154674349 14320615424 17362 33554432000 4194304 4196468 140725454799808 140677966767008 140678423754046 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 36065280 140725454804125 140725454804300 140725454804300 140725454806991 0
[pid=18709/tid=18721] ppid=18707 vsize=13984976 memory=1948 CPUtime=0.38 cores=0,2,4,6
/proc/18709/task/18721/stat : 18721 (java) S 18707 18707 13358 0 -1 1077944384 1750 0 0 0 38 0 0 0 20 0 15 0 154674349 14320615424 17362 33554432000 4194304 4196468 140725454799808 140677965727728 140678430665346 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 36065280 140725454804125 140725454804300 140725454804300 140725454806991 0
[pid=18709/tid=18722] ppid=18707 vsize=13984976 memory=8584 CPUtime=0 cores=0,2,4,6
/proc/18709/task/18722/stat : 18722 (java) S 18707 18707 13358 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 154674350 14320615424 17362 33554432000 4194304 4196468 140725454799808 140677964675424 140678430664405 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 36065280 140725454804125 140725454804300 140725454804300 140725454806991 0
[pid=18709/tid=18723] ppid=18707 vsize=13984976 memory=4616 CPUtime=0 cores=0,2,4,6
/proc/18709/task/18723/stat : 18723 (java) S 18707 18707 13358 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 154674350 14320615424 17362 33554432000 4194304 4196468 140725454799808 140677895679024 140678430665346 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 36065280 140725454804125 140725454804300 140725454804300 140725454806991 0
Current children cumulated CPU time: 1.57 s
Current children cumulated vsize: 13994488 KiB
Current children cumulated memory: 70832 KiB
[startup+1.50177 s]
/proc/loadavg: 1.95 1.98 1.91 5/218 18723
/proc/meminfo: memFree=24890580/32770624 swapFree=67108860/67108860
[pid=18707] ppid=18704 vsize=9512 memory=1384 CPUtime=0 cores=0,2,4,6
/proc/18707/stat : 18707 (xcsp3-exec) S 18704 18707 13358 0 -1 4202496 515 0 0 0 0 0 0 0 20 0 1 0 154674344 9740288 346 33554432000 4194304 5098028 140726838433408 140726838431512 140167143772796 0 65536 4100 65538 18446744071579417331 0 0 17 4 0 0 0 0 0 7196144 7232144 8327168 140726838441076 140726838441280 140726838441280 140726838444011 0
/proc/18707/statm: 2378 346 289 221 0 87 0
################
# More data... #
################
/proc/18709/task/18717/stat : 18717 (java) S 18707 18707 13358 0 -1 1077944384 78 0 0 0 0 0 0 0 20 0 15 0 154674347 14320615424 52898 33554432000 4194304 4196468 140725454799808 140677969937664 140678430664405 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 36065280 140725454804125 140725454804300 140725454804300 140725454806991 0
[pid=18709/tid=18718] ppid=18707 vsize=13984976 memory=288370014967565085 CPUtime=0 cores=0,2,4,6
/proc/18709/task/18718/stat : 18718 (java) S 18707 18707 13358 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 154674349 14320615424 52898 33554432000 4194304 4196468 140725454799808 140677968886224 140678430672795 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 36065280 140725454804125 140725454804300 140725454804300 140725454806991 0
[pid=18709/tid=18719] ppid=18707 vsize=13984976 memory=1384 CPUtime=3.9 cores=0,2,4,6
/proc/18709/task/18719/stat : 18719 (java) S 18707 18707 13358 0 -1 1077944384 14753 0 0 0 387 3 0 0 20 0 15 0 154674349 14320615424 52898 33554432000 4194304 4196468 140725454799808 140677967833328 140678430665346 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 36065280 140725454804125 140725454804300 140725454804300 140725454806991 0
[pid=18709/tid=18720] ppid=18707 vsize=13984976 memory=210036 CPUtime=4.16 cores=0,2,4,6
/proc/18709/task/18720/stat : 18720 (java) S 18707 18707 13358 0 -1 1077944384 17925 0 0 0 415 1 0 0 20 0 15 0 154674349 14320615424 52898 33554432000 4194304 4196468 140725454799808 140677966780784 140678430665346 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 36065280 140725454804125 140725454804300 140725454804300 140725454806991 0
[pid=18709/tid=18721] ppid=18707 vsize=13984976 memory=1156 CPUtime=0.71 cores=0,2,4,6
/proc/18709/task/18721/stat : 18721 (java) S 18707 18707 13358 0 -1 1077944384 9724 0 0 0 70 1 0 0 20 0 15 0 154674349 14320615424 52898 33554432000 4194304 4196468 140725454799808 140677965727728 140678430665346 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 36065280 140725454804125 140725454804300 140725454804300 140725454806991 0
[pid=18709/tid=18722] ppid=18707 vsize=13984976 memory=1837 CPUtime=0 cores=0,2,4,6
/proc/18709/task/18722/stat : 18722 (java) S 18707 18707 13358 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 154674350 14320615424 52898 33554432000 4194304 4196468 140725454799808 140677964675424 140678430664405 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 36065280 140725454804125 140725454804300 140725454804300 140725454806991 0
[pid=18709/tid=18723] ppid=18707 vsize=13984976 memory=686 CPUtime=0.04 cores=0,2,4,6
/proc/18709/task/18723/stat : 18723 (java) S 18707 18707 13358 0 -1 1077944384 754 0 0 0 2 2 0 0 20 0 15 0 154674350 14320615424 52898 33554432000 4194304 4196468 140725454799808 140677895679024 140678430665346 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 36065280 140725454804125 140725454804300 140725454804300 140725454806991 0
Current children cumulated CPU time: 112.21 s
Current children cumulated vsize: 13994488 KiB
Current children cumulated memory: 212976 KiB
[startup+162.301 s]
/proc/loadavg: 1.64 1.83 1.86 3/218 18807
/proc/meminfo: memFree=24584788/32770624 swapFree=67108860/67108860
[pid=18707] ppid=18704 vsize=9512 memory=1384 CPUtime=0 cores=0,2,4,6
/proc/18707/stat : 18707 (xcsp3-exec) S 18704 18707 13358 0 -1 4202496 515 0 0 0 0 0 0 0 20 0 1 0 154674344 9740288 346 33554432000 4194304 5098028 140726838433408 140726838431512 140167143772796 0 65536 4100 65538 18446744071579417331 0 0 17 4 0 0 0 0 0 7196144 7232144 8327168 140726838441076 140726838441280 140726838441280 140726838444011 0
/proc/18707/statm: 2378 346 289 221 0 87 0
[pid=18709] ppid=18707 vsize=13984976 memory=258712 CPUtime=173.25 cores=0,2,4,6
/proc/18709/stat : 18709 (java) S 18707 18707 13358 0 -1 1077944320 69744 0 0 0 17296 29 0 0 20 0 15 0 154674344 14320615424 64678 33554432000 4194304 4196468 140725454799808 140725454782352 140678430654199 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 36065280 140725454804125 140725454804300 140725454804300 140725454806991 0
/proc/18709/statm: 3496244 64678 3270 1 0 3483478 0
[pid=18709/tid=18710] ppid=18707 vsize=13984976 memory=1384 CPUtime=161.37 cores=0,2,4,6
/proc/18709/task/18710/stat : 18710 (java) R 18707 18707 13358 0 -1 4202560 14403 0 0 0 16132 5 0 0 20 0 15 0 154674344 14320615424 64678 33554432000 4194304 4196468 140725454799808 140678434893568 140678051912829 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 36065280 140725454804125 140725454804300 140725454804300 140725454806991 0
[pid=18709/tid=18711] ppid=18707 vsize=13984976 memory=256548 CPUtime=0.7 cores=0,2,4,6
/proc/18709/task/18711/stat : 18711 (java) S 18707 18707 13358 0 -1 1077944384 1584 0 0 0 67 3 0 0 20 0 15 0 154674345 14320615424 64678 33554432000 4194304 4196468 140725454799808 140678368254480 140678430664405 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 36065280 140725454804125 140725454804300 140725454804300 140725454806991 0
[pid=18709/tid=18712] ppid=18707 vsize=13984976 memory=256548 CPUtime=0.69 cores=0,2,4,6
/proc/18709/task/18712/stat : 18712 (java) S 18707 18707 13358 0 -1 1077944384 2353 0 0 0 66 3 0 0 20 0 15 0 154674345 14320615424 64678 33554432000 4194304 4196468 140725454799808 140678367201936 140678430664405 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 36065280 140725454804125 140725454804300 140725454804300 140725454806991 0
[pid=18709/tid=18713] ppid=18707 vsize=13984976 memory=254500 CPUtime=0.7 cores=0,2,4,6
/proc/18709/task/18713/stat : 18713 (java) S 18707 18707 13358 0 -1 1077944384 1288 0 0 0 67 3 0 0 20 0 15 0 154674345 14320615424 64678 33554432000 4194304 4196468 140725454799808 140678024141072 140678430664405 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 36065280 140725454804125 140725454804300 140725454804300 140725454806991 0
[pid=18709/tid=18714] ppid=18707 vsize=13984976 memory=252432 CPUtime=0.71 cores=0,2,4,6
/proc/18709/task/18714/stat : 18714 (java) S 18707 18707 13358 0 -1 1077944384 1585 0 0 0 68 3 0 0 20 0 15 0 154674345 14320615424 64678 33554432000 4194304 4196468 140725454799808 140678023088528 140678430664405 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 36065280 140725454804125 140725454804300 140725454804300 140725454806991 0
[pid=18709/tid=18715] ppid=18707 vsize=13984976 memory=252432 CPUtime=0.1 cores=0,2,4,6
/proc/18709/task/18715/stat : 18715 (java) S 18707 18707 13358 0 -1 1077944384 1497 0 0 0 9 1 0 0 20 0 15 0 154674346 14320615424 64678 33554432000 4194304 4196468 140725454799808 140677972044528 140678430665346 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 36065280 140725454804125 140725454804300 140725454804300 140725454806991 0
[pid=18709/tid=18716] ppid=18707 vsize=13984976 memory=256548 CPUtime=0 cores=0,2,4,6
/proc/18709/task/18716/stat : 18716 (java) S 18707 18707 13358 0 -1 1077944384 74 0 0 0 0 0 0 0 20 0 15 0 154674347 14320615424 64678 33554432000 4194304 4196468 140725454799808 140677970990816 140678430664405 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 36065280 140725454804125 140725454804300 140725454804300 140725454806991 0
[pid=18709/tid=18717] ppid=18707 vsize=13984976 memory=256548 CPUtime=0 cores=0,2,4,6
/proc/18709/task/18717/stat : 18717 (java) S 18707 18707 13358 0 -1 1077944384 78 0 0 0 0 0 0 0 20 0 15 0 154674347 14320615424 64678 33554432000 4194304 4196468 140725454799808 140677969937664 140678430664405 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 36065280 140725454804125 140725454804300 140725454804300 140725454806991 0
[pid=18709/tid=18718] ppid=18707 vsize=13984976 memory=1384 CPUtime=0 cores=0,2,4,6
/proc/18709/task/18718/stat : 18718 (java) S 18707 18707 13358 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 154674349 14320615424 64678 33554432000 4194304 4196468 140725454799808 140677968886224 140678430672795 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 36065280 140725454804125 140725454804300 140725454804300 140725454806991 0
[pid=18709/tid=18719] ppid=18707 vsize=13984976 memory=140680043732120 CPUtime=3.93 cores=0,2,4,6
/proc/18709/task/18719/stat : 18719 (java) S 18707 18707 13358 0 -1 1077944384 15629 0 0 0 390 3 0 0 20 0 15 0 154674349 14320615424 64678 33554432000 4194304 4196468 140725454799808 140677967833328 140678430665346 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 36065280 140725454804125 140725454804300 140725454804300 140725454806991 0
[pid=18709/tid=18720] ppid=18707 vsize=13984976 memory=256548 CPUtime=4.18 cores=0,2,4,6
/proc/18709/task/18720/stat : 18720 (java) S 18707 18707 13358 0 -1 1077944384 19332 0 0 0 417 1 0 0 20 0 15 0 154674349 14320615424 64678 33554432000 4194304 4196468 140725454799808 140677966780784 140678430665346 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 36065280 140725454804125 140725454804300 140725454804300 140725454806991 0
[pid=18709/tid=18721] ppid=18707 vsize=13984976 memory=1384 CPUtime=0.71 cores=0,2,4,6
/proc/18709/task/18721/stat : 18721 (java) S 18707 18707 13358 0 -1 1077944384 9886 0 0 0 70 1 0 0 20 0 15 0 154674349 14320615424 64678 33554432000 4194304 4196468 140725454799808 140677965727728 140678430665346 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 36065280 140725454804125 140725454804300 140725454804300 140725454806991 0
[pid=18709/tid=18722] ppid=18707 vsize=13984976 memory=1384 CPUtime=0 cores=0,2,4,6
/proc/18709/task/18722/stat : 18722 (java) S 18707 18707 13358 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 154674350 14320615424 64678 33554432000 4194304 4196468 140725454799808 140677964675424 140678430664405 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 36065280 140725454804125 140725454804300 140725454804300 140725454806991 0
[pid=18709/tid=18723] ppid=18707 vsize=13984976 memory=256548 CPUtime=0.06 cores=0,2,4,6
/proc/18709/task/18723/stat : 18723 (java) S 18707 18707 13358 0 -1 1077944384 793 0 0 0 3 3 0 0 20 0 15 0 154674350 14320615424 64678 33554432000 4194304 4196468 140725454799808 140677895679024 140678430665346 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 36065280 140725454804125 140725454804300 140725454804300 140725454806991 0
Current children cumulated CPU time: 173.25 s
Current children cumulated vsize: 13994488 KiB
Current children cumulated memory: 260096 KiB
[startup+222.301 s]
/proc/loadavg: 1.56 1.78 1.84 3/218 18883
/proc/meminfo: memFree=24208764/32770624 swapFree=67108860/67108860
[pid=18707] ppid=18704 vsize=9512 memory=1384 CPUtime=0 cores=0,2,4,6
/proc/18707/stat : 18707 (xcsp3-exec) S 18704 18707 13358 0 -1 4202496 515 0 0 0 0 0 0 0 20 0 1 0 154674344 9740288 346 33554432000 4194304 5098028 140726838433408 140726838431512 140167143772796 0 65536 4100 65538 18446744071579417331 0 0 17 4 0 0 0 0 0 7196144 7232144 8327168 140726838441076 140726838441280 140726838441280 140726838444011 0
/proc/18707/statm: 2378 346 289 221 0 87 0
[pid=18709] ppid=18707 vsize=13984976 memory=332512 CPUtime=234.45 cores=0,2,4,6
/proc/18709/stat : 18709 (java) S 18707 18707 13358 0 -1 1077944320 74761 0 0 0 23405 40 0 0 20 0 15 0 154674344 14320615424 83128 33554432000 4194304 4196468 140725454799808 140725454782352 140678430654199 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 36065280 140725454804125 140725454804300 140725454804300 140725454806991 0
/proc/18709/statm: 3496244 83128 3270 1 0 3483478 0
[pid=18709/tid=18710] ppid=18707 vsize=13984976 memory=288230574492221466 CPUtime=220.92 cores=0,2,4,6
/proc/18709/task/18710/stat : 18710 (java) R 18707 18707 13358 0 -1 4202560 15344 0 0 0 22086 6 0 0 20 0 15 0 154674344 14320615424 83128 33554432000 4194304 4196468 140725454799808 140678434893888 140678051966869 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 36065280 140725454804125 140725454804300 140725454804300 140725454806991 0
[pid=18709/tid=18711] ppid=18707 vsize=13984976 memory=1384 CPUtime=1.08 cores=0,2,4,6
/proc/18709/task/18711/stat : 18711 (java) S 18707 18707 13358 0 -1 1077944384 2315 0 0 0 103 5 0 0 20 0 15 0 154674345 14320615424 83128 33554432000 4194304 4196468 140725454799808 140678368254480 140678430664405 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 36065280 140725454804125 140725454804300 140725454804300 140725454806991 0
[pid=18709/tid=18712] ppid=18707 vsize=13984976 memory=332512 CPUtime=1.07 cores=0,2,4,6
/proc/18709/task/18712/stat : 18712 (java) S 18707 18707 13358 0 -1 1077944384 2604 0 0 0 102 5 0 0 20 0 15 0 154674345 14320615424 83128 33554432000 4194304 4196468 140725454799808 140678367201936 140678430664405 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 36065280 140725454804125 140725454804300 140725454804300 140725454806991 0
[pid=18709/tid=18713] ppid=18707 vsize=13984976 memory=330464 CPUtime=1.08 cores=0,2,4,6
/proc/18709/task/18713/stat : 18713 (java) S 18707 18707 13358 0 -1 1077944384 1650 0 0 0 103 5 0 0 20 0 15 0 154674345 14320615424 83128 33554432000 4194304 4196468 140725454799808 140678024141072 140678430664405 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 36065280 140725454804125 140725454804300 140725454804300 140725454806991 0
[pid=18709/tid=18714] ppid=18707 vsize=13984976 memory=332512 CPUtime=1.1 cores=0,2,4,6
/proc/18709/task/18714/stat : 18714 (java) S 18707 18707 13358 0 -1 1077944384 2032 0 0 0 105 5 0 0 20 0 15 0 154674345 14320615424 83128 33554432000 4194304 4196468 140725454799808 140678023088528 140678430664405 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 36065280 140725454804125 140725454804300 140725454804300 140725454806991 0
[pid=18709/tid=18715] ppid=18707 vsize=13984976 memory=332512 CPUtime=0.15 cores=0,2,4,6
/proc/18709/task/18715/stat : 18715 (java) S 18707 18707 13358 0 -1 1077944384 1770 0 0 0 14 1 0 0 20 0 15 0 154674346 14320615424 83128 33554432000 4194304 4196468 140725454799808 140677972044528 140678430665346 0 0 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 36065280 140725454804125 140725454804300 140725454804300 140725454806991 0
[pid=18709/tid=18716] ppid=18707 vsize=13984976 memory=1384 CPUtime=0 cores=0,2,4,6
/proc/18709/task/18716/stat : 18716 (java) S 18707 18707 13358 0 -1 1077944384 74 0 0 0 0 0 0 0 20 0 15 0 154674347 14320615424 83128 33554432000 4194304 4196468 140725454799808 140677970990816 140678430664405 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 36065280 140725454804125 140725454804300 140725454804300 140725454806991 0
[pid=18709/tid=18717] ppid=18707 vsize=13984976 memory=4132 CPUtime=0 cores=0,2,4,6
/proc/18709/task/18717/stat : 18717 (java) S 18707 18707 13358 0 -1 1077944384 78 0 0 0 0 0 0 0 20 0 15 0 154674347 14320615424 83128 33554432000 4194304 4196468 140725454799808 140677969937664 140678430664405 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 36065280 140725454804125 140725454804300 140725454804300 140725454806991 0
[pid=18709/tid=18718] ppid=18707 vsize=13984976 memory=43084 CPUtime=0 cores=0,2,4,6
/proc/18709/task/18718/stat : 18718 (java) S 18707 18707 13358 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 154674349 14320615424 83128 33554432000 4194304 4196468 140725454799808 140677968886224 140678430672795 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 36065280 140725454804125 140725454804300 140725454804300 140725454806991 0
[pid=18709/tid=18719] ppid=18707 vsize=13984976 memory=1384 CPUtime=3.96 cores=0,2,4,6
/proc/18709/task/18719/stat : 18719 (java) S 18707 18707 13358 0 -1 1077944384 16491 0 0 0 393 3 0 0 20 0 15 0 154674349 14320615424 83128 33554432000 4194304 4196468 140725454799808 140677967833328 140678430665346 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 36065280 140725454804125 140725454804300 140725454804300 140725454806991 0
[pid=18709/tid=18720] ppid=18707 vsize=13984976 memory=1384 CPUtime=4.18 cores=0,2,4,6
/proc/18709/task/18720/stat : 18720 (java) S 18707 18707 13358 0 -1 1077944384 19404 0 0 0 417 1 0 0 20 0 15 0 154674349 14320615424 83128 33554432000 4194304 4196468 140725454799808 140677966780784 140678430665346 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 36065280 140725454804125 140725454804300 140725454804300 140725454806991 0
[pid=18709/tid=18721] ppid=18707 vsize=13984976 memory=1384 CPUtime=0.72 cores=0,2,4,6
/proc/18709/task/18721/stat : 18721 (java) S 18707 18707 13358 0 -1 1077944384 10939 0 0 0 71 1 0 0 20 0 15 0 154674349 14320615424 83128 33554432000 4194304 4196468 140725454799808 140677965727728 140678430665346 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 36065280 140725454804125 140725454804300 140725454804300 140725454806991 0
[pid=18709/tid=18722] ppid=18707 vsize=13984976 memory=305768 CPUtime=0 cores=0,2,4,6
/proc/18709/task/18722/stat : 18722 (java) S 18707 18707 13358 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 154674350 14320615424 83128 33554432000 4194304 4196468 140725454799808 140677964675424 140678430664405 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 36065280 140725454804125 140725454804300 140725454804300 140725454806991 0
[pid=18709/tid=18723] ppid=18707 vsize=13984976 memory=1228 CPUtime=0.09 cores=0,2,4,6
/proc/18709/task/18723/stat : 18723 (java) S 18707 18707 13358 0 -1 1077944384 818 0 0 0 4 5 0 0 20 0 15 0 154674350 14320615424 83128 33554432000 4194304 4196468 140725454799808 140677895679024 140678430665346 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 36065280 140725454804125 140725454804300 140725454804300 140725454806991 0
Current children cumulated CPU time: 234.45 s
Current children cumulated vsize: 13994488 KiB
Current children cumulated memory: 333896 KiB
Maximum wall clock time exceeded: sending SIGTERM then SIGKILL
[startup+240.001 s]*
/proc/loadavg: 1.42 1.74 1.83 3/218 18883
/proc/meminfo: memFree=24191004/32770624 swapFree=67108860/67108860
[pid=18707] ppid=18704 vsize=9512 memory=1384 CPUtime=0 cores=0,2,4,6
/proc/18707/stat : 18707 (xcsp3-exec) S 18704 18707 13358 0 -1 4202496 515 0 0 0 0 0 0 0 20 0 1 0 154674344 9740288 346 33554432000 4194304 5098028 140726838433408 140726838431512 140167143772796 0 65536 4100 65538 18446744071579417331 0 0 17 4 0 0 0 0 0 7196144 7232144 8327168 140726838441076 140726838441280 140726838441280 140726838444011 0
/proc/18707/statm: 2378 346 289 221 0 87 0
[pid=18709] ppid=18707 vsize=13984976 memory=349864 CPUtime=252.53 cores=0,2,4,6
/proc/18709/stat : 18709 (java) S 18707 18707 13358 0 -1 1077944320 74985 0 0 0 25210 43 0 0 20 0 15 0 154674344 14320615424 87466 33554432000 4194304 4196468 140725454799808 140725454782352 140678430654199 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 36065280 140725454804125 140725454804300 140725454804300 140725454806991 0
/proc/18709/statm: 3496244 87466 3270 1 0 3483478 0
[pid=18709/tid=18710] ppid=18707 vsize=13984976 memory=6791534058613427641 CPUtime=238.48 cores=0,2,4,6
/proc/18709/task/18710/stat : 18710 (java) R 18707 18707 13358 0 -1 4202560 15376 0 0 0 23842 6 0 0 20 0 15 0 154674344 14320615424 87466 33554432000 4194304 4196468 140725454799808 140678434894000 140678051120812 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 36065280 140725454804125 140725454804300 140725454804300 140725454806991 0
[pid=18709/tid=18711] ppid=18707 vsize=13984976 memory=4872558044660077418 CPUtime=1.21 cores=0,2,4,6
/proc/18709/task/18711/stat : 18711 (java) S 18707 18707 13358 0 -1 1077944384 2338 0 0 0 115 6 0 0 20 0 15 0 154674345 14320615424 87466 33554432000 4194304 4196468 140725454799808 140678368254480 140678430664405 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 36065280 140725454804125 140725454804300 140725454804300 140725454806991 0
[pid=18709/tid=18712] ppid=18707 vsize=13984976 memory=2332 CPUtime=1.19 cores=0,2,4,6
/proc/18709/task/18712/stat : 18712 (java) S 18707 18707 13358 0 -1 1077944384 2641 0 0 0 113 6 0 0 20 0 15 0 154674345 14320615424 87466 33554432000 4194304 4196468 140725454799808 140678367201936 140678430664405 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 36065280 140725454804125 140725454804300 140725454804300 140725454806991 0
[pid=18709/tid=18713] ppid=18707 vsize=13984976 memory=1292 CPUtime=1.21 cores=0,2,4,6
/proc/18709/task/18713/stat : 18713 (java) S 18707 18707 13358 0 -1 1077944384 1727 0 0 0 115 6 0 0 20 0 15 0 154674345 14320615424 87466 33554432000 4194304 4196468 140725454799808 140678024141072 140678430664405 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 36065280 140725454804125 140725454804300 140725454804300 140725454806991 0
[pid=18709/tid=18714] ppid=18707 vsize=13984976 memory=1728 CPUtime=1.22 cores=0,2,4,6
/proc/18709/task/18714/stat : 18714 (java) S 18707 18707 13358 0 -1 1077944384 2076 0 0 0 117 5 0 0 20 0 15 0 154674345 14320615424 87466 33554432000 4194304 4196468 140725454799808 140678023088528 140678430664405 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 36065280 140725454804125 140725454804300 140725454804300 140725454806991 0
[pid=18709/tid=18715] ppid=18707 vsize=13984976 memory=5788 CPUtime=0.16 cores=0,2,4,6
/proc/18709/task/18715/stat : 18715 (java) S 18707 18707 13358 0 -1 1077944384 1781 0 0 0 15 1 0 0 20 0 15 0 154674346 14320615424 87466 33554432000 4194304 4196468 140725454799808 140677972044528 140678430665346 0 0 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 36065280 140725454804125 140725454804300 140725454804300 140725454806991 0
[pid=18709/tid=18716] ppid=18707 vsize=13984976 memory=1228 CPUtime=0 cores=0,2,4,6
/proc/18709/task/18716/stat : 18716 (java) S 18707 18707 13358 0 -1 1077944384 74 0 0 0 0 0 0 0 20 0 15 0 154674347 14320615424 87466 33554432000 4194304 4196468 140725454799808 140677970990816 140678430664405 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 36065280 140725454804125 140725454804300 140725454804300 140725454806991 0
[pid=18709/tid=18717] ppid=18707 vsize=13984976 memory=281360087124640 CPUtime=0 cores=0,2,4,6
/proc/18709/task/18717/stat : 18717 (java) S 18707 18707 13358 0 -1 1077944384 78 0 0 0 0 0 0 0 20 0 15 0 154674347 14320615424 87466 33554432000 4194304 4196468 140725454799808 140677969937664 140678430664405 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 36065280 140725454804125 140725454804300 140725454804300 140725454806991 0
[pid=18709/tid=18718] ppid=18707 vsize=13984976 memory=3472328296227699777 CPUtime=0 cores=0,2,4,6
/proc/18709/task/18718/stat : 18718 (java) S 18707 18707 13358 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 154674349 14320615424 87466 33554432000 4194304 4196468 140725454799808 140677968886224 140678430672795 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 36065280 140725454804125 140725454804300 140725454804300 140725454806991 0
[pid=18709/tid=18719] ppid=18707 vsize=13984976 memory=3472323898181187489 CPUtime=3.97 cores=0,2,4,6
/proc/18709/task/18719/stat : 18719 (java) S 18707 18707 13358 0 -1 1077944384 16491 0 0 0 394 3 0 0 20 0 15 0 154674349 14320615424 87466 33554432000 4194304 4196468 140725454799808 140677967833328 140678430665346 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 36065280 140725454804125 140725454804300 140725454804300 140725454806991 0
[pid=18709/tid=18720] ppid=18707 vsize=13984976 memory=3472323898181185281 CPUtime=4.18 cores=0,2,4,6
/proc/18709/task/18720/stat : 18720 (java) S 18707 18707 13358 0 -1 1077944384 19404 0 0 0 417 1 0 0 20 0 15 0 154674349 14320615424 87466 33554432000 4194304 4196468 140725454799808 140677966780784 140678430665346 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 36065280 140725454804125 140725454804300 140725454804300 140725454806991 0
[pid=18709/tid=18721] ppid=18707 vsize=13984976 memory=15409 CPUtime=0.72 cores=0,2,4,6
/proc/18709/task/18721/stat : 18721 (java) S 18707 18707 13358 0 -1 1077944384 10939 0 0 0 71 1 0 0 20 0 15 0 154674349 14320615424 87466 33554432000 4194304 4196468 140725454799808 140677965727728 140678430665346 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 36065280 140725454804125 140725454804300 140725454804300 140725454806991 0
[pid=18709/tid=18722] ppid=18707 vsize=13984976 memory=3472323898181180865 CPUtime=0 cores=0,2,4,6
/proc/18709/task/18722/stat : 18722 (java) S 18707 18707 13358 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 154674350 14320615424 87466 33554432000 4194304 4196468 140725454799808 140677964675424 140678430664405 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 36065280 140725454804125 140725454804300 140725454804300 140725454806991 0
[pid=18709/tid=18723] ppid=18707 vsize=13984976 memory=3471202396320847137 CPUtime=0.1 cores=0,2,4,6
/proc/18709/task/18723/stat : 18723 (java) S 18707 18707 13358 0 -1 1077944384 818 0 0 0 5 5 0 0 20 0 15 0 154674350 14320615424 87466 33554432000 4194304 4196468 140725454799808 140677895679024 140678430665346 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 36065280 140725454804125 140725454804300 140725454804300 140725454806991 0
Current children cumulated CPU time: 252.53 s
Current children cumulated vsize: 13994488 KiB
Current children cumulated memory: 351248 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
[startup+240.02 s]
# the end of solver process 18707 was just reported to runsolver
# cumulated CPU time of all completed processes: user=0.000863 s, system=0.001224 s
[startup+240.023 s]
# the end of solver process 18709 was just reported to runsolver
# cumulated CPU time of all completed processes: user=252.112 s, system=0.442704 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.024
CPU time (s): 252.555
CPU user time (s): 252.112
CPU system time (s): 0.442704
CPU usage (%): 105.221
Max. virtual memory (cumulated for all children) (KiB): 13996564
Max. memory (cumulated for all children) (KiB): 351248
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 252.112
system time used= 0.442704
maximum resident set size= 350272
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 75956
page faults= 0
swaps= 0
block input operations= 0
block output operations= 392
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 12044
involuntary context switches= 624
# summary of solver processes directly reported to runsolver:
# pid: 18707,18709
# total CPU time (s): 252.555
# total CPU user time (s): 252.112
# total CPU system time (s): 0.442704
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 1.46462 second user time and 2.40327 second system time
The end