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-3729613-1338679447/watcher-3729613-1338679447 -o /tmp/evaluation-result-3729613-1338679447/solver-3729613-1338679447 -C 1800 -W 1900 -M 15500 pbclasp instance-3729613-1338679447.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.00 1.17 0.72 3/179 25168
/proc/meminfo: memFree=27987764/32873844 swapFree=7384/7384
[pid=25168] ppid=25166 vsize=25592 CPUtime=0 cores=1,3,5,7
/proc/25168/stat : 25168 (pbclasp) S 25166 25168 14418 0 -1 4202496 575 0 0 0 0 0 0 0 20 0 1 0 334070187 26206208 486 33554432000 4194304 4198148 140736928418464 140736928417352 239876498672 0 0 4224 16384 18446744071580380219 0 0 17 1 0 0 0 0 0
/proc/25168/statm: 6398 486 363 1 0 193 0
[startup+0.0145339 s]
/proc/loadavg: 2.00 1.17 0.72 3/179 25168
/proc/meminfo: memFree=27987764/32873844 swapFree=7384/7384
[pid=25168] ppid=25166 vsize=25592 CPUtime=0 cores=1,3,5,7
/proc/25168/stat : 25168 (pbclasp) S 25166 25168 14418 0 -1 4202496 575 0 0 0 0 0 0 0 20 0 1 0 334070187 26206208 486 33554432000 4194304 4198148 140736928418464 140736928417352 239876498672 0 0 4224 16384 18446744071580380219 0 0 17 1 0 0 0 0 0
/proc/25168/statm: 6398 486 363 1 0 193 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 25592
[startup+0.100222 s]
/proc/loadavg: 2.00 1.17 0.72 3/179 25168
/proc/meminfo: memFree=27987764/32873844 swapFree=7384/7384
[pid=25168] ppid=25166 vsize=25592 CPUtime=0 cores=1,3,5,7
/proc/25168/stat : 25168 (pbclasp) S 25166 25168 14418 0 -1 4202496 575 0 0 0 0 0 0 0 20 0 1 0 334070187 26206208 486 33554432000 4194304 4198148 140736928418464 140736928417352 239876498672 0 0 4224 16384 18446744071580380219 0 0 17 1 0 0 0 0 0
/proc/25168/statm: 6398 486 363 1 0 193 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 25592
[startup+0.300219 s]
/proc/loadavg: 2.00 1.17 0.72 3/179 25168
/proc/meminfo: memFree=27987764/32873844 swapFree=7384/7384
[pid=25168] ppid=25166 vsize=25592 CPUtime=0 cores=1,3,5,7
/proc/25168/stat : 25168 (pbclasp) S 25166 25168 14418 0 -1 4202496 575 0 0 0 0 0 0 0 20 0 1 0 334070187 26206208 486 33554432000 4194304 4198148 140736928418464 140736928417352 239876498672 0 0 4224 16384 18446744071580380219 0 0 17 1 0 0 0 0 0
/proc/25168/statm: 6398 486 363 1 0 193 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 25592
[startup+0.700236 s]
/proc/loadavg: 2.00 1.17 0.72 3/179 25168
/proc/meminfo: memFree=27987764/32873844 swapFree=7384/7384
[pid=25168] ppid=25166 vsize=25592 CPUtime=0 cores=1,3,5,7
/proc/25168/stat : 25168 (pbclasp) S 25166 25168 14418 0 -1 4202496 575 0 0 0 0 0 0 0 20 0 1 0 334070187 26206208 486 33554432000 4194304 4198148 140736928418464 140736928417352 239876498672 0 0 4224 16384 18446744071580380219 0 0 17 1 0 0 0 0 0
/proc/25168/statm: 6398 486 363 1 0 193 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 25592
[startup+1.50033 s]
/proc/loadavg: 2.00 1.17 0.72 3/183 25173
/proc/meminfo: memFree=27984888/32873844 swapFree=7384/7384
[pid=25168] ppid=25166 vsize=25592 CPUtime=0 cores=1,3,5,7
/proc/25168/stat : 25168 (pbclasp) S 25166 25168 14418 0 -1 4202496 575 0 0 0 0 0 0 0 20 0 1 0 334070187 26206208 486 33554432000 4194304 4198148 140736928418464 140736928417352 239876498672 0 0 4224 16384 18446744071580380219 0 0 17 1 0 0 0 0 0
/proc/25168/statm: 6398 486 363 1 0 193 0
[pid=25169] ppid=25168 vsize=9148 CPUtime=0.09 cores=1,3,5,7
/proc/25169/stat : 25169 (sh) S 25168 25168 14418 0 -1 4202496 371 620 0 0 0 0 9 0 20 0 1 0 334070188 9367552 263 33554432000 4194304 5064252 140735574055744 140735574054000 239872927310 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/25169/statm: 2287 263 223 213 0 72 0
[pid=25171] ppid=25169 vsize=5092 CPUtime=1.4 cores=1,3,5,7
/proc/25171/stat : 25171 (clasp-1.0) R 25169 25168 14418 0 -1 4202496 841 0 0 0 140 0 0 0 20 0 1 0 334070188 5214208 749 33554432000 134512640 134847168 4289670864 4289669504 134782479 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/25171/statm: 1273 749 270 82 0 514 0
[pid=25172] ppid=25169 vsize=25460 CPUtime=0 cores=1,3,5,7
/proc/25172/stat : 25172 (pboutclasp.pl) S 25169 25168 14418 0 -1 4202496 536 0 0 0 0 0 0 0 20 0 1 0 334070188 26071040 437 33554432000 4194304 4198148 140734440319744 140734440310280 239876498672 0 0 4224 0 18446744071580380219 0 0 17 5 0 0 0 0 0
/proc/25172/statm: 6365 437 342 1 0 160 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 65292
[startup+3.10033 s]
/proc/loadavg: 2.00 1.19 0.73 3/183 25173
/proc/meminfo: memFree=27984144/32873844 swapFree=7384/7384
[pid=25168] ppid=25166 vsize=25592 CPUtime=0 cores=1,3,5,7
/proc/25168/stat : 25168 (pbclasp) S 25166 25168 14418 0 -1 4202496 575 0 0 0 0 0 0 0 20 0 1 0 334070187 26206208 486 33554432000 4194304 4198148 140736928418464 140736928417352 239876498672 0 0 4224 16384 18446744071580380219 0 0 17 1 0 0 0 0 0
/proc/25168/statm: 6398 486 363 1 0 193 0
[pid=25169] ppid=25168 vsize=9148 CPUtime=0.09 cores=1,3,5,7
/proc/25169/stat : 25169 (sh) S 25168 25168 14418 0 -1 4202496 371 620 0 0 0 0 9 0 20 0 1 0 334070188 9367552 263 33554432000 4194304 5064252 140735574055744 140735574054000 239872927310 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/25169/statm: 2287 263 223 213 0 72 0
[pid=25171] ppid=25169 vsize=5488 CPUtime=3 cores=1,3,5,7
/proc/25171/stat : 25171 (clasp-1.0) R 25169 25168 14418 0 -1 4202496 946 0 0 0 300 0 0 0 20 0 1 0 334070188 5619712 854 33554432000 134512640 134847168 4289670864 4289669504 134782636 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/25171/statm: 1372 854 270 82 0 613 0
[pid=25172] ppid=25169 vsize=25460 CPUtime=0 cores=1,3,5,7
/proc/25172/stat : 25172 (pboutclasp.pl) S 25169 25168 14418 0 -1 4202496 536 0 0 0 0 0 0 0 20 0 1 0 334070188 26071040 437 33554432000 4194304 4198148 140734440319744 140734440310280 239876498672 0 0 4224 0 18446744071580380219 0 0 17 5 0 0 0 0 0
/proc/25172/statm: 6365 437 342 1 0 160 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 65688
[startup+6.30033 s]
/proc/loadavg: 2.00 1.19 0.73 3/183 25173
/proc/meminfo: memFree=27983408/32873844 swapFree=7384/7384
[pid=25168] ppid=25166 vsize=25592 CPUtime=0 cores=1,3,5,7
/proc/25168/stat : 25168 (pbclasp) S 25166 25168 14418 0 -1 4202496 575 0 0 0 0 0 0 0 20 0 1 0 334070187 26206208 486 33554432000 4194304 4198148 140736928418464 140736928417352 239876498672 0 0 4224 16384 18446744071580380219 0 0 17 1 0 0 0 0 0
/proc/25168/statm: 6398 486 363 1 0 193 0
[pid=25169] ppid=25168 vsize=9148 CPUtime=0.09 cores=1,3,5,7
/proc/25169/stat : 25169 (sh) S 25168 25168 14418 0 -1 4202496 371 620 0 0 0 0 9 0 20 0 1 0 334070188 9367552 263 33554432000 4194304 5064252 140735574055744 140735574054000 239872927310 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/25169/statm: 2287 263 223 213 0 72 0
[pid=25171] ppid=25169 vsize=6148 CPUtime=6.2 cores=1,3,5,7
/proc/25171/stat : 25171 (clasp-1.0) R 25169 25168 14418 0 -1 4202496 1094 0 0 0 620 0 0 0 20 0 1 0 334070188 6295552 1002 33554432000 134512640 134847168 4289670864 4289669504 134782432 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/25171/statm: 1537 1002 270 82 0 778 0
[pid=25172] ppid=25169 vsize=25460 CPUtime=0 cores=1,3,5,7
/proc/25172/stat : 25172 (pboutclasp.pl) S 25169 25168 14418 0 -1 4202496 536 0 0 0 0 0 0 0 20 0 1 0 334070188 26071040 437 33554432000 4194304 4198148 140734440319744 140734440310280 239876498672 0 0 4224 0 18446744071580380219 0 0 17 5 0 0 0 0 0
/proc/25172/statm: 6365 437 342 1 0 160 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 66348
Solver just ended. Dumping a history of the last processes samples
[startup+7.90034 s]
/proc/loadavg: 2.00 1.20 0.73 3/183 25173
/proc/meminfo: memFree=27983060/32873844 swapFree=7384/7384
[pid=25168] ppid=25166 vsize=25592 CPUtime=0 cores=1,3,5,7
/proc/25168/stat : 25168 (pbclasp) S 25166 25168 14418 0 -1 4202496 575 0 0 0 0 0 0 0 20 0 1 0 334070187 26206208 486 33554432000 4194304 4198148 140736928418464 140736928417352 239876498672 0 0 4224 16384 18446744071580380219 0 0 17 1 0 0 0 0 0
/proc/25168/statm: 6398 486 363 1 0 193 0
[pid=25169] ppid=25168 vsize=9148 CPUtime=0.09 cores=1,3,5,7
/proc/25169/stat : 25169 (sh) S 25168 25168 14418 0 -1 4202496 371 620 0 0 0 0 9 0 20 0 1 0 334070188 9367552 263 33554432000 4194304 5064252 140735574055744 140735574054000 239872927310 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/25169/statm: 2287 263 223 213 0 72 0
[pid=25171] ppid=25169 vsize=6280 CPUtime=7.8 cores=1,3,5,7
/proc/25171/stat : 25171 (clasp-1.0) R 25169 25168 14418 0 -1 4202496 1149 0 0 0 780 0 0 0 20 0 1 0 334070188 6430720 1057 33554432000 134512640 134847168 4289670864 4289669596 134782304 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/25171/statm: 1570 1057 270 82 0 811 0
[pid=25172] ppid=25169 vsize=25460 CPUtime=0 cores=1,3,5,7
/proc/25172/stat : 25172 (pboutclasp.pl) S 25169 25168 14418 0 -1 4202496 536 0 0 0 0 0 0 0 20 0 1 0 334070188 26071040 437 33554432000 4194304 4198148 140734440319744 140734440310280 239876498672 0 0 4224 0 18446744071580380219 0 0 17 5 0 0 0 0 0
/proc/25172/statm: 6365 437 342 1 0 160 0
Current children cumulated CPU time (s) 7.89
Current children cumulated vsize (KiB) 66480
[startup+9.50033 s]
/proc/loadavg: 2.00 1.20 0.73 3/183 25173
/proc/meminfo: memFree=27982952/32873844 swapFree=7384/7384
[pid=25168] ppid=25166 vsize=25592 CPUtime=0 cores=1,3,5,7
/proc/25168/stat : 25168 (pbclasp) S 25166 25168 14418 0 -1 4202496 575 0 0 0 0 0 0 0 20 0 1 0 334070187 26206208 486 33554432000 4194304 4198148 140736928418464 140736928417352 239876498672 0 0 4224 16384 18446744071580380219 0 0 17 1 0 0 0 0 0
/proc/25168/statm: 6398 486 363 1 0 193 0
[pid=25169] ppid=25168 vsize=9148 CPUtime=0.09 cores=1,3,5,7
/proc/25169/stat : 25169 (sh) S 25168 25168 14418 0 -1 4202496 371 620 0 0 0 0 9 0 20 0 1 0 334070188 9367552 263 33554432000 4194304 5064252 140735574055744 140735574054000 239872927310 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/25169/statm: 2287 263 223 213 0 72 0
[pid=25171] ppid=25169 vsize=6552 CPUtime=9.4 cores=1,3,5,7
/proc/25171/stat : 25171 (clasp-1.0) R 25169 25168 14418 0 -1 4202496 1203 0 0 0 940 0 0 0 20 0 1 0 334070188 6709248 1111 33554432000 134512640 134847168 4289670864 4289669504 134782472 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/25171/statm: 1638 1111 270 82 0 879 0
[pid=25172] ppid=25169 vsize=25460 CPUtime=0 cores=1,3,5,7
/proc/25172/stat : 25172 (pboutclasp.pl) S 25169 25168 14418 0 -1 4202496 536 0 0 0 0 0 0 0 20 0 1 0 334070188 26071040 437 33554432000 4194304 4198148 140734440319744 140734440310280 239876498672 0 0 4224 0 18446744071580380219 0 0 17 5 0 0 0 0 0
/proc/25172/statm: 6365 437 342 1 0 160 0
Current children cumulated CPU time (s) 9.49
Current children cumulated vsize (KiB) 66752
[startup+9.90657 s]
/proc/loadavg: 2.00 1.20 0.73 3/183 25173
/proc/meminfo: memFree=27982640/32873844 swapFree=7384/7384
[pid=25168] ppid=25166 vsize=25592 CPUtime=0 cores=1,3,5,7
/proc/25168/stat : 25168 (pbclasp) S 25166 25168 14418 0 -1 4202496 575 0 0 0 0 0 0 0 20 0 1 0 334070187 26206208 486 33554432000 4194304 4198148 140736928418464 140736928417352 239876498672 0 0 4224 16384 18446744071580380219 0 0 17 1 0 0 0 0 0
/proc/25168/statm: 6398 486 363 1 0 193 0
[pid=25169] ppid=25168 vsize=9148 CPUtime=0.09 cores=1,3,5,7
/proc/25169/stat : 25169 (sh) S 25168 25168 14418 0 -1 4202496 371 620 0 0 0 0 9 0 20 0 1 0 334070188 9367552 263 33554432000 4194304 5064252 140735574055744 140735574054000 239872927310 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/25169/statm: 2287 263 223 213 0 72 0
[pid=25171] ppid=25169 vsize=6700 CPUtime=9.8 cores=1,3,5,7
/proc/25171/stat : 25171 (clasp-1.0) R 25169 25168 14418 0 -1 4202496 1228 0 0 0 980 0 0 0 20 0 1 0 334070188 6860800 1139 33554432000 134512640 134847168 4289670864 4289669632 134737681 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/25171/statm: 1675 1139 270 82 0 916 0
[pid=25172] ppid=25169 vsize=25460 CPUtime=0 cores=1,3,5,7
/proc/25172/stat : 25172 (pboutclasp.pl) S 25169 25168 14418 0 -1 4202496 536 0 0 0 0 0 0 0 20 0 1 0 334070188 26071040 437 33554432000 4194304 4198148 140734440319744 140734440310280 239876498672 0 0 4224 0 18446744071580380219 0 0 17 5 0 0 0 0 0
/proc/25172/statm: 6365 437 342 1 0 160 0
Current children cumulated CPU time (s) 9.89
Current children cumulated vsize (KiB) 66900
[startup+10.3003 s]
/proc/loadavg: 2.00 1.20 0.73 3/183 25173
/proc/meminfo: memFree=27982640/32873844 swapFree=7384/7384
[pid=25168] ppid=25166 vsize=25592 CPUtime=0 cores=1,3,5,7
/proc/25168/stat : 25168 (pbclasp) S 25166 25168 14418 0 -1 4202496 575 0 0 0 0 0 0 0 20 0 1 0 334070187 26206208 486 33554432000 4194304 4198148 140736928418464 140736928417352 239876498672 0 0 4224 16384 18446744071580380219 0 0 17 1 0 0 0 0 0
/proc/25168/statm: 6398 486 363 1 0 193 0
[pid=25169] ppid=25168 vsize=9148 CPUtime=0.09 cores=1,3,5,7
/proc/25169/stat : 25169 (sh) S 25168 25168 14418 0 -1 4202496 371 620 0 0 0 0 9 0 20 0 1 0 334070188 9367552 263 33554432000 4194304 5064252 140735574055744 140735574054000 239872927310 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/25169/statm: 2287 263 223 213 0 72 0
[pid=25171] ppid=25169 vsize=6700 CPUtime=10.2 cores=1,3,5,7
/proc/25171/stat : 25171 (clasp-1.0) R 25169 25168 14418 0 -1 4202496 1233 0 0 0 1020 0 0 0 20 0 1 0 334070188 6860800 1144 33554432000 134512640 134847168 4289670864 4289669504 134782633 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/25171/statm: 1675 1144 270 82 0 916 0
[pid=25172] ppid=25169 vsize=25460 CPUtime=0 cores=1,3,5,7
/proc/25172/stat : 25172 (pboutclasp.pl) S 25169 25168 14418 0 -1 4202496 536 0 0 0 0 0 0 0 20 0 1 0 334070188 26071040 437 33554432000 4194304 4198148 140734440319744 140734440310280 239876498672 0 0 4224 0 18446744071580380219 0 0 17 5 0 0 0 0 0
/proc/25172/statm: 6365 437 342 1 0 160 0
Current children cumulated CPU time (s) 10.29
Current children cumulated vsize (KiB) 66900
[startup+10.4003 s]
/proc/loadavg: 2.00 1.20 0.73 3/183 25173
/proc/meminfo: memFree=27982640/32873844 swapFree=7384/7384
[pid=25168] ppid=25166 vsize=25592 CPUtime=0 cores=1,3,5,7
/proc/25168/stat : 25168 (pbclasp) S 25166 25168 14418 0 -1 4202496 575 0 0 0 0 0 0 0 20 0 1 0 334070187 26206208 486 33554432000 4194304 4198148 140736928418464 140736928417352 239876498672 0 0 4224 16384 18446744071580380219 0 0 17 1 0 0 0 0 0
/proc/25168/statm: 6398 486 363 1 0 193 0
[pid=25169] ppid=25168 vsize=9148 CPUtime=0.09 cores=1,3,5,7
/proc/25169/stat : 25169 (sh) S 25168 25168 14418 0 -1 4202496 371 620 0 0 0 0 9 0 20 0 1 0 334070188 9367552 263 33554432000 4194304 5064252 140735574055744 140735574054000 239872927310 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/25169/statm: 2287 263 223 213 0 72 0
[pid=25171] ppid=25169 vsize=6700 CPUtime=10.3 cores=1,3,5,7
/proc/25171/stat : 25171 (clasp-1.0) R 25169 25168 14418 0 -1 4202496 1237 0 0 0 1030 0 0 0 20 0 1 0 334070188 6860800 1148 33554432000 134512640 134847168 4289670864 4289669504 134715268 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/25171/statm: 1675 1148 270 82 0 916 0
[pid=25172] ppid=25169 vsize=25460 CPUtime=0 cores=1,3,5,7
/proc/25172/stat : 25172 (pboutclasp.pl) S 25169 25168 14418 0 -1 4202496 536 0 0 0 0 0 0 0 20 0 1 0 334070188 26071040 437 33554432000 4194304 4198148 140734440319744 140734440310280 239876498672 0 0 4224 0 18446744071580380219 0 0 17 5 0 0 0 0 0
/proc/25172/statm: 6365 437 342 1 0 160 0
Current children cumulated CPU time (s) 10.39
Current children cumulated vsize (KiB) 66900
Child status: 0
Real time (s): 10.4422
CPU time (s): 10.4554
CPU user time (s): 10.4474
CPU system time (s): 0.007998
CPU usage (%): 100.126
Max. virtual memory (cumulated for all children) (KiB): 66900
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 10.4474
system time used= 0.007998
maximum resident set size= 4672
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 3457
page faults= 0
swaps= 0
block input operations= 0
block output operations= 16
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 39
involuntary context switches= 16
runsolver used 0.025996 second user time and 0.046992 second system time
The end