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 (11921 MiB free)
memory of node 1: 16384 MiB (12966 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4284239-1503213649/watcher-4284239-1503213649 -o /tmp/evaluation-result-4284239-1503213649/solver-4284239-1503213649 -C 264 -W 240 -M 15500 --bin-var /tmp/runsolver-exch-node113-1503209106-8068 --watchdog 300 ./xcsp3-exec -dir HOME -tl 264 -ml 11000 -tdir HOME -seed 1108267697 HOME/instance-4284239-1503213649.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=11134, runsolver pid=11131
Current StackSize limit: 8192 KiB
[startup+0.100171 s]*
/proc/loadavg: 1.60 1.61 1.77 4/217 11150
/proc/meminfo: memFree=25459200/32770624 swapFree=67108860/67108860
[pid=11134] ppid=11131 vsize=9512 memory=1384 CPUtime=0 cores=1,3,5,7
/proc/11134/stat : 11134 (xcsp3-exec) S 11131 11134 8036 0 -1 4202496 513 0 0 0 0 0 0 0 20 0 1 0 154452340 9740288 346 33554432000 4194304 5098028 140729537965264 140729537963368 140165164831356 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 10317824 140729537971316 140729537971520 140729537971520 140729537974251 0
/proc/11134/statm: 2378 346 289 221 0 87 0
[pid=11136] ppid=11134 vsize=13978596 memory=28112 CPUtime=0.12 cores=1,3,5,7
/proc/11136/stat : 11136 (java) S 11134 11134 8036 0 -1 1077944320 5462 0 0 0 11 1 0 0 20 0 15 0 154452340 14314082304 7028 33554432000 4194304 4196468 140733376046688 140733376029232 140034666561271 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0 6293624 6294260 13877248 140733376054429 140733376054604 140733376054604 140733376057295 0
/proc/11136/statm: 3494649 7028 2843 1 0 3482966 0
[pid=11136/tid=11137] ppid=11134 vsize=13978596 memory=8514701219881125282 CPUtime=0.08 cores=1,3,5,7
/proc/11136/task/11137/stat : 11137 (java) R 11134 11134 8036 0 -1 4202560 3467 0 0 0 8 0 0 0 20 0 15 0 154452340 14314082304 7028 33554432000 4194304 4196468 140733376046688 140034670794544 140034271423770 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 13877248 140733376054429 140733376054604 140733376054604 140733376057295 0
[pid=11136/tid=11138] ppid=11134 vsize=13978596 memory=3472468317445612752 CPUtime=0 cores=1,3,5,7
/proc/11136/task/11138/stat : 11138 (java) S 11134 11134 8036 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 154452341 14314082304 7028 33554432000 4194304 4196468 140733376046688 140034596650128 140034666571477 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 13877248 140733376054429 140733376054604 140733376054604 140733376057295 0
[pid=11136/tid=11139] ppid=11134 vsize=13978596 memory=140188550461056 CPUtime=0 cores=1,3,5,7
/proc/11136/task/11139/stat : 11139 (java) S 11134 11134 8036 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 154452341 14314082304 7028 33554432000 4194304 4196468 140733376046688 140034595597328 140034666571477 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 13877248 140733376054429 140733376054604 140733376054604 140733376057295 0
[pid=11136/tid=11140] ppid=11134 vsize=13978596 memory=0 CPUtime=0 cores=1,3,5,7
/proc/11136/task/11140/stat : 11140 (java) S 11134 11134 8036 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 154452341 14314082304 7028 33554432000 4194304 4196468 140733376046688 140034594544528 140034666571477 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 13877248 140733376054429 140733376054604 140733376054604 140733376057295 0
[pid=11136/tid=11141] ppid=11134 vsize=13978596 memory=0 CPUtime=0 cores=1,3,5,7
/proc/11136/task/11141/stat : 11141 (java) S 11134 11134 8036 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 154452341 14314082304 7028 33554432000 4194304 4196468 140733376046688 140034593491728 140034666571477 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 13877248 140733376054429 140733376054604 140733376054604 140733376057295 0
[pid=11136/tid=11142] ppid=11134 vsize=13978596 memory=0 CPUtime=0 cores=1,3,5,7
/proc/11136/task/11142/stat : 11142 (java) S 11134 11134 8036 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 154452343 14314082304 7028 33554432000 4194304 4196468 140733376046688 140033779538288 140034666572418 0 0 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 13877248 140733376054429 140733376054604 140733376054604 140733376057295 0
[pid=11136/tid=11143] ppid=11134 vsize=13978596 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/11136/task/11143/stat : 11143 (java) S 11134 11134 8036 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 154452343 14314082304 7093 33554432000 4194304 4196468 140733376046688 140033778484256 140034666571477 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 13877248 140733376054429 140733376054604 140733376054604 140733376057295 0
[pid=11136/tid=11144] ppid=11134 vsize=13978596 memory=0 CPUtime=0 cores=1,3,5,7
/proc/11136/task/11144/stat : 11144 (java) S 11134 11134 8036 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 154452343 14314082304 7093 33554432000 4194304 4196468 140733376046688 140033777431408 140034666571477 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 13877248 140733376054429 140733376054604 140733376054604 140733376057295 0
[pid=11136/tid=11145] ppid=11134 vsize=13978596 memory=0 CPUtime=0 cores=1,3,5,7
/proc/11136/task/11145/stat : 11145 (java) S 11134 11134 8036 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 154452346 14314082304 7093 33554432000 4194304 4196468 140733376046688 140033776379728 140034666579867 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 13877248 140733376054429 140733376054604 140733376054604 140733376057295 0
[pid=11136/tid=11146] ppid=11134 vsize=13978596 memory=0 CPUtime=0 cores=1,3,5,7
/proc/11136/task/11146/stat : 11146 (java) S 11134 11134 8036 0 -1 1077944384 307 0 0 0 0 0 0 0 20 0 15 0 154452346 14314082304 7093 33554432000 4194304 4196468 140733376046688 140033775328112 140034666572418 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 13877248 140733376054429 140733376054604 140733376054604 140733376057295 0
[pid=11136/tid=11147] ppid=11134 vsize=13978596 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/11136/task/11147/stat : 11147 (java) S 11134 11134 8036 0 -1 1077944384 126 0 0 0 0 0 0 0 20 0 15 0 154452346 14314082304 7093 33554432000 4194304 4196468 140733376046688 140033774275312 140034666572418 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 13877248 140733376054429 140733376054604 140733376054604 140733376057295 0
[pid=11136/tid=11148] ppid=11134 vsize=13978596 memory=140188550461056 CPUtime=0.01 cores=1,3,5,7
/proc/11136/task/11148/stat : 11148 (java) R 11134 11134 8036 0 -1 4202560 285 0 0 0 1 0 0 0 20 0 15 0 154452346 14314082304 7093 33554432000 4194304 4196468 140733376046688 140033773222512 140034659278423 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 13877248 140733376054429 140733376054604 140733376054604 140733376057295 0
[pid=11136/tid=11149] ppid=11134 vsize=13978596 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/11136/task/11149/stat : 11149 (java) S 11134 11134 8036 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 154452346 14314082304 7093 33554432000 4194304 4196468 140733376046688 140033772169952 140034666571477 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 13877248 140733376054429 140733376054604 140733376054604 140733376057295 0
[pid=11136/tid=11150] ppid=11134 vsize=13978596 memory=140188550461056 CPUtime=0 cores=1,3,5,7
/proc/11136/task/11150/stat : 11150 (java) S 11134 11134 8036 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 154452346 14314082304 7093 33554432000 4194304 4196468 140733376046688 140033771117232 140034666572418 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 13877248 140733376054429 140733376054604 140733376054604 140733376057295 0
Current children cumulated CPU time: 0.12 s
Current children cumulated vsize: 13988108 KiB
Current children cumulated memory: 29496 KiB
[startup+0.210675 s]*
/proc/loadavg: 1.60 1.61 1.77 3/217 11150
/proc/meminfo: memFree=25437920/32770624 swapFree=67108860/67108860
[pid=11134] ppid=11131 vsize=9512 memory=1384 CPUtime=0 cores=1,3,5,7
/proc/11134/stat : 11134 (xcsp3-exec) S 11131 11134 8036 0 -1 4202496 513 0 0 0 0 0 0 0 20 0 1 0 154452340 9740288 346 33554432000 4194304 5098028 140729537965264 140729537963368 140165164831356 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 10317824 140729537971316 140729537971520 140729537971520 140729537974251 0
/proc/11134/statm: 2378 346 289 221 0 87 0
[pid=11136] ppid=11134 vsize=13982852 memory=40480 CPUtime=0.33 cores=1,3,5,7
/proc/11136/stat : 11136 (java) S 11134 11134 8036 0 -1 1077944320 8235 0 0 0 31 2 0 0 20 0 15 0 154452340 14318440448 10120 33554432000 4194304 4196468 140733376046688 140733376029232 140034666561271 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0 6293624 6294260 13877248 140733376054429 140733376054604 140733376054604 140733376057295 0
/proc/11136/statm: 3495713 10120 3039 1 0 3482966 0
[pid=11136/tid=11137] ppid=11134 vsize=13982852 memory=5855082630820233377 CPUtime=0.19 cores=1,3,5,7
/proc/11136/task/11137/stat : 11137 (java) D 11134 11134 8036 0 -1 1077944384 5364 0 0 0 18 1 0 0 20 0 15 0 154452340 14318440448 10120 33554432000 4194304 4196468 140733376046688 140034670772064 140034659240493 0 4 0 16800975 18446744072101629476 0 0 -1 5 0 0 0 0 0 6293624 6294260 13877248 140733376054429 140733376054604 140733376054604 140733376057295 0
[pid=11136/tid=11138] ppid=11134 vsize=13982852 memory=3472468317445612752 CPUtime=0 cores=1,3,5,7
/proc/11136/task/11138/stat : 11138 (java) S 11134 11134 8036 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 154452341 14318440448 10120 33554432000 4194304 4196468 140733376046688 140034596650128 140034666571477 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 13877248 140733376054429 140733376054604 140733376054604 140733376057295 0
[pid=11136/tid=11139] ppid=11134 vsize=13982852 memory=140188550461056 CPUtime=0 cores=1,3,5,7
/proc/11136/task/11139/stat : 11139 (java) S 11134 11134 8036 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 154452341 14318440448 10120 33554432000 4194304 4196468 140733376046688 140034595597328 140034666571477 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 13877248 140733376054429 140733376054604 140733376054604 140733376057295 0
[pid=11136/tid=11140] ppid=11134 vsize=13982852 memory=0 CPUtime=0 cores=1,3,5,7
/proc/11136/task/11140/stat : 11140 (java) S 11134 11134 8036 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 154452341 14318440448 10120 33554432000 4194304 4196468 140733376046688 140034594544528 140034666571477 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 13877248 140733376054429 140733376054604 140733376054604 140733376057295 0
[pid=11136/tid=11141] ppid=11134 vsize=13982852 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/11136/task/11141/stat : 11141 (java) S 11134 11134 8036 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 154452341 14318440448 10120 33554432000 4194304 4196468 140733376046688 140034593491728 140034666571477 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 13877248 140733376054429 140733376054604 140733376054604 140733376057295 0
[pid=11136/tid=11142] ppid=11134 vsize=13982852 memory=140188550461056 CPUtime=0 cores=1,3,5,7
/proc/11136/task/11142/stat : 11142 (java) S 11134 11134 8036 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 154452343 14318440448 10120 33554432000 4194304 4196468 140733376046688 140033779538288 140034666572418 0 0 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 13877248 140733376054429 140733376054604 140733376054604 140733376057295 0
[pid=11136/tid=11143] ppid=11134 vsize=13982884 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/11136/task/11143/stat : 11143 (java) S 11134 11134 8036 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 154452343 14318473216 10120 33554432000 4194304 4196468 140733376046688 140033778484256 140034666571477 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 13877248 140733376054429 140733376054604 140733376054604 140733376057295 0
[pid=11136/tid=11144] ppid=11134 vsize=13982884 memory=0 CPUtime=0 cores=1,3,5,7
/proc/11136/task/11144/stat : 11144 (java) S 11134 11134 8036 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 154452343 14318473216 10120 33554432000 4194304 4196468 140733376046688 140033777431408 140034666571477 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 13877248 140733376054429 140733376054604 140733376054604 140733376057295 0
[pid=11136/tid=11145] ppid=11134 vsize=13982852 memory=0 CPUtime=0 cores=1,3,5,7
/proc/11136/task/11145/stat : 11145 (java) S 11134 11134 8036 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 154452346 14318440448 10120 33554432000 4194304 4196468 140733376046688 140033776379728 140034666579867 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 13877248 140733376054429 140733376054604 140733376054604 140733376057295 0
[pid=11136/tid=11146] ppid=11134 vsize=13982852 memory=0 CPUtime=0.02 cores=1,3,5,7
/proc/11136/task/11146/stat : 11146 (java) S 11134 11134 8036 0 -1 1077944384 456 0 0 0 2 0 0 0 20 0 15 0 154452346 14318440448 10120 33554432000 4194304 4196468 140733376046688 140033775328112 140034666572418 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 13877248 140733376054429 140733376054604 140733376054604 140733376057295 0
[pid=11136/tid=11147] ppid=11134 vsize=13982852 memory=-1 CPUtime=0.03 cores=1,3,5,7
/proc/11136/task/11147/stat : 11147 (java) S 11134 11134 8036 0 -1 1077944384 429 0 0 0 3 0 0 0 20 0 15 0 154452346 14318440448 10120 33554432000 4194304 4196468 140733376046688 140033774275312 140034666572418 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 13877248 140733376054429 140733376054604 140733376054604 140733376057295 0
[pid=11136/tid=11148] ppid=11134 vsize=13982852 memory=140188550461056 CPUtime=0.08 cores=1,3,5,7
/proc/11136/task/11148/stat : 11148 (java) S 11134 11134 8036 0 -1 1077944384 697 0 0 0 8 0 0 0 20 0 15 0 154452346 14318440448 10120 33554432000 4194304 4196468 140733376046688 140033773222512 140034666572418 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 13877248 140733376054429 140733376054604 140733376054604 140733376057295 0
[pid=11136/tid=11149] ppid=11134 vsize=13982852 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/11136/task/11149/stat : 11149 (java) S 11134 11134 8036 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 154452346 14318440448 10120 33554432000 4194304 4196468 140733376046688 140033772169952 140034666571477 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 13877248 140733376054429 140733376054604 140733376054604 140733376057295 0
[pid=11136/tid=11150] ppid=11134 vsize=13982852 memory=140188550461056 CPUtime=0 cores=1,3,5,7
/proc/11136/task/11150/stat : 11150 (java) S 11134 11134 8036 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 154452346 14318440448 10120 33554432000 4194304 4196468 140733376046688 140033771117232 140034666572418 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 13877248 140733376054429 140733376054604 140733376054604 140733376057295 0
Current children cumulated CPU time: 0.33 s
Current children cumulated vsize: 13992364 KiB
Current children cumulated memory: 41864 KiB
[startup+0.31212 s]*
/proc/loadavg: 1.60 1.61 1.77 4/217 11150
/proc/meminfo: memFree=25418408/32770624 swapFree=67108860/67108860
[pid=11134] ppid=11131 vsize=9512 memory=1384 CPUtime=0 cores=1,3,5,7
/proc/11134/stat : 11134 (xcsp3-exec) S 11131 11134 8036 0 -1 4202496 513 0 0 0 0 0 0 0 20 0 1 0 154452340 9740288 346 33554432000 4194304 5098028 140729537965264 140729537963368 140165164831356 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 10317824 140729537971316 140729537971520 140729537971520 140729537974251 0
/proc/11134/statm: 2378 346 289 221 0 87 0
[pid=11136] ppid=11134 vsize=13982852 memory=48404 CPUtime=0.52 cores=1,3,5,7
/proc/11136/stat : 11136 (java) S 11134 11134 8036 0 -1 1077944320 9284 0 0 0 49 3 0 0 20 0 15 0 154452340 14318440448 12101 33554432000 4194304 4196468 140733376046688 140733376029232 140034666561271 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0 6293624 6294260 13877248 140733376054429 140733376054604 140733376054604 140733376057295 0
/proc/11136/statm: 3495713 12101 3130 1 0 3482966 0
[pid=11136/tid=11137] ppid=11134 vsize=13982852 memory=8514701219880862117 CPUtime=0.29 cores=1,3,5,7
/proc/11136/task/11137/stat : 11137 (java) R 11134 11134 8036 0 -1 4202560 5960 0 0 0 27 2 0 0 20 0 15 0 154452340 14318440448 12101 33554432000 4194304 4196468 140733376046688 140034670784112 140034650641758 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 13877248 140733376054429 140733376054604 140733376054604 140733376057295 0
[pid=11136/tid=11138] ppid=11134 vsize=13982852 memory=3472468317445612752 CPUtime=0 cores=1,3,5,7
/proc/11136/task/11138/stat : 11138 (java) S 11134 11134 8036 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 154452341 14318440448 12101 33554432000 4194304 4196468 140733376046688 140034596650128 140034666571477 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 13877248 140733376054429 140733376054604 140733376054604 140733376057295 0
[pid=11136/tid=11139] ppid=11134 vsize=13982852 memory=140188550461056 CPUtime=0 cores=1,3,5,7
/proc/11136/task/11139/stat : 11139 (java) S 11134 11134 8036 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 154452341 14318440448 12101 33554432000 4194304 4196468 140733376046688 140034595597328 140034666571477 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 13877248 140733376054429 140733376054604 140733376054604 140733376057295 0
[pid=11136/tid=11140] ppid=11134 vsize=13982852 memory=2 CPUtime=0 cores=1,3,5,7
/proc/11136/task/11140/stat : 11140 (java) S 11134 11134 8036 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 154452341 14318440448 12101 33554432000 4194304 4196468 140733376046688 140034594544528 140034666571477 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 13877248 140733376054429 140733376054604 140733376054604 140733376057295 0
[pid=11136/tid=11141] ppid=11134 vsize=13982852 memory=140188403771423 CPUtime=0 cores=1,3,5,7
/proc/11136/task/11141/stat : 11141 (java) S 11134 11134 8036 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 154452341 14318440448 12101 33554432000 4194304 4196468 140733376046688 140034593491728 140034666571477 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 13877248 140733376054429 140733376054604 140733376054604 140733376057295 0
[pid=11136/tid=11142] ppid=11134 vsize=13982852 memory=280376807503616 CPUtime=0 cores=1,3,5,7
/proc/11136/task/11142/stat : 11142 (java) S 11134 11134 8036 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 154452343 14318440448 12101 33554432000 4194304 4196468 140733376046688 140033779538288 140034666572418 0 0 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 13877248 140733376054429 140733376054604 140733376054604 140733376057295 0
[pid=11136/tid=11143] ppid=11134 vsize=13982852 memory=140188403748367 CPUtime=0 cores=1,3,5,7
/proc/11136/task/11143/stat : 11143 (java) S 11134 11134 8036 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 154452343 14318440448 12101 33554432000 4194304 4196468 140733376046688 140033778484256 140034666571477 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 13877248 140733376054429 140733376054604 140733376054604 140733376057295 0
[pid=11136/tid=11144] ppid=11134 vsize=13982852 memory=280376954218592 CPUtime=0 cores=1,3,5,7
/proc/11136/task/11144/stat : 11144 (java) S 11134 11134 8036 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 154452343 14318440448 12101 33554432000 4194304 4196468 140733376046688 140033777431408 140034666571477 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 13877248 140733376054429 140733376054604 140733376054604 140733376057295 0
[pid=11136/tid=11145] ppid=11134 vsize=13982852 memory=140188403752975 CPUtime=0 cores=1,3,5,7
/proc/11136/task/11145/stat : 11145 (java) S 11134 11134 8036 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 154452346 14318440448 12101 33554432000 4194304 4196468 140733376046688 140033776379728 140034666579867 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 13877248 140733376054429 140733376054604 140733376054604 140733376057295 0
[pid=11136/tid=11146] ppid=11134 vsize=13982852 memory=0 CPUtime=0.04 cores=1,3,5,7
/proc/11136/task/11146/stat : 11146 (java) R 11134 11134 8036 0 -1 4202560 608 0 0 0 4 0 0 0 20 0 15 0 154452346 14318440448 12101 33554432000 4194304 4196468 140733376046688 140033775309128 140034648082662 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 13877248 140733376054429 140733376054604 140733376054604 140733376057295 0
[pid=11136/tid=11147] ppid=11134 vsize=13982852 memory=-1 CPUtime=0.05 cores=1,3,5,7
/proc/11136/task/11147/stat : 11147 (java) S 11134 11134 8036 0 -1 1077944384 527 0 0 0 5 0 0 0 20 0 15 0 154452346 14318440448 12101 33554432000 4194304 4196468 140733376046688 140033774275312 140034666572418 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 13877248 140733376054429 140733376054604 140733376054604 140733376057295 0
[pid=11136/tid=11148] ppid=11134 vsize=13982852 memory=0 CPUtime=0.12 cores=1,3,5,7
/proc/11136/task/11148/stat : 11148 (java) R 11134 11134 8036 0 -1 1077944384 888 0 0 0 12 0 0 0 20 0 15 0 154452346 14318440448 12101 33554432000 4194304 4196468 140733376046688 140033773218464 140034666571477 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 13877248 140733376054429 140733376054604 140733376054604 140733376057295 0
[pid=11136/tid=11149] ppid=11134 vsize=13982852 memory=0 CPUtime=0 cores=1,3,5,7
/proc/11136/task/11149/stat : 11149 (java) S 11134 11134 8036 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 154452346 14318440448 12101 33554432000 4194304 4196468 140733376046688 140033772169952 140034666571477 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 13877248 140733376054429 140733376054604 140733376054604 140733376057295 0
[pid=11136/tid=11150] ppid=11134 vsize=13982852 memory=1384 CPUtime=0 cores=1,3,5,7
/proc/11136/task/11150/stat : 11150 (java) S 11134 11134 8036 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 154452346 14318440448 12101 33554432000 4194304 4196468 140733376046688 140033771117232 140034666572418 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 13877248 140733376054429 140733376054604 140733376054604 140733376057295 0
Current children cumulated CPU time: 0.52 s
Current children cumulated vsize: 13992364 KiB
Current children cumulated memory: 49788 KiB
[startup+0.700842 s]
/proc/loadavg: 1.63 1.62 1.77 5/217 11150
/proc/meminfo: memFree=25378012/32770624 swapFree=67108860/67108860
[pid=11134] ppid=11131 vsize=9512 memory=1384 CPUtime=0 cores=1,3,5,7
/proc/11134/stat : 11134 (xcsp3-exec) S 11131 11134 8036 0 -1 4202496 513 0 0 0 0 0 0 0 20 0 1 0 154452340 9740288 346 33554432000 4194304 5098028 140729537965264 140729537963368 140165164831356 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 10317824 140729537971316 140729537971520 140729537971520 140729537974251 0
/proc/11134/statm: 2378 346 289 221 0 87 0
[pid=11136] ppid=11134 vsize=13984976 memory=79392 CPUtime=1.7 cores=1,3,5,7
/proc/11136/stat : 11136 (java) S 11134 11134 8036 0 -1 1077944320 11439 0 0 0 165 5 0 0 20 0 15 0 154452340 14320615424 19848 33554432000 4194304 4196468 140733376046688 140733376029232 140034666561271 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0 6293624 6294260 13877248 140733376054429 140733376054604 140733376054604 140733376057295 0
/proc/11136/statm: 3496244 19848 3215 1 0 3483478 0
[pid=11136/tid=11137] ppid=11134 vsize=13984976 memory=280376807329648 CPUtime=0.66 cores=1,3,5,7
/proc/11136/task/11137/stat : 11137 (java) R 11134 11134 8036 0 -1 4202560 6674 0 0 0 63 3 0 0 20 0 15 0 154452340 14320615424 19848 33554432000 4194304 4196468 140733376046688 140034670796528 140034275421275 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 13877248 140733376054429 140733376054604 140733376054604 140733376057295 0
[pid=11136/tid=11138] ppid=11134 vsize=13984976 memory=3835163037842756688 CPUtime=0 cores=1,3,5,7
/proc/11136/task/11138/stat : 11138 (java) S 11134 11134 8036 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 154452341 14320615424 19848 33554432000 4194304 4196468 140733376046688 140034596650128 140034666571477 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 13877248 140733376054429 140733376054604 140733376054604 140733376057295 0
[pid=11136/tid=11139] ppid=11134 vsize=13984976 memory=0 CPUtime=0 cores=1,3,5,7
/proc/11136/task/11139/stat : 11139 (java) S 11134 11134 8036 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 154452341 14320615424 19848 33554432000 4194304 4196468 140733376046688 140034595597328 140034666571477 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 13877248 140733376054429 140733376054604 140733376054604 140733376057295 0
[pid=11136/tid=11140] ppid=11134 vsize=13984976 memory=0 CPUtime=0 cores=1,3,5,7
/proc/11136/task/11140/stat : 11140 (java) S 11134 11134 8036 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 154452341 14320615424 19848 33554432000 4194304 4196468 140733376046688 140034594544528 140034666571477 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 13877248 140733376054429 140733376054604 140733376054604 140733376057295 0
[pid=11136/tid=11141] ppid=11134 vsize=13984976 memory=5796 CPUtime=0 cores=1,3,5,7
/proc/11136/task/11141/stat : 11141 (java) S 11134 11134 8036 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 154452341 14320615424 19848 33554432000 4194304 4196468 140733376046688 140034593491728 140034666571477 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 13877248 140733376054429 140733376054604 140733376054604 140733376057295 0
[pid=11136/tid=11142] ppid=11134 vsize=13984976 memory=1224 CPUtime=0 cores=1,3,5,7
/proc/11136/task/11142/stat : 11142 (java) S 11134 11134 8036 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 154452343 14320615424 19848 33554432000 4194304 4196468 140733376046688 140033779538288 140034666572418 0 0 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 13877248 140733376054429 140733376054604 140733376054604 140733376057295 0
[pid=11136/tid=11143] ppid=11134 vsize=13984976 memory=8716 CPUtime=0 cores=1,3,5,7
/proc/11136/task/11143/stat : 11143 (java) S 11134 11134 8036 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 154452343 14320615424 19848 33554432000 4194304 4196468 140733376046688 140033778484256 140034666571477 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 13877248 140733376054429 140733376054604 140733376054604 140733376057295 0
[pid=11136/tid=11144] ppid=11134 vsize=13984976 memory=1712 CPUtime=0 cores=1,3,5,7
/proc/11136/task/11144/stat : 11144 (java) S 11134 11134 8036 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 154452343 14320615424 19848 33554432000 4194304 4196468 140733376046688 140033777431408 140034666571477 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 13877248 140733376054429 140733376054604 140733376054604 140733376057295 0
[pid=11136/tid=11145] ppid=11134 vsize=13984976 memory=7452706766398776640 CPUtime=0 cores=1,3,5,7
/proc/11136/task/11145/stat : 11145 (java) S 11134 11134 8036 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 154452346 14320615424 19848 33554432000 4194304 4196468 140733376046688 140033776379728 140034666579867 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 13877248 140733376054429 140733376054604 140733376054604 140733376057295 0
[pid=11136/tid=11146] ppid=11134 vsize=13984976 memory=7881696724453321575 CPUtime=0.33 cores=1,3,5,7
/proc/11136/task/11146/stat : 11146 (java) R 11134 11134 8036 0 -1 4202560 1025 0 0 0 33 0 0 0 20 0 15 0 154452346 14320615424 19848 33554432000 4194304 4196468 140733376046688 140033775306432 140034650958425 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 13877248 140733376054429 140733376054604 140733376054604 140733376057295 0
[pid=11136/tid=11147] ppid=11134 vsize=13984976 memory=7440065680911650896 CPUtime=0.35 cores=1,3,5,7
/proc/11136/task/11147/stat : 11147 (java) R 11134 11134 8036 0 -1 4202560 1013 0 0 0 35 0 0 0 20 0 15 0 154452346 14320615424 19848 33554432000 4194304 4196468 140733376046688 140033774268504 140034650850128 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 13877248 140733376054429 140733376054604 140733376054604 140733376057295 0
[pid=11136/tid=11148] ppid=11134 vsize=13984976 memory=0 CPUtime=0.32 cores=1,3,5,7
/proc/11136/task/11148/stat : 11148 (java) S 11134 11134 8036 0 -1 1077944384 1419 0 0 0 32 0 0 0 20 0 15 0 154452346 14320615424 19848 33554432000 4194304 4196468 140733376046688 140033773222512 140034666572418 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 13877248 140733376054429 140733376054604 140733376054604 140733376057295 0
[pid=11136/tid=11149] ppid=11134 vsize=13984976 memory=0 CPUtime=0 cores=1,3,5,7
/proc/11136/task/11149/stat : 11149 (java) S 11134 11134 8036 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 154452346 14320615424 19848 33554432000 4194304 4196468 140733376046688 140033772169952 140034666571477 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 13877248 140733376054429 140733376054604 140733376054604 140733376057295 0
[pid=11136/tid=11150] ppid=11134 vsize=13984976 memory=42604 CPUtime=0 cores=1,3,5,7
/proc/11136/task/11150/stat : 11150 (java) S 11134 11134 8036 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 154452346 14320615424 19848 33554432000 4194304 4196468 140733376046688 140033771117232 140034666572418 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 13877248 140733376054429 140733376054604 140733376054604 140733376057295 0
Current children cumulated CPU time: 1.7 s
Current children cumulated vsize: 13994488 KiB
Current children cumulated memory: 80776 KiB
[startup+1.5008 s]
/proc/loadavg: 1.63 1.62 1.77 4/217 11150
/proc/meminfo: memFree=25309380/32770624 swapFree=67108860/67108860
[pid=11134] ppid=11131 vsize=9512 memory=1384 CPUtime=0 cores=1,3,5,7
/proc/11134/stat : 11134 (xcsp3-exec) S 11131 11134 8036 0 -1 4202496 513 0 0 0 0 0 0 0 20 0 1 0 154452340 9740288 346 33554432000 4194304 5098028 140729537965264 140729537963368 140165164831356 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 10317824 140729537971316 140729537971520 140729537971520 140729537974251 0
/proc/11134/statm: 2378 346 289 221 0 87 0
################
# More data... #
################
/proc/11136/task/11144/stat : 11144 (java) S 11134 11134 8036 0 -1 1077944384 74 0 0 0 0 0 0 0 20 0 15 0 154452343 14320615424 540756 33554432000 4194304 4196468 140733376046688 140033777431424 140034666571477 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 13877248 140733376054429 140733376054604 140733376054604 140733376057295 0
[pid=11136/tid=11145] ppid=11134 vsize=13984976 memory=6791534058613427641 CPUtime=0 cores=1,3,5,7
/proc/11136/task/11145/stat : 11145 (java) S 11134 11134 8036 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 154452346 14320615424 540756 33554432000 4194304 4196468 140733376046688 140033776379728 140034666579867 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 13877248 140733376054429 140733376054604 140733376054604 140733376057295 0
[pid=11136/tid=11146] ppid=11134 vsize=13984976 memory=42604 CPUtime=3.52 cores=1,3,5,7
/proc/11136/task/11146/stat : 11146 (java) S 11134 11134 8036 0 -1 1077944384 17099 0 0 0 350 2 0 0 20 0 15 0 154452346 14320615424 540756 33554432000 4194304 4196468 140733376046688 140033775328112 140034666572418 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 10 0 0 6293624 6294260 13877248 140733376054429 140733376054604 140733376054604 140733376057295 0
[pid=11136/tid=11147] ppid=11134 vsize=13984976 memory=1292 CPUtime=3.45 cores=1,3,5,7
/proc/11136/task/11147/stat : 11147 (java) S 11134 11134 8036 0 -1 1077944384 11904 0 0 0 344 1 0 0 20 0 15 0 154452346 14320615424 540756 33554432000 4194304 4196468 140733376046688 140033774275312 140034666572418 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 1 0 0 6293624 6294260 13877248 140733376054429 140733376054604 140733376054604 140733376057295 0
[pid=11136/tid=11148] ppid=11134 vsize=13984976 memory=2448 CPUtime=0.74 cores=1,3,5,7
/proc/11136/task/11148/stat : 11148 (java) S 11134 11134 8036 0 -1 1077944384 4744 0 0 0 73 1 0 0 20 0 15 0 154452346 14320615424 540756 33554432000 4194304 4196468 140733376046688 140033773222512 140034666572418 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 9 0 0 6293624 6294260 13877248 140733376054429 140733376054604 140733376054604 140733376057295 0
[pid=11136/tid=11149] ppid=11134 vsize=13984976 memory=2448 CPUtime=0 cores=1,3,5,7
/proc/11136/task/11149/stat : 11149 (java) S 11134 11134 8036 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 154452346 14320615424 540756 33554432000 4194304 4196468 140733376046688 140033772169952 140034666571477 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 13877248 140733376054429 140733376054604 140733376054604 140733376057295 0
[pid=11136/tid=11150] ppid=11134 vsize=13984976 memory=1732 CPUtime=0.05 cores=1,3,5,7
/proc/11136/task/11150/stat : 11150 (java) S 11134 11134 8036 0 -1 1077944384 425 0 0 0 1 4 0 0 20 0 15 0 154452346 14320615424 540756 33554432000 4194304 4196468 140733376046688 140033771117232 140034666572418 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 7 0 0 6293624 6294260 13877248 140733376054429 140733376054604 140733376054604 140733376057295 0
Current children cumulated CPU time: 112.39 s
Current children cumulated vsize: 13994488 KiB
Current children cumulated memory: 2164408 KiB
[startup+162.301 s]
/proc/loadavg: 2.00 1.80 1.81 3/217 11152
/proc/meminfo: memFree=22160712/32770624 swapFree=67108860/67108860
[pid=11134] ppid=11131 vsize=9512 memory=1384 CPUtime=0 cores=1,3,5,7
/proc/11134/stat : 11134 (xcsp3-exec) S 11131 11134 8036 0 -1 4202496 513 0 0 0 0 0 0 0 20 0 1 0 154452340 9740288 346 33554432000 4194304 5098028 140729537965264 140729537963368 140165164831356 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 10317824 140729537971316 140729537971520 140729537971520 140729537974251 0
/proc/11134/statm: 2378 346 289 221 0 87 0
[pid=11136] ppid=11134 vsize=13984976 memory=2327524 CPUtime=175.91 cores=1,3,5,7
/proc/11136/stat : 11136 (java) S 11134 11134 8036 0 -1 1077944320 75405 0 0 0 17438 153 0 0 20 0 15 0 154452340 14320615424 581881 33554432000 4194304 4196468 140733376046688 140733376029232 140034666561271 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0 6293624 6294260 13877248 140733376054429 140733376054604 140733376054604 140733376057295 0
/proc/11136/statm: 3496244 581881 3285 1 0 3483478 0
[pid=11136/tid=11137] ppid=11134 vsize=13984976 memory=2327524 CPUtime=160.31 cores=1,3,5,7
/proc/11136/task/11137/stat : 11137 (java) R 11134 11134 8036 0 -1 4202560 20754 0 0 0 16010 21 0 0 20 0 15 0 154452340 14320615424 581881 33554432000 4194304 4196468 140733376046688 140034670797712 140034276656338 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 13877248 140733376054429 140733376054604 140733376054604 140733376057295 0
[pid=11136/tid=11138] ppid=11134 vsize=13984976 memory=2327428 CPUtime=1.69 cores=1,3,5,7
/proc/11136/task/11138/stat : 11138 (java) S 11134 11134 8036 0 -1 1077944384 2083 0 0 0 140 29 0 0 20 0 15 0 154452341 14320615424 581881 33554432000 4194304 4196468 140733376046688 140034596650128 140034666571477 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 13877248 140733376054429 140733376054604 140733376054604 140733376057295 0
[pid=11136/tid=11139] ppid=11134 vsize=13984976 memory=2327524 CPUtime=1.73 cores=1,3,5,7
/proc/11136/task/11139/stat : 11139 (java) S 11134 11134 8036 0 -1 1077944384 2090 0 0 0 145 28 0 0 20 0 15 0 154452341 14320615424 581881 33554432000 4194304 4196468 140733376046688 140034595597328 140034666571477 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 13877248 140733376054429 140733376054604 140733376054604 140733376057295 0
[pid=11136/tid=11140] ppid=11134 vsize=13984976 memory=2327524 CPUtime=1.73 cores=1,3,5,7
/proc/11136/task/11140/stat : 11140 (java) S 11134 11134 8036 0 -1 1077944384 2040 0 0 0 143 30 0 0 20 0 15 0 154452341 14320615424 581881 33554432000 4194304 4196468 140733376046688 140034594544528 140034666571477 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 13877248 140733376054429 140733376054604 140733376054604 140733376057295 0
[pid=11136/tid=11141] ppid=11134 vsize=13984976 memory=1384 CPUtime=1.74 cores=1,3,5,7
/proc/11136/task/11141/stat : 11141 (java) S 11134 11134 8036 0 -1 1077944384 1878 0 0 0 144 30 0 0 20 0 15 0 154452341 14320615424 581881 33554432000 4194304 4196468 140733376046688 140034593491728 140034666571477 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 13877248 140733376054429 140733376054604 140733376054604 140733376057295 0
[pid=11136/tid=11142] ppid=11134 vsize=13984976 memory=0 CPUtime=0.18 cores=1,3,5,7
/proc/11136/task/11142/stat : 11142 (java) S 11134 11134 8036 0 -1 1077944384 3925 0 0 0 18 0 0 0 20 0 15 0 154452343 14320615424 581881 33554432000 4194304 4196468 140733376046688 140033779538288 140034666572418 0 0 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 13877248 140733376054429 140733376054604 140733376054604 140733376057295 0
[pid=11136/tid=11143] ppid=11134 vsize=13984976 memory=4100 CPUtime=0 cores=1,3,5,7
/proc/11136/task/11143/stat : 11143 (java) S 11134 11134 8036 0 -1 1077944384 68 0 0 0 0 0 0 0 20 0 15 0 154452343 14320615424 581881 33554432000 4194304 4196468 140733376046688 140033778484320 140034666571477 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 13877248 140733376054429 140733376054604 140733376054604 140733376057295 0
[pid=11136/tid=11144] ppid=11134 vsize=13984976 memory=42604 CPUtime=0 cores=1,3,5,7
/proc/11136/task/11144/stat : 11144 (java) S 11134 11134 8036 0 -1 1077944384 95 0 0 0 0 0 0 0 20 0 15 0 154452343 14320615424 581881 33554432000 4194304 4196468 140733376046688 140033777431424 140034666571477 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 13877248 140733376054429 140733376054604 140733376054604 140733376057295 0
[pid=11136/tid=11145] ppid=11134 vsize=13984976 memory=2327428 CPUtime=0 cores=1,3,5,7
/proc/11136/task/11145/stat : 11145 (java) S 11134 11134 8036 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 154452346 14320615424 581881 33554432000 4194304 4196468 140733376046688 140033776379728 140034666579867 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 13877248 140733376054429 140733376054604 140733376054604 140733376057295 0
[pid=11136/tid=11146] ppid=11134 vsize=13984976 memory=42604 CPUtime=4.05 cores=1,3,5,7
/proc/11136/task/11146/stat : 11146 (java) S 11134 11134 8036 0 -1 1077944384 21690 0 0 0 403 2 0 0 20 0 15 0 154452346 14320615424 581881 33554432000 4194304 4196468 140733376046688 140033775328112 140034666572418 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 10 0 0 6293624 6294260 13877248 140733376054429 140733376054604 140733376054604 140733376057295 0
[pid=11136/tid=11147] ppid=11134 vsize=13984976 memory=1384 CPUtime=3.55 cores=1,3,5,7
/proc/11136/task/11147/stat : 11147 (java) S 11134 11134 8036 0 -1 1077944384 13771 0 0 0 354 1 0 0 20 0 15 0 154452346 14320615424 581881 33554432000 4194304 4196468 140733376046688 140033774275312 140034666572418 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 1 0 0 6293624 6294260 13877248 140733376054429 140733376054604 140733376054604 140733376057295 0
[pid=11136/tid=11148] ppid=11134 vsize=13984976 memory=2345412 CPUtime=0.74 cores=1,3,5,7
/proc/11136/task/11148/stat : 11148 (java) S 11134 11134 8036 0 -1 1077944384 5314 0 0 0 73 1 0 0 20 0 15 0 154452346 14320615424 581881 33554432000 4194304 4196468 140733376046688 140033773222512 140034666572418 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 9 0 0 6293624 6294260 13877248 140733376054429 140733376054604 140733376054604 140733376057295 0
[pid=11136/tid=11149] ppid=11134 vsize=13984976 memory=2327428 CPUtime=0 cores=1,3,5,7
/proc/11136/task/11149/stat : 11149 (java) S 11134 11134 8036 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 154452346 14320615424 581881 33554432000 4194304 4196468 140733376046688 140033772169952 140034666571477 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 13877248 140733376054429 140733376054604 140733376054604 140733376057295 0
[pid=11136/tid=11150] ppid=11134 vsize=13984976 memory=1384 CPUtime=0.08 cores=1,3,5,7
/proc/11136/task/11150/stat : 11150 (java) S 11134 11134 8036 0 -1 1077944384 456 0 0 0 2 6 0 0 20 0 15 0 154452346 14320615424 581881 33554432000 4194304 4196468 140733376046688 140033771117232 140034666572418 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 7 0 0 6293624 6294260 13877248 140733376054429 140733376054604 140733376054604 140733376057295 0
Current children cumulated CPU time: 175.91 s
Current children cumulated vsize: 13994488 KiB
Current children cumulated memory: 2328908 KiB
[startup+222.301 s]
/proc/loadavg: 2.19 1.88 1.84 3/219 11240
/proc/meminfo: memFree=23372988/32770624 swapFree=67108860/67108860
[pid=11134] ppid=11131 vsize=9512 memory=1384 CPUtime=0 cores=1,3,5,7
/proc/11134/stat : 11134 (xcsp3-exec) S 11131 11134 8036 0 -1 4202496 513 0 0 0 0 0 0 0 20 0 1 0 154452340 9740288 346 33554432000 4194304 5098028 140729537965264 140729537963368 140165164831356 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 10317824 140729537971316 140729537971520 140729537971520 140729537974251 0
/proc/11134/statm: 2378 346 289 221 0 87 0
[pid=11136] ppid=11134 vsize=13984976 memory=3040552 CPUtime=236.39 cores=1,3,5,7
/proc/11136/stat : 11136 (java) S 11134 11134 8036 0 -1 1077944320 78998 0 0 0 23463 176 0 0 20 0 15 0 154452340 14320615424 760138 33554432000 4194304 4196468 140733376046688 140733376029232 140034666561271 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0 6293624 6294260 13877248 140733376054429 140733376054604 140733376054604 140733376057295 0
/proc/11136/statm: 3496244 760138 3285 1 0 3483478 0
[pid=11136/tid=11137] ppid=11134 vsize=13984976 memory=3011880 CPUtime=220.15 cores=1,3,5,7
/proc/11136/task/11137/stat : 11137 (java) R 11134 11134 8036 0 -1 4202560 23662 0 0 0 21984 31 0 0 20 0 15 0 154452340 14320615424 760138 33554432000 4194304 4196468 140733376046688 140034670799880 140034278843301 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 13877248 140733376054429 140733376054604 140733376054604 140733376057295 0
[pid=11136/tid=11138] ppid=11134 vsize=13984976 memory=2979112 CPUtime=1.85 cores=1,3,5,7
/proc/11136/task/11138/stat : 11138 (java) S 11134 11134 8036 0 -1 1077944384 2159 0 0 0 152 33 0 0 20 0 15 0 154452341 14320615424 760138 33554432000 4194304 4196468 140733376046688 140034596650128 140034666571477 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 13877248 140733376054429 140733376054604 140733376054604 140733376057295 0
[pid=11136/tid=11139] ppid=11134 vsize=13984976 memory=1384 CPUtime=1.89 cores=1,3,5,7
/proc/11136/task/11139/stat : 11139 (java) S 11134 11134 8036 0 -1 1077944384 2287 0 0 0 158 31 0 0 20 0 15 0 154452341 14320615424 760138 33554432000 4194304 4196468 140733376046688 140034595597328 140034666571477 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 13877248 140733376054429 140733376054604 140733376054604 140733376057295 0
[pid=11136/tid=11140] ppid=11134 vsize=13984976 memory=2667816 CPUtime=1.88 cores=1,3,5,7
/proc/11136/task/11140/stat : 11140 (java) S 11134 11134 8036 0 -1 1077944384 2109 0 0 0 155 33 0 0 20 0 15 0 154452341 14320615424 760138 33554432000 4194304 4196468 140733376046688 140034594544528 140034666571477 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 13877248 140733376054429 140733376054604 140733376054604 140733376057295 0
[pid=11136/tid=11141] ppid=11134 vsize=13984976 memory=1384 CPUtime=1.88 cores=1,3,5,7
/proc/11136/task/11141/stat : 11141 (java) S 11134 11134 8036 0 -1 1077944384 2023 0 0 0 156 32 0 0 20 0 15 0 154452341 14320615424 760138 33554432000 4194304 4196468 140733376046688 140034593491728 140034666571477 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 13877248 140733376054429 140733376054604 140733376054604 140733376057295 0
[pid=11136/tid=11142] ppid=11134 vsize=13984976 memory=2927912 CPUtime=0.18 cores=1,3,5,7
/proc/11136/task/11142/stat : 11142 (java) S 11134 11134 8036 0 -1 1077944384 4019 0 0 0 18 0 0 0 20 0 15 0 154452343 14320615424 760138 33554432000 4194304 4196468 140733376046688 140033779538288 140034666572418 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 13877248 140733376054429 140733376054604 140733376054604 140733376057295 0
[pid=11136/tid=11143] ppid=11134 vsize=13984976 memory=2667816 CPUtime=0 cores=1,3,5,7
/proc/11136/task/11143/stat : 11143 (java) S 11134 11134 8036 0 -1 1077944384 68 0 0 0 0 0 0 0 20 0 15 0 154452343 14320615424 760138 33554432000 4194304 4196468 140733376046688 140033778484320 140034666571477 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 13877248 140733376054429 140733376054604 140733376054604 140733376057295 0
[pid=11136/tid=11144] ppid=11134 vsize=13984976 memory=1384 CPUtime=0 cores=1,3,5,7
/proc/11136/task/11144/stat : 11144 (java) S 11134 11134 8036 0 -1 1077944384 95 0 0 0 0 0 0 0 20 0 15 0 154452343 14320615424 760138 33554432000 4194304 4196468 140733376046688 140033777431424 140034666571477 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 13877248 140733376054429 140733376054604 140733376054604 140733376057295 0
[pid=11136/tid=11145] ppid=11134 vsize=13984976 memory=2667816 CPUtime=0 cores=1,3,5,7
/proc/11136/task/11145/stat : 11145 (java) S 11134 11134 8036 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 154452346 14320615424 760138 33554432000 4194304 4196468 140733376046688 140033776379728 140034666579867 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 13877248 140733376054429 140733376054604 140733376054604 140733376057295 0
[pid=11136/tid=11146] ppid=11134 vsize=13984976 memory=0 CPUtime=4.05 cores=1,3,5,7
/proc/11136/task/11146/stat : 11146 (java) S 11134 11134 8036 0 -1 1077944384 21704 0 0 0 403 2 0 0 20 0 15 0 154452346 14320615424 760138 33554432000 4194304 4196468 140733376046688 140033775328112 140034666572418 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 10 0 0 6293624 6294260 13877248 140733376054429 140733376054604 140733376054604 140733376057295 0
[pid=11136/tid=11147] ppid=11134 vsize=13984976 memory=2817320 CPUtime=3.55 cores=1,3,5,7
/proc/11136/task/11147/stat : 11147 (java) S 11134 11134 8036 0 -1 1077944384 13787 0 0 0 354 1 0 0 20 0 15 0 154452346 14320615424 760138 33554432000 4194304 4196468 140733376046688 140033774275312 140034666572418 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 1 0 0 6293624 6294260 13877248 140733376054429 140733376054604 140733376054604 140733376057295 0
[pid=11136/tid=11148] ppid=11134 vsize=13984976 memory=2782504 CPUtime=0.74 cores=1,3,5,7
/proc/11136/task/11148/stat : 11148 (java) S 11134 11134 8036 0 -1 1077944384 5383 0 0 0 73 1 0 0 20 0 15 0 154452346 14320615424 760138 33554432000 4194304 4196468 140733376046688 140033773222512 140034666572418 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 9 0 0 6293624 6294260 13877248 140733376054429 140733376054604 140733376054604 140733376057295 0
[pid=11136/tid=11149] ppid=11134 vsize=13984976 memory=1384 CPUtime=0 cores=1,3,5,7
/proc/11136/task/11149/stat : 11149 (java) S 11134 11134 8036 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 154452346 14320615424 760138 33554432000 4194304 4196468 140733376046688 140033772169952 140034666571477 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 13877248 140733376054429 140733376054604 140733376054604 140733376057295 0
[pid=11136/tid=11150] ppid=11134 vsize=13984976 memory=4100 CPUtime=0.1 cores=1,3,5,7
/proc/11136/task/11150/stat : 11150 (java) S 11134 11134 8036 0 -1 1077944384 461 0 0 0 3 7 0 0 20 0 15 0 154452346 14320615424 760138 33554432000 4194304 4196468 140733376046688 140033771117232 140034666572418 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 7 0 0 6293624 6294260 13877248 140733376054429 140733376054604 140733376054604 140733376057295 0
Current children cumulated CPU time: 236.39 s
Current children cumulated vsize: 13994488 KiB
Current children cumulated memory: 3041936 KiB
Maximum wall clock time exceeded: sending SIGTERM then SIGKILL
[startup+240.001 s]*
/proc/loadavg: 2.08 1.87 1.84 3/219 11240
/proc/meminfo: memFree=23217424/32770624 swapFree=67108860/67108860
[pid=11134] ppid=11131 vsize=9512 memory=1384 CPUtime=0 cores=1,3,5,7
/proc/11134/stat : 11134 (xcsp3-exec) S 11131 11134 8036 0 -1 4202496 513 0 0 0 0 0 0 0 20 0 1 0 154452340 9740288 346 33554432000 4194304 5098028 140729537965264 140729537963368 140165164831356 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 10317824 140729537971316 140729537971520 140729537971520 140729537974251 0
/proc/11134/statm: 2378 346 289 221 0 87 0
[pid=11136] ppid=11134 vsize=13984976 memory=3181176 CPUtime=254.6 cores=1,3,5,7
/proc/11136/stat : 11136 (java) S 11134 11134 8036 0 -1 1077944320 81059 0 0 0 25273 187 0 0 20 0 15 0 154452340 14320615424 795294 33554432000 4194304 4196468 140733376046688 140733376029232 140034666561271 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0 6293624 6294260 13877248 140733376054429 140733376054604 140733376054604 140733376057295 0
/proc/11136/statm: 3496244 795294 3285 1 0 3483478 0
[pid=11136/tid=11137] ppid=11134 vsize=13984976 memory=223200 CPUtime=237.69 cores=1,3,5,7
/proc/11136/task/11137/stat : 11137 (java) R 11134 11134 8036 0 -1 4202560 24857 0 0 0 23737 32 0 0 20 0 15 0 154452340 14320615424 795294 33554432000 4194304 4196468 140733376046688 140034670799768 140034276920192 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 13877248 140733376054429 140733376054604 140733376054604 140733376057295 0
[pid=11136/tid=11138] ppid=11134 vsize=13984976 memory=-7003737579269690708 CPUtime=2.01 cores=1,3,5,7
/proc/11136/task/11138/stat : 11138 (java) S 11134 11134 8036 0 -1 1077944384 2219 0 0 0 166 35 0 0 20 0 15 0 154452341 14320615424 795294 33554432000 4194304 4196468 140733376046688 140034596650128 140034666571477 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 13877248 140733376054429 140733376054604 140733376054604 140733376057295 0
[pid=11136/tid=11139] ppid=11134 vsize=13984976 memory=4100 CPUtime=2.05 cores=1,3,5,7
/proc/11136/task/11139/stat : 11139 (java) S 11134 11134 8036 0 -1 1077944384 2492 0 0 0 171 34 0 0 20 0 15 0 154452341 14320615424 795294 33554432000 4194304 4196468 140733376046688 140034595597328 140034666571477 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 13877248 140733376054429 140733376054604 140733376054604 140733376057295 0
[pid=11136/tid=11140] ppid=11134 vsize=13984976 memory=42608 CPUtime=2.05 cores=1,3,5,7
/proc/11136/task/11140/stat : 11140 (java) S 11134 11134 8036 0 -1 1077944384 2232 0 0 0 169 36 0 0 20 0 15 0 154452341 14320615424 795294 33554432000 4194304 4196468 140733376046688 140034594544528 140034666571477 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 13877248 140733376054429 140733376054604 140733376054604 140733376057295 0
[pid=11136/tid=11141] ppid=11134 vsize=13984976 memory=1292 CPUtime=2.05 cores=1,3,5,7
/proc/11136/task/11141/stat : 11141 (java) S 11134 11134 8036 0 -1 1077944384 2086 0 0 0 170 35 0 0 20 0 15 0 154452341 14320615424 795294 33554432000 4194304 4196468 140733376046688 140034593491728 140034666571477 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 13877248 140733376054429 140733376054604 140733376054604 140733376057295 0
[pid=11136/tid=11142] ppid=11134 vsize=13984976 memory=2448 CPUtime=0.18 cores=1,3,5,7
/proc/11136/task/11142/stat : 11142 (java) S 11134 11134 8036 0 -1 1077944384 4285 0 0 0 18 0 0 0 20 0 15 0 154452343 14320615424 795294 33554432000 4194304 4196468 140733376046688 140033779538288 140034666572418 0 0 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 13877248 140733376054429 140733376054604 140733376054604 140733376057295 0
[pid=11136/tid=11143] ppid=11134 vsize=13984976 memory=1732 CPUtime=0 cores=1,3,5,7
/proc/11136/task/11143/stat : 11143 (java) S 11134 11134 8036 0 -1 1077944384 68 0 0 0 0 0 0 0 20 0 15 0 154452343 14320615424 795294 33554432000 4194304 4196468 140733376046688 140033778484320 140034666571477 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 13877248 140733376054429 140733376054604 140733376054604 140733376057295 0
[pid=11136/tid=11144] ppid=11134 vsize=13984976 memory=6791534058613427641 CPUtime=0 cores=1,3,5,7
/proc/11136/task/11144/stat : 11144 (java) S 11134 11134 8036 0 -1 1077944384 95 0 0 0 0 0 0 0 20 0 15 0 154452343 14320615424 795294 33554432000 4194304 4196468 140733376046688 140033777431424 140034666571477 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 13877248 140733376054429 140733376054604 140733376054604 140733376057295 0
[pid=11136/tid=11145] ppid=11134 vsize=13984976 memory=2448 CPUtime=0 cores=1,3,5,7
/proc/11136/task/11145/stat : 11145 (java) S 11134 11134 8036 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 154452346 14320615424 795294 33554432000 4194304 4196468 140733376046688 140033776379728 140034666579867 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 13877248 140733376054429 140733376054604 140733376054604 140733376057295 0
[pid=11136/tid=11146] ppid=11134 vsize=13984976 memory=1732 CPUtime=4.05 cores=1,3,5,7
/proc/11136/task/11146/stat : 11146 (java) S 11134 11134 8036 0 -1 1077944384 21711 0 0 0 403 2 0 0 20 0 15 0 154452346 14320615424 795294 33554432000 4194304 4196468 140733376046688 140033775328112 140034666572418 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 10 0 0 6293624 6294260 13877248 140733376054429 140733376054604 140733376054604 140733376057295 0
[pid=11136/tid=11147] ppid=11134 vsize=13984976 memory=1948 CPUtime=3.55 cores=1,3,5,7
/proc/11136/task/11147/stat : 11147 (java) S 11134 11134 8036 0 -1 1077944384 13790 0 0 0 354 1 0 0 20 0 15 0 154452346 14320615424 795294 33554432000 4194304 4196468 140733376046688 140033774275312 140034666572418 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 1 0 0 6293624 6294260 13877248 140733376054429 140733376054604 140733376054604 140733376057295 0
[pid=11136/tid=11148] ppid=11134 vsize=13984976 memory=6791534058613427641 CPUtime=0.75 cores=1,3,5,7
/proc/11136/task/11148/stat : 11148 (java) S 11134 11134 8036 0 -1 1077944384 5437 0 0 0 74 1 0 0 20 0 15 0 154452346 14320615424 795294 33554432000 4194304 4196468 140733376046688 140033773222512 140034666572418 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 9 0 0 6293624 6294260 13877248 140733376054429 140733376054604 140733376054604 140733376057295 0
[pid=11136/tid=11149] ppid=11134 vsize=13984976 memory=-7003737579269690708 CPUtime=0 cores=1,3,5,7
/proc/11136/task/11149/stat : 11149 (java) S 11134 11134 8036 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 154452346 14320615424 795294 33554432000 4194304 4196468 140733376046688 140033772169952 140034666571477 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 13877248 140733376054429 140733376054604 140733376054604 140733376057295 0
[pid=11136/tid=11150] ppid=11134 vsize=13984976 memory=1568 CPUtime=0.11 cores=1,3,5,7
/proc/11136/task/11150/stat : 11150 (java) S 11134 11134 8036 0 -1 1077944384 546 0 0 0 3 8 0 0 20 0 15 0 154452346 14320615424 795294 33554432000 4194304 4196468 140733376046688 140033771117232 140034666572418 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 7 0 0 6293624 6294260 13877248 140733376054429 140733376054604 140733376054604 140733376057295 0
Current children cumulated CPU time: 254.6 s
Current children cumulated vsize: 13994488 KiB
Current children cumulated memory: 3182560 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
[startup+240.02 s]
# the end of solver process 11134 was just reported to runsolver
# cumulated CPU time of all completed processes: user=0.00092 s, system=0.00092 s
[startup+240.034 s]
# the end of solver process 11136 was just reported to runsolver
# cumulated CPU time of all completed processes: user=252.747 s, system=1.88706 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.034
CPU time (s): 254.634
CPU user time (s): 252.747
CPU system time (s): 1.88706
CPU usage (%): 106.082
Max. virtual memory (cumulated for all children) (KiB): 13994488
Max. memory (cumulated for all children) (KiB): 3182560
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 252.747
system time used= 1.88706
maximum resident set size= 3181712
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 82621
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= 8775
involuntary context switches= 257
# summary of solver processes directly reported to runsolver:
# pid: 11134,11136
# total CPU time (s): 254.634
# total CPU user time (s): 252.747
# total CPU system time (s): 1.88706
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 1.47185 second user time and 2.43002 second system time
The end