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 (12352 MiB free)
memory of node 1: 16384 MiB (12897 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4283162-1503215228/watcher-4283162-1503215228 -o /tmp/evaluation-result-4283162-1503215228/solver-4283162-1503215228 -C 264 -W 240 -M 15500 --bin-var /tmp/runsolver-exch-node107-1503208459-21036 --watchdog 300 ./xcsp3-exec -dir HOME -tl 264 -ml 11000 -tdir HOME -seed 1018415031 HOME/instance-4283162-1503215228.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
Current StackSize limit: 8192 KiB
solver pid=26238, runsolver pid=26235
[startup+0.100059 s]*
/proc/loadavg: 2.00 2.12 2.05 4/219 26254
/proc/meminfo: memFree=25838448/32770624 swapFree=67108860/67108860
[pid=26238] ppid=26235 vsize=9512 memory=1380 CPUtime=0 cores=1,3,5,7
/proc/26238/stat : 26238 (xcsp3-exec) S 26235 26238 21004 0 -1 4202496 513 0 0 0 0 0 0 0 20 0 1 0 154610682 9740288 345 33554432000 4194304 5098028 140720433023776 140720433021880 140714801148540 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 35319808 140720433026164 140720433026368 140720433026368 140720433029099 0
/proc/26238/statm: 2378 345 289 221 0 87 0
[pid=26240] ppid=26238 vsize=13978596 memory=28464 CPUtime=0.12 cores=1,3,5,7
/proc/26240/stat : 26240 (java) S 26238 26238 21004 0 -1 1077944320 5482 0 0 0 11 1 0 0 20 0 15 0 154610683 14314082304 7116 33554432000 4194304 4196468 140734620164240 140734620146784 140704104283895 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 9506816 140734620169373 140734620169548 140734620169548 140734620172239 0
/proc/26240/statm: 3494649 7116 2867 1 0 3482966 0
[pid=26240/tid=26241] ppid=26238 vsize=13978596 memory=8514701219881125282 CPUtime=0.08 cores=1,3,5,7
/proc/26240/task/26241/stat : 26241 (java) R 26238 26238 21004 0 -1 4202560 3493 0 0 0 8 0 0 0 20 0 15 0 154610683 14314082304 7116 33554432000 4194304 4196468 140734620164240 140704108504792 140704104295830 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 9506816 140734620169373 140734620169548 140734620169548 140734620172239 0
[pid=26240/tid=26242] ppid=26238 vsize=13978596 memory=3472467911824930000 CPUtime=0 cores=1,3,5,7
/proc/26240/task/26242/stat : 26242 (java) S 26238 26238 21004 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 154610684 14314082304 7116 33554432000 4194304 4196468 140734620164240 140704069565584 140704104294101 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 9506816 140734620169373 140734620169548 140734620169548 140734620172239 0
[pid=26240/tid=26243] ppid=26238 vsize=13978596 memory=139782929778304 CPUtime=0 cores=1,3,5,7
/proc/26240/task/26243/stat : 26243 (java) S 26238 26238 21004 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 154610684 14314082304 7116 33554432000 4194304 4196468 140734620164240 140703699155984 140704104294101 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 9506816 140734620169373 140734620169548 140734620169548 140734620172239 0
[pid=26240/tid=26244] ppid=26238 vsize=13978596 memory=0 CPUtime=0 cores=1,3,5,7
/proc/26240/task/26244/stat : 26244 (java) S 26238 26238 21004 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 154610684 14314082304 7116 33554432000 4194304 4196468 140734620164240 140703698103184 140704104294101 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 9506816 140734620169373 140734620169548 140734620169548 140734620172239 0
[pid=26240/tid=26245] ppid=26238 vsize=13978596 memory=0 CPUtime=0 cores=1,3,5,7
/proc/26240/task/26245/stat : 26245 (java) S 26238 26238 21004 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 154610684 14314082304 7116 33554432000 4194304 4196468 140734620164240 140703697050384 140704104294101 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 9506816 140734620169373 140734620169548 140734620169548 140734620172239 0
[pid=26240/tid=26246] ppid=26238 vsize=13978596 memory=0 CPUtime=0 cores=1,3,5,7
/proc/26240/task/26246/stat : 26246 (java) S 26238 26238 21004 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 154610685 14314082304 7116 33554432000 4194304 4196468 140734620164240 140703016630640 140704104295042 0 0 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 9506816 140734620169373 140734620169548 140734620169548 140734620172239 0
[pid=26240/tid=26247] ppid=26238 vsize=13978596 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/26240/task/26247/stat : 26247 (java) S 26238 26238 21004 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 154610685 14314082304 7116 33554432000 4194304 4196468 140734620164240 140703015576608 140704104294101 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 9506816 140734620169373 140734620169548 140734620169548 140734620172239 0
[pid=26240/tid=26248] ppid=26238 vsize=13978596 memory=0 CPUtime=0 cores=1,3,5,7
/proc/26240/task/26248/stat : 26248 (java) S 26238 26238 21004 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 154610686 14314082304 7116 33554432000 4194304 4196468 140734620164240 140703014523760 140704104294101 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 9506816 140734620169373 140734620169548 140734620169548 140734620172239 0
[pid=26240/tid=26249] ppid=26238 vsize=13978596 memory=0 CPUtime=0 cores=1,3,5,7
/proc/26240/task/26249/stat : 26249 (java) S 26238 26238 21004 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 154610688 14314082304 7116 33554432000 4194304 4196468 140734620164240 140703013472080 140704104302491 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 9506816 140734620169373 140734620169548 140734620169548 140734620172239 0
[pid=26240/tid=26250] ppid=26238 vsize=13978596 memory=0 CPUtime=0 cores=1,3,5,7
/proc/26240/task/26250/stat : 26250 (java) S 26238 26238 21004 0 -1 1077944384 297 0 0 0 0 0 0 0 20 0 15 0 154610688 14314082304 7116 33554432000 4194304 4196468 140734620164240 140703012420464 140704104295042 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 9506816 140734620169373 140734620169548 140734620169548 140734620172239 0
[pid=26240/tid=26251] ppid=26238 vsize=13978596 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/26240/task/26251/stat : 26251 (java) S 26238 26238 21004 0 -1 1077944384 123 0 0 0 0 0 0 0 20 0 15 0 154610688 14314082304 7116 33554432000 4194304 4196468 140734620164240 140703011367664 140704104295042 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 9506816 140734620169373 140734620169548 140734620169548 140734620172239 0
[pid=26240/tid=26252] ppid=26238 vsize=13978596 memory=139782929778304 CPUtime=0.01 cores=1,3,5,7
/proc/26240/task/26252/stat : 26252 (java) R 26238 26238 21004 0 -1 4202560 268 0 0 0 1 0 0 0 20 0 15 0 154610688 14314082304 7116 33554432000 4194304 4196468 140734620164240 140703010314864 140704082652534 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 9506816 140734620169373 140734620169548 140734620169548 140734620172239 0
[pid=26240/tid=26253] ppid=26238 vsize=13978596 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/26240/task/26253/stat : 26253 (java) S 26238 26238 21004 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 154610688 14314082304 7116 33554432000 4194304 4196468 140734620164240 140703009262304 140704104294101 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 9506816 140734620169373 140734620169548 140734620169548 140734620172239 0
[pid=26240/tid=26254] ppid=26238 vsize=13978596 memory=139782929778304 CPUtime=0 cores=1,3,5,7
/proc/26240/task/26254/stat : 26254 (java) S 26238 26238 21004 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 154610689 14314082304 7116 33554432000 4194304 4196468 140734620164240 140703008209584 140704104295042 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 9506816 140734620169373 140734620169548 140734620169548 140734620172239 0
Current children cumulated CPU time: 0.12 s
Current children cumulated vsize: 13988108 KiB
Current children cumulated memory: 29844 KiB
[startup+0.21083 s]*
/proc/loadavg: 2.00 2.12 2.05 3/219 26254
/proc/meminfo: memFree=25826988/32770624 swapFree=67108860/67108860
[pid=26238] ppid=26235 vsize=9512 memory=1380 CPUtime=0 cores=1,3,5,7
/proc/26238/stat : 26238 (xcsp3-exec) S 26235 26238 21004 0 -1 4202496 513 0 0 0 0 0 0 0 20 0 1 0 154610682 9740288 345 33554432000 4194304 5098028 140720433023776 140720433021880 140714801148540 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 35319808 140720433026164 140720433026368 140720433026368 140720433029099 0
/proc/26238/statm: 2378 345 289 221 0 87 0
[pid=26240] ppid=26238 vsize=13982884 memory=40680 CPUtime=0.33 cores=1,3,5,7
/proc/26240/stat : 26240 (java) S 26238 26238 21004 0 -1 1077944320 8244 0 0 0 31 2 0 0 20 0 15 0 154610683 14318473216 10170 33554432000 4194304 4196468 140734620164240 140734620146784 140704104283895 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 9506816 140734620169373 140734620169548 140734620169548 140734620172239 0
/proc/26240/statm: 3495713 10170 3073 1 0 3482966 0
[pid=26240/tid=26241] ppid=26238 vsize=13982852 memory=5853961137533323680 CPUtime=0.19 cores=1,3,5,7
/proc/26240/task/26241/stat : 26241 (java) R 26238 26238 21004 0 -1 4202560 5392 0 0 0 18 1 0 0 20 0 15 0 154610683 14318440448 10170 33554432000 4194304 4196468 140734620164240 140704108493520 140704097000999 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 9506816 140734620169373 140734620169548 140734620169548 140734620172239 0
[pid=26240/tid=26242] ppid=26238 vsize=13982852 memory=3472467911824930000 CPUtime=0 cores=1,3,5,7
/proc/26240/task/26242/stat : 26242 (java) S 26238 26238 21004 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 154610684 14318440448 10170 33554432000 4194304 4196468 140734620164240 140704069565584 140704104294101 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 9506816 140734620169373 140734620169548 140734620169548 140734620172239 0
[pid=26240/tid=26243] ppid=26238 vsize=13982852 memory=139782929778304 CPUtime=0 cores=1,3,5,7
/proc/26240/task/26243/stat : 26243 (java) S 26238 26238 21004 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 154610684 14318440448 10170 33554432000 4194304 4196468 140734620164240 140703699155984 140704104294101 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 9506816 140734620169373 140734620169548 140734620169548 140734620172239 0
[pid=26240/tid=26244] ppid=26238 vsize=13982852 memory=0 CPUtime=0 cores=1,3,5,7
/proc/26240/task/26244/stat : 26244 (java) S 26238 26238 21004 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 154610684 14318440448 10170 33554432000 4194304 4196468 140734620164240 140703698103184 140704104294101 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 9506816 140734620169373 140734620169548 140734620169548 140734620172239 0
[pid=26240/tid=26245] ppid=26238 vsize=13982852 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/26240/task/26245/stat : 26245 (java) S 26238 26238 21004 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 154610684 14318440448 10170 33554432000 4194304 4196468 140734620164240 140703697050384 140704104294101 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 9506816 140734620169373 140734620169548 140734620169548 140734620172239 0
[pid=26240/tid=26246] ppid=26238 vsize=13982884 memory=139782929778304 CPUtime=0 cores=1,3,5,7
/proc/26240/task/26246/stat : 26246 (java) S 26238 26238 21004 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 154610685 14318473216 10170 33554432000 4194304 4196468 140734620164240 140703016630640 140704104295042 0 0 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 9506816 140734620169373 140734620169548 140734620169548 140734620172239 0
[pid=26240/tid=26247] ppid=26238 vsize=13982852 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/26240/task/26247/stat : 26247 (java) S 26238 26238 21004 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 154610685 14318440448 10170 33554432000 4194304 4196468 140734620164240 140703015576608 140704104294101 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 9506816 140734620169373 140734620169548 140734620169548 140734620172239 0
[pid=26240/tid=26248] ppid=26238 vsize=13982852 memory=0 CPUtime=0 cores=1,3,5,7
/proc/26240/task/26248/stat : 26248 (java) S 26238 26238 21004 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 154610686 14318440448 10170 33554432000 4194304 4196468 140734620164240 140703014523760 140704104294101 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 9506816 140734620169373 140734620169548 140734620169548 140734620172239 0
[pid=26240/tid=26249] ppid=26238 vsize=13982852 memory=0 CPUtime=0 cores=1,3,5,7
/proc/26240/task/26249/stat : 26249 (java) S 26238 26238 21004 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 154610688 14318440448 10170 33554432000 4194304 4196468 140734620164240 140703013472080 140704104302491 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 9506816 140734620169373 140734620169548 140734620169548 140734620172239 0
[pid=26240/tid=26250] ppid=26238 vsize=13982852 memory=0 CPUtime=0.03 cores=1,3,5,7
/proc/26240/task/26250/stat : 26250 (java) S 26238 26238 21004 0 -1 1077944384 552 0 0 0 3 0 0 0 20 0 15 0 154610688 14318440448 10170 33554432000 4194304 4196468 140734620164240 140703012420464 140704104295042 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 9506816 140734620169373 140734620169548 140734620169548 140734620172239 0
[pid=26240/tid=26251] ppid=26238 vsize=13982852 memory=-1 CPUtime=0.01 cores=1,3,5,7
/proc/26240/task/26251/stat : 26251 (java) S 26238 26238 21004 0 -1 1077944384 261 0 0 0 1 0 0 0 20 0 15 0 154610688 14318440448 10170 33554432000 4194304 4196468 140734620164240 140703011367664 140704104295042 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 9506816 140734620169373 140734620169548 140734620169548 140734620172239 0
[pid=26240/tid=26252] ppid=26238 vsize=13982884 memory=139782929778304 CPUtime=0.07 cores=1,3,5,7
/proc/26240/task/26252/stat : 26252 (java) S 26238 26238 21004 0 -1 1077944384 744 0 0 0 7 0 0 0 20 0 15 0 154610688 14318473216 10170 33554432000 4194304 4196468 140734620164240 140703010314864 140704104295042 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 9506816 140734620169373 140734620169548 140734620169548 140734620172239 0
[pid=26240/tid=26253] ppid=26238 vsize=13982884 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/26240/task/26253/stat : 26253 (java) S 26238 26238 21004 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 154610688 14318473216 10170 33554432000 4194304 4196468 140734620164240 140703009262304 140704104294101 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 9506816 140734620169373 140734620169548 140734620169548 140734620172239 0
[pid=26240/tid=26254] ppid=26238 vsize=13982852 memory=139782929778304 CPUtime=0 cores=1,3,5,7
/proc/26240/task/26254/stat : 26254 (java) S 26238 26238 21004 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 154610689 14318440448 10170 33554432000 4194304 4196468 140734620164240 140703008209584 140704104295042 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 9506816 140734620169373 140734620169548 140734620169548 140734620172239 0
Current children cumulated CPU time: 0.33 s
Current children cumulated vsize: 13992396 KiB
Current children cumulated memory: 42060 KiB
[startup+0.31167 s]*
/proc/loadavg: 2.00 2.12 2.05 5/219 26254
/proc/meminfo: memFree=25819668/32770624 swapFree=67108860/67108860
[pid=26238] ppid=26235 vsize=9512 memory=1380 CPUtime=0 cores=1,3,5,7
/proc/26238/stat : 26238 (xcsp3-exec) S 26235 26238 21004 0 -1 4202496 513 0 0 0 0 0 0 0 20 0 1 0 154610682 9740288 345 33554432000 4194304 5098028 140720433023776 140720433021880 140714801148540 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 35319808 140720433026164 140720433026368 140720433026368 140720433029099 0
/proc/26238/statm: 2378 345 289 221 0 87 0
[pid=26240] ppid=26238 vsize=13982852 memory=47520 CPUtime=0.52 cores=1,3,5,7
/proc/26240/stat : 26240 (java) S 26238 26238 21004 0 -1 1077944320 9051 0 0 0 49 3 0 0 20 0 15 0 154610683 14318440448 11880 33554432000 4194304 4196468 140734620164240 140734620146784 140704104283895 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 9506816 140734620169373 140734620169548 140734620169548 140734620172239 0
/proc/26240/statm: 3495713 11880 3109 1 0 3482966 0
[pid=26240/tid=26241] ppid=26238 vsize=13982852 memory=-8540663193526752614 CPUtime=0.3 cores=1,3,5,7
/proc/26240/task/26241/stat : 26241 (java) R 26238 26238 21004 0 -1 4202560 5992 0 0 0 28 2 0 0 20 0 15 0 154610683 14318440448 11880 33554432000 4194304 4196468 140734620164240 140704108522064 140703742741486 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 9506816 140734620169373 140734620169548 140734620169548 140734620172239 0
[pid=26240/tid=26242] ppid=26238 vsize=13982852 memory=3472467911824930000 CPUtime=0 cores=1,3,5,7
/proc/26240/task/26242/stat : 26242 (java) S 26238 26238 21004 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 154610684 14318440448 11880 33554432000 4194304 4196468 140734620164240 140704069565584 140704104294101 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 9506816 140734620169373 140734620169548 140734620169548 140734620172239 0
[pid=26240/tid=26243] ppid=26238 vsize=13982852 memory=139782929799308 CPUtime=0 cores=1,3,5,7
/proc/26240/task/26243/stat : 26243 (java) S 26238 26238 21004 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 154610684 14318440448 11880 33554432000 4194304 4196468 140734620164240 140703699155984 140704104294101 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 9506816 140734620169373 140734620169548 140734620169548 140734620172239 0
[pid=26240/tid=26244] ppid=26238 vsize=13982852 memory=139782797788470 CPUtime=0 cores=1,3,5,7
/proc/26240/task/26244/stat : 26244 (java) S 26238 26238 21004 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 154610684 14318440448 11880 33554432000 4194304 4196468 140734620164240 140703698103184 140704104294101 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 9506816 140734620169373 140734620169548 140734620169548 140734620172239 0
[pid=26240/tid=26245] ppid=26238 vsize=13982852 memory=139782797769679 CPUtime=0 cores=1,3,5,7
/proc/26240/task/26245/stat : 26245 (java) S 26238 26238 21004 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 154610684 14318440448 11880 33554432000 4194304 4196468 140734620164240 140703697050384 140704104294101 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 9506816 140734620169373 140734620169548 140734620169548 140734620172239 0
[pid=26240/tid=26246] ppid=26238 vsize=13982852 memory=139782929799339 CPUtime=0 cores=1,3,5,7
/proc/26240/task/26246/stat : 26246 (java) S 26238 26238 21004 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 154610685 14318440448 11880 33554432000 4194304 4196468 140734620164240 140703016630640 140704104295042 0 0 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 9506816 140734620169373 140734620169548 140734620169548 140734620172239 0
[pid=26240/tid=26247] ppid=26238 vsize=13982852 memory=139782797778895 CPUtime=0 cores=1,3,5,7
/proc/26240/task/26247/stat : 26247 (java) S 26238 26238 21004 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 154610685 14318440448 11880 33554432000 4194304 4196468 140734620164240 140703015576608 140704104294101 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 9506816 140734620169373 140734620169548 140734620169548 140734620172239 0
[pid=26240/tid=26248] ppid=26238 vsize=13982852 memory=279565595555472 CPUtime=0 cores=1,3,5,7
/proc/26240/task/26248/stat : 26248 (java) S 26238 26238 21004 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 154610686 14318440448 11880 33554432000 4194304 4196468 140734620164240 140703014523760 140704104294101 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 9506816 140734620169373 140734620169548 140734620169548 140734620172239 0
[pid=26240/tid=26249] ppid=26238 vsize=13982852 memory=279565595562352 CPUtime=0 cores=1,3,5,7
/proc/26240/task/26249/stat : 26249 (java) S 26238 26238 21004 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 154610688 14318440448 11880 33554432000 4194304 4196468 140734620164240 140703013472080 140704104302491 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 9506816 140734620169373 140734620169548 140734620169548 140734620172239 0
[pid=26240/tid=26250] ppid=26238 vsize=13982852 memory=0 CPUtime=0.03 cores=1,3,5,7
/proc/26240/task/26250/stat : 26250 (java) R 26238 26238 21004 0 -1 1077944384 562 0 0 0 3 0 0 0 20 0 15 0 154610688 14318440448 11880 33554432000 4194304 4196468 140734620164240 140703012420464 140704104295042 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 9506816 140734620169373 140734620169548 140734620169548 140734620172239 0
[pid=26240/tid=26251] ppid=26238 vsize=13982852 memory=2240 CPUtime=0.03 cores=1,3,5,7
/proc/26240/task/26251/stat : 26251 (java) R 26238 26238 21004 0 -1 4202560 345 0 0 0 3 0 0 0 20 0 15 0 154610688 14318440448 11880 33554432000 4194304 4196468 140734620164240 140703011367664 140704084984192 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 9506816 140734620169373 140734620169548 140734620169548 140734620172239 0
[pid=26240/tid=26252] ppid=26238 vsize=13982852 memory=139782929778304 CPUtime=0.13 cores=1,3,5,7
/proc/26240/task/26252/stat : 26252 (java) R 26238 26238 21004 0 -1 4202560 851 0 0 0 13 0 0 0 20 0 15 0 154610688 14318440448 11880 33554432000 4194304 4196468 140734620164240 140703010310592 140704083208640 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 9506816 140734620169373 140734620169548 140734620169548 140734620172239 0
[pid=26240/tid=26253] ppid=26238 vsize=13982852 memory=2208 CPUtime=0 cores=1,3,5,7
/proc/26240/task/26253/stat : 26253 (java) S 26238 26238 21004 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 154610688 14318440448 11880 33554432000 4194304 4196468 140734620164240 140703009262304 140704104294101 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 9506816 140734620169373 140734620169548 140734620169548 140734620172239 0
[pid=26240/tid=26254] ppid=26238 vsize=13982852 memory=139782929778304 CPUtime=0 cores=1,3,5,7
/proc/26240/task/26254/stat : 26254 (java) S 26238 26238 21004 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 154610689 14318440448 11880 33554432000 4194304 4196468 140734620164240 140703008209584 140704104295042 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 9506816 140734620169373 140734620169548 140734620169548 140734620172239 0
Current children cumulated CPU time: 0.52 s
Current children cumulated vsize: 13992364 KiB
Current children cumulated memory: 48900 KiB
[startup+0.701265 s]
/proc/loadavg: 2.00 2.12 2.05 3/219 26254
/proc/meminfo: memFree=25760532/32770624 swapFree=67108860/67108860
[pid=26238] ppid=26235 vsize=9512 memory=1380 CPUtime=0 cores=1,3,5,7
/proc/26238/stat : 26238 (xcsp3-exec) S 26235 26238 21004 0 -1 4202496 513 0 0 0 0 0 0 0 20 0 1 0 154610682 9740288 345 33554432000 4194304 5098028 140720433023776 140720433021880 140714801148540 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 35319808 140720433026164 140720433026368 140720433026368 140720433029099 0
/proc/26238/statm: 2378 345 289 221 0 87 0
[pid=26240] ppid=26238 vsize=13982852 memory=249812 CPUtime=1.43 cores=1,3,5,7
/proc/26240/stat : 26240 (java) S 26238 26238 21004 0 -1 1077944320 11155 0 0 0 127 16 0 0 20 0 15 0 154610683 14318440448 62453 33554432000 4194304 4196468 140734620164240 140734620146784 140704104283895 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 9506816 140734620169373 140734620169548 140734620169548 140734620172239 0
/proc/26240/statm: 3495713 62453 3151 1 0 3482966 0
[pid=26240/tid=26241] ppid=26238 vsize=13982852 memory=1224 CPUtime=0.61 cores=1,3,5,7
/proc/26240/task/26241/stat : 26241 (java) S 26238 26238 21004 0 -1 1077944384 6052 0 0 0 57 4 0 0 20 0 15 0 154610683 14318440448 62453 33554432000 4194304 4196468 140734620164240 140704108523072 140704104294101 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 9506816 140734620169373 140734620169548 140734620169548 140734620172239 0
[pid=26240/tid=26242] ppid=26238 vsize=13982852 memory=792 CPUtime=0.05 cores=1,3,5,7
/proc/26240/task/26242/stat : 26242 (java) R 26238 26238 21004 0 -1 4202560 40 0 0 0 3 2 0 0 20 0 15 0 154610684 14318440448 62453 33554432000 4194304 4196468 140734620164240 140704069565472 140704089307598 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 9506816 140734620169373 140734620169548 140734620169548 140734620172239 0
[pid=26240/tid=26243] ppid=26238 vsize=13982852 memory=1004 CPUtime=0.05 cores=1,3,5,7
/proc/26240/task/26243/stat : 26243 (java) R 26238 26238 21004 0 -1 4202560 43 0 0 0 3 2 0 0 20 0 15 0 154610684 14318440448 62453 33554432000 4194304 4196468 140734620164240 140703699155984 140704089311287 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 9506816 140734620169373 140734620169548 140734620169548 140734620172239 0
[pid=26240/tid=26244] ppid=26238 vsize=13982852 memory=0 CPUtime=0.05 cores=1,3,5,7
/proc/26240/task/26244/stat : 26244 (java) R 26238 26238 21004 0 -1 4202560 44 0 0 0 3 2 0 0 20 0 15 0 154610684 14318440448 62453 33554432000 4194304 4196468 140734620164240 140703698103184 140704089311314 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 9506816 140734620169373 140734620169548 140734620169548 140734620172239 0
[pid=26240/tid=26245] ppid=26238 vsize=13982852 memory=279565595637056 CPUtime=0.05 cores=1,3,5,7
/proc/26240/task/26245/stat : 26245 (java) R 26238 26238 21004 0 -1 4202560 49 0 0 0 3 2 0 0 20 0 15 0 154610684 14318440448 62453 33554432000 4194304 4196468 140734620164240 140703697050584 140704089311314 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 9506816 140734620169373 140734620169548 140734620169548 140734620172239 0
[pid=26240/tid=26246] ppid=26238 vsize=13982852 memory=11268 CPUtime=0 cores=1,3,5,7
/proc/26240/task/26246/stat : 26246 (java) S 26238 26238 21004 0 -1 1077944384 12 0 0 0 0 0 0 0 20 0 15 0 154610685 14318440448 62453 33554432000 4194304 4196468 140734620164240 140703016629152 140704104294101 0 0 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 9506816 140734620169373 140734620169548 140734620169548 140734620172239 0
[pid=26240/tid=26247] ppid=26238 vsize=13982852 memory=2244 CPUtime=0 cores=1,3,5,7
/proc/26240/task/26247/stat : 26247 (java) S 26238 26238 21004 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 154610685 14318440448 62453 33554432000 4194304 4196468 140734620164240 140703015576608 140704104294101 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 9506816 140734620169373 140734620169548 140734620169548 140734620172239 0
[pid=26240/tid=26248] ppid=26238 vsize=13982852 memory=2319529003724621477 CPUtime=0 cores=1,3,5,7
/proc/26240/task/26248/stat : 26248 (java) S 26238 26238 21004 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 154610686 14318440448 62453 33554432000 4194304 4196468 140734620164240 140703014523760 140704104294101 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 9506816 140734620169373 140734620169548 140734620169548 140734620172239 0
[pid=26240/tid=26249] ppid=26238 vsize=13982852 memory=0 CPUtime=0 cores=1,3,5,7
/proc/26240/task/26249/stat : 26249 (java) S 26238 26238 21004 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 154610688 14318440448 62453 33554432000 4194304 4196468 140734620164240 140703013472080 140704104302491 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 9506816 140734620169373 140734620169548 140734620169548 140734620172239 0
[pid=26240/tid=26250] ppid=26238 vsize=13982852 memory=51 CPUtime=0.18 cores=1,3,5,7
/proc/26240/task/26250/stat : 26250 (java) S 26238 26238 21004 0 -1 1077944384 1445 0 0 0 18 0 0 0 20 0 15 0 154610688 14318440448 62453 33554432000 4194304 4196468 140734620164240 140703012420464 140704104295042 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 9506816 140734620169373 140734620169548 140734620169548 140734620172239 0
[pid=26240/tid=26251] ppid=26238 vsize=13982852 memory=5 CPUtime=0.19 cores=1,3,5,7
/proc/26240/task/26251/stat : 26251 (java) S 26238 26238 21004 0 -1 1077944384 957 0 0 0 19 0 0 0 20 0 15 0 154610688 14318440448 62453 33554432000 4194304 4196468 140734620164240 140703011367664 140704104295042 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 9506816 140734620169373 140734620169548 140734620169548 140734620172239 0
[pid=26240/tid=26252] ppid=26238 vsize=13982852 memory=9929 CPUtime=0.16 cores=1,3,5,7
/proc/26240/task/26252/stat : 26252 (java) S 26238 26238 21004 0 -1 1077944384 1217 0 0 0 16 0 0 0 20 0 15 0 154610688 14318440448 62453 33554432000 4194304 4196468 140734620164240 140703010314864 140704104295042 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 9506816 140734620169373 140734620169548 140734620169548 140734620172239 0
[pid=26240/tid=26253] ppid=26238 vsize=13982852 memory=463 CPUtime=0 cores=1,3,5,7
/proc/26240/task/26253/stat : 26253 (java) S 26238 26238 21004 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 154610688 14318440448 62453 33554432000 4194304 4196468 140734620164240 140703009262304 140704104294101 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 9506816 140734620169373 140734620169548 140734620169548 140734620172239 0
[pid=26240/tid=26254] ppid=26238 vsize=13982852 memory=0 CPUtime=0 cores=1,3,5,7
/proc/26240/task/26254/stat : 26254 (java) S 26238 26238 21004 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 154610689 14318440448 62453 33554432000 4194304 4196468 140734620164240 140703008209584 140704104295042 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 9506816 140734620169373 140734620169548 140734620169548 140734620172239 0
Current children cumulated CPU time: 1.43 s
Current children cumulated vsize: 13992364 KiB
Current children cumulated memory: 251192 KiB
[startup+1.50122 s]
/proc/loadavg: 2.00 2.12 2.05 2/219 26254
/proc/meminfo: memFree=25561248/32770624 swapFree=67108860/67108860
[pid=26238] ppid=26235 vsize=9512 memory=1380 CPUtime=0 cores=1,3,5,7
/proc/26238/stat : 26238 (xcsp3-exec) S 26235 26238 21004 0 -1 4202496 513 0 0 0 0 0 0 0 20 0 1 0 154610682 9740288 345 33554432000 4194304 5098028 140720433023776 140720433021880 140714801148540 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 35319808 140720433026164 140720433026368 140720433026368 140720433029099 0
/proc/26238/statm: 2378 345 289 221 0 87 0
################
# More data... #
################
/proc/26240/task/26248/stat : 26248 (java) S 26238 26238 21004 0 -1 1077944384 77 0 0 0 0 0 0 0 20 0 15 0 154610686 14320615424 1191616 33554432000 4194304 4196468 140734620164240 140703014523776 140704104294101 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 9506816 140734620169373 140734620169548 140734620169548 140734620172239 0
[pid=26240/tid=26249] ppid=26238 vsize=13984976 memory=0 CPUtime=0 cores=1,3,5,7
/proc/26240/task/26249/stat : 26249 (java) S 26238 26238 21004 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 154610688 14320615424 1191616 33554432000 4194304 4196468 140734620164240 140703013472080 140704104302491 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 9506816 140734620169373 140734620169548 140734620169548 140734620172239 0
[pid=26240/tid=26250] ppid=26238 vsize=13984976 memory=288230377108275491 CPUtime=3.04 cores=1,3,5,7
/proc/26240/task/26250/stat : 26250 (java) S 26238 26238 21004 0 -1 1077944384 8457 0 0 0 303 1 0 0 20 0 15 0 154610688 14320615424 1191616 33554432000 4194304 4196468 140734620164240 140703012420464 140704104295042 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 9506816 140734620169373 140734620169548 140734620169548 140734620172239 0
[pid=26240/tid=26251] ppid=26238 vsize=13984976 memory=14411510181004728 CPUtime=2.86 cores=1,3,5,7
/proc/26240/task/26251/stat : 26251 (java) S 26238 26238 21004 0 -1 1077944384 7266 0 0 0 285 1 0 0 20 0 15 0 154610688 14320615424 1191616 33554432000 4194304 4196468 140734620164240 140703011367664 140704104295042 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 9506816 140734620169373 140734620169548 140734620169548 140734620172239 0
[pid=26240/tid=26252] ppid=26238 vsize=13984976 memory=1728 CPUtime=0.68 cores=1,3,5,7
/proc/26240/task/26252/stat : 26252 (java) S 26238 26238 21004 0 -1 1077944384 5750 0 0 0 66 2 0 0 20 0 15 0 154610688 14320615424 1191616 33554432000 4194304 4196468 140734620164240 140703010314864 140704104295042 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 46 0 0 6293624 6294260 9506816 140734620169373 140734620169548 140734620169548 140734620172239 0
[pid=26240/tid=26253] ppid=26238 vsize=13984976 memory=1420 CPUtime=0 cores=1,3,5,7
/proc/26240/task/26253/stat : 26253 (java) S 26238 26238 21004 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 154610688 14320615424 1191616 33554432000 4194304 4196468 140734620164240 140703009262304 140704104294101 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 9506816 140734620169373 140734620169548 140734620169548 140734620172239 0
[pid=26240/tid=26254] ppid=26238 vsize=13984976 memory=11108 CPUtime=0.03 cores=1,3,5,7
/proc/26240/task/26254/stat : 26254 (java) S 26238 26238 21004 0 -1 1077944384 1051 0 0 0 1 2 0 0 20 0 15 0 154610689 14320615424 1191616 33554432000 4194304 4196468 140734620164240 140703008209584 140704104295042 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 43 0 0 6293624 6294260 9506816 140734620169373 140734620169548 140734620169548 140734620172239 0
Current children cumulated CPU time: 87.79 s
Current children cumulated vsize: 13994488 KiB
Current children cumulated memory: 4767844 KiB
[startup+102.301 s]
/proc/loadavg: 2.19 2.21 2.09 3/219 26255
/proc/meminfo: memFree=20580440/32770624 swapFree=67108860/67108860
[pid=26238] ppid=26235 vsize=9512 memory=1380 CPUtime=0 cores=1,3,5,7
/proc/26238/stat : 26238 (xcsp3-exec) S 26235 26238 21004 0 -1 4202496 513 0 0 0 0 0 0 0 20 0 1 0 154610682 9740288 345 33554432000 4194304 5098028 140720433023776 140720433021880 140714801148540 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 35319808 140720433026164 140720433026368 140720433026368 140720433029099 0
/proc/26238/statm: 2378 345 289 221 0 87 0
[pid=26240] ppid=26238 vsize=13984976 memory=4767492 CPUtime=142.18 cores=1,3,5,7
/proc/26240/stat : 26240 (java) S 26238 26238 21004 0 -1 1077944320 82742 0 0 0 13750 468 0 0 20 0 15 0 154610683 14320615424 1191873 33554432000 4194304 4196468 140734620164240 140734620146784 140704104283895 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 9506816 140734620169373 140734620169548 140734620169548 140734620172239 0
/proc/26240/statm: 3496244 1191873 3280 1 0 3483478 0
[pid=26240/tid=26241] ppid=26238 vsize=13984976 memory=1 CPUtime=89.49 cores=1,3,5,7
/proc/26240/task/26241/stat : 26241 (java) R 26238 26238 21004 0 -1 4202560 20087 0 0 0 8936 13 0 0 20 0 15 0 154610683 14320615424 1191873 33554432000 4194304 4196468 140734620164240 140704108520208 140703748807201 0 4 0 16800975 0 0 0 -1 1 0 0 43 0 0 6293624 6294260 9506816 140734620169373 140734620169548 140734620169548 140734620172239 0
[pid=26240/tid=26242] ppid=26238 vsize=13984976 memory=112760071415473 CPUtime=11.32 cores=1,3,5,7
/proc/26240/task/26242/stat : 26242 (java) S 26238 26238 21004 0 -1 1077944384 8379 0 0 0 1018 114 0 0 20 0 15 0 154610684 14320615424 1191873 33554432000 4194304 4196468 140734620164240 140704069565584 140704104294101 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 9506816 140734620169373 140734620169548 140734620169548 140734620172239 0
[pid=26240/tid=26243] ppid=26238 vsize=13984976 memory=4767468 CPUtime=11.23 cores=1,3,5,7
/proc/26240/task/26243/stat : 26243 (java) S 26238 26238 21004 0 -1 1077944384 6219 0 0 0 1014 109 0 0 20 0 15 0 154610684 14320615424 1191873 33554432000 4194304 4196468 140734620164240 140703699155984 140704104294101 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 9506816 140734620169373 140734620169548 140734620169548 140734620172239 0
[pid=26240/tid=26244] ppid=26238 vsize=13984976 memory=0 CPUtime=11.28 cores=1,3,5,7
/proc/26240/task/26244/stat : 26244 (java) S 26238 26238 21004 0 -1 1077944384 6968 0 0 0 1017 111 0 0 20 0 15 0 154610684 14320615424 1191873 33554432000 4194304 4196468 140734620164240 140703698103184 140704104294101 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 9506816 140734620169373 140734620169548 140734620169548 140734620172239 0
[pid=26240/tid=26245] ppid=26238 vsize=13984976 memory=1132 CPUtime=11.18 cores=1,3,5,7
/proc/26240/task/26245/stat : 26245 (java) S 26238 26238 21004 0 -1 1077944384 7284 0 0 0 1010 108 0 0 20 0 15 0 154610684 14320615424 1191873 33554432000 4194304 4196468 140734620164240 140703697050384 140704104294101 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 9506816 140734620169373 140734620169548 140734620169548 140734620172239 0
[pid=26240/tid=26246] ppid=26238 vsize=13984976 memory=6132 CPUtime=0.94 cores=1,3,5,7
/proc/26240/task/26246/stat : 26246 (java) S 26238 26238 21004 0 -1 1077944384 9303 0 0 0 92 2 0 0 20 0 15 0 154610685 14320615424 1191873 33554432000 4194304 4196468 140734620164240 140703016630640 140704104295042 0 0 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 9506816 140734620169373 140734620169548 140734620169548 140734620172239 0
[pid=26240/tid=26247] ppid=26238 vsize=13984976 memory=6791534058613427641 CPUtime=0 cores=1,3,5,7
/proc/26240/task/26247/stat : 26247 (java) S 26238 26238 21004 0 -1 1077944384 54 0 0 0 0 0 0 0 20 0 15 0 154610685 14320615424 1191873 33554432000 4194304 4196468 140734620164240 140703015576672 140704104294101 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 9506816 140734620169373 140734620169548 140734620169548 140734620172239 0
[pid=26240/tid=26248] ppid=26238 vsize=13984976 memory=1792 CPUtime=0 cores=1,3,5,7
/proc/26240/task/26248/stat : 26248 (java) S 26238 26238 21004 0 -1 1077944384 77 0 0 0 0 0 0 0 20 0 15 0 154610686 14320615424 1191873 33554432000 4194304 4196468 140734620164240 140703014523776 140704104294101 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 9506816 140734620169373 140734620169548 140734620169548 140734620172239 0
[pid=26240/tid=26249] ppid=26238 vsize=13984976 memory=0 CPUtime=0 cores=1,3,5,7
/proc/26240/task/26249/stat : 26249 (java) S 26238 26238 21004 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 154610688 14320615424 1191873 33554432000 4194304 4196468 140734620164240 140703013472080 140704104302491 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 9506816 140734620169373 140734620169548 140734620169548 140734620172239 0
[pid=26240/tid=26250] ppid=26238 vsize=13984976 memory=-8253362762723130486 CPUtime=3.04 cores=1,3,5,7
/proc/26240/task/26250/stat : 26250 (java) S 26238 26238 21004 0 -1 1077944384 8457 0 0 0 303 1 0 0 20 0 15 0 154610688 14320615424 1191873 33554432000 4194304 4196468 140734620164240 140703012420464 140704104295042 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 9506816 140734620169373 140734620169548 140734620169548 140734620172239 0
[pid=26240/tid=26251] ppid=26238 vsize=13984976 memory=4767492 CPUtime=2.86 cores=1,3,5,7
/proc/26240/task/26251/stat : 26251 (java) S 26238 26238 21004 0 -1 1077944384 7352 0 0 0 285 1 0 0 20 0 15 0 154610688 14320615424 1191873 33554432000 4194304 4196468 140734620164240 140703011367664 140704104295042 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 9506816 140734620169373 140734620169548 140734620169548 140734620172239 0
[pid=26240/tid=26252] ppid=26238 vsize=13984976 memory=1380 CPUtime=0.7 cores=1,3,5,7
/proc/26240/task/26252/stat : 26252 (java) S 26238 26238 21004 0 -1 1077944384 6255 0 0 0 68 2 0 0 20 0 15 0 154610688 14320615424 1191873 33554432000 4194304 4196468 140734620164240 140703010314864 140704104295042 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 46 0 0 6293624 6294260 9506816 140734620169373 140734620169548 140734620169548 140734620172239 0
[pid=26240/tid=26253] ppid=26238 vsize=13984976 memory=4767476 CPUtime=0 cores=1,3,5,7
/proc/26240/task/26253/stat : 26253 (java) S 26238 26238 21004 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 154610688 14320615424 1191873 33554432000 4194304 4196468 140734620164240 140703009262304 140704104294101 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 9506816 140734620169373 140734620169548 140734620169548 140734620172239 0
[pid=26240/tid=26254] ppid=26238 vsize=13984976 memory=288230621803970871 CPUtime=0.06 cores=1,3,5,7
/proc/26240/task/26254/stat : 26254 (java) S 26238 26238 21004 0 -1 1077944384 1066 0 0 0 2 4 0 0 20 0 15 0 154610689 14320615424 1191873 33554432000 4194304 4196468 140734620164240 140703008209584 140704104295042 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 43 0 0 6293624 6294260 9506816 140734620169373 140734620169548 140734620169548 140734620172239 0
Current children cumulated CPU time: 142.18 s
Current children cumulated vsize: 13994488 KiB
Current children cumulated memory: 4768872 KiB
[startup+162.301 s]
/proc/loadavg: 2.17 2.20 2.10 3/217 26256
/proc/meminfo: memFree=17220724/32770624 swapFree=67108860/67108860
[pid=26238] ppid=26235 vsize=9512 memory=1380 CPUtime=0 cores=1,3,5,7
/proc/26238/stat : 26238 (xcsp3-exec) S 26235 26238 21004 0 -1 4202496 513 0 0 0 0 0 0 0 20 0 1 0 154610682 9740288 345 33554432000 4194304 5098028 140720433023776 140720433021880 140714801148540 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 35319808 140720433026164 140720433026368 140720433026368 140720433029099 0
/proc/26238/statm: 2378 345 289 221 0 87 0
[pid=26240] ppid=26238 vsize=13984976 memory=5417628 CPUtime=215.81 cores=1,3,5,7
/proc/26240/stat : 26240 (java) S 26238 26238 21004 0 -1 1077944320 95936 0 0 0 21065 516 0 0 20 0 15 0 154610683 14320615424 1354407 33554432000 4194304 4196468 140734620164240 140734620146784 140704104283895 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 9506816 140734620169373 140734620169548 140734620169548 140734620172239 0
/proc/26240/statm: 3496244 1354407 3280 1 0 3483478 0
[pid=26240/tid=26241] ppid=26238 vsize=13984976 memory=5417616 CPUtime=143.23 cores=1,3,5,7
/proc/26240/task/26241/stat : 26241 (java) R 26238 26238 21004 0 -1 4202560 23656 0 0 0 14310 13 0 0 20 0 15 0 154610683 14320615424 1354407 33554432000 4194304 4196468 140734620164240 140704108523264 140703748807156 0 4 0 16800975 0 0 0 -1 1 0 0 43 0 0 6293624 6294260 9506816 140734620169373 140734620169548 140734620169548 140734620172239 0
[pid=26240/tid=26242] ppid=26238 vsize=13984976 memory=5417616 CPUtime=15.87 cores=1,3,5,7
/proc/26240/task/26242/stat : 26242 (java) S 26238 26238 21004 0 -1 1077944384 9517 0 0 0 1461 126 0 0 20 0 15 0 154610684 14320615424 1354407 33554432000 4194304 4196468 140734620164240 140704069565584 140704104294101 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 9506816 140734620169373 140734620169548 140734620169548 140734620172239 0
[pid=26240/tid=26243] ppid=26238 vsize=13984976 memory=1380 CPUtime=15.71 cores=1,3,5,7
/proc/26240/task/26243/stat : 26243 (java) S 26238 26238 21004 0 -1 1077944384 7315 0 0 0 1450 121 0 0 20 0 15 0 154610684 14320615424 1354407 33554432000 4194304 4196468 140734620164240 140703699155984 140704104294101 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 9506816 140734620169373 140734620169548 140734620169548 140734620172239 0
[pid=26240/tid=26244] ppid=26238 vsize=13984976 memory=5417616 CPUtime=15.83 cores=1,3,5,7
/proc/26240/task/26244/stat : 26244 (java) S 26238 26238 21004 0 -1 1077944384 8279 0 0 0 1461 122 0 0 20 0 15 0 154610684 14320615424 1354407 33554432000 4194304 4196468 140734620164240 140703698103184 140704104294101 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 9506816 140734620169373 140734620169548 140734620169548 140734620172239 0
[pid=26240/tid=26245] ppid=26238 vsize=13984976 memory=1420 CPUtime=15.74 cores=1,3,5,7
/proc/26240/task/26245/stat : 26245 (java) S 26238 26238 21004 0 -1 1077944384 8279 0 0 0 1454 120 0 0 20 0 15 0 154610684 14320615424 1354407 33554432000 4194304 4196468 140734620164240 140703697050384 140704104294101 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 9506816 140734620169373 140734620169548 140734620169548 140734620172239 0
[pid=26240/tid=26246] ppid=26238 vsize=13984976 memory=11108 CPUtime=2.62 cores=1,3,5,7
/proc/26240/task/26246/stat : 26246 (java) S 26238 26238 21004 0 -1 1077944384 13568 0 0 0 260 2 0 0 20 0 15 0 154610685 14320615424 1354407 33554432000 4194304 4196468 140734620164240 140703016630640 140704104295042 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 9506816 140734620169373 140734620169548 140734620169548 140734620172239 0
[pid=26240/tid=26247] ppid=26238 vsize=13984976 memory=0 CPUtime=0 cores=1,3,5,7
/proc/26240/task/26247/stat : 26247 (java) S 26238 26238 21004 0 -1 1077944384 54 0 0 0 0 0 0 0 20 0 15 0 154610685 14320615424 1354407 33554432000 4194304 4196468 140734620164240 140703015576672 140704104294101 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 9506816 140734620169373 140734620169548 140734620169548 140734620172239 0
[pid=26240/tid=26248] ppid=26238 vsize=13984976 memory=3905803088962012369 CPUtime=0 cores=1,3,5,7
/proc/26240/task/26248/stat : 26248 (java) S 26238 26238 21004 0 -1 1077944384 77 0 0 0 0 0 0 0 20 0 15 0 154610686 14320615424 1354407 33554432000 4194304 4196468 140734620164240 140703014523776 140704104294101 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 9506816 140734620169373 140734620169548 140734620169548 140734620172239 0
[pid=26240/tid=26249] ppid=26238 vsize=13984976 memory=-3622645143214314312 CPUtime=0 cores=1,3,5,7
/proc/26240/task/26249/stat : 26249 (java) S 26238 26238 21004 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 154610688 14320615424 1354407 33554432000 4194304 4196468 140734620164240 140703013472080 140704104302491 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 9506816 140734620169373 140734620169548 140734620169548 140734620172239 0
[pid=26240/tid=26250] ppid=26238 vsize=13984976 memory=4953912 CPUtime=3.04 cores=1,3,5,7
/proc/26240/task/26250/stat : 26250 (java) S 26238 26238 21004 0 -1 1077944384 8700 0 0 0 303 1 0 0 20 0 15 0 154610688 14320615424 1354407 33554432000 4194304 4196468 140734620164240 140703012420464 140704104295042 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 9506816 140734620169373 140734620169548 140734620169548 140734620172239 0
[pid=26240/tid=26251] ppid=26238 vsize=13984976 memory=5417616 CPUtime=2.86 cores=1,3,5,7
/proc/26240/task/26251/stat : 26251 (java) S 26238 26238 21004 0 -1 1077944384 7354 0 0 0 285 1 0 0 20 0 15 0 154610688 14320615424 1354407 33554432000 4194304 4196468 140734620164240 140703011367664 140704104295042 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 9506816 140734620169373 140734620169548 140734620169548 140734620172239 0
[pid=26240/tid=26252] ppid=26238 vsize=13984976 memory=1380 CPUtime=0.7 cores=1,3,5,7
/proc/26240/task/26252/stat : 26252 (java) S 26238 26238 21004 0 -1 1077944384 6788 0 0 0 68 2 0 0 20 0 15 0 154610688 14320615424 1354407 33554432000 4194304 4196468 140734620164240 140703010314864 140704104295042 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 46 0 0 6293624 6294260 9506816 140734620169373 140734620169548 140734620169548 140734620172239 0
[pid=26240/tid=26253] ppid=26238 vsize=13984976 memory=1380 CPUtime=0 cores=1,3,5,7
/proc/26240/task/26253/stat : 26253 (java) S 26238 26238 21004 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 154610688 14320615424 1354407 33554432000 4194304 4196468 140734620164240 140703009262304 140704104294101 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 9506816 140734620169373 140734620169548 140734620169548 140734620172239 0
[pid=26240/tid=26254] ppid=26238 vsize=13984976 memory=5417616 CPUtime=0.1 cores=1,3,5,7
/proc/26240/task/26254/stat : 26254 (java) S 26238 26238 21004 0 -1 1077944384 1108 0 0 0 4 6 0 0 20 0 15 0 154610689 14320615424 1354407 33554432000 4194304 4196468 140734620164240 140703008209584 140704104295042 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 43 0 0 6293624 6294260 9506816 140734620169373 140734620169548 140734620169548 140734620172239 0
Current children cumulated CPU time: 215.81 s
Current children cumulated vsize: 13994488 KiB
Current children cumulated memory: 5419008 KiB
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+210.401 s]
/proc/loadavg: 2.01 2.16 2.09 3/217 26257
/proc/meminfo: memFree=17219992/32770624 swapFree=67108860/67108860
[pid=26238] ppid=26235 vsize=9512 memory=1380 CPUtime=0 cores=1,3,5,7
/proc/26238/stat : 26238 (xcsp3-exec) S 26235 26238 21004 0 -1 4202496 513 0 0 0 0 0 0 0 20 0 1 0 154610682 9740288 345 33554432000 4194304 5098028 140720433023776 140720433021880 140714801148540 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 35319808 140720433026164 140720433026368 140720433026368 140720433029099 0
/proc/26238/statm: 2378 345 289 221 0 87 0
[pid=26240] ppid=26238 vsize=13984976 memory=5417844 CPUtime=264.06 cores=1,3,5,7
/proc/26240/stat : 26240 (java) S 26238 26238 21004 0 -1 1077944320 103078 0 0 0 25887 519 0 0 20 0 15 0 154610683 14320615424 1354461 33554432000 4194304 4196468 140734620164240 140734620146784 140704104283895 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 9506816 140734620169373 140734620169548 140734620169548 140734620172239 0
/proc/26240/statm: 3496244 1354461 3280 1 0 3483478 0
[pid=26240/tid=26241] ppid=26238 vsize=13984976 memory=1 CPUtime=191.3 cores=1,3,5,7
/proc/26240/task/26241/stat : 26241 (java) R 26238 26238 21004 0 -1 4202560 26013 0 0 0 19116 14 0 0 20 0 15 0 154610683 14320615424 1354461 33554432000 4194304 4196468 140734620164240 140704108520128 140703748807156 0 4 0 16800975 0 0 0 -1 3 0 0 43 0 0 6293624 6294260 9506816 140734620169373 140734620169548 140734620169548 140734620172239 0
[pid=26240/tid=26242] ppid=26238 vsize=13984976 memory=6791534058613427641 CPUtime=15.91 cores=1,3,5,7
/proc/26240/task/26242/stat : 26242 (java) S 26238 26238 21004 0 -1 1077944384 10222 0 0 0 1465 126 0 0 20 0 15 0 154610684 14320615424 1354461 33554432000 4194304 4196468 140734620164240 140704069565584 140704104294101 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 9506816 140734620169373 140734620169548 140734620169548 140734620172239 0
[pid=26240/tid=26243] ppid=26238 vsize=13984976 memory=2240 CPUtime=15.75 cores=1,3,5,7
/proc/26240/task/26243/stat : 26243 (java) S 26238 26238 21004 0 -1 1077944384 8062 0 0 0 1454 121 0 0 20 0 15 0 154610684 14320615424 1354461 33554432000 4194304 4196468 140734620164240 140703699155984 140704104294101 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 9506816 140734620169373 140734620169548 140734620169548 140734620172239 0
[pid=26240/tid=26244] ppid=26238 vsize=13984976 memory=4140 CPUtime=15.87 cores=1,3,5,7
/proc/26240/task/26244/stat : 26244 (java) S 26238 26238 21004 0 -1 1077944384 9332 0 0 0 1465 122 0 0 20 0 15 0 154610684 14320615424 1354461 33554432000 4194304 4196468 140734620164240 140703698103184 140704104294101 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 9506816 140734620169373 140734620169548 140734620169548 140734620172239 0
[pid=26240/tid=26245] ppid=26238 vsize=13984976 memory=42964 CPUtime=15.78 cores=1,3,5,7
/proc/26240/task/26245/stat : 26245 (java) S 26238 26238 21004 0 -1 1077944384 8883 0 0 0 1458 120 0 0 20 0 15 0 154610684 14320615424 1354461 33554432000 4194304 4196468 140734620164240 140703697050384 140704104294101 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 9506816 140734620169373 140734620169548 140734620169548 140734620172239 0
[pid=26240/tid=26246] ppid=26238 vsize=13984976 memory=1292 CPUtime=2.62 cores=1,3,5,7
/proc/26240/task/26246/stat : 26246 (java) S 26238 26238 21004 0 -1 1077944384 13791 0 0 0 260 2 0 0 20 0 15 0 154610685 14320615424 1354461 33554432000 4194304 4196468 140734620164240 140703016630640 140704104295042 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 9506816 140734620169373 140734620169548 140734620169548 140734620172239 0
[pid=26240/tid=26247] ppid=26238 vsize=13984976 memory=1380 CPUtime=0 cores=1,3,5,7
/proc/26240/task/26247/stat : 26247 (java) S 26238 26238 21004 0 -1 1077944384 54 0 0 0 0 0 0 0 20 0 15 0 154610685 14320615424 1354461 33554432000 4194304 4196468 140734620164240 140703015576672 140704104294101 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 9506816 140734620169373 140734620169548 140734620169548 140734620172239 0
[pid=26240/tid=26248] ppid=26238 vsize=13984976 memory=5417844 CPUtime=0 cores=1,3,5,7
/proc/26240/task/26248/stat : 26248 (java) S 26238 26238 21004 0 -1 1077944384 77 0 0 0 0 0 0 0 20 0 15 0 154610686 14320615424 1354461 33554432000 4194304 4196468 140734620164240 140703014523776 140704104294101 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 9506816 140734620169373 140734620169548 140734620169548 140734620172239 0
[pid=26240/tid=26249] ppid=26238 vsize=13984976 memory=4108 CPUtime=0 cores=1,3,5,7
/proc/26240/task/26249/stat : 26249 (java) S 26238 26238 21004 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 154610688 14320615424 1354461 33554432000 4194304 4196468 140734620164240 140703013472080 140704104302491 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 9506816 140734620169373 140734620169548 140734620169548 140734620172239 0
[pid=26240/tid=26250] ppid=26238 vsize=13984976 memory=1160 CPUtime=3.04 cores=1,3,5,7
/proc/26240/task/26250/stat : 26250 (java) S 26238 26238 21004 0 -1 1077944384 8707 0 0 0 303 1 0 0 20 0 15 0 154610688 14320615424 1354461 33554432000 4194304 4196468 140734620164240 140703012420464 140704104295042 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 9506816 140734620169373 140734620169548 140734620169548 140734620172239 0
[pid=26240/tid=26251] ppid=26238 vsize=13984976 memory=3060 CPUtime=2.86 cores=1,3,5,7
/proc/26240/task/26251/stat : 26251 (java) S 26238 26238 21004 0 -1 1077944384 7357 0 0 0 285 1 0 0 20 0 15 0 154610688 14320615424 1354461 33554432000 4194304 4196468 140734620164240 140703011367664 140704104295042 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 9506816 140734620169373 140734620169548 140734620169548 140734620172239 0
[pid=26240/tid=26252] ppid=26238 vsize=13984976 memory=1384 CPUtime=0.71 cores=1,3,5,7
/proc/26240/task/26252/stat : 26252 (java) S 26238 26238 21004 0 -1 1077944384 8191 0 0 0 69 2 0 0 20 0 15 0 154610688 14320615424 1354461 33554432000 4194304 4196468 140734620164240 140703010314864 140704104295042 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 46 0 0 6293624 6294260 9506816 140734620169373 140734620169548 140734620169548 140734620172239 0
[pid=26240/tid=26253] ppid=26238 vsize=13984976 memory=6791534058613427641 CPUtime=0 cores=1,3,5,7
/proc/26240/task/26253/stat : 26253 (java) S 26238 26238 21004 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 154610688 14320615424 1354461 33554432000 4194304 4196468 140734620164240 140703009262304 140704104294101 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 9506816 140734620169373 140734620169548 140734620169548 140734620172239 0
[pid=26240/tid=26254] ppid=26238 vsize=13984976 memory=1380 CPUtime=0.14 cores=1,3,5,7
/proc/26240/task/26254/stat : 26254 (java) S 26238 26238 21004 0 -1 1077944384 1148 0 0 0 6 8 0 0 20 0 15 0 154610689 14320615424 1354461 33554432000 4194304 4196468 140734620164240 140703008209584 140704104295042 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 43 0 0 6293624 6294260 9506816 140734620169373 140734620169548 140734620169548 140734620172239 0
Current children cumulated CPU time: 264.06 s
Current children cumulated vsize: 13994488 KiB
Current children cumulated memory: 5419224 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
[startup+210.411 s]
# the end of solver process 26238 was just reported to runsolver
# cumulated CPU time of all completed processes: user=0.001812 s, system=0 s
[startup+210.433 s]
# the end of solver process 26240 was just reported to runsolver
# cumulated CPU time of all completed processes: user=258.89 s, system=5.2166 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): 210.433
CPU time (s): 264.106
CPU user time (s): 258.89
CPU system time (s): 5.2166
CPU usage (%): 125.506
Max. virtual memory (cumulated for all children) (KiB): 13994488
Max. memory (cumulated for all children) (KiB): 5419224
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 258.89
system time used= 5.2166
maximum resident set size= 5418272
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 103990
page faults= 0
swaps= 0
block input operations= 0
block output operations= 352
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 8198
involuntary context switches= 704
# summary of solver processes directly reported to runsolver:
# pid: 26238,26240
# total CPU time (s): 264.106
# total CPU user time (s): 258.89
# total CPU system time (s): 5.2166
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 1.33713 second user time and 2.19611 second system time
The end