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-3732394-1338706639/watcher-3732394-1338706639 -o /tmp/evaluation-result-3732394-1338706639/solver-3732394-1338706639 -C 1800 -W 1900 -M 15500 pbclasp instance-3732394-1338706639.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.02 2.01 2.00 3/178 8917
/proc/meminfo: memFree=27654840/32873844 swapFree=7384/7384
[pid=8917] ppid=8915 vsize=25592 CPUtime=0 cores=0,2,4,6
/proc/8917/stat : 8917 (pbclasp) R 8915 8917 14418 0 -1 4202496 538 0 0 0 0 0 0 0 20 0 1 0 336789384 26206208 469 33554432000 4194304 4198148 140735880032544 140735880029992 239876498768 0 0 4224 0 0 0 0 17 0 0 0 0 0 0
/proc/8917/statm: 6398 469 345 1 0 193 0
[startup+0.0841031 s]
/proc/loadavg: 2.02 2.01 2.00 3/178 8917
/proc/meminfo: memFree=27654840/32873844 swapFree=7384/7384
[pid=8917] ppid=8915 vsize=25724 CPUtime=0 cores=0,2,4,6
/proc/8917/stat : 8917 (pbclasp) S 8915 8917 14418 0 -1 4202496 597 0 0 0 0 0 0 0 20 0 1 0 336789384 26341376 511 33554432000 4194304 4198148 140735880032544 140735880031432 239876498672 0 0 4224 16384 18446744071580380219 0 0 17 0 0 0 0 0 0
/proc/8917/statm: 6431 511 368 1 0 226 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 25724
[startup+0.100212 s]
/proc/loadavg: 2.02 2.01 2.00 3/178 8917
/proc/meminfo: memFree=27654840/32873844 swapFree=7384/7384
[pid=8917] ppid=8915 vsize=25724 CPUtime=0 cores=0,2,4,6
/proc/8917/stat : 8917 (pbclasp) S 8915 8917 14418 0 -1 4202496 597 0 0 0 0 0 0 0 20 0 1 0 336789384 26341376 511 33554432000 4194304 4198148 140735880032544 140735880031432 239876498672 0 0 4224 16384 18446744071580380219 0 0 17 0 0 0 0 0 0
/proc/8917/statm: 6431 511 368 1 0 226 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 25724
[startup+0.300147 s]
/proc/loadavg: 2.02 2.01 2.00 3/178 8917
/proc/meminfo: memFree=27654840/32873844 swapFree=7384/7384
[pid=8917] ppid=8915 vsize=25724 CPUtime=0.26 cores=0,2,4,6
/proc/8917/stat : 8917 (pbclasp) S 8915 8917 14418 0 -1 4202496 1033 9848 0 0 0 0 24 2 20 0 1 0 336789384 26341376 540 33554432000 4194304 4198148 140735880032544 140735880031472 239876501534 0 0 4230 16384 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/8917/statm: 6431 540 387 1 0 226 0
Current children cumulated CPU time (s) 0.26
Current children cumulated vsize (KiB) 25724
[startup+0.700175 s]
/proc/loadavg: 2.02 2.01 2.00 3/178 8917
/proc/meminfo: memFree=27654840/32873844 swapFree=7384/7384
[pid=8917] ppid=8915 vsize=25724 CPUtime=0.38 cores=0,2,4,6
/proc/8917/stat : 8917 (pbclasp) S 8915 8917 14418 0 -1 4202496 1264 15022 0 0 0 0 35 3 20 0 1 0 336789384 26341376 540 33554432000 4194304 4198148 140735880032544 140735880031472 239876501534 0 0 4230 16384 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/8917/statm: 6431 540 387 1 0 226 0
Current children cumulated CPU time (s) 0.38
Current children cumulated vsize (KiB) 25724
[startup+1.50025 s]
/proc/loadavg: 2.02 2.01 2.00 3/181 8967
/proc/meminfo: memFree=27652064/32873844 swapFree=7384/7384
[pid=8917] ppid=8915 vsize=25724 CPUtime=0.38 cores=0,2,4,6
/proc/8917/stat : 8917 (pbclasp) S 8915 8917 14418 0 -1 4202496 1264 15022 0 0 0 0 35 3 20 0 1 0 336789384 26341376 540 33554432000 4194304 4198148 140735880032544 140735880031472 239876501534 0 0 4230 16384 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/8917/statm: 6431 540 387 1 0 226 0
[pid=8965] ppid=8917 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/8965/stat : 8965 (sh) S 8917 8917 14418 0 -1 4202496 371 219 0 0 0 0 0 0 20 0 1 0 336789425 9367552 264 33554432000 4194304 5064252 140737344253872 140737344252128 239872927310 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/8965/statm: 2287 264 223 213 0 72 0
[pid=8967] ppid=8965 vsize=4656 CPUtime=1.08 cores=0,2,4,6
/proc/8967/stat : 8967 (clasp-1.0) R 8965 8917 14418 0 -1 4202496 745 0 0 0 108 0 0 0 20 0 1 0 336789425 4767744 643 33554432000 134512640 134847168 4290903088 4290901728 134782452 0 0 4096 0 0 0 0 17 0 0 0 0 0 0
/proc/8967/statm: 1164 643 272 82 0 405 0
Current children cumulated CPU time (s) 1.46
Current children cumulated vsize (KiB) 39528
[startup+3.10017 s]
/proc/loadavg: 2.02 2.01 2.00 3/181 8967
/proc/meminfo: memFree=27651196/32873844 swapFree=7384/7384
[pid=8917] ppid=8915 vsize=25724 CPUtime=2.46 cores=0,2,4,6
/proc/8917/stat : 8917 (pbclasp) S 8915 8917 14418 0 -1 4202496 1380 17753 0 0 0 0 243 3 20 0 1 0 336789384 26341376 540 33554432000 4194304 4198148 140735880032544 140735880031472 239876501534 0 0 4230 16384 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/8917/statm: 6431 540 387 1 0 226 0
Current children cumulated CPU time (s) 2.46
Current children cumulated vsize (KiB) 25724
heavy processes:
[startup+6.30025 s]
/proc/loadavg: 2.02 2.01 2.00 3/181 8975
/proc/meminfo: memFree=27648596/32873844 swapFree=7384/7384
[pid=8917] ppid=8915 vsize=25724 CPUtime=2.46 cores=0,2,4,6
/proc/8917/stat : 8917 (pbclasp) S 8915 8917 14418 0 -1 4202496 1380 17753 0 0 0 0 243 3 20 0 1 0 336789384 26341376 540 33554432000 4194304 4198148 140735880032544 140735880031472 239876501534 0 0 4230 16384 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/8917/statm: 6431 540 387 1 0 226 0
[pid=8973] ppid=8917 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/8973/stat : 8973 (sh) S 8917 8917 14418 0 -1 4202496 370 220 0 0 0 0 0 0 20 0 1 0 336789644 9367552 263 33554432000 4194304 5064252 140734004043616 140734004041872 239872927310 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/8973/statm: 2287 263 223 213 0 72 0
[pid=8975] ppid=8973 vsize=4916 CPUtime=3.69 cores=0,2,4,6
/proc/8975/stat : 8975 (clasp-1.0) R 8973 8917 14418 0 -1 4202496 811 0 0 0 369 0 0 0 20 0 1 0 336789644 5033984 709 33554432000 134512640 134847168 4291962224 4291960864 134715273 0 0 4096 0 0 0 0 17 0 0 0 0 0 0
/proc/8975/statm: 1229 709 270 82 0 470 0
Current children cumulated CPU time (s) 6.15
Current children cumulated vsize (KiB) 39788
[startup+12.7003 s]
/proc/loadavg: 2.02 2.01 2.00 3/181 8975
/proc/meminfo: memFree=27646264/32873844 swapFree=7384/7384
[pid=8917] ppid=8915 vsize=25724 CPUtime=2.46 cores=0,2,4,6
/proc/8917/stat : 8917 (pbclasp) S 8915 8917 14418 0 -1 4202496 1380 17753 0 0 0 0 243 3 20 0 1 0 336789384 26341376 540 33554432000 4194304 4198148 140735880032544 140735880031472 239876501534 0 0 4230 16384 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/8917/statm: 6431 540 387 1 0 226 0
[pid=8973] ppid=8917 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/8973/stat : 8973 (sh) S 8917 8917 14418 0 -1 4202496 370 220 0 0 0 0 0 0 20 0 1 0 336789644 9367552 263 33554432000 4194304 5064252 140734004043616 140734004041872 239872927310 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/8973/statm: 2287 263 223 213 0 72 0
[pid=8975] ppid=8973 vsize=5452 CPUtime=10.09 cores=0,2,4,6
/proc/8975/stat : 8975 (clasp-1.0) R 8973 8917 14418 0 -1 4202496 960 0 0 0 1009 0 0 0 20 0 1 0 336789644 5582848 858 33554432000 134512640 134847168 4291962224 4291960848 134784657 0 0 4096 0 0 0 0 17 0 0 0 0 0 0
/proc/8975/statm: 1363 858 270 82 0 604 0
Current children cumulated CPU time (s) 12.55
Current children cumulated vsize (KiB) 40324
[startup+25.5003 s]
/proc/loadavg: 2.01 2.01 2.00 3/181 8975
/proc/meminfo: memFree=27645404/32873844 swapFree=7384/7384
[pid=8917] ppid=8915 vsize=25724 CPUtime=2.46 cores=0,2,4,6
/proc/8917/stat : 8917 (pbclasp) S 8915 8917 14418 0 -1 4202496 1380 17753 0 0 0 0 243 3 20 0 1 0 336789384 26341376 540 33554432000 4194304 4198148 140735880032544 140735880031472 239876501534 0 0 4230 16384 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/8917/statm: 6431 540 387 1 0 226 0
[pid=8973] ppid=8917 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/8973/stat : 8973 (sh) S 8917 8917 14418 0 -1 4202496 370 220 0 0 0 0 0 0 20 0 1 0 336789644 9367552 263 33554432000 4194304 5064252 140734004043616 140734004041872 239872927310 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/8973/statm: 2287 263 223 213 0 72 0
[pid=8975] ppid=8973 vsize=6100 CPUtime=22.89 cores=0,2,4,6
/proc/8975/stat : 8975 (clasp-1.0) R 8973 8917 14418 0 -1 4202496 1096 0 0 0 2289 0 0 0 20 0 1 0 336789644 6246400 994 33554432000 134512640 134847168 4291962224 4291960848 134784798 0 0 4096 0 0 0 0 17 0 0 0 0 0 0
/proc/8975/statm: 1525 994 270 82 0 766 0
Current children cumulated CPU time (s) 25.35
Current children cumulated vsize (KiB) 40972
Solver just ended. Dumping a history of the last processes samples
[startup+38.3003 s]
/proc/loadavg: 2.01 2.01 2.00 3/181 8975
/proc/meminfo: memFree=27644036/32873844 swapFree=7384/7384
[pid=8917] ppid=8915 vsize=25724 CPUtime=2.46 cores=0,2,4,6
/proc/8917/stat : 8917 (pbclasp) S 8915 8917 14418 0 -1 4202496 1380 17753 0 0 0 0 243 3 20 0 1 0 336789384 26341376 540 33554432000 4194304 4198148 140735880032544 140735880031472 239876501534 0 0 4230 16384 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/8917/statm: 6431 540 387 1 0 226 0
[pid=8973] ppid=8917 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/8973/stat : 8973 (sh) S 8917 8917 14418 0 -1 4202496 370 220 0 0 0 0 0 0 20 0 1 0 336789644 9367552 263 33554432000 4194304 5064252 140734004043616 140734004041872 239872927310 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/8973/statm: 2287 263 223 213 0 72 0
[pid=8975] ppid=8973 vsize=6240 CPUtime=35.69 cores=0,2,4,6
/proc/8975/stat : 8975 (clasp-1.0) R 8973 8917 14418 0 -1 4202496 1162 0 0 0 3569 0 0 0 20 0 1 0 336789644 6389760 1059 33554432000 134512640 134847168 4291962224 4291960864 134715276 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/8975/statm: 1560 1059 270 82 0 801 0
Current children cumulated CPU time (s) 38.15
Current children cumulated vsize (KiB) 41112
[startup+44.7003 s]
/proc/loadavg: 2.01 2.01 2.00 3/181 8983
/proc/meminfo: memFree=27644780/32873844 swapFree=7384/7384
[pid=8917] ppid=8915 vsize=25724 CPUtime=38.17 cores=0,2,4,6
/proc/8917/stat : 8917 (pbclasp) S 8915 8917 14418 0 -1 4202496 1495 20861 0 0 0 0 3813 4 20 0 1 0 336789384 26341376 540 33554432000 4194304 4198148 140735880032544 140735880031472 239876501534 0 0 4230 16384 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/8917/statm: 6431 540 387 1 0 226 0
[pid=8981] ppid=8917 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/8981/stat : 8981 (sh) S 8917 8917 14418 0 -1 4202496 370 219 0 0 0 0 0 0 20 0 1 0 336793216 9367552 263 33554432000 4194304 5064252 140734788569904 140734788568160 239872927310 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/8981/statm: 2287 263 223 213 0 72 0
[pid=8983] ppid=8981 vsize=5048 CPUtime=6.37 cores=0,2,4,6
/proc/8983/stat : 8983 (clasp-1.0) R 8981 8917 14418 0 -1 4202496 850 0 0 0 637 0 0 0 20 0 1 0 336793216 5169152 748 33554432000 134512640 134847168 4287692208 4287690892 134784496 0 0 4096 0 0 0 0 17 0 0 0 0 0 0
/proc/8983/statm: 1262 748 270 82 0 503 0
Current children cumulated CPU time (s) 44.54
Current children cumulated vsize (KiB) 39920
[startup+47.9003 s]
/proc/loadavg: 2.01 2.01 2.00 3/181 8983
/proc/meminfo: memFree=27644036/32873844 swapFree=7384/7384
[pid=8917] ppid=8915 vsize=25724 CPUtime=38.17 cores=0,2,4,6
/proc/8917/stat : 8917 (pbclasp) S 8915 8917 14418 0 -1 4202496 1495 20861 0 0 0 0 3813 4 20 0 1 0 336789384 26341376 540 33554432000 4194304 4198148 140735880032544 140735880031472 239876501534 0 0 4230 16384 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/8917/statm: 6431 540 387 1 0 226 0
[pid=8981] ppid=8917 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/8981/stat : 8981 (sh) S 8917 8917 14418 0 -1 4202496 370 219 0 0 0 0 0 0 20 0 1 0 336793216 9367552 263 33554432000 4194304 5064252 140734788569904 140734788568160 239872927310 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/8981/statm: 2287 263 223 213 0 72 0
[pid=8983] ppid=8981 vsize=5308 CPUtime=9.57 cores=0,2,4,6
/proc/8983/stat : 8983 (clasp-1.0) R 8981 8917 14418 0 -1 4202496 906 0 0 0 957 0 0 0 20 0 1 0 336793216 5435392 804 33554432000 134512640 134847168 4287692208 4287690832 134784551 0 0 4096 0 0 0 0 17 0 0 0 0 0 0
/proc/8983/statm: 1327 804 270 82 0 568 0
Current children cumulated CPU time (s) 47.74
Current children cumulated vsize (KiB) 40180
[startup+48.7002 s]
/proc/loadavg: 2.01 2.01 2.00 3/180 8983
/proc/meminfo: memFree=27643920/32873844 swapFree=7384/7384
[pid=8917] ppid=8915 vsize=25724 CPUtime=38.17 cores=0,2,4,6
/proc/8917/stat : 8917 (pbclasp) S 8915 8917 14418 0 -1 4202496 1495 20861 0 0 0 0 3813 4 20 0 1 0 336789384 26341376 540 33554432000 4194304 4198148 140735880032544 140735880031472 239876501534 0 0 4230 16384 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/8917/statm: 6431 540 387 1 0 226 0
[pid=8981] ppid=8917 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/8981/stat : 8981 (sh) S 8917 8917 14418 0 -1 4202496 370 219 0 0 0 0 0 0 20 0 1 0 336793216 9367552 263 33554432000 4194304 5064252 140734788569904 140734788568160 239872927310 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/8981/statm: 2287 263 223 213 0 72 0
[pid=8983] ppid=8981 vsize=5308 CPUtime=10.37 cores=0,2,4,6
/proc/8983/stat : 8983 (clasp-1.0) R 8981 8917 14418 0 -1 4202496 909 0 0 0 1037 0 0 0 20 0 1 0 336793216 5435392 807 33554432000 134512640 134847168 4287692208 4287690832 134784800 0 0 4096 0 0 0 0 17 0 0 0 0 0 0
/proc/8983/statm: 1327 807 270 82 0 568 0
Current children cumulated CPU time (s) 48.54
Current children cumulated vsize (KiB) 40180
[startup+49.1003 s]
/proc/loadavg: 2.01 2.01 2.00 3/180 8983
/proc/meminfo: memFree=27643920/32873844 swapFree=7384/7384
[pid=8917] ppid=8915 vsize=25724 CPUtime=38.17 cores=0,2,4,6
/proc/8917/stat : 8917 (pbclasp) S 8915 8917 14418 0 -1 4202496 1495 20861 0 0 0 0 3813 4 20 0 1 0 336789384 26341376 540 33554432000 4194304 4198148 140735880032544 140735880031472 239876501534 0 0 4230 16384 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/8917/statm: 6431 540 387 1 0 226 0
[pid=8981] ppid=8917 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/8981/stat : 8981 (sh) S 8917 8917 14418 0 -1 4202496 370 219 0 0 0 0 0 0 20 0 1 0 336793216 9367552 263 33554432000 4194304 5064252 140734788569904 140734788568160 239872927310 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/8981/statm: 2287 263 223 213 0 72 0
[pid=8983] ppid=8981 vsize=5308 CPUtime=10.77 cores=0,2,4,6
/proc/8983/stat : 8983 (clasp-1.0) R 8981 8917 14418 0 -1 4202496 918 0 0 0 1077 0 0 0 20 0 1 0 336793216 5435392 816 33554432000 134512640 134847168 4287692208 4287690832 134784711 0 0 4096 0 0 0 0 17 0 0 0 0 0 0
/proc/8983/statm: 1327 816 270 82 0 568 0
Current children cumulated CPU time (s) 48.94
Current children cumulated vsize (KiB) 40180
[startup+49.3002 s]
/proc/loadavg: 2.01 2.01 2.00 3/180 8983
/proc/meminfo: memFree=27643920/32873844 swapFree=7384/7384
[pid=8917] ppid=8915 vsize=25724 CPUtime=38.17 cores=0,2,4,6
/proc/8917/stat : 8917 (pbclasp) S 8915 8917 14418 0 -1 4202496 1495 20861 0 0 0 0 3813 4 20 0 1 0 336789384 26341376 540 33554432000 4194304 4198148 140735880032544 140735880031472 239876501534 0 0 4230 16384 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/8917/statm: 6431 540 387 1 0 226 0
[pid=8981] ppid=8917 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/8981/stat : 8981 (sh) S 8917 8917 14418 0 -1 4202496 370 219 0 0 0 0 0 0 20 0 1 0 336793216 9367552 263 33554432000 4194304 5064252 140734788569904 140734788568160 239872927310 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/8981/statm: 2287 263 223 213 0 72 0
[pid=8983] ppid=8981 vsize=5308 CPUtime=10.97 cores=0,2,4,6
/proc/8983/stat : 8983 (clasp-1.0) R 8981 8917 14418 0 -1 4202496 918 0 0 0 1097 0 0 0 20 0 1 0 336793216 5435392 816 33554432000 134512640 134847168 4287692208 4287690848 134715276 0 0 4096 0 0 0 0 17 0 0 0 0 0 0
/proc/8983/statm: 1327 816 270 82 0 568 0
Current children cumulated CPU time (s) 49.14
Current children cumulated vsize (KiB) 40180
Child status: 0
Real time (s): 49.3593
CPU time (s): 49.2325
CPU user time (s): 49.1735
CPU system time (s): 0.058991
CPU usage (%): 99.7432
Max. virtual memory (cumulated for all children) (KiB): 41112
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 49.1735
system time used= 0.058991
maximum resident set size= 4316
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 24238
page faults= 0
swaps= 0
block input operations= 0
block output operations= 2872
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 368
involuntary context switches= 164
runsolver used 0.069989 second user time and 0.218966 second system time
The end