runsolver Copyright (C) 2010-2011 Olivier ROUSSEL
This is runsolver version 3.3.1 (svn: 989)
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.
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-3736692-1338732001/watcher-3736692-1338732001 -o /tmp/evaluation-result-3736692-1338732001/solver-3736692-1338732001 -C 1800 -W 1900 -M 15500 pbclasp instance-3736692-1338732001.opb HOME/temp
running on 4 cores: 0,2,4,6
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1800 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1830 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 1900 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
Current StackSize limit: 10240 KiB
[startup+0 s]
/proc/loadavg: 2.00 2.01 2.00 3/181 14302
/proc/meminfo: memFree=27637892/32873844 swapFree=7112/7112
[pid=14302] ppid=14300 vsize=25872 CPUtime=0 cores=0,2,4,6
/proc/14302/stat : 14302 (pbclasp) R 14300 14302 2078 0 -1 4202496 606 0 0 0 0 0 0 0 20 0 1 0 339325515 26492928 536 33554432000 4194304 4198148 140735696447456 140733604977560 273588653972 0 0 4224 16384 0 0 0 17 2 0 0 0 0 0
/proc/14302/statm: 6468 537 355 1 0 263 0
[startup+0.099058 s]
/proc/loadavg: 2.00 2.01 2.00 3/181 14302
/proc/meminfo: memFree=27637892/32873844 swapFree=7112/7112
[pid=14302] ppid=14300 vsize=27176 CPUtime=0.01 cores=0,2,4,6
/proc/14302/stat : 14302 (pbclasp) S 14300 14302 2078 0 -1 4202496 987 0 0 0 1 0 0 0 20 0 1 0 339325515 27828224 898 33554432000 4194304 4198148 140735696447456 140735696446344 273592411376 0 0 4224 16384 18446744071580380219 0 0 17 2 0 0 0 0 0
/proc/14302/statm: 6794 898 369 1 0 589 0
Current children cumulated CPU time (s) 0.01
Current children cumulated vsize (KiB) 27176
[startup+0.100234 s]
/proc/loadavg: 2.00 2.01 2.00 3/181 14302
/proc/meminfo: memFree=27637892/32873844 swapFree=7112/7112
[pid=14302] ppid=14300 vsize=27176 CPUtime=0.01 cores=0,2,4,6
/proc/14302/stat : 14302 (pbclasp) S 14300 14302 2078 0 -1 4202496 987 0 0 0 1 0 0 0 20 0 1 0 339325515 27828224 898 33554432000 4194304 4198148 140735696447456 140735696446344 273592411376 0 0 4224 16384 18446744071580380219 0 0 17 2 0 0 0 0 0
/proc/14302/statm: 6794 898 369 1 0 589 0
Current children cumulated CPU time (s) 0.01
Current children cumulated vsize (KiB) 27176
[startup+0.300199 s]
/proc/loadavg: 2.00 2.01 2.00 3/181 14302
/proc/meminfo: memFree=27637892/32873844 swapFree=7112/7112
[pid=14302] ppid=14300 vsize=27176 CPUtime=0.01 cores=0,2,4,6
/proc/14302/stat : 14302 (pbclasp) S 14300 14302 2078 0 -1 4202496 987 0 0 0 1 0 0 0 20 0 1 0 339325515 27828224 898 33554432000 4194304 4198148 140735696447456 140735696446344 273592411376 0 0 4224 16384 18446744071580380219 0 0 17 2 0 0 0 0 0
/proc/14302/statm: 6794 898 369 1 0 589 0
Current children cumulated CPU time (s) 0.01
Current children cumulated vsize (KiB) 27176
[startup+0.700199 s]
/proc/loadavg: 2.00 2.01 2.00 3/181 14302
/proc/meminfo: memFree=27637892/32873844 swapFree=7112/7112
[pid=14302] ppid=14300 vsize=27176 CPUtime=0.01 cores=0,2,4,6
/proc/14302/stat : 14302 (pbclasp) S 14300 14302 2078 0 -1 4202496 987 0 0 0 1 0 0 0 20 0 1 0 339325515 27828224 898 33554432000 4194304 4198148 140735696447456 140735696446344 273592411376 0 0 4224 16384 18446744071580380219 0 0 17 2 0 0 0 0 0
/proc/14302/statm: 6794 898 369 1 0 589 0
Current children cumulated CPU time (s) 0.01
Current children cumulated vsize (KiB) 27176
[startup+1.50028 s]
/proc/loadavg: 2.00 2.01 2.00 3/184 14305
/proc/meminfo: memFree=27634032/32873844 swapFree=7112/7112
[pid=14302] ppid=14300 vsize=27176 CPUtime=0.01 cores=0,2,4,6
/proc/14302/stat : 14302 (pbclasp) S 14300 14302 2078 0 -1 4202496 987 0 0 0 1 0 0 0 20 0 1 0 339325515 27828224 898 33554432000 4194304 4198148 140735696447456 140735696446344 273592411376 0 0 4224 16384 18446744071580380219 0 0 17 2 0 0 0 0 0
/proc/14302/statm: 6794 898 369 1 0 589 0
[pid=14304] ppid=14302 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/14304/stat : 14304 (sh) S 14302 14302 2078 0 -1 4202496 351 0 0 0 0 0 0 0 20 0 1 0 339325517 9367552 267 33554432000 4194304 5064252 140734544180176 140734544179056 273588840014 0 65536 4100 65538 18446744071579302229 0 0 17 6 0 0 0 0 0
/proc/14304/statm: 2287 267 226 213 0 72 0
[pid=14305] ppid=14304 vsize=25592 CPUtime=1.47 cores=0,2,4,6
/proc/14305/stat : 14305 (pb2clasp1) R 14304 14302 2078 0 -1 4202496 606 0 0 0 147 0 0 0 20 0 1 0 339325517 26206208 515 33554432000 4194304 4198148 140735941020096 140735941019080 273601787536 0 0 4224 0 0 0 0 17 2 0 0 0 0 0
/proc/14305/statm: 6398 515 378 1 0 193 0
Current children cumulated CPU time (s) 1.48
Current children cumulated vsize (KiB) 61916
[startup+3.1002 s]
/proc/loadavg: 2.00 2.01 2.00 3/184 14305
/proc/meminfo: memFree=27632792/32873844 swapFree=7112/7112
[pid=14302] ppid=14300 vsize=27308 CPUtime=3.04 cores=0,2,4,6
/proc/14302/stat : 14302 (pbclasp) S 14300 14302 2078 0 -1 4202496 1083 2105 0 0 1 0 302 1 20 0 1 0 339325515 27963392 927 33554432000 4194304 4198148 140735696447456 140735696446384 273592414238 0 0 4230 16384 18446744071579302229 0 0 17 2 0 0 0 0 0
/proc/14302/statm: 6827 927 387 1 0 622 0
Current children cumulated CPU time (s) 3.04
Current children cumulated vsize (KiB) 27308
[startup+6.30026 s]
/proc/loadavg: 2.00 2.01 2.00 3/185 14328
/proc/meminfo: memFree=27624344/32873844 swapFree=7112/7112
[pid=14302] ppid=14300 vsize=27308 CPUtime=5.32 cores=0,2,4,6
/proc/14302/stat : 14302 (pbclasp) S 14300 14302 2078 0 -1 4202496 1362 32551 0 0 4 0 518 10 20 0 1 0 339325515 27963392 947 33554432000 4194304 4198148 140735696447456 140735696446384 273592414238 0 0 4230 16384 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/14302/statm: 6827 947 387 1 0 622 0
[pid=14326] ppid=14302 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/14326/stat : 14326 (sh) S 14302 14302 2078 0 -1 4202496 372 221 0 0 0 0 0 0 20 0 1 0 339326048 9367552 264 33554432000 4194304 5064252 140736958757216 140736958755472 273588840014 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/14326/statm: 2287 264 223 213 0 72 0
[pid=14328] ppid=14326 vsize=51528 CPUtime=0.96 cores=0,2,4,6
/proc/14328/stat : 14328 (clasp-1.0) R 14326 14302 2078 0 -1 4202496 13254 0 0 0 94 2 0 0 20 0 1 0 339326048 52764672 12223 33554432000 134512640 134847168 4292888688 4292887456 134617498 0 0 4096 0 0 0 0 17 0 0 0 0 0 0
/proc/14328/statm: 12882 12223 270 82 0 12123 0
Current children cumulated CPU time (s) 6.28
Current children cumulated vsize (KiB) 87984
[startup+12.7003 s]
/proc/loadavg: 2.00 2.01 2.00 3/184 14344
/proc/meminfo: memFree=27579216/32873844 swapFree=7112/7112
[pid=14302] ppid=14300 vsize=27308 CPUtime=8.86 cores=0,2,4,6
/proc/14302/stat : 14302 (pbclasp) S 14300 14302 2078 0 -1 4202496 1656 62992 0 0 6 0 863 17 20 0 1 0 339325515 27963392 947 33554432000 4194304 4198148 140735696447456 140735696446384 273592414238 0 0 4230 16384 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/14302/statm: 6827 947 387 1 0 622 0
[pid=14342] ppid=14302 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/14342/stat : 14342 (sh) S 14302 14302 2078 0 -1 4202496 372 220 0 0 0 0 0 0 20 0 1 0 339326402 9367552 264 33554432000 4194304 5064252 140734937976128 140734937974384 273588840014 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/14342/statm: 2287 264 223 213 0 72 0
[pid=14344] ppid=14342 vsize=51528 CPUtime=3.81 cores=0,2,4,6
/proc/14344/stat : 14344 (clasp-1.0) R 14342 14302 2078 0 -1 4202496 13270 0 0 0 380 1 0 0 20 0 1 0 339326402 52764672 12240 33554432000 134512640 134847168 4287650576 4287649344 134617553 0 0 4096 0 0 0 0 17 0 0 0 0 0 0
/proc/14344/statm: 12882 12240 272 82 0 12123 0
Current children cumulated CPU time (s) 12.67
Current children cumulated vsize (KiB) 87984
[startup+25.5003 s]
/proc/loadavg: 2.00 2.01 2.00 3/184 14352
/proc/meminfo: memFree=27579424/32873844 swapFree=7112/7112
[pid=14302] ppid=14300 vsize=27308 CPUtime=23.47 cores=0,2,4,6
/proc/14302/stat : 14302 (pbclasp) S 14300 14302 2078 0 -1 4202496 1803 81910 0 0 7 0 2319 21 20 0 1 0 339325515 27963392 947 33554432000 4194304 4198148 140735696447456 140735696446384 273592414238 0 0 4230 16384 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/14302/statm: 6827 947 387 1 0 622 0
[pid=14350] ppid=14302 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/14350/stat : 14350 (sh) S 14302 14302 2078 0 -1 4202496 371 219 0 0 0 0 0 0 20 0 1 0 339327864 9367552 263 33554432000 4194304 5064252 140733601758240 140733601756496 273588840014 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/14350/statm: 2287 263 223 213 0 72 0
[pid=14352] ppid=14350 vsize=51528 CPUtime=2 cores=0,2,4,6
/proc/14352/stat : 14352 (clasp-1.0) R 14350 14302 2078 0 -1 4202496 13268 0 0 0 197 3 0 0 20 0 1 0 339327864 52764672 12238 33554432000 134512640 134847168 4289064512 4289063280 134617496 0 0 4096 0 0 0 0 17 0 0 0 0 0 0
/proc/14352/statm: 12882 12238 270 82 0 12123 0
Current children cumulated CPU time (s) 25.47
Current children cumulated vsize (KiB) 87984
[startup+51.1003 s]
/proc/loadavg: 2.00 2.01 2.00 3/184 14361
/proc/meminfo: memFree=27555404/32873844 swapFree=7112/7112
[pid=14302] ppid=14300 vsize=27308 CPUtime=30.66 cores=0,2,4,6
/proc/14302/stat : 14302 (pbclasp) S 14300 14302 2078 0 -1 4202496 1953 97155 0 0 8 0 3032 26 20 0 1 0 339325515 27963392 947 33554432000 4194304 4198148 140735696447456 140735696446384 273592414238 0 0 4230 16384 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/14302/statm: 6827 947 387 1 0 622 0
[pid=14358] ppid=14302 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/14358/stat : 14358 (sh) S 14302 14302 2078 0 -1 4202496 372 221 0 0 0 0 0 0 20 0 1 0 339328583 9367552 264 33554432000 4194304 5064252 140736507603232 140736507601488 273588840014 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/14358/statm: 2287 264 223 213 0 72 0
[pid=14360] ppid=14358 vsize=75492 CPUtime=20.39 cores=0,2,4,6
/proc/14360/stat : 14360 (clasp-1.0) R 14358 14302 2078 0 -1 4202496 19270 0 0 0 2037 2 0 0 20 0 1 0 339328583 77303808 18256 33554432000 134512640 134847168 4294165808 4294164436 134616350 0 0 4096 0 0 0 0 17 0 0 0 0 0 0
/proc/14360/statm: 18873 18256 270 82 0 18114 0
Current children cumulated CPU time (s) 51.05
Current children cumulated vsize (KiB) 111948
[startup+102.307 s]
/proc/loadavg: 2.04 2.02 2.00 3/184 14384
/proc/meminfo: memFree=27498300/32873844 swapFree=7112/7112
[pid=14302] ppid=14300 vsize=27308 CPUtime=30.66 cores=0,2,4,6
/proc/14302/stat : 14302 (pbclasp) S 14300 14302 2078 0 -1 4202496 1953 97155 0 0 8 0 3032 26 20 0 1 0 339325515 27963392 947 33554432000 4194304 4198148 140735696447456 140735696446384 273592414238 0 0 4230 16384 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/14302/statm: 6827 947 387 1 0 622 0
[pid=14358] ppid=14302 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/14358/stat : 14358 (sh) S 14302 14302 2078 0 -1 4202496 372 221 0 0 0 0 0 0 20 0 1 0 339328583 9367552 264 33554432000 4194304 5064252 140736507603232 140736507601488 273588840014 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/14358/statm: 2287 264 223 213 0 72 0
[pid=14360] ppid=14358 vsize=129904 CPUtime=71.57 cores=0,2,4,6
/proc/14360/stat : 14360 (clasp-1.0) R 14358 14302 2078 0 -1 4202496 32847 0 0 0 7151 6 0 0 20 0 1 0 339328583 133021696 31820 33554432000 134512640 134847168 4294165808 4294164500 134616619 0 0 4096 0 0 0 0 17 0 0 0 0 0 0
/proc/14360/statm: 32476 31820 270 82 0 31717 0
Current children cumulated CPU time (s) 102.23
Current children cumulated vsize (KiB) 166360
[startup+162.3 s]
/proc/loadavg: 2.08 2.03 2.00 3/183 14384
/proc/meminfo: memFree=27412868/32873844 swapFree=7112/7112
[pid=14302] ppid=14300 vsize=27308 CPUtime=30.66 cores=0,2,4,6
/proc/14302/stat : 14302 (pbclasp) S 14300 14302 2078 0 -1 4202496 1953 97155 0 0 8 0 3032 26 20 0 1 0 339325515 27963392 947 33554432000 4194304 4198148 140735696447456 140735696446384 273592414238 0 0 4230 16384 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/14302/statm: 6827 947 387 1 0 622 0
[pid=14358] ppid=14302 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/14358/stat : 14358 (sh) S 14302 14302 2078 0 -1 4202496 372 221 0 0 0 0 0 0 20 0 1 0 339328583 9367552 264 33554432000 4194304 5064252 140736507603232 140736507601488 273588840014 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/14358/statm: 2287 264 223 213 0 72 0
[pid=14360] ppid=14358 vsize=215812 CPUtime=131.56 cores=0,2,4,6
/proc/14360/stat : 14360 (clasp-1.0) R 14358 14302 2078 0 -1 4202496 54352 0 0 0 13143 13 0 0 20 0 1 0 339328583 220991488 53189 33554432000 134512640 134847168 4294165808 4294164384 134714478 0 0 4096 0 0 0 0 17 0 0 0 0 0 0
/proc/14360/statm: 53953 53189 270 82 0 53194 0
Current children cumulated CPU time (s) 162.22
Current children cumulated vsize (KiB) 252268
[startup+222.3 s]
/proc/loadavg: 2.07 2.04 2.00 3/183 14384
/proc/meminfo: memFree=27368012/32873844 swapFree=7112/7112
[pid=14302] ppid=14300 vsize=27308 CPUtime=30.66 cores=0,2,4,6
/proc/14302/stat : 14302 (pbclasp) S 14300 14302 2078 0 -1 4202496 1953 97155 0 0 8 0 3032 26 20 0 1 0 339325515 27963392 947 33554432000 4194304 4198148 140735696447456 140735696446384 273592414238 0 0 4230 16384 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/14302/statm: 6827 947 387 1 0 622 0
[pid=14358] ppid=14302 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/14358/stat : 14358 (sh) S 14302 14302 2078 0 -1 4202496 372 221 0 0 0 0 0 0 20 0 1 0 339328583 9367552 264 33554432000 4194304 5064252 140736507603232 140736507601488 273588840014 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/14358/statm: 2287 264 223 213 0 72 0
[pid=14360] ppid=14358 vsize=258128 CPUtime=191.52 cores=0,2,4,6
/proc/14360/stat : 14360 (clasp-1.0) R 14358 14302 2078 0 -1 4202496 64963 0 0 0 19137 15 0 0 20 0 1 0 339328583 264323072 63820 33554432000 134512640 134847168 4294165808 4294164564 134737608 0 0 4096 0 0 0 0 17 0 0 0 0 0 0
/proc/14360/statm: 64532 63820 270 82 0 63773 0
Current children cumulated CPU time (s) 222.18
Current children cumulated vsize (KiB) 294584
[startup+282.3 s]
/proc/loadavg: 2.02 2.03 2.00 3/183 14384
/proc/meminfo: memFree=27337988/32873844 swapFree=7112/7112
[pid=14302] ppid=14300 vsize=27308 CPUtime=30.66 cores=0,2,4,6
/proc/14302/stat : 14302 (pbclasp) S 14300 14302 2078 0 -1 4202496 1953 97155 0 0 8 0 3032 26 20 0 1 0 339325515 27963392 947 33554432000 4194304 4198148 140735696447456 140735696446384 273592414238 0 0 4230 16384 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/14302/statm: 6827 947 387 1 0 622 0
[pid=14358] ppid=14302 vsize=9148 CPUtime=0 cores=0,2,4,6
################
# More data... #
################
/proc/loadavg: 2.00 2.00 2.00 3/183 14596
/proc/meminfo: memFree=27315808/32873844 swapFree=7112/7112
[pid=14302] ppid=14300 vsize=27308 CPUtime=1128.75 cores=0,2,4,6
/proc/14302/stat : 14302 (pbclasp) S 14300 14302 2078 0 -1 4202496 2058 210483 0 0 8 0 112810 57 20 0 1 0 339325515 27963392 947 33554432000 4194304 4198148 140735696447456 140735696446384 273592414238 0 0 4230 16384 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/14302/statm: 6827 947 387 1 0 622 0
[pid=14415] ppid=14302 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/14415/stat : 14415 (sh) S 14302 14302 2078 0 -1 4202496 371 219 0 0 0 0 0 0 20 0 1 0 339438419 9367552 263 33554432000 4194304 5064252 140733231149360 140733231147616 273588840014 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/14415/statm: 2287 263 223 213 0 72 0
[pid=14417] ppid=14415 vsize=302936 CPUtime=293.13 cores=0,2,4,6
/proc/14417/stat : 14417 (clasp-1.0) R 14415 14302 2078 0 -1 4202496 76277 0 0 0 29295 18 0 0 20 0 1 0 339438419 310206464 74983 33554432000 134512640 134847168 4289763584 4289762208 134784667 0 0 4096 0 0 0 0 17 0 0 0 0 0 0
/proc/14417/statm: 75734 74983 272 82 0 74975 0
Current children cumulated CPU time (s) 1421.88
Current children cumulated vsize (KiB) 339392
[startup+1482.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/183 14596
/proc/meminfo: memFree=27313328/32873844 swapFree=7112/7112
[pid=14302] ppid=14300 vsize=27308 CPUtime=1128.75 cores=0,2,4,6
/proc/14302/stat : 14302 (pbclasp) S 14300 14302 2078 0 -1 4202496 2058 210483 0 0 8 0 112810 57 20 0 1 0 339325515 27963392 947 33554432000 4194304 4198148 140735696447456 140735696446384 273592414238 0 0 4230 16384 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/14302/statm: 6827 947 387 1 0 622 0
[pid=14415] ppid=14302 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/14415/stat : 14415 (sh) S 14302 14302 2078 0 -1 4202496 371 219 0 0 0 0 0 0 20 0 1 0 339438419 9367552 263 33554432000 4194304 5064252 140733231149360 140733231147616 273588840014 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/14415/statm: 2287 263 223 213 0 72 0
[pid=14417] ppid=14415 vsize=302936 CPUtime=353.11 cores=0,2,4,6
/proc/14417/stat : 14417 (clasp-1.0) R 14415 14302 2078 0 -1 4202496 76288 0 0 0 35293 18 0 0 20 0 1 0 339438419 310206464 74994 33554432000 134512640 134847168 4289763584 4289762148 134714971 0 0 4096 0 0 0 0 17 0 0 0 0 0 0
/proc/14417/statm: 75734 74994 272 82 0 74975 0
Current children cumulated CPU time (s) 1481.86
Current children cumulated vsize (KiB) 339392
[startup+1542.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/183 14596
/proc/meminfo: memFree=27311916/32873844 swapFree=7112/7112
[pid=14302] ppid=14300 vsize=27308 CPUtime=1128.75 cores=0,2,4,6
/proc/14302/stat : 14302 (pbclasp) S 14300 14302 2078 0 -1 4202496 2058 210483 0 0 8 0 112810 57 20 0 1 0 339325515 27963392 947 33554432000 4194304 4198148 140735696447456 140735696446384 273592414238 0 0 4230 16384 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/14302/statm: 6827 947 387 1 0 622 0
[pid=14415] ppid=14302 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/14415/stat : 14415 (sh) S 14302 14302 2078 0 -1 4202496 371 219 0 0 0 0 0 0 20 0 1 0 339438419 9367552 263 33554432000 4194304 5064252 140733231149360 140733231147616 273588840014 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/14415/statm: 2287 263 223 213 0 72 0
[pid=14417] ppid=14415 vsize=302936 CPUtime=413.1 cores=0,2,4,6
/proc/14417/stat : 14417 (clasp-1.0) R 14415 14302 2078 0 -1 4202496 76298 0 0 0 41292 18 0 0 20 0 1 0 339438419 310206464 75009 33554432000 134512640 134847168 4289763584 4289762320 134741032 0 0 4096 0 0 0 0 17 0 0 0 0 0 0
/proc/14417/statm: 75734 75009 272 82 0 74975 0
Current children cumulated CPU time (s) 1541.85
Current children cumulated vsize (KiB) 339392
[startup+1602.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/183 14597
/proc/meminfo: memFree=27311040/32873844 swapFree=7112/7112
[pid=14302] ppid=14300 vsize=27308 CPUtime=1128.75 cores=0,2,4,6
/proc/14302/stat : 14302 (pbclasp) S 14300 14302 2078 0 -1 4202496 2058 210483 0 0 8 0 112810 57 20 0 1 0 339325515 27963392 947 33554432000 4194304 4198148 140735696447456 140735696446384 273592414238 0 0 4230 16384 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/14302/statm: 6827 947 387 1 0 622 0
[pid=14415] ppid=14302 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/14415/stat : 14415 (sh) S 14302 14302 2078 0 -1 4202496 371 219 0 0 0 0 0 0 20 0 1 0 339438419 9367552 263 33554432000 4194304 5064252 140733231149360 140733231147616 273588840014 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/14415/statm: 2287 263 223 213 0 72 0
[pid=14417] ppid=14415 vsize=302936 CPUtime=473.09 cores=0,2,4,6
/proc/14417/stat : 14417 (clasp-1.0) R 14415 14302 2078 0 -1 4202496 76298 0 0 0 47291 18 0 0 20 0 1 0 339438419 310206464 75009 33554432000 134512640 134847168 4289763584 4289762208 134784684 0 0 4096 0 0 0 0 17 0 0 0 0 0 0
/proc/14417/statm: 75734 75009 272 82 0 74975 0
Current children cumulated CPU time (s) 1601.84
Current children cumulated vsize (KiB) 339392
[startup+1662.3 s]
/proc/loadavg: 2.08 2.02 2.01 3/183 14597
/proc/meminfo: memFree=27278676/32873844 swapFree=7112/7112
[pid=14302] ppid=14300 vsize=27308 CPUtime=1128.75 cores=0,2,4,6
/proc/14302/stat : 14302 (pbclasp) S 14300 14302 2078 0 -1 4202496 2058 210483 0 0 8 0 112810 57 20 0 1 0 339325515 27963392 947 33554432000 4194304 4198148 140735696447456 140735696446384 273592414238 0 0 4230 16384 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/14302/statm: 6827 947 387 1 0 622 0
[pid=14415] ppid=14302 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/14415/stat : 14415 (sh) S 14302 14302 2078 0 -1 4202496 371 219 0 0 0 0 0 0 20 0 1 0 339438419 9367552 263 33554432000 4194304 5064252 140733231149360 140733231147616 273588840014 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/14415/statm: 2287 263 223 213 0 72 0
[pid=14417] ppid=14415 vsize=334724 CPUtime=533.08 cores=0,2,4,6
/proc/14417/stat : 14417 (clasp-1.0) R 14415 14302 2078 0 -1 4202496 87447 0 0 0 53287 21 0 0 20 0 1 0 339438419 342757376 82857 33554432000 134512640 134847168 4289763584 4289762276 134616619 0 0 4096 0 0 0 0 17 0 0 0 0 0 0
/proc/14417/statm: 83681 82857 272 82 0 82922 0
Current children cumulated CPU time (s) 1661.83
Current children cumulated vsize (KiB) 371180
[startup+1722.3 s]
/proc/loadavg: 2.03 2.01 2.00 3/183 14597
/proc/meminfo: memFree=27232176/32873844 swapFree=7112/7112
[pid=14302] ppid=14300 vsize=27308 CPUtime=1128.75 cores=0,2,4,6
/proc/14302/stat : 14302 (pbclasp) S 14300 14302 2078 0 -1 4202496 2058 210483 0 0 8 0 112810 57 20 0 1 0 339325515 27963392 947 33554432000 4194304 4198148 140735696447456 140735696446384 273592414238 0 0 4230 16384 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/14302/statm: 6827 947 387 1 0 622 0
[pid=14415] ppid=14302 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/14415/stat : 14415 (sh) S 14302 14302 2078 0 -1 4202496 371 219 0 0 0 0 0 0 20 0 1 0 339438419 9367552 263 33554432000 4194304 5064252 140733231149360 140733231147616 273588840014 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/14415/statm: 2287 263 223 213 0 72 0
[pid=14417] ppid=14415 vsize=378852 CPUtime=593.07 cores=0,2,4,6
/proc/14417/stat : 14417 (clasp-1.0) R 14415 14302 2078 0 -1 4202496 98427 0 0 0 59283 24 0 0 20 0 1 0 339438419 387944448 93837 33554432000 134512640 134847168 4289763584 4289762160 134714333 0 0 4096 0 0 0 0 17 0 0 0 0 0 0
/proc/14417/statm: 94713 93837 272 82 0 93954 0
Current children cumulated CPU time (s) 1721.82
Current children cumulated vsize (KiB) 415308
[startup+1782.3 s]
/proc/loadavg: 2.01 2.00 2.00 3/183 14597
/proc/meminfo: memFree=27227084/32873844 swapFree=7112/7112
[pid=14302] ppid=14300 vsize=27308 CPUtime=1128.75 cores=0,2,4,6
/proc/14302/stat : 14302 (pbclasp) S 14300 14302 2078 0 -1 4202496 2058 210483 0 0 8 0 112810 57 20 0 1 0 339325515 27963392 947 33554432000 4194304 4198148 140735696447456 140735696446384 273592414238 0 0 4230 16384 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/14302/statm: 6827 947 387 1 0 622 0
[pid=14415] ppid=14302 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/14415/stat : 14415 (sh) S 14302 14302 2078 0 -1 4202496 371 219 0 0 0 0 0 0 20 0 1 0 339438419 9367552 263 33554432000 4194304 5064252 140733231149360 140733231147616 273588840014 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/14415/statm: 2287 263 223 213 0 72 0
[pid=14417] ppid=14415 vsize=382580 CPUtime=653.05 cores=0,2,4,6
/proc/14417/stat : 14417 (clasp-1.0) R 14415 14302 2078 0 -1 4202496 99465 0 0 0 65281 24 0 0 20 0 1 0 339438419 391761920 94956 33554432000 134512640 134847168 4289763584 4289762048 134713707 0 0 4096 0 0 0 0 17 0 0 0 0 0 0
/proc/14417/statm: 95645 94956 272 82 0 94886 0
Current children cumulated CPU time (s) 1781.8
Current children cumulated vsize (KiB) 419036
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+1800.6 s]
/proc/loadavg: 2.00 2.00 2.00 3/184 14600
/proc/meminfo: memFree=27226688/32873844 swapFree=7112/7112
[pid=14302] ppid=14300 vsize=27308 CPUtime=1128.75 cores=0,2,4,6
/proc/14302/stat : 14302 (pbclasp) S 14300 14302 2078 0 -1 4202496 2058 210483 0 0 8 0 112810 57 20 0 1 0 339325515 27963392 947 33554432000 4194304 4198148 140735696447456 140735696446384 273592414238 0 0 4230 16384 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/14302/statm: 6827 947 387 1 0 622 0
[pid=14415] ppid=14302 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/14415/stat : 14415 (sh) S 14302 14302 2078 0 -1 4202496 371 219 0 0 0 0 0 0 20 0 1 0 339438419 9367552 263 33554432000 4194304 5064252 140733231149360 140733231147616 273588840014 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/14415/statm: 2287 263 223 213 0 72 0
[pid=14417] ppid=14415 vsize=382580 CPUtime=671.36 cores=0,2,4,6
/proc/14417/stat : 14417 (clasp-1.0) R 14415 14302 2078 0 -1 4202496 99466 0 0 0 67112 24 0 0 20 0 1 0 339438419 391761920 94957 33554432000 134512640 134847168 4289763584 4289762276 134616619 0 0 4096 0 0 0 0 17 0 0 0 0 0 0
/proc/14417/statm: 95645 94957 272 82 0 94886 0
Current children cumulated CPU time (s) 1800.11
Current children cumulated vsize (KiB) 419036
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
Sending SIGKILL to process tree (bottom up)
Sending SIGKILL to -14302
Solver just ended. Dumping a history of the last processes samples
[startup+1801.4 s]
/proc/loadavg: 2.00 2.00 2.00 3/184 14600
/proc/meminfo: memFree=27226688/32873844 swapFree=7112/7112
[pid=14302] ppid=14300 vsize=27308 CPUtime=1800.16 cores=0,2,4,6
/proc/14302/stat : 14302 (pbclasp) S 14300 14302 2078 0 -1 4202496 2232 312726 0 0 8 0 179923 85 20 0 1 0 339325515 27963392 949 33554432000 4194304 4198148 140735696447456 140735696446384 273592414238 0 0 4230 16384 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/14302/statm: 6827 949 387 1 0 622 0
Current children cumulated CPU time (s) 1800.16
Current children cumulated vsize (KiB) 27308
[startup+1802.2 s]
/proc/loadavg: 2.00 2.00 2.00 3/185 14619
/proc/meminfo: memFree=27588636/32873844 swapFree=7112/7112
[pid=14302] ppid=14300 vsize=27308 CPUtime=1800.16 cores=0,2,4,6
/proc/14302/stat : 14302 (pbclasp) S 14300 14302 2078 0 -1 4202496 2232 312726 0 0 8 0 179923 85 20 0 1 0 339325515 27963392 949 33554432000 4194304 4198148 140735696447456 140735696446384 273592414238 0 0 4230 16384 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/14302/statm: 6827 949 387 1 0 622 0
[pid=14615] ppid=14302 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/14615/stat : 14615 (sh) S 14302 14302 2078 0 -1 4202496 373 220 0 0 0 0 0 0 20 0 1 0 339505579 9367552 264 33554432000 4194304 5064252 140736880952032 140736880950288 273588840014 0 65536 4100 65538 18446744071579302229 0 0 17 2 0 0 0 0 0
/proc/14615/statm: 2287 264 223 213 0 72 0
[pid=14619] ppid=14615 vsize=51528 CPUtime=1.55 cores=0,2,4,6
/proc/14619/stat : 14619 (clasp-1.0) R 14615 14302 2078 0 -1 4202496 13361 0 0 0 153 2 0 0 20 0 1 0 339505579 52764672 12330 33554432000 134512640 134847168 4293945744 4293944512 134617536 0 0 4096 0 0 0 0 17 0 0 0 0 0 0
/proc/14619/statm: 12882 12330 270 82 0 12123 0
Current children cumulated CPU time (s) 1801.71
Current children cumulated vsize (KiB) 87984
[startup+1802.6 s]
/proc/loadavg: 2.00 2.00 2.00 3/185 14619
/proc/meminfo: memFree=27588636/32873844 swapFree=7112/7112
[pid=14302] ppid=14300 vsize=27308 CPUtime=1800.16 cores=0,2,4,6
/proc/14302/stat : 14302 (pbclasp) S 14300 14302 2078 0 -1 4202496 2232 312726 0 0 8 0 179923 85 20 0 1 0 339325515 27963392 949 33554432000 4194304 4198148 140735696447456 140735696446384 273592414238 0 0 4230 16384 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/14302/statm: 6827 949 387 1 0 622 0
[pid=14615] ppid=14302 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/14615/stat : 14615 (sh) S 14302 14302 2078 0 -1 4202496 373 220 0 0 0 0 0 0 20 0 1 0 339505579 9367552 264 33554432000 4194304 5064252 140736880952032 140736880950288 273588840014 0 65536 4100 65538 18446744071579302229 0 0 17 2 0 0 0 0 0
/proc/14615/statm: 2287 264 223 213 0 72 0
[pid=14619] ppid=14615 vsize=51528 CPUtime=1.95 cores=0,2,4,6
/proc/14619/stat : 14619 (clasp-1.0) R 14615 14302 2078 0 -1 4202496 13361 0 0 0 193 2 0 0 20 0 1 0 339505579 52764672 12330 33554432000 134512640 134847168 4293945744 4293944512 134617496 0 0 4096 0 0 0 0 17 0 0 0 0 0 0
/proc/14619/statm: 12882 12330 270 82 0 12123 0
Current children cumulated CPU time (s) 1802.11
Current children cumulated vsize (KiB) 87984
Child status: 0
Real time (s): 1802.63
CPU time (s): 1802.17
CPU user time (s): 1801.27
CPU system time (s): 0.897863
CPU usage (%): 99.9746
Max. virtual memory (cumulated for all children) (KiB): 467376
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1801.27
system time used= 0.897863
maximum resident set size= 428172
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 329348
page faults= 0
swaps= 0
block input operations= 0
block output operations= 72144
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 8414
involuntary context switches= 2222
runsolver used 3.51047 second user time and 7.67083 second system time
The end