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-3731107-1338688775/watcher-3731107-1338688775 -o /tmp/evaluation-result-3731107-1338688775/solver-3731107-1338688775 -C 1800 -W 1900 -M 15500 pbclasp instance-3731107-1338688775.opb HOME/temp
running on 4 cores: 1,3,5,7
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.02 2.01 2.00 3/176 25330
/proc/meminfo: memFree=29150292/32873844 swapFree=6088/6088
[pid=25330] ppid=25328 vsize=25460 CPUtime=0 cores=1,3,5,7
/proc/25330/stat : 25330 (pbclasp) R 25328 25330 22814 0 -1 4202496 512 0 0 0 0 0 0 0 20 0 1 0 335005987 26071040 443 33554432000 4194304 4198148 140735806510416 140735806507864 226329333652 0 0 4224 0 0 0 0 17 5 0 0 0 0 0
/proc/25330/statm: 6365 444 343 1 0 160 0
[startup+0.093014 s]
/proc/loadavg: 2.02 2.01 2.00 3/176 25330
/proc/meminfo: memFree=29150292/32873844 swapFree=6088/6088
[pid=25330] ppid=25328 vsize=26288 CPUtime=0.05 cores=1,3,5,7
/proc/25330/stat : 25330 (pbclasp) S 25328 25330 22814 0 -1 4202496 762 0 0 0 5 0 0 0 20 0 1 0 335005987 26918912 674 33554432000 4194304 4198148 140735806510416 140735806509304 226333091056 0 0 4224 16384 18446744071580380219 0 0 17 5 0 0 0 0 0
/proc/25330/statm: 6572 674 368 1 0 367 0
Current children cumulated CPU time (s) 0.05
Current children cumulated vsize (KiB) 26288
[startup+0.100226 s]
/proc/loadavg: 2.02 2.01 2.00 3/176 25330
/proc/meminfo: memFree=29150292/32873844 swapFree=6088/6088
[pid=25330] ppid=25328 vsize=26288 CPUtime=0.05 cores=1,3,5,7
/proc/25330/stat : 25330 (pbclasp) S 25328 25330 22814 0 -1 4202496 762 0 0 0 5 0 0 0 20 0 1 0 335005987 26918912 674 33554432000 4194304 4198148 140735806510416 140735806509304 226333091056 0 0 4224 16384 18446744071580380219 0 0 17 5 0 0 0 0 0
/proc/25330/statm: 6572 674 368 1 0 367 0
Current children cumulated CPU time (s) 0.05
Current children cumulated vsize (KiB) 26288
[startup+0.300187 s]
/proc/loadavg: 2.02 2.01 2.00 3/176 25330
/proc/meminfo: memFree=29150292/32873844 swapFree=6088/6088
[pid=25330] ppid=25328 vsize=26552 CPUtime=0.14 cores=1,3,5,7
/proc/25330/stat : 25330 (pbclasp) S 25328 25330 22814 0 -1 4202496 956 2276 0 0 5 0 9 0 20 0 1 0 335005987 27189248 746 33554432000 4194304 4198148 140735806510416 140735806509344 226333093918 0 0 4230 16384 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/25330/statm: 6638 746 387 1 0 433 0
Current children cumulated CPU time (s) 0.14
Current children cumulated vsize (KiB) 26552
[startup+0.700179 s]
/proc/loadavg: 2.02 2.01 2.00 3/176 25330
/proc/meminfo: memFree=29150292/32873844 swapFree=6088/6088
[pid=25330] ppid=25328 vsize=26552 CPUtime=0.14 cores=1,3,5,7
/proc/25330/stat : 25330 (pbclasp) S 25328 25330 22814 0 -1 4202496 956 2276 0 0 5 0 9 0 20 0 1 0 335005987 27189248 746 33554432000 4194304 4198148 140735806510416 140735806509344 226333093918 0 0 4230 16384 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/25330/statm: 6638 746 387 1 0 433 0
Current children cumulated CPU time (s) 0.14
Current children cumulated vsize (KiB) 26552
[startup+1.50025 s]
/proc/loadavg: 2.02 2.01 2.00 3/179 25340
/proc/meminfo: memFree=29144540/32873844 swapFree=6088/6088
[pid=25330] ppid=25328 vsize=26552 CPUtime=0.14 cores=1,3,5,7
/proc/25330/stat : 25330 (pbclasp) S 25328 25330 22814 0 -1 4202496 956 2276 0 0 5 0 9 0 20 0 1 0 335005987 27189248 746 33554432000 4194304 4198148 140735806510416 140735806509344 226333093918 0 0 4230 16384 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/25330/statm: 6638 746 387 1 0 433 0
[pid=25338] ppid=25330 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/25338/stat : 25338 (sh) S 25330 25330 22814 0 -1 4202496 370 220 0 0 0 0 0 0 20 0 1 0 335006004 9367552 263 33554432000 4194304 5064252 140735509745520 140735509743776 226329519694 0 65536 4100 65538 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/25338/statm: 2287 263 223 213 0 72 0
[pid=25340] ppid=25338 vsize=7468 CPUtime=1.32 cores=1,3,5,7
/proc/25340/stat : 25340 (clasp-1.0) R 25338 25330 22814 0 -1 4202496 1449 0 0 0 132 0 0 0 20 0 1 0 335006004 7647232 1347 33554432000 134512640 134847168 4289387824 4289386400 134714706 0 0 4096 0 0 0 0 17 1 0 0 0 0 0
/proc/25340/statm: 1867 1347 272 82 0 1108 0
Current children cumulated CPU time (s) 1.46
Current children cumulated vsize (KiB) 43168
[startup+3.10025 s]
/proc/loadavg: 2.02 2.01 2.00 3/179 25340
/proc/meminfo: memFree=29143052/32873844 swapFree=6088/6088
[pid=25330] ppid=25328 vsize=26552 CPUtime=0.14 cores=1,3,5,7
/proc/25330/stat : 25330 (pbclasp) S 25328 25330 22814 0 -1 4202496 956 2276 0 0 5 0 9 0 20 0 1 0 335005987 27189248 746 33554432000 4194304 4198148 140735806510416 140735806509344 226333093918 0 0 4230 16384 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/25330/statm: 6638 746 387 1 0 433 0
[pid=25338] ppid=25330 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/25338/stat : 25338 (sh) S 25330 25330 22814 0 -1 4202496 370 220 0 0 0 0 0 0 20 0 1 0 335006004 9367552 263 33554432000 4194304 5064252 140735509745520 140735509743776 226329519694 0 65536 4100 65538 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/25338/statm: 2287 263 223 213 0 72 0
[pid=25340] ppid=25338 vsize=9132 CPUtime=2.92 cores=1,3,5,7
/proc/25340/stat : 25340 (clasp-1.0) R 25338 25330 22814 0 -1 4202496 1880 0 0 0 292 0 0 0 20 0 1 0 335006004 9351168 1778 33554432000 134512640 134847168 4289387824 4289386464 134782532 0 0 4096 0 0 0 0 17 1 0 0 0 0 0
/proc/25340/statm: 2283 1778 272 82 0 1524 0
Current children cumulated CPU time (s) 3.06
Current children cumulated vsize (KiB) 44832
[startup+6.30025 s]
/proc/loadavg: 2.02 2.01 2.00 3/179 25340
/proc/meminfo: memFree=29139456/32873844 swapFree=6088/6088
[pid=25330] ppid=25328 vsize=26552 CPUtime=0.14 cores=1,3,5,7
/proc/25330/stat : 25330 (pbclasp) S 25328 25330 22814 0 -1 4202496 956 2276 0 0 5 0 9 0 20 0 1 0 335005987 27189248 746 33554432000 4194304 4198148 140735806510416 140735806509344 226333093918 0 0 4230 16384 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/25330/statm: 6638 746 387 1 0 433 0
[pid=25338] ppid=25330 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/25338/stat : 25338 (sh) S 25330 25330 22814 0 -1 4202496 370 220 0 0 0 0 0 0 20 0 1 0 335006004 9367552 263 33554432000 4194304 5064252 140735509745520 140735509743776 226329519694 0 65536 4100 65538 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/25338/statm: 2287 263 223 213 0 72 0
[pid=25340] ppid=25338 vsize=11620 CPUtime=6.12 cores=1,3,5,7
/proc/25340/stat : 25340 (clasp-1.0) R 25338 25330 22814 0 -1 4202496 2490 0 0 0 612 0 0 0 20 0 1 0 335006004 11898880 2388 33554432000 134512640 134847168 4289387824 4289386544 134741435 0 0 4096 0 0 0 0 17 1 0 0 0 0 0
/proc/25340/statm: 2905 2388 272 82 0 2146 0
Current children cumulated CPU time (s) 6.26
Current children cumulated vsize (KiB) 47320
[startup+12.7002 s]
/proc/loadavg: 2.10 2.02 2.01 3/179 25340
/proc/meminfo: memFree=29136272/32873844 swapFree=6088/6088
[pid=25330] ppid=25328 vsize=26552 CPUtime=0.14 cores=1,3,5,7
/proc/25330/stat : 25330 (pbclasp) S 25328 25330 22814 0 -1 4202496 956 2276 0 0 5 0 9 0 20 0 1 0 335005987 27189248 746 33554432000 4194304 4198148 140735806510416 140735806509344 226333093918 0 0 4230 16384 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/25330/statm: 6638 746 387 1 0 433 0
[pid=25338] ppid=25330 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/25338/stat : 25338 (sh) S 25330 25330 22814 0 -1 4202496 370 220 0 0 0 0 0 0 20 0 1 0 335006004 9367552 263 33554432000 4194304 5064252 140735509745520 140735509743776 226329519694 0 65536 4100 65538 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/25338/statm: 2287 263 223 213 0 72 0
[pid=25340] ppid=25338 vsize=14736 CPUtime=12.51 cores=1,3,5,7
/proc/25340/stat : 25340 (clasp-1.0) R 25338 25330 22814 0 -1 4202496 3266 0 0 0 1251 0 0 0 20 0 1 0 335006004 15089664 3162 33554432000 134512640 134847168 4289387824 4289386084 134792516 0 0 4096 0 0 0 0 17 1 0 0 0 0 0
/proc/25340/statm: 3684 3162 272 82 0 2925 0
Current children cumulated CPU time (s) 12.65
Current children cumulated vsize (KiB) 50436
[startup+25.5003 s]
/proc/loadavg: 2.07 2.02 2.00 3/180 25343
/proc/meminfo: memFree=29133916/32873844 swapFree=6088/6088
[pid=25330] ppid=25328 vsize=26552 CPUtime=0.14 cores=1,3,5,7
/proc/25330/stat : 25330 (pbclasp) S 25328 25330 22814 0 -1 4202496 956 2276 0 0 5 0 9 0 20 0 1 0 335005987 27189248 746 33554432000 4194304 4198148 140735806510416 140735806509344 226333093918 0 0 4230 16384 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/25330/statm: 6638 746 387 1 0 433 0
[pid=25338] ppid=25330 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/25338/stat : 25338 (sh) S 25330 25330 22814 0 -1 4202496 370 220 0 0 0 0 0 0 20 0 1 0 335006004 9367552 263 33554432000 4194304 5064252 140735509745520 140735509743776 226329519694 0 65536 4100 65538 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/25338/statm: 2287 263 223 213 0 72 0
[pid=25340] ppid=25338 vsize=16136 CPUtime=25.32 cores=1,3,5,7
/proc/25340/stat : 25340 (clasp-1.0) R 25338 25330 22814 0 -1 4202496 3640 0 0 0 2531 1 0 0 20 0 1 0 335006004 16523264 3536 33554432000 134512640 134847168 4289387824 4289386592 134737660 0 0 4096 0 0 0 0 17 1 0 0 0 0 0
/proc/25340/statm: 4034 3536 272 82 0 3275 0
Current children cumulated CPU time (s) 25.46
Current children cumulated vsize (KiB) 51836
[startup+51.1003 s]
/proc/loadavg: 2.05 2.02 2.00 3/180 25343
/proc/meminfo: memFree=29130988/32873844 swapFree=6088/6088
[pid=25330] ppid=25328 vsize=26552 CPUtime=0.14 cores=1,3,5,7
/proc/25330/stat : 25330 (pbclasp) S 25328 25330 22814 0 -1 4202496 956 2276 0 0 5 0 9 0 20 0 1 0 335005987 27189248 746 33554432000 4194304 4198148 140735806510416 140735806509344 226333093918 0 0 4230 16384 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/25330/statm: 6638 746 387 1 0 433 0
[pid=25338] ppid=25330 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/25338/stat : 25338 (sh) S 25330 25330 22814 0 -1 4202496 370 220 0 0 0 0 0 0 20 0 1 0 335006004 9367552 263 33554432000 4194304 5064252 140735509745520 140735509743776 226329519694 0 65536 4100 65538 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/25338/statm: 2287 263 223 213 0 72 0
[pid=25340] ppid=25338 vsize=19280 CPUtime=50.9 cores=1,3,5,7
/proc/25340/stat : 25340 (clasp-1.0) R 25338 25330 22814 0 -1 4202496 4472 0 0 0 5089 1 0 0 20 0 1 0 335006004 19742720 4303 33554432000 134512640 134847168 4289387824 4289386448 134784806 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/25340/statm: 4820 4303 272 82 0 4061 0
Current children cumulated CPU time (s) 51.04
Current children cumulated vsize (KiB) 54980
[startup+102.307 s]
/proc/loadavg: 2.02 2.02 2.00 3/180 25366
/proc/meminfo: memFree=29116404/32873844 swapFree=6088/6088
[pid=25330] ppid=25328 vsize=26552 CPUtime=0.14 cores=1,3,5,7
/proc/25330/stat : 25330 (pbclasp) S 25328 25330 22814 0 -1 4202496 956 2276 0 0 5 0 9 0 20 0 1 0 335005987 27189248 746 33554432000 4194304 4198148 140735806510416 140735806509344 226333093918 0 0 4230 16384 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/25330/statm: 6638 746 387 1 0 433 0
[pid=25338] ppid=25330 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/25338/stat : 25338 (sh) S 25330 25330 22814 0 -1 4202496 370 220 0 0 0 0 0 0 20 0 1 0 335006004 9367552 263 33554432000 4194304 5064252 140735509745520 140735509743776 226329519694 0 65536 4100 65538 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/25338/statm: 2287 263 223 213 0 72 0
[pid=25340] ppid=25338 vsize=32464 CPUtime=102.09 cores=1,3,5,7
/proc/25340/stat : 25340 (clasp-1.0) R 25338 25330 22814 0 -1 4202496 7865 0 0 0 10208 1 0 0 20 0 1 0 335006004 33243136 7605 33554432000 134512640 134847168 4289387824 4289386464 134715319 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/25340/statm: 8116 7605 272 82 0 7357 0
Current children cumulated CPU time (s) 102.23
Current children cumulated vsize (KiB) 68164
[startup+162.3 s]
/proc/loadavg: 2.00 2.01 2.00 3/179 25366
/proc/meminfo: memFree=29116288/32873844 swapFree=6088/6088
[pid=25330] ppid=25328 vsize=26552 CPUtime=0.14 cores=1,3,5,7
/proc/25330/stat : 25330 (pbclasp) S 25328 25330 22814 0 -1 4202496 956 2276 0 0 5 0 9 0 20 0 1 0 335005987 27189248 746 33554432000 4194304 4198148 140735806510416 140735806509344 226333093918 0 0 4230 16384 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/25330/statm: 6638 746 387 1 0 433 0
[pid=25338] ppid=25330 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/25338/stat : 25338 (sh) S 25330 25330 22814 0 -1 4202496 370 220 0 0 0 0 0 0 20 0 1 0 335006004 9367552 263 33554432000 4194304 5064252 140735509745520 140735509743776 226329519694 0 65536 4100 65538 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/25338/statm: 2287 263 223 213 0 72 0
[pid=25340] ppid=25338 vsize=32464 CPUtime=162.08 cores=1,3,5,7
/proc/25340/stat : 25340 (clasp-1.0) R 25338 25330 22814 0 -1 4202496 7865 0 0 0 16207 1 0 0 20 0 1 0 335006004 33243136 7605 33554432000 134512640 134847168 4289387824 4289386464 134715248 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/25340/statm: 8116 7605 272 82 0 7357 0
Current children cumulated CPU time (s) 162.22
Current children cumulated vsize (KiB) 68164
[startup+222.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/180 25386
/proc/meminfo: memFree=29143904/32873844 swapFree=6088/6088
[pid=25330] ppid=25328 vsize=26552 CPUtime=221.74 cores=1,3,5,7
/proc/25330/stat : 25330 (pbclasp) S 25328 25330 22814 0 -1 4202496 1060 12730 0 0 5 0 22166 3 20 0 1 0 335005987 27189248 746 33554432000 4194304 4198148 140735806510416 140735806509344 226333093918 0 0 4230 16384 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/25330/statm: 6638 746 387 1 0 433 0
[pid=25384] ppid=25330 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/25384/stat : 25384 (sh) S 25330 25330 22814 0 -1 4202496 371 220 0 0 0 0 0 0 20 0 1 0 335028169 9367552 264 33554432000 4194304 5064252 140733995863248 140733995861504 226329519694 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/25384/statm: 2287 264 223 213 0 72 0
[pid=25386] ppid=25384 vsize=6824 CPUtime=0.47 cores=1,3,5,7
/proc/25386/stat : 25386 (clasp-1.0) R 25384 25330 22814 0 -1 4202496 1291 0 0 0 47 0 0 0 20 0 1 0 335028169 6987776 1189 33554432000 134512640 134847168 4287733936 4287732628 134616619 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/25386/statm: 1706 1189 270 82 0 947 0
Current children cumulated CPU time (s) 222.21
Current children cumulated vsize (KiB) 42524
[startup+282.3 s]
################
# More data... #
################
/proc/25384/stat : 25384 (sh) S 25330 25330 22814 0 -1 4202496 371 220 0 0 0 0 0 0 20 0 1 0 335028169 9367552 264 33554432000 4194304 5064252 140733995863248 140733995861504 226329519694 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/25384/statm: 2287 264 223 213 0 72 0
[pid=25386] ppid=25384 vsize=53584 CPUtime=1200.26 cores=1,3,5,7
/proc/25386/stat : 25386 (clasp-1.0) R 25384 25330 22814 0 -1 4202496 14407 0 0 0 120024 2 0 0 20 0 1 0 335028169 54870016 12895 33554432000 134512640 134847168 4287733936 4287732512 134714694 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/25386/statm: 13396 12895 270 82 0 12637 0
Current children cumulated CPU time (s) 1422
Current children cumulated vsize (KiB) 89284
[startup+1482.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 25533
/proc/meminfo: memFree=29090656/32873844 swapFree=6088/6088
[pid=25330] ppid=25328 vsize=26552 CPUtime=221.74 cores=1,3,5,7
/proc/25330/stat : 25330 (pbclasp) S 25328 25330 22814 0 -1 4202496 1060 12730 0 0 5 0 22166 3 20 0 1 0 335005987 27189248 746 33554432000 4194304 4198148 140735806510416 140735806509344 226333093918 0 0 4230 16384 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/25330/statm: 6638 746 387 1 0 433 0
[pid=25384] ppid=25330 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/25384/stat : 25384 (sh) S 25330 25330 22814 0 -1 4202496 371 220 0 0 0 0 0 0 20 0 1 0 335028169 9367552 264 33554432000 4194304 5064252 140733995863248 140733995861504 226329519694 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/25384/statm: 2287 264 223 213 0 72 0
[pid=25386] ppid=25384 vsize=54136 CPUtime=1260.25 cores=1,3,5,7
/proc/25386/stat : 25386 (clasp-1.0) R 25384 25330 22814 0 -1 4202496 14670 0 0 0 126022 3 0 0 20 0 1 0 335028169 55435264 13022 33554432000 134512640 134847168 4287733936 4287732512 134742342 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/25386/statm: 13534 13022 270 82 0 12775 0
Current children cumulated CPU time (s) 1481.99
Current children cumulated vsize (KiB) 89836
[startup+1542.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 25533
/proc/meminfo: memFree=29083772/32873844 swapFree=6088/6088
[pid=25330] ppid=25328 vsize=26552 CPUtime=221.74 cores=1,3,5,7
/proc/25330/stat : 25330 (pbclasp) S 25328 25330 22814 0 -1 4202496 1060 12730 0 0 5 0 22166 3 20 0 1 0 335005987 27189248 746 33554432000 4194304 4198148 140735806510416 140735806509344 226333093918 0 0 4230 16384 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/25330/statm: 6638 746 387 1 0 433 0
[pid=25384] ppid=25330 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/25384/stat : 25384 (sh) S 25330 25330 22814 0 -1 4202496 371 220 0 0 0 0 0 0 20 0 1 0 335028169 9367552 264 33554432000 4194304 5064252 140733995863248 140733995861504 226329519694 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/25384/statm: 2287 264 223 213 0 72 0
[pid=25386] ppid=25384 vsize=63276 CPUtime=1320.24 cores=1,3,5,7
/proc/25386/stat : 25386 (clasp-1.0) R 25384 25330 22814 0 -1 4202496 16925 0 0 0 132021 3 0 0 20 0 1 0 335028169 64794624 15266 33554432000 134512640 134847168 4287733936 4287732656 134741346 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/25386/statm: 15819 15266 270 82 0 15060 0
Current children cumulated CPU time (s) 1541.98
Current children cumulated vsize (KiB) 98976
[startup+1602.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 25533
/proc/meminfo: memFree=29077376/32873844 swapFree=6088/6088
[pid=25330] ppid=25328 vsize=26552 CPUtime=221.74 cores=1,3,5,7
/proc/25330/stat : 25330 (pbclasp) S 25328 25330 22814 0 -1 4202496 1060 12730 0 0 5 0 22166 3 20 0 1 0 335005987 27189248 746 33554432000 4194304 4198148 140735806510416 140735806509344 226333093918 0 0 4230 16384 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/25330/statm: 6638 746 387 1 0 433 0
[pid=25384] ppid=25330 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/25384/stat : 25384 (sh) S 25330 25330 22814 0 -1 4202496 371 220 0 0 0 0 0 0 20 0 1 0 335028169 9367552 264 33554432000 4194304 5064252 140733995863248 140733995861504 226329519694 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/25384/statm: 2287 264 223 213 0 72 0
[pid=25386] ppid=25384 vsize=67168 CPUtime=1380.22 cores=1,3,5,7
/proc/25386/stat : 25386 (clasp-1.0) R 25384 25330 22814 0 -1 4202496 17901 0 0 0 138019 3 0 0 20 0 1 0 335028169 68780032 16262 33554432000 134512640 134847168 4287733936 4287732560 134784576 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/25386/statm: 16792 16262 270 82 0 16033 0
Current children cumulated CPU time (s) 1601.96
Current children cumulated vsize (KiB) 102868
[startup+1662.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 25533
/proc/meminfo: memFree=29077748/32873844 swapFree=6088/6088
[pid=25330] ppid=25328 vsize=26552 CPUtime=221.74 cores=1,3,5,7
/proc/25330/stat : 25330 (pbclasp) S 25328 25330 22814 0 -1 4202496 1060 12730 0 0 5 0 22166 3 20 0 1 0 335005987 27189248 746 33554432000 4194304 4198148 140735806510416 140735806509344 226333093918 0 0 4230 16384 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/25330/statm: 6638 746 387 1 0 433 0
[pid=25384] ppid=25330 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/25384/stat : 25384 (sh) S 25330 25330 22814 0 -1 4202496 371 220 0 0 0 0 0 0 20 0 1 0 335028169 9367552 264 33554432000 4194304 5064252 140733995863248 140733995861504 226329519694 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/25384/statm: 2287 264 223 213 0 72 0
[pid=25386] ppid=25384 vsize=67168 CPUtime=1440.21 cores=1,3,5,7
/proc/25386/stat : 25386 (clasp-1.0) R 25384 25330 22814 0 -1 4202496 17901 0 0 0 144018 3 0 0 20 0 1 0 335028169 68780032 16262 33554432000 134512640 134847168 4287733936 4287732640 134616816 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/25386/statm: 16792 16262 270 82 0 16033 0
Current children cumulated CPU time (s) 1661.95
Current children cumulated vsize (KiB) 102868
[startup+1722.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 25534
/proc/meminfo: memFree=29077624/32873844 swapFree=6088/6088
[pid=25330] ppid=25328 vsize=26552 CPUtime=221.74 cores=1,3,5,7
/proc/25330/stat : 25330 (pbclasp) S 25328 25330 22814 0 -1 4202496 1060 12730 0 0 5 0 22166 3 20 0 1 0 335005987 27189248 746 33554432000 4194304 4198148 140735806510416 140735806509344 226333093918 0 0 4230 16384 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/25330/statm: 6638 746 387 1 0 433 0
[pid=25384] ppid=25330 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/25384/stat : 25384 (sh) S 25330 25330 22814 0 -1 4202496 371 220 0 0 0 0 0 0 20 0 1 0 335028169 9367552 264 33554432000 4194304 5064252 140733995863248 140733995861504 226329519694 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/25384/statm: 2287 264 223 213 0 72 0
[pid=25386] ppid=25384 vsize=67168 CPUtime=1500.2 cores=1,3,5,7
/proc/25386/stat : 25386 (clasp-1.0) R 25384 25330 22814 0 -1 4202496 17901 0 0 0 150017 3 0 0 20 0 1 0 335028169 68780032 16262 33554432000 134512640 134847168 4287733936 4287732560 134784653 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/25386/statm: 16792 16262 270 82 0 16033 0
Current children cumulated CPU time (s) 1721.94
Current children cumulated vsize (KiB) 102868
[startup+1782.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 25534
/proc/meminfo: memFree=29077872/32873844 swapFree=6088/6088
[pid=25330] ppid=25328 vsize=26552 CPUtime=221.74 cores=1,3,5,7
/proc/25330/stat : 25330 (pbclasp) S 25328 25330 22814 0 -1 4202496 1060 12730 0 0 5 0 22166 3 20 0 1 0 335005987 27189248 746 33554432000 4194304 4198148 140735806510416 140735806509344 226333093918 0 0 4230 16384 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/25330/statm: 6638 746 387 1 0 433 0
[pid=25384] ppid=25330 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/25384/stat : 25384 (sh) S 25330 25330 22814 0 -1 4202496 371 220 0 0 0 0 0 0 20 0 1 0 335028169 9367552 264 33554432000 4194304 5064252 140733995863248 140733995861504 226329519694 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/25384/statm: 2287 264 223 213 0 72 0
[pid=25386] ppid=25384 vsize=67168 CPUtime=1560.19 cores=1,3,5,7
/proc/25386/stat : 25386 (clasp-1.0) R 25384 25330 22814 0 -1 4202496 17901 0 0 0 156016 3 0 0 20 0 1 0 335028169 68780032 16262 33554432000 134512640 134847168 4287733936 4287732620 134789696 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/25386/statm: 16792 16262 270 82 0 16033 0
Current children cumulated CPU time (s) 1781.93
Current children cumulated vsize (KiB) 102868
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+1800.4 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 25534
/proc/meminfo: memFree=29077748/32873844 swapFree=6088/6088
[pid=25330] ppid=25328 vsize=26552 CPUtime=221.74 cores=1,3,5,7
/proc/25330/stat : 25330 (pbclasp) S 25328 25330 22814 0 -1 4202496 1060 12730 0 0 5 0 22166 3 20 0 1 0 335005987 27189248 746 33554432000 4194304 4198148 140735806510416 140735806509344 226333093918 0 0 4230 16384 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/25330/statm: 6638 746 387 1 0 433 0
[pid=25384] ppid=25330 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/25384/stat : 25384 (sh) S 25330 25330 22814 0 -1 4202496 371 220 0 0 0 0 0 0 20 0 1 0 335028169 9367552 264 33554432000 4194304 5064252 140733995863248 140733995861504 226329519694 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/25384/statm: 2287 264 223 213 0 72 0
[pid=25386] ppid=25384 vsize=67168 CPUtime=1578.3 cores=1,3,5,7
/proc/25386/stat : 25386 (clasp-1.0) R 25384 25330 22814 0 -1 4202496 17901 0 0 0 157827 3 0 0 20 0 1 0 335028169 68780032 16262 33554432000 134512640 134847168 4287733936 4287732560 134784798 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/25386/statm: 16792 16262 270 82 0 16033 0
Current children cumulated CPU time (s) 1800.04
Current children cumulated vsize (KiB) 102868
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
Sending SIGKILL to process tree (bottom up)
Sending SIGKILL to -25330
Solver just ended. Dumping a history of the last processes samples
[startup+1801.4 s]
/proc/loadavg: 2.00 2.00 2.00 3/180 25553
/proc/meminfo: memFree=29145484/32873844 swapFree=6088/6088
[pid=25330] ppid=25328 vsize=26552 CPUtime=1800.07 cores=1,3,5,7
/proc/25330/stat : 25330 (pbclasp) S 25328 25330 22814 0 -1 4202496 1222 33401 0 0 5 0 179994 8 20 0 1 0 335005987 27189248 747 33554432000 4194304 4198148 140735806510416 140735806509344 226333093918 0 0 4230 16384 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/25330/statm: 6638 747 387 1 0 433 0
[pid=25545] ppid=25330 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/25545/stat : 25545 (sh) S 25330 25330 22814 0 -1 4202496 369 220 0 0 0 0 0 0 20 0 1 0 335186030 9367552 263 33554432000 4194304 5064252 140733641740928 140733641739184 226329519694 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/25545/statm: 2287 263 223 213 0 72 0
[pid=25548] ppid=25545 vsize=7468 CPUtime=0.96 cores=1,3,5,7
/proc/25548/stat : 25548 (clasp-1.0) R 25545 25330 22814 0 -1 4202496 1449 0 0 0 96 0 0 0 20 0 1 0 335186030 7647232 1347 33554432000 134512640 134847168 4286726944 4286725520 134714871 0 0 4096 0 0 0 0 17 7 0 0 0 0 0
/proc/25548/statm: 1867 1347 272 82 0 1108 0
Current children cumulated CPU time (s) 1801.03
Current children cumulated vsize (KiB) 43168
[startup+1802.2 s]
/proc/loadavg: 2.00 2.00 2.00 3/180 25553
/proc/meminfo: memFree=29142756/32873844 swapFree=6088/6088
[pid=25330] ppid=25328 vsize=26552 CPUtime=1800.07 cores=1,3,5,7
/proc/25330/stat : 25330 (pbclasp) S 25328 25330 22814 0 -1 4202496 1222 33401 0 0 5 0 179994 8 20 0 1 0 335005987 27189248 747 33554432000 4194304 4198148 140735806510416 140735806509344 226333093918 0 0 4230 16384 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/25330/statm: 6638 747 387 1 0 433 0
[pid=25545] ppid=25330 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/25545/stat : 25545 (sh) S 25330 25330 22814 0 -1 4202496 369 220 0 0 0 0 0 0 20 0 1 0 335186030 9367552 263 33554432000 4194304 5064252 140733641740928 140733641739184 226329519694 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/25545/statm: 2287 263 223 213 0 72 0
[pid=25548] ppid=25545 vsize=7988 CPUtime=1.75 cores=1,3,5,7
/proc/25548/stat : 25548 (clasp-1.0) R 25545 25330 22814 0 -1 4202496 1568 0 0 0 175 0 0 0 20 0 1 0 335186030 8179712 1466 33554432000 134512640 134847168 4286726944 4286725624 134789714 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/25548/statm: 1997 1466 272 82 0 1238 0
Current children cumulated CPU time (s) 1801.82
Current children cumulated vsize (KiB) 43688
[startup+1802.4 s]
/proc/loadavg: 2.00 2.00 2.00 3/180 25553
/proc/meminfo: memFree=29142756/32873844 swapFree=6088/6088
[pid=25330] ppid=25328 vsize=26552 CPUtime=1800.07 cores=1,3,5,7
/proc/25330/stat : 25330 (pbclasp) S 25328 25330 22814 0 -1 4202496 1222 33401 0 0 5 0 179994 8 20 0 1 0 335005987 27189248 747 33554432000 4194304 4198148 140735806510416 140735806509344 226333093918 0 0 4230 16384 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/25330/statm: 6638 747 387 1 0 433 0
[pid=25545] ppid=25330 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/25545/stat : 25545 (sh) S 25330 25330 22814 0 -1 4202496 369 220 0 0 0 0 0 0 20 0 1 0 335186030 9367552 263 33554432000 4194304 5064252 140733641740928 140733641739184 226329519694 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/25545/statm: 2287 263 223 213 0 72 0
[pid=25548] ppid=25545 vsize=8120 CPUtime=1.95 cores=1,3,5,7
/proc/25548/stat : 25548 (clasp-1.0) R 25545 25330 22814 0 -1 4202496 1612 0 0 0 195 0 0 0 20 0 1 0 335186030 8314880 1510 33554432000 134512640 134847168 4286726944 4286725408 134713648 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/25548/statm: 2030 1510 272 82 0 1271 0
Current children cumulated CPU time (s) 1802.02
Current children cumulated vsize (KiB) 43820
Child status: 0
Real time (s): 1802.42
CPU time (s): 1802.07
CPU user time (s): 1801.98
CPU system time (s): 0.093985
CPU usage (%): 99.9808
Max. virtual memory (cumulated for all children) (KiB): 102868
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1801.98
system time used= 0.093985
maximum resident set size= 65048
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 37121
page faults= 0
swaps= 0
block input operations= 0
block output operations= 1992
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 275
involuntary context switches= 1984
runsolver used 3.2925 second user time and 9.79451 second system time
The end