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 (10489 MiB free)
memory of node 1: 16384 MiB (11939 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4284216-1503214713/watcher-4284216-1503214713 -o /tmp/evaluation-result-4284216-1503214713/solver-4284216-1503214713 -C 264 -W 240 -M 15500 --bin-var /tmp/runsolver-exch-node151-1503208976-12842 --watchdog 300 ./xcsp3-exec -dir HOME -tl 264 -ml 11000 -tdir HOME -seed 1253481177 HOME/instance-4284216-1503214713.xml
running on 4 cores: 1,3,5,7
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 264 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 294 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 240 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB
Linux 3.10.0-514.16.1.el7.x86_64
Starting watchdog thread
solver pid=17187, runsolver pid=17184
Current StackSize limit: 8192 KiB
[startup+0.100094 s]*
/proc/loadavg: 1.76 1.79 1.86 3/217 17203
/proc/meminfo: memFree=22950272/32770624 swapFree=67108860/67108860
[pid=17187] ppid=17184 vsize=9512 memory=1384 CPUtime=0 cores=1,3,5,7
/proc/17187/stat : 17187 (xcsp3-exec) S 17184 17187 12810 0 -1 4202496 514 0 0 0 0 0 0 0 20 0 1 0 154552001 9740288 346 33554432000 4194304 5098028 140727526397024 140727526395128 140460387807868 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 39690240 140727526405236 140727526405440 140727526405440 140727526408171 0
/proc/17187/statm: 2378 346 289 221 0 87 0
[pid=17189] ppid=17187 vsize=13978596 memory=27880 CPUtime=0.12 cores=1,3,5,7
/proc/17189/stat : 17189 (java) S 17187 17187 12810 0 -1 1077944320 5312 0 0 0 10 2 0 0 20 0 15 0 154552001 14314082304 6970 33554432000 4194304 4196468 140728355255248 140728355237792 140393223810807 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 33460224 140728355263645 140728355263820 140728355263820 140728355266511 0
/proc/17189/statm: 3494649 6970 2865 1 0 3482966 0
[pid=17189/tid=17190] ppid=17187 vsize=13978596 memory=-6962121287837372198 CPUtime=0.09 cores=1,3,5,7
/proc/17189/task/17190/stat : 17190 (java) R 17187 17187 12810 0 -1 4202560 3326 0 0 0 8 1 0 0 20 0 15 0 154552002 14314082304 6970 33554432000 4194304 4196468 140728355255248 140393228034608 140393223822742 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 33460224 140728355263645 140728355263820 140728355263820 140728355266511 0
[pid=17189/tid=17191] ppid=17187 vsize=13978596 memory=0 CPUtime=0 cores=1,3,5,7
/proc/17189/task/17191/stat : 17191 (java) S 17187 17187 12810 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 154552002 14314082304 6970 33554432000 4194304 4196468 140728355255248 140393153899024 140393223821013 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 33460224 140728355263645 140728355263820 140728355263820 140728355266511 0
[pid=17189/tid=17192] ppid=17187 vsize=13978596 memory=139988564858496 CPUtime=0 cores=1,3,5,7
/proc/17189/task/17192/stat : 17192 (java) S 17187 17187 12810 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 154552002 14314082304 6970 33554432000 4194304 4196468 140728355255248 140392818981520 140393223821013 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 33460224 140728355263645 140728355263820 140728355263820 140728355266511 0
[pid=17189/tid=17193] ppid=17187 vsize=13978596 memory=0 CPUtime=0 cores=1,3,5,7
/proc/17189/task/17193/stat : 17193 (java) S 17187 17187 12810 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 154552002 14314082304 6970 33554432000 4194304 4196468 140728355255248 140392817928464 140393223821013 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 33460224 140728355263645 140728355263820 140728355263820 140728355266511 0
[pid=17189/tid=17194] ppid=17187 vsize=13978596 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/17189/task/17194/stat : 17194 (java) S 17187 17187 12810 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 154552002 14314082304 6970 33554432000 4194304 4196468 140728355255248 140392816875920 140393223821013 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 33460224 140728355263645 140728355263820 140728355263820 140728355266511 0
[pid=17189/tid=17195] ppid=17187 vsize=13978596 memory=139988564858496 CPUtime=0 cores=1,3,5,7
/proc/17189/task/17195/stat : 17195 (java) S 17187 17187 12810 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 154552004 14314082304 6970 33554432000 4194304 4196468 140728355255248 140392765160176 140393223821954 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 33460224 140728355263645 140728355263820 140728355263820 140728355266511 0
[pid=17189/tid=17196] ppid=17187 vsize=13978596 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/17189/task/17196/stat : 17196 (java) S 17187 17187 12810 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 154552004 14314082304 6970 33554432000 4194304 4196468 140728355255248 140392764106400 140393223821013 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 33460224 140728355263645 140728355263820 140728355263820 140728355266511 0
[pid=17189/tid=17197] ppid=17187 vsize=13978596 memory=0 CPUtime=0 cores=1,3,5,7
/proc/17189/task/17197/stat : 17197 (java) S 17187 17187 12810 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 154552004 14314082304 6970 33554432000 4194304 4196468 140728355255248 140392763053296 140393223821013 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 33460224 140728355263645 140728355263820 140728355263820 140728355266511 0
[pid=17189/tid=17198] ppid=17187 vsize=13978596 memory=0 CPUtime=0 cores=1,3,5,7
/proc/17189/task/17198/stat : 17198 (java) S 17187 17187 12810 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 154552007 14314082304 6970 33554432000 4194304 4196468 140728355255248 140392762001872 140393223829403 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 33460224 140728355263645 140728355263820 140728355263820 140728355266511 0
[pid=17189/tid=17199] ppid=17187 vsize=13978596 memory=0 CPUtime=0 cores=1,3,5,7
/proc/17189/task/17199/stat : 17199 (java) S 17187 17187 12810 0 -1 1077944384 436 0 0 0 0 0 0 0 20 0 15 0 154552007 14314082304 6970 33554432000 4194304 4196468 140728355255248 140392760948976 140393223821954 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 33460224 140728355263645 140728355263820 140728355263820 140728355266511 0
[pid=17189/tid=17200] ppid=17187 vsize=13978596 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/17189/task/17200/stat : 17200 (java) S 17187 17187 12810 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 154552007 14314082304 6970 33554432000 4194304 4196468 140728355255248 140392759896432 140393223821954 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 33460224 140728355263645 140728355263820 140728355263820 140728355266511 0
[pid=17189/tid=17201] ppid=17187 vsize=13978596 memory=139988564858496 CPUtime=0.01 cores=1,3,5,7
/proc/17189/task/17201/stat : 17201 (java) R 17187 17187 12810 0 -1 4202560 251 0 0 0 1 0 0 0 20 0 15 0 154552007 14314082304 6970 33554432000 4194304 4196468 140728355255248 140392758843376 140393207891294 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 33460224 140728355263645 140728355263820 140728355263820 140728355266511 0
[pid=17189/tid=17202] ppid=17187 vsize=13978596 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/17189/task/17202/stat : 17202 (java) S 17187 17187 12810 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 154552007 14314082304 6970 33554432000 4194304 4196468 140728355255248 140392757791072 140393223821013 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 33460224 140728355263645 140728355263820 140728355263820 140728355266511 0
[pid=17189/tid=17203] ppid=17187 vsize=13978596 memory=139988564858496 CPUtime=0 cores=1,3,5,7
/proc/17189/task/17203/stat : 17203 (java) S 17187 17187 12810 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 154552007 14314082304 6970 33554432000 4194304 4196468 140728355255248 140392756739120 140393223821954 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 33460224 140728355263645 140728355263820 140728355263820 140728355266511 0
Current children cumulated CPU time: 0.12 s
Current children cumulated vsize: 13988108 KiB
Current children cumulated memory: 29264 KiB
[startup+0.210682 s]*
/proc/loadavg: 1.76 1.79 1.86 3/217 17203
/proc/meminfo: memFree=22938364/32770624 swapFree=67108860/67108860
[pid=17187] ppid=17184 vsize=9512 memory=1384 CPUtime=0 cores=1,3,5,7
/proc/17187/stat : 17187 (xcsp3-exec) S 17184 17187 12810 0 -1 4202496 514 0 0 0 0 0 0 0 20 0 1 0 154552001 9740288 346 33554432000 4194304 5098028 140727526397024 140727526395128 140460387807868 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 39690240 140727526405236 140727526405440 140727526405440 140727526408171 0
/proc/17187/statm: 2378 346 289 221 0 87 0
[pid=17189] ppid=17187 vsize=13982852 memory=40500 CPUtime=0.34 cores=1,3,5,7
/proc/17189/stat : 17189 (java) S 17187 17187 12810 0 -1 1077944320 8128 0 0 0 31 3 0 0 20 0 15 0 154552001 14318440448 10125 33554432000 4194304 4196468 140728355255248 140728355237792 140393223810807 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 33460224 140728355263645 140728355263820 140728355263820 140728355266511 0
/proc/17189/statm: 3495713 10125 3071 1 0 3482966 0
[pid=17189/tid=17190] ppid=17187 vsize=13982852 memory=7883960649037381690 CPUtime=0.2 cores=1,3,5,7
/proc/17189/task/17190/stat : 17190 (java) D 17187 17187 12810 0 -1 1077944384 5301 0 0 0 18 2 0 0 20 0 15 0 154552002 14318440448 10125 33554432000 4194304 4196468 140728355255248 140393228020592 140393216490029 0 4 0 16800975 18446744072101629476 0 0 -1 3 0 0 0 0 0 6293624 6294260 33460224 140728355263645 140728355263820 140728355263820 140728355266511 0
[pid=17189/tid=17191] ppid=17187 vsize=13982852 memory=2907 CPUtime=0 cores=1,3,5,7
/proc/17189/task/17191/stat : 17191 (java) S 17187 17187 12810 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 154552002 14318440448 10125 33554432000 4194304 4196468 140728355255248 140393153899024 140393223821013 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 33460224 140728355263645 140728355263820 140728355263820 140728355266511 0
[pid=17189/tid=17192] ppid=17187 vsize=13982852 memory=288370364716570240 CPUtime=0 cores=1,3,5,7
/proc/17189/task/17192/stat : 17192 (java) S 17187 17187 12810 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 154552002 14318440448 10125 33554432000 4194304 4196468 140728355255248 140392818981520 140393223821013 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 33460224 140728355263645 140728355263820 140728355263820 140728355266511 0
[pid=17189/tid=17193] ppid=17187 vsize=13982852 memory=0 CPUtime=0 cores=1,3,5,7
/proc/17189/task/17193/stat : 17193 (java) S 17187 17187 12810 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 154552002 14318440448 10125 33554432000 4194304 4196468 140728355255248 140392817928464 140393223821013 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 33460224 140728355263645 140728355263820 140728355263820 140728355266511 0
[pid=17189/tid=17194] ppid=17187 vsize=13982852 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/17189/task/17194/stat : 17194 (java) S 17187 17187 12810 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 154552002 14318440448 10125 33554432000 4194304 4196468 140728355255248 140392816875920 140393223821013 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 33460224 140728355263645 140728355263820 140728355263820 140728355266511 0
[pid=17189/tid=17195] ppid=17187 vsize=13982852 memory=139988564858496 CPUtime=0 cores=1,3,5,7
/proc/17189/task/17195/stat : 17195 (java) S 17187 17187 12810 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 154552004 14318440448 10125 33554432000 4194304 4196468 140728355255248 140392765160176 140393223821954 0 0 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 33460224 140728355263645 140728355263820 140728355263820 140728355266511 0
[pid=17189/tid=17196] ppid=17187 vsize=13982884 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/17189/task/17196/stat : 17196 (java) S 17187 17187 12810 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 154552004 14318473216 10125 33554432000 4194304 4196468 140728355255248 140392764106400 140393223821013 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 33460224 140728355263645 140728355263820 140728355263820 140728355266511 0
[pid=17189/tid=17197] ppid=17187 vsize=13982884 memory=0 CPUtime=0 cores=1,3,5,7
/proc/17189/task/17197/stat : 17197 (java) S 17187 17187 12810 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 154552004 14318473216 10125 33554432000 4194304 4196468 140728355255248 140392763053296 140393223821013 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 33460224 140728355263645 140728355263820 140728355263820 140728355266511 0
[pid=17189/tid=17198] ppid=17187 vsize=13982852 memory=0 CPUtime=0 cores=1,3,5,7
/proc/17189/task/17198/stat : 17198 (java) S 17187 17187 12810 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 154552007 14318440448 10125 33554432000 4194304 4196468 140728355255248 140392762001872 140393223829403 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 33460224 140728355263645 140728355263820 140728355263820 140728355266511 0
[pid=17189/tid=17199] ppid=17187 vsize=13982852 memory=0 CPUtime=0.02 cores=1,3,5,7
/proc/17189/task/17199/stat : 17199 (java) S 17187 17187 12810 0 -1 1077944384 537 0 0 0 2 0 0 0 20 0 15 0 154552007 14318440448 10125 33554432000 4194304 4196468 140728355255248 140392760948976 140393223821954 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 33460224 140728355263645 140728355263820 140728355263820 140728355266511 0
[pid=17189/tid=17200] ppid=17187 vsize=13982852 memory=-1 CPUtime=0.02 cores=1,3,5,7
/proc/17189/task/17200/stat : 17200 (java) S 17187 17187 12810 0 -1 1077944384 245 0 0 0 2 0 0 0 20 0 15 0 154552007 14318440448 10125 33554432000 4194304 4196468 140728355255248 140392759896432 140393223821954 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 33460224 140728355263645 140728355263820 140728355263820 140728355266511 0
[pid=17189/tid=17201] ppid=17187 vsize=13982852 memory=139988564858496 CPUtime=0.08 cores=1,3,5,7
/proc/17189/task/17201/stat : 17201 (java) S 17187 17187 12810 0 -1 1077944384 737 0 0 0 8 0 0 0 20 0 15 0 154552007 14318440448 10125 33554432000 4194304 4196468 140728355255248 140392758843376 140393223821954 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 33460224 140728355263645 140728355263820 140728355263820 140728355266511 0
[pid=17189/tid=17202] ppid=17187 vsize=13982852 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/17189/task/17202/stat : 17202 (java) S 17187 17187 12810 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 154552007 14318440448 10125 33554432000 4194304 4196468 140728355255248 140392757791072 140393223821013 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 33460224 140728355263645 140728355263820 140728355263820 140728355266511 0
[pid=17189/tid=17203] ppid=17187 vsize=13982852 memory=0 CPUtime=0 cores=1,3,5,7
/proc/17189/task/17203/stat : 17203 (java) S 17187 17187 12810 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 154552007 14318440448 10125 33554432000 4194304 4196468 140728355255248 140392756739120 140393223821954 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 33460224 140728355263645 140728355263820 140728355263820 140728355266511 0
Current children cumulated CPU time: 0.34 s
Current children cumulated vsize: 13992364 KiB
Current children cumulated memory: 41884 KiB
[startup+0.311615 s]*
/proc/loadavg: 1.76 1.79 1.86 4/217 17203
/proc/meminfo: memFree=22931408/32770624 swapFree=67108860/67108860
[pid=17187] ppid=17184 vsize=9512 memory=1384 CPUtime=0 cores=1,3,5,7
/proc/17187/stat : 17187 (xcsp3-exec) S 17184 17187 12810 0 -1 4202496 514 0 0 0 0 0 0 0 20 0 1 0 154552001 9740288 346 33554432000 4194304 5098028 140727526397024 140727526395128 140460387807868 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 39690240 140727526405236 140727526405440 140727526405440 140727526408171 0
/proc/17187/statm: 2378 346 289 221 0 87 0
[pid=17189] ppid=17187 vsize=13982852 memory=47172 CPUtime=0.5 cores=1,3,5,7
/proc/17189/stat : 17189 (java) S 17187 17187 12810 0 -1 1077944320 9021 0 0 0 47 3 0 0 20 0 15 0 154552001 14318440448 11793 33554432000 4194304 4196468 140728355255248 140728355237792 140393223810807 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 33460224 140728355263645 140728355263820 140728355263820 140728355266511 0
/proc/17189/statm: 3495713 11793 3082 1 0 3482966 0
[pid=17189/tid=17190] ppid=17187 vsize=13982852 memory=6791534058613427641 CPUtime=0.29 cores=1,3,5,7
/proc/17189/task/17190/stat : 17190 (java) R 17187 17187 12810 0 -1 4202560 5989 0 0 0 27 2 0 0 20 0 15 0 154552002 14318440448 11793 33554432000 4194304 4196468 140728355255248 140393228049984 140393207891294 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 33460224 140728355263645 140728355263820 140728355263820 140728355266511 0
[pid=17189/tid=17191] ppid=17187 vsize=13982852 memory=6943526294502006880 CPUtime=0 cores=1,3,5,7
/proc/17189/task/17191/stat : 17191 (java) S 17187 17187 12810 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 154552002 14318440448 11793 33554432000 4194304 4196468 140728355255248 140393153899024 140393223821013 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 33460224 140728355263645 140728355263820 140728355263820 140728355266511 0
[pid=17189/tid=17192] ppid=17187 vsize=13982852 memory=6944656575208382560 CPUtime=0 cores=1,3,5,7
/proc/17189/task/17192/stat : 17192 (java) S 17187 17187 12810 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 154552002 14318440448 11793 33554432000 4194304 4196468 140728355255248 140392818981520 140393223821013 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 33460224 140728355263645 140728355263820 140728355263820 140728355266511 0
[pid=17189/tid=17193] ppid=17187 vsize=13982852 memory=-3258418265892434876 CPUtime=0 cores=1,3,5,7
/proc/17189/task/17193/stat : 17193 (java) S 17187 17187 12810 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 154552002 14318440448 11793 33554432000 4194304 4196468 140728355255248 140392817928464 140393223821013 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 33460224 140728355263645 140728355263820 140728355263820 140728355266511 0
[pid=17189/tid=17194] ppid=17187 vsize=13982852 memory=4500088472188524148 CPUtime=0 cores=1,3,5,7
/proc/17189/task/17194/stat : 17194 (java) S 17187 17187 12810 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 154552002 14318440448 11793 33554432000 4194304 4196468 140728355255248 140392816875920 140393223821013 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 33460224 140728355263645 140728355263820 140728355263820 140728355266511 0
[pid=17189/tid=17195] ppid=17187 vsize=13982852 memory=6944613755495348631 CPUtime=0 cores=1,3,5,7
/proc/17189/task/17195/stat : 17195 (java) S 17187 17187 12810 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 154552004 14318440448 11793 33554432000 4194304 4196468 140728355255248 140392765160176 140393223821954 0 0 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 33460224 140728355263645 140728355263820 140728355263820 140728355266511 0
[pid=17189/tid=17196] ppid=17187 vsize=13982852 memory=7893295687695687954 CPUtime=0 cores=1,3,5,7
/proc/17189/task/17196/stat : 17196 (java) S 17187 17187 12810 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 154552004 14318440448 11793 33554432000 4194304 4196468 140728355255248 140392764106400 140393223821013 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 33460224 140728355263645 140728355263820 140728355263820 140728355266511 0
[pid=17189/tid=17197] ppid=17187 vsize=13982852 memory=-8813974798734826869 CPUtime=0 cores=1,3,5,7
/proc/17189/task/17197/stat : 17197 (java) S 17187 17187 12810 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 154552004 14318440448 11793 33554432000 4194304 4196468 140728355255248 140392763053296 140393223821013 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 33460224 140728355263645 140728355263820 140728355263820 140728355266511 0
[pid=17189/tid=17198] ppid=17187 vsize=13982852 memory=-6664436420846797971 CPUtime=0 cores=1,3,5,7
/proc/17189/task/17198/stat : 17198 (java) S 17187 17187 12810 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 154552007 14318440448 11793 33554432000 4194304 4196468 140728355255248 140392762001872 140393223829403 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 33460224 140728355263645 140728355263820 140728355263820 140728355266511 0
[pid=17189/tid=17199] ppid=17187 vsize=13982852 memory=4713750055892520310 CPUtime=0.04 cores=1,3,5,7
/proc/17189/task/17199/stat : 17199 (java) R 17187 17187 12810 0 -1 4202560 542 0 0 0 4 0 0 0 20 0 15 0 154552007 14318440448 11793 33554432000 4194304 4196468 140728355255248 140392760948976 140393203054824 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 33460224 140728355263645 140728355263820 140728355263820 140728355266511 0
[pid=17189/tid=17200] ppid=17187 vsize=13982852 memory=0 CPUtime=0.02 cores=1,3,5,7
/proc/17189/task/17200/stat : 17200 (java) R 17187 17187 12810 0 -1 1077944384 264 0 0 0 2 0 0 0 20 0 15 0 154552007 14318440448 11793 33554432000 4194304 4196468 140728355255248 140392759896432 140393223821954 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 33460224 140728355263645 140728355263820 140728355263820 140728355266511 0
[pid=17189/tid=17201] ppid=17187 vsize=13982852 memory=0 CPUtime=0.13 cores=1,3,5,7
/proc/17189/task/17201/stat : 17201 (java) S 17187 17187 12810 0 -1 1077944384 920 0 0 0 13 0 0 0 20 0 15 0 154552007 14318440448 11793 33554432000 4194304 4196468 140728355255248 140392758843376 140393223821954 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 33460224 140728355263645 140728355263820 140728355263820 140728355266511 0
[pid=17189/tid=17202] ppid=17187 vsize=13982852 memory=0 CPUtime=0 cores=1,3,5,7
/proc/17189/task/17202/stat : 17202 (java) S 17187 17187 12810 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 154552007 14318440448 11793 33554432000 4194304 4196468 140728355255248 140392757791072 140393223821013 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 33460224 140728355263645 140728355263820 140728355263820 140728355266511 0
[pid=17189/tid=17203] ppid=17187 vsize=13982852 memory=0 CPUtime=0 cores=1,3,5,7
/proc/17189/task/17203/stat : 17203 (java) S 17187 17187 12810 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 154552007 14318440448 11793 33554432000 4194304 4196468 140728355255248 140392756739120 140393223821954 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 33460224 140728355263645 140728355263820 140728355263820 140728355266511 0
Current children cumulated CPU time: 0.5 s
Current children cumulated vsize: 13992364 KiB
Current children cumulated memory: 48556 KiB
[startup+0.700769 s]
/proc/loadavg: 1.76 1.79 1.86 2/217 17203
/proc/meminfo: memFree=22914044/32770624 swapFree=67108860/67108860
[pid=17187] ppid=17184 vsize=9512 memory=1384 CPUtime=0 cores=1,3,5,7
/proc/17187/stat : 17187 (xcsp3-exec) S 17184 17187 12810 0 -1 4202496 514 0 0 0 0 0 0 0 20 0 1 0 154552001 9740288 346 33554432000 4194304 5098028 140727526397024 140727526395128 140460387807868 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 39690240 140727526405236 140727526405440 140727526405440 140727526408171 0
/proc/17187/statm: 2378 346 289 221 0 87 0
[pid=17189] ppid=17187 vsize=13984976 memory=73076 CPUtime=1.51 cores=1,3,5,7
/proc/17189/stat : 17189 (java) S 17187 17187 12810 0 -1 1077944320 10939 0 0 0 146 5 0 0 20 0 15 0 154552001 14320615424 18269 33554432000 4194304 4196468 140728355255248 140728355237792 140393223810807 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 33460224 140728355263645 140728355263820 140728355263820 140728355266511 0
/proc/17189/statm: 3496244 18269 3207 1 0 3483478 0
[pid=17189/tid=17190] ppid=17187 vsize=13984976 memory=33 CPUtime=0.66 cores=1,3,5,7
/proc/17189/task/17190/stat : 17190 (java) R 17187 17187 12810 0 -1 4202560 6719 0 0 0 63 3 0 0 20 0 15 0 154552002 14320615424 18269 33554432000 4194304 4196468 140728355255248 140393228047176 140392834325536 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 33460224 140728355263645 140728355263820 140728355263820 140728355266511 0
[pid=17189/tid=17191] ppid=17187 vsize=13984976 memory=-7816663703405220396 CPUtime=0 cores=1,3,5,7
/proc/17189/task/17191/stat : 17191 (java) S 17187 17187 12810 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 154552002 14320615424 18269 33554432000 4194304 4196468 140728355255248 140393153899024 140393223821013 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 33460224 140728355263645 140728355263820 140728355263820 140728355266511 0
[pid=17189/tid=17192] ppid=17187 vsize=13984976 memory=0 CPUtime=0 cores=1,3,5,7
/proc/17189/task/17192/stat : 17192 (java) S 17187 17187 12810 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 154552002 14320615424 18269 33554432000 4194304 4196468 140728355255248 140392818981520 140393223821013 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 33460224 140728355263645 140728355263820 140728355263820 140728355266511 0
[pid=17189/tid=17193] ppid=17187 vsize=13984976 memory=43008 CPUtime=0 cores=1,3,5,7
/proc/17189/task/17193/stat : 17193 (java) S 17187 17187 12810 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 154552002 14320615424 18269 33554432000 4194304 4196468 140728355255248 140392817928464 140393223821013 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 33460224 140728355263645 140728355263820 140728355263820 140728355266511 0
[pid=17189/tid=17194] ppid=17187 vsize=13984976 memory=1292 CPUtime=0 cores=1,3,5,7
/proc/17189/task/17194/stat : 17194 (java) S 17187 17187 12810 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 154552002 14320615424 18269 33554432000 4194304 4196468 140728355255248 140392816875920 140393223821013 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 33460224 140728355263645 140728355263820 140728355263820 140728355266511 0
[pid=17189/tid=17195] ppid=17187 vsize=13984976 memory=2428 CPUtime=0 cores=1,3,5,7
/proc/17189/task/17195/stat : 17195 (java) S 17187 17187 12810 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 154552004 14320615424 18269 33554432000 4194304 4196468 140728355255248 140392765160176 140393223821954 0 0 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 33460224 140728355263645 140728355263820 140728355263820 140728355266511 0
[pid=17189/tid=17196] ppid=17187 vsize=13984976 memory=1728 CPUtime=0 cores=1,3,5,7
/proc/17189/task/17196/stat : 17196 (java) S 17187 17187 12810 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 154552004 14320615424 18269 33554432000 4194304 4196468 140728355255248 140392764106400 140393223821013 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 33460224 140728355263645 140728355263820 140728355263820 140728355266511 0
[pid=17189/tid=17197] ppid=17187 vsize=13984976 memory=792 CPUtime=0 cores=1,3,5,7
/proc/17189/task/17197/stat : 17197 (java) S 17187 17187 12810 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 154552004 14320615424 18269 33554432000 4194304 4196468 140728355255248 140392763053296 140393223821013 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 33460224 140728355263645 140728355263820 140728355263820 140728355266511 0
[pid=17189/tid=17198] ppid=17187 vsize=13984976 memory=10096 CPUtime=0 cores=1,3,5,7
/proc/17189/task/17198/stat : 17198 (java) S 17187 17187 12810 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 154552007 14320615424 18269 33554432000 4194304 4196468 140728355255248 140392762001872 140393223829403 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 33460224 140728355263645 140728355263820 140728355263820 140728355266511 0
[pid=17189/tid=17199] ppid=17187 vsize=13984976 memory=1224 CPUtime=0.25 cores=1,3,5,7
/proc/17189/task/17199/stat : 17199 (java) S 17187 17187 12810 0 -1 1077944384 864 0 0 0 25 0 0 0 20 0 15 0 154552007 14320615424 18269 33554432000 4194304 4196468 140728355255248 140392760948976 140393223821954 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 33460224 140728355263645 140728355263820 140728355263820 140728355266511 0
[pid=17189/tid=17200] ppid=17187 vsize=13984976 memory=5784 CPUtime=0.27 cores=1,3,5,7
/proc/17189/task/17200/stat : 17200 (java) R 17187 17187 12810 0 -1 4202560 730 0 0 0 27 0 0 0 20 0 15 0 154552007 14320615424 18269 33554432000 4194304 4196468 140728355255248 140392759877448 140393208926053 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 33460224 140728355263645 140728355263820 140728355263820 140728355266511 0
[pid=17189/tid=17201] ppid=17187 vsize=13984976 memory=1720 CPUtime=0.3 cores=1,3,5,7
/proc/17189/task/17201/stat : 17201 (java) S 17187 17187 12810 0 -1 1077944384 1318 0 0 0 30 0 0 0 20 0 15 0 154552007 14320615424 18269 33554432000 4194304 4196468 140728355255248 140392758843376 140393223821954 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 33460224 140728355263645 140728355263820 140728355263820 140728355266511 0
[pid=17189/tid=17202] ppid=17187 vsize=13984976 memory=4612 CPUtime=0 cores=1,3,5,7
/proc/17189/task/17202/stat : 17202 (java) S 17187 17187 12810 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 154552007 14320615424 18269 33554432000 4194304 4196468 140728355255248 140392757791072 140393223821013 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 33460224 140728355263645 140728355263820 140728355263820 140728355266511 0
[pid=17189/tid=17203] ppid=17187 vsize=13984976 memory=1008 CPUtime=0 cores=1,3,5,7
/proc/17189/task/17203/stat : 17203 (java) S 17187 17187 12810 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 154552007 14320615424 18269 33554432000 4194304 4196468 140728355255248 140392756739120 140393223821954 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 33460224 140728355263645 140728355263820 140728355263820 140728355266511 0
Current children cumulated CPU time: 1.51 s
Current children cumulated vsize: 13994488 KiB
Current children cumulated memory: 74460 KiB
[startup+1.5008 s]
/proc/loadavg: 1.76 1.79 1.86 3/217 17203
/proc/meminfo: memFree=22905608/32770624 swapFree=67108860/67108860
[pid=17187] ppid=17184 vsize=9512 memory=1384 CPUtime=0 cores=1,3,5,7
/proc/17187/stat : 17187 (xcsp3-exec) S 17184 17187 12810 0 -1 4202496 514 0 0 0 0 0 0 0 20 0 1 0 154552001 9740288 346 33554432000 4194304 5098028 140727526397024 140727526395128 140460387807868 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 39690240 140727526405236 140727526405440 140727526405440 140727526408171 0
/proc/17187/statm: 2378 346 289 221 0 87 0
################
# More data... #
################
/proc/17189/task/17197/stat : 17197 (java) S 17187 17187 12810 0 -1 1077944384 47 0 0 0 0 0 0 0 20 0 15 0 154552004 14320615424 69904 33554432000 4194304 4196468 140728355255248 140392763053296 140393223821013 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 33460224 140728355263645 140728355263820 140728355263820 140728355266511 0
[pid=17189/tid=17198] ppid=17187 vsize=13984976 memory=1384 CPUtime=0 cores=1,3,5,7
/proc/17189/task/17198/stat : 17198 (java) S 17187 17187 12810 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 154552007 14320615424 69904 33554432000 4194304 4196468 140728355255248 140392762001872 140393223829403 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 33460224 140728355263645 140728355263820 140728355263820 140728355266511 0
[pid=17189/tid=17199] ppid=17187 vsize=13984976 memory=271728 CPUtime=2.08 cores=1,3,5,7
/proc/17189/task/17199/stat : 17199 (java) S 17187 17187 12810 0 -1 1077944384 12034 0 0 0 207 1 0 0 20 0 15 0 154552007 14320615424 69904 33554432000 4194304 4196468 140728355255248 140392760948976 140393223821954 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 33460224 140728355263645 140728355263820 140728355263820 140728355266511 0
[pid=17189/tid=17200] ppid=17187 vsize=13984976 memory=1384 CPUtime=2.3 cores=1,3,5,7
/proc/17189/task/17200/stat : 17200 (java) S 17187 17187 12810 0 -1 1077944384 9763 0 0 0 228 2 0 0 20 0 15 0 154552007 14320615424 69904 33554432000 4194304 4196468 140728355255248 140392759896432 140393223821954 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 33460224 140728355263645 140728355263820 140728355263820 140728355266511 0
[pid=17189/tid=17201] ppid=17187 vsize=13984976 memory=256356 CPUtime=0.62 cores=1,3,5,7
/proc/17189/task/17201/stat : 17201 (java) S 17187 17187 12810 0 -1 1077944384 9528 0 0 0 60 2 0 0 20 0 15 0 154552007 14320615424 69904 33554432000 4194304 4196468 140728355255248 140392758843376 140393223821954 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 33460224 140728355263645 140728355263820 140728355263820 140728355266511 0
[pid=17189/tid=17202] ppid=17187 vsize=13984976 memory=6791534058613427641 CPUtime=0 cores=1,3,5,7
/proc/17189/task/17202/stat : 17202 (java) S 17187 17187 12810 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 154552007 14320615424 69904 33554432000 4194304 4196468 140728355255248 140392757791072 140393223821013 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 33460224 140728355263645 140728355263820 140728355263820 140728355266511 0
[pid=17189/tid=17203] ppid=17187 vsize=13984976 memory=2428 CPUtime=0.04 cores=1,3,5,7
/proc/17189/task/17203/stat : 17203 (java) S 17187 17187 12810 0 -1 1077944384 260 0 0 0 2 2 0 0 20 0 15 0 154552007 14320615424 69904 33554432000 4194304 4196468 140728355255248 140392756739120 140393223821954 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 33460224 140728355263645 140728355263820 140728355263820 140728355266511 0
Current children cumulated CPU time: 108.6 s
Current children cumulated vsize: 13994488 KiB
Current children cumulated memory: 281000 KiB
[startup+162.301 s]
/proc/loadavg: 1.74 1.76 1.85 3/217 17206
/proc/meminfo: memFree=22322728/32770624 swapFree=67108860/67108860
[pid=17187] ppid=17184 vsize=9512 memory=1384 CPUtime=0 cores=1,3,5,7
/proc/17187/stat : 17187 (xcsp3-exec) S 17184 17187 12810 0 -1 4202496 514 0 0 0 0 0 0 0 20 0 1 0 154552001 9740288 346 33554432000 4194304 5098028 140727526397024 140727526395128 140460387807868 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 39690240 140727526405236 140727526405440 140727526405440 140727526408171 0
/proc/17187/statm: 2378 346 289 221 0 87 0
[pid=17189] ppid=17187 vsize=13984976 memory=363224 CPUtime=170.14 cores=1,3,5,7
/proc/17189/stat : 17189 (java) S 17187 17187 12810 0 -1 1077944320 65994 0 0 0 16950 64 0 0 20 0 15 0 154552001 14320615424 90806 33554432000 4194304 4196468 140728355255248 140728355237792 140393223810807 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 33460224 140728355263645 140728355263820 140728355263820 140728355266511 0
/proc/17189/statm: 3496244 90806 3256 1 0 3483478 0
[pid=17189/tid=17190] ppid=17187 vsize=13984976 memory=362200 CPUtime=161 cores=1,3,5,7
/proc/17189/task/17190/stat : 17190 (java) R 17187 17187 12810 0 -1 4202560 15194 0 0 0 16094 6 0 0 20 0 15 0 154552002 14320615424 90806 33554432000 4194304 4196468 140728355255248 140393228049968 140392840957608 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 33460224 140728355263645 140728355263820 140728355263820 140728355266511 0
[pid=17189/tid=17191] ppid=17187 vsize=13984976 memory=363224 CPUtime=0.79 cores=1,3,5,7
/proc/17189/task/17191/stat : 17191 (java) S 17187 17187 12810 0 -1 1077944384 2331 0 0 0 67 12 0 0 20 0 15 0 154552002 14320615424 90806 33554432000 4194304 4196468 140728355255248 140393153899024 140393223821013 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 33460224 140728355263645 140728355263820 140728355263820 140728355266511 0
[pid=17189/tid=17192] ppid=17187 vsize=13984976 memory=1384 CPUtime=0.79 cores=1,3,5,7
/proc/17189/task/17192/stat : 17192 (java) S 17187 17187 12810 0 -1 1077944384 1458 0 0 0 66 13 0 0 20 0 15 0 154552002 14320615424 90806 33554432000 4194304 4196468 140728355255248 140392818981520 140393223821013 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 33460224 140728355263645 140728355263820 140728355263820 140728355266511 0
[pid=17189/tid=17193] ppid=17187 vsize=13984976 memory=0 CPUtime=0.78 cores=1,3,5,7
/proc/17189/task/17193/stat : 17193 (java) S 17187 17187 12810 0 -1 1077944384 2340 0 0 0 67 11 0 0 20 0 15 0 154552002 14320615424 90806 33554432000 4194304 4196468 140728355255248 140392817928464 140393223821013 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 33460224 140728355263645 140728355263820 140728355263820 140728355266511 0
[pid=17189/tid=17194] ppid=17187 vsize=13984976 memory=1384 CPUtime=0.8 cores=1,3,5,7
/proc/17189/task/17194/stat : 17194 (java) S 17187 17187 12810 0 -1 1077944384 2263 0 0 0 68 12 0 0 20 0 15 0 154552002 14320615424 90806 33554432000 4194304 4196468 140728355255248 140392816875920 140393223821013 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 33460224 140728355263645 140728355263820 140728355263820 140728355266511 0
[pid=17189/tid=17195] ppid=17187 vsize=13984976 memory=1384 CPUtime=0.32 cores=1,3,5,7
/proc/17189/task/17195/stat : 17195 (java) S 17187 17187 12810 0 -1 1077944384 1717 0 0 0 29 3 0 0 20 0 15 0 154552004 14320615424 90806 33554432000 4194304 4196468 140728355255248 140392765160176 140393223821954 0 0 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 33460224 140728355263645 140728355263820 140728355263820 140728355266511 0
[pid=17189/tid=17196] ppid=17187 vsize=13984976 memory=4144 CPUtime=0 cores=1,3,5,7
/proc/17189/task/17196/stat : 17196 (java) S 17187 17187 12810 0 -1 1077944384 56 0 0 0 0 0 0 0 20 0 15 0 154552004 14320615424 90806 33554432000 4194304 4196468 140728355255248 140392764106400 140393223821013 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 33460224 140728355263645 140728355263820 140728355263820 140728355266511 0
[pid=17189/tid=17197] ppid=17187 vsize=13984976 memory=43012 CPUtime=0 cores=1,3,5,7
/proc/17189/task/17197/stat : 17197 (java) S 17187 17187 12810 0 -1 1077944384 47 0 0 0 0 0 0 0 20 0 15 0 154552004 14320615424 90806 33554432000 4194304 4196468 140728355255248 140392763053296 140393223821013 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 33460224 140728355263645 140728355263820 140728355263820 140728355266511 0
[pid=17189/tid=17198] ppid=17187 vsize=13984976 memory=1384 CPUtime=0 cores=1,3,5,7
/proc/17189/task/17198/stat : 17198 (java) S 17187 17187 12810 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 154552007 14320615424 90806 33554432000 4194304 4196468 140728355255248 140392762001872 140393223829403 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 33460224 140728355263645 140728355263820 140728355263820 140728355266511 0
[pid=17189/tid=17199] ppid=17187 vsize=13984976 memory=1384 CPUtime=2.37 cores=1,3,5,7
/proc/17189/task/17199/stat : 17199 (java) S 17187 17187 12810 0 -1 1077944384 15964 0 0 0 235 2 0 0 20 0 15 0 154552007 14320615424 90806 33554432000 4194304 4196468 140728355255248 140392760948976 140393223821954 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 33460224 140728355263645 140728355263820 140728355263820 140728355266511 0
[pid=17189/tid=17200] ppid=17187 vsize=13984976 memory=1384 CPUtime=2.49 cores=1,3,5,7
/proc/17189/task/17200/stat : 17200 (java) S 17187 17187 12810 0 -1 1077944384 12506 0 0 0 247 2 0 0 20 0 15 0 154552007 14320615424 90806 33554432000 4194304 4196468 140728355255248 140392759896432 140393223821954 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 33460224 140728355263645 140728355263820 140728355263820 140728355266511 0
[pid=17189/tid=17201] ppid=17187 vsize=13984976 memory=362200 CPUtime=0.65 cores=1,3,5,7
/proc/17189/task/17201/stat : 17201 (java) S 17187 17187 12810 0 -1 1077944384 10244 0 0 0 63 2 0 0 20 0 15 0 154552007 14320615424 90806 33554432000 4194304 4196468 140728355255248 140392758843376 140393223821954 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 33460224 140728355263645 140728355263820 140728355263820 140728355266511 0
[pid=17189/tid=17202] ppid=17187 vsize=13984976 memory=1384 CPUtime=0 cores=1,3,5,7
/proc/17189/task/17202/stat : 17202 (java) S 17187 17187 12810 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 154552007 14320615424 90806 33554432000 4194304 4196468 140728355255248 140392757791072 140393223821013 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 33460224 140728355263645 140728355263820 140728355263820 140728355266511 0
[pid=17189/tid=17203] ppid=17187 vsize=13984976 memory=1384 CPUtime=0.07 cores=1,3,5,7
/proc/17189/task/17203/stat : 17203 (java) S 17187 17187 12810 0 -1 1077944384 633 0 0 0 3 4 0 0 20 0 15 0 154552007 14320615424 90806 33554432000 4194304 4196468 140728355255248 140392756739120 140393223821954 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 33460224 140728355263645 140728355263820 140728355263820 140728355266511 0
Current children cumulated CPU time: 170.14 s
Current children cumulated vsize: 13994488 KiB
Current children cumulated memory: 364608 KiB
[startup+222.301 s]
/proc/loadavg: 1.67 1.73 1.83 3/196 17259
/proc/meminfo: memFree=23660956/32770624 swapFree=67108860/67108860
[pid=17187] ppid=17184 vsize=9512 memory=1384 CPUtime=0 cores=1,3,5,7
/proc/17187/stat : 17187 (xcsp3-exec) S 17184 17187 12810 0 -1 4202496 514 0 0 0 0 0 0 0 20 0 1 0 154552001 9740288 346 33554432000 4194304 5098028 140727526397024 140727526395128 140460387807868 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 39690240 140727526405236 140727526405440 140727526405440 140727526408171 0
/proc/17187/statm: 2378 346 289 221 0 87 0
[pid=17189] ppid=17187 vsize=13984976 memory=419744 CPUtime=231.49 cores=1,3,5,7
/proc/17189/stat : 17189 (java) S 17187 17187 12810 0 -1 1077944320 73871 0 0 0 23075 74 0 0 20 0 15 0 154552001 14320615424 104936 33554432000 4194304 4196468 140728355255248 140728355237792 140393223810807 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 33460224 140728355263645 140728355263820 140728355263820 140728355266511 0
/proc/17189/statm: 3496244 104936 3256 1 0 3483478 0
[pid=17189/tid=17190] ppid=17187 vsize=13984976 memory=1384 CPUtime=220.51 cores=1,3,5,7
/proc/17189/task/17190/stat : 17190 (java) R 17187 17187 12810 0 -1 4202560 17207 0 0 0 22044 7 0 0 20 0 15 0 154552002 14320615424 104936 33554432000 4194304 4196468 140728355255248 140393228049648 140392840957786 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 33460224 140728355263645 140728355263820 140728355263820 140728355266511 0
[pid=17189/tid=17191] ppid=17187 vsize=13984976 memory=417696 CPUtime=1.11 cores=1,3,5,7
/proc/17189/task/17191/stat : 17191 (java) S 17187 17187 12810 0 -1 1077944384 2769 0 0 0 97 14 0 0 20 0 15 0 154552002 14320615424 104936 33554432000 4194304 4196468 140728355255248 140393153899024 140393223821013 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 33460224 140728355263645 140728355263820 140728355263820 140728355266511 0
[pid=17189/tid=17192] ppid=17187 vsize=13984976 memory=416664 CPUtime=1.1 cores=1,3,5,7
/proc/17189/task/17192/stat : 17192 (java) S 17187 17187 12810 0 -1 1077944384 2448 0 0 0 95 15 0 0 20 0 15 0 154552002 14320615424 104936 33554432000 4194304 4196468 140728355255248 140392818981520 140393223821013 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 33460224 140728355263645 140728355263820 140728355263820 140728355266511 0
[pid=17189/tid=17193] ppid=17187 vsize=13984976 memory=412568 CPUtime=1.09 cores=1,3,5,7
/proc/17189/task/17193/stat : 17193 (java) S 17187 17187 12810 0 -1 1077944384 3082 0 0 0 96 13 0 0 20 0 15 0 154552002 14320615424 104936 33554432000 4194304 4196468 140728355255248 140392817928464 140393223821013 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 33460224 140728355263645 140728355263820 140728355263820 140728355266511 0
[pid=17189/tid=17194] ppid=17187 vsize=13984976 memory=417696 CPUtime=1.1 cores=1,3,5,7
/proc/17189/task/17194/stat : 17194 (java) S 17187 17187 12810 0 -1 1077944384 2563 0 0 0 97 13 0 0 20 0 15 0 154552002 14320615424 104936 33554432000 4194304 4196468 140728355255248 140392816875920 140393223821013 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 33460224 140728355263645 140728355263820 140728355263820 140728355266511 0
[pid=17189/tid=17195] ppid=17187 vsize=13984976 memory=419744 CPUtime=0.43 cores=1,3,5,7
/proc/17189/task/17195/stat : 17195 (java) S 17187 17187 12810 0 -1 1077944384 1984 0 0 0 39 4 0 0 20 0 15 0 154552004 14320615424 104936 33554432000 4194304 4196468 140728355255248 140392765160176 140393223821954 0 0 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 33460224 140728355263645 140728355263820 140728355263820 140728355266511 0
[pid=17189/tid=17196] ppid=17187 vsize=13984976 memory=1384 CPUtime=0 cores=1,3,5,7
/proc/17189/task/17196/stat : 17196 (java) S 17187 17187 12810 0 -1 1077944384 56 0 0 0 0 0 0 0 20 0 15 0 154552004 14320615424 104936 33554432000 4194304 4196468 140728355255248 140392764106400 140393223821013 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 33460224 140728355263645 140728355263820 140728355263820 140728355266511 0
[pid=17189/tid=17197] ppid=17187 vsize=13984976 memory=0 CPUtime=0 cores=1,3,5,7
/proc/17189/task/17197/stat : 17197 (java) S 17187 17187 12810 0 -1 1077944384 47 0 0 0 0 0 0 0 20 0 15 0 154552004 14320615424 104936 33554432000 4194304 4196468 140728355255248 140392763053296 140393223821013 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 33460224 140728355263645 140728355263820 140728355263820 140728355266511 0
[pid=17189/tid=17198] ppid=17187 vsize=13984976 memory=417696 CPUtime=0 cores=1,3,5,7
/proc/17189/task/17198/stat : 17198 (java) S 17187 17187 12810 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 154552007 14320615424 104936 33554432000 4194304 4196468 140728355255248 140392762001872 140393223829403 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 33460224 140728355263645 140728355263820 140728355263820 140728355266511 0
[pid=17189/tid=17199] ppid=17187 vsize=13984976 memory=416672 CPUtime=2.54 cores=1,3,5,7
/proc/17189/task/17199/stat : 17199 (java) S 17187 17187 12810 0 -1 1077944384 16751 0 0 0 252 2 0 0 20 0 15 0 154552007 14320615424 104936 33554432000 4194304 4196468 140728355255248 140392760948976 140393223821954 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 33460224 140728355263645 140728355263820 140728355263820 140728355266511 0
[pid=17189/tid=17200] ppid=17187 vsize=13984976 memory=417696 CPUtime=2.74 cores=1,3,5,7
/proc/17189/task/17200/stat : 17200 (java) S 17187 17187 12810 0 -1 1077944384 13536 0 0 0 272 2 0 0 20 0 15 0 154552007 14320615424 104936 33554432000 4194304 4196468 140728355255248 140392759896432 140393223821954 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 33460224 140728355263645 140728355263820 140728355263820 140728355266511 0
[pid=17189/tid=17201] ppid=17187 vsize=13984976 memory=1384 CPUtime=0.67 cores=1,3,5,7
/proc/17189/task/17201/stat : 17201 (java) S 17187 17187 12810 0 -1 1077944384 11378 0 0 0 65 2 0 0 20 0 15 0 154552007 14320615424 104936 33554432000 4194304 4196468 140728355255248 140392758843376 140393223821954 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 33460224 140728355263645 140728355263820 140728355263820 140728355266511 0
[pid=17189/tid=17202] ppid=17187 vsize=13984976 memory=4144 CPUtime=0 cores=1,3,5,7
/proc/17189/task/17202/stat : 17202 (java) S 17187 17187 12810 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 154552007 14320615424 104936 33554432000 4194304 4196468 140728355255248 140392757791072 140393223821013 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 33460224 140728355263645 140728355263820 140728355263820 140728355266511 0
[pid=17189/tid=17203] ppid=17187 vsize=13984976 memory=43012 CPUtime=0.1 cores=1,3,5,7
/proc/17189/task/17203/stat : 17203 (java) S 17187 17187 12810 0 -1 1077944384 809 0 0 0 5 5 0 0 20 0 15 0 154552007 14320615424 104936 33554432000 4194304 4196468 140728355255248 140392756739120 140393223821954 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 33460224 140728355263645 140728355263820 140728355263820 140728355266511 0
Current children cumulated CPU time: 231.49 s
Current children cumulated vsize: 13994488 KiB
Current children cumulated memory: 421128 KiB
Maximum wall clock time exceeded: sending SIGTERM then SIGKILL
[startup+240.001 s]*
/proc/loadavg: 1.64 1.72 1.82 3/217 17286
/proc/meminfo: memFree=21331464/32770624 swapFree=67108860/67108860
[pid=17187] ppid=17184 vsize=9512 memory=1384 CPUtime=0 cores=1,3,5,7
/proc/17187/stat : 17187 (xcsp3-exec) S 17184 17187 12810 0 -1 4202496 514 0 0 0 0 0 0 0 20 0 1 0 154552001 9740288 346 33554432000 4194304 5098028 140727526397024 140727526395128 140460387807868 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 39690240 140727526405236 140727526405440 140727526405440 140727526408171 0
/proc/17187/statm: 2378 346 289 221 0 87 0
[pid=17189] ppid=17187 vsize=13984976 memory=439772 CPUtime=249.62 cores=1,3,5,7
/proc/17189/stat : 17189 (java) S 17187 17187 12810 0 -1 1077944320 76123 0 0 0 24884 78 0 0 20 0 15 0 154552001 14320615424 109943 33554432000 4194304 4196468 140728355255248 140728355237792 140393223810807 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 33460224 140728355263645 140728355263820 140728355263820 140728355266511 0
/proc/17189/statm: 3496244 109943 3256 1 0 3483478 0
[pid=17189/tid=17190] ppid=17187 vsize=13984976 memory=1200 CPUtime=238.07 cores=1,3,5,7
/proc/17189/task/17190/stat : 17190 (java) R 17187 17187 12810 0 -1 4202560 17665 0 0 0 23800 7 0 0 20 0 15 0 154552002 14320615424 109943 33554432000 4194304 4196468 140728355255248 140393228050064 140392838635995 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 33460224 140728355263645 140728355263820 140728355263820 140728355266511 0
[pid=17189/tid=17191] ppid=17187 vsize=13984976 memory=1424 CPUtime=1.21 cores=1,3,5,7
/proc/17189/task/17191/stat : 17191 (java) S 17187 17187 12810 0 -1 1077944384 2876 0 0 0 107 14 0 0 20 0 15 0 154552002 14320615424 109943 33554432000 4194304 4196468 140728355255248 140393153899024 140393223821013 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 33460224 140728355263645 140728355263820 140728355263820 140728355266511 0
[pid=17189/tid=17192] ppid=17187 vsize=13984976 memory=8600 CPUtime=1.21 cores=1,3,5,7
/proc/17189/task/17192/stat : 17192 (java) S 17187 17187 12810 0 -1 1077944384 2501 0 0 0 105 16 0 0 20 0 15 0 154552002 14320615424 109943 33554432000 4194304 4196468 140728355255248 140392818981520 140393223821013 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 33460224 140728355263645 140728355263820 140728355263820 140728355266511 0
[pid=17189/tid=17193] ppid=17187 vsize=13984976 memory=6791534058613427641 CPUtime=1.2 cores=1,3,5,7
/proc/17189/task/17193/stat : 17193 (java) S 17187 17187 12810 0 -1 1077944384 3194 0 0 0 106 14 0 0 20 0 15 0 154552002 14320615424 109943 33554432000 4194304 4196468 140728355255248 140392817928464 140393223821013 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 33460224 140728355263645 140728355263820 140728355263820 140728355266511 0
[pid=17189/tid=17194] ppid=17187 vsize=13984976 memory=1384 CPUtime=1.21 cores=1,3,5,7
/proc/17189/task/17194/stat : 17194 (java) S 17187 17187 12810 0 -1 1077944384 2633 0 0 0 107 14 0 0 20 0 15 0 154552002 14320615424 109943 33554432000 4194304 4196468 140728355255248 140392816875920 140393223821013 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 33460224 140728355263645 140728355263820 140728355263820 140728355266511 0
[pid=17189/tid=17195] ppid=17187 vsize=13984976 memory=1384 CPUtime=0.46 cores=1,3,5,7
/proc/17189/task/17195/stat : 17195 (java) S 17187 17187 12810 0 -1 1077944384 1991 0 0 0 42 4 0 0 20 0 15 0 154552004 14320615424 109943 33554432000 4194304 4196468 140728355255248 140392765160176 140393223821954 0 0 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 33460224 140728355263645 140728355263820 140728355263820 140728355266511 0
[pid=17189/tid=17196] ppid=17187 vsize=13984976 memory=437704 CPUtime=0 cores=1,3,5,7
/proc/17189/task/17196/stat : 17196 (java) S 17187 17187 12810 0 -1 1077944384 56 0 0 0 0 0 0 0 20 0 15 0 154552004 14320615424 109943 33554432000 4194304 4196468 140728355255248 140392764106400 140393223821013 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 33460224 140728355263645 140728355263820 140728355263820 140728355266511 0
[pid=17189/tid=17197] ppid=17187 vsize=13984976 memory=792 CPUtime=0 cores=1,3,5,7
/proc/17189/task/17197/stat : 17197 (java) S 17187 17187 12810 0 -1 1077944384 47 0 0 0 0 0 0 0 20 0 15 0 154552004 14320615424 109943 33554432000 4194304 4196468 140728355255248 140392763053296 140393223821013 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 33460224 140728355263645 140728355263820 140728355263820 140728355266511 0
[pid=17189/tid=17198] ppid=17187 vsize=13984976 memory=10096 CPUtime=0 cores=1,3,5,7
/proc/17189/task/17198/stat : 17198 (java) S 17187 17187 12810 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 154552007 14320615424 109943 33554432000 4194304 4196468 140728355255248 140392762001872 140393223829403 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 33460224 140728355263645 140728355263820 140728355263820 140728355266511 0
[pid=17189/tid=17199] ppid=17187 vsize=13984976 memory=1224 CPUtime=2.61 cores=1,3,5,7
/proc/17189/task/17199/stat : 17199 (java) S 17187 17187 12810 0 -1 1077944384 17956 0 0 0 259 2 0 0 20 0 15 0 154552007 14320615424 109943 33554432000 4194304 4196468 140728355255248 140392760948976 140393223821954 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 33460224 140728355263645 140728355263820 140728355263820 140728355266511 0
[pid=17189/tid=17200] ppid=17187 vsize=13984976 memory=5784 CPUtime=2.76 cores=1,3,5,7
/proc/17189/task/17200/stat : 17200 (java) S 17187 17187 12810 0 -1 1077944384 13616 0 0 0 274 2 0 0 20 0 15 0 154552007 14320615424 109943 33554432000 4194304 4196468 140728355255248 140392759896432 140393223821954 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 33460224 140728355263645 140728355263820 140728355263820 140728355266511 0
[pid=17189/tid=17201] ppid=17187 vsize=13984976 memory=1720 CPUtime=0.68 cores=1,3,5,7
/proc/17189/task/17201/stat : 17201 (java) S 17187 17187 12810 0 -1 1077944384 11538 0 0 0 66 2 0 0 20 0 15 0 154552007 14320615424 109943 33554432000 4194304 4196468 140728355255248 140392758843376 140393223821954 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 33460224 140728355263645 140728355263820 140728355263820 140728355266511 0
[pid=17189/tid=17202] ppid=17187 vsize=13984976 memory=6791534058613427641 CPUtime=0 cores=1,3,5,7
/proc/17189/task/17202/stat : 17202 (java) S 17187 17187 12810 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 154552007 14320615424 109943 33554432000 4194304 4196468 140728355255248 140392757791072 140393223821013 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 33460224 140728355263645 140728355263820 140728355263820 140728355266511 0
[pid=17189/tid=17203] ppid=17187 vsize=13984976 memory=11044 CPUtime=0.1 cores=1,3,5,7
/proc/17189/task/17203/stat : 17203 (java) S 17187 17187 12810 0 -1 1077944384 809 0 0 0 5 5 0 0 20 0 15 0 154552007 14320615424 109943 33554432000 4194304 4196468 140728355255248 140392756739120 140393223821954 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 33460224 140728355263645 140728355263820 140728355263820 140728355266511 0
Current children cumulated CPU time: 249.62 s
Current children cumulated vsize: 13994488 KiB
Current children cumulated memory: 441156 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
[startup+240.02 s]
# the end of solver process 17187 was just reported to runsolver
# cumulated CPU time of all completed processes: user=0.000903 s, system=0.001304 s
[startup+240.023 s]
# the end of solver process 17189 was just reported to runsolver
# cumulated CPU time of all completed processes: user=248.854 s, system=0.794953 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.023
CPU time (s): 249.649
CPU user time (s): 248.854
CPU system time (s): 0.794953
CPU usage (%): 104.01
Max. virtual memory (cumulated for all children) (KiB): 13994488
Max. memory (cumulated for all children) (KiB): 441156
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 248.854
system time used= 0.794953
maximum resident set size= 440564
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 76851
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= 19949
involuntary context switches= 713
# summary of solver processes directly reported to runsolver:
# pid: 17187,17189
# total CPU time (s): 249.649
# total CPU user time (s): 248.854
# total CPU system time (s): 0.794953
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 1.65255 second user time and 2.24295 second system time
The end