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-3698691-1338048737/watcher-3698691-1338048737 -o /tmp/evaluation-result-3698691-1338048737/solver-3698691-1338048737 -C 1800 -W 1900 -M 15500 HOME/npSolver-pbo-I.sh HOME/instance-3698691-1338048737.opb 1937206981 HOME HOME
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: 1.09 1.43 1.74 4/173 17318
/proc/meminfo: memFree=28257456/32873852 swapFree=6848/6848
[pid=17318] ppid=17314 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/17318/stat : 17318 (npSolver-pbo-I.) S 17314 17318 14323 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 270999692 9367552 275 33554432000 4194304 5064252 140736199681392 140736199680304 273448330830 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/17318/statm: 2287 275 233 213 0 72 0
[startup+0.068746 s]
/proc/loadavg: 1.09 1.43 1.74 4/173 17318
/proc/meminfo: memFree=28257456/32873852 swapFree=6848/6848
[pid=17318] ppid=17314 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/17318/stat : 17318 (npSolver-pbo-I.) S 17314 17318 14323 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 270999692 9367552 275 33554432000 4194304 5064252 140736199681392 140736199680304 273448330830 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/17318/statm: 2287 275 233 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148
[startup+0.10026 s]
/proc/loadavg: 1.09 1.43 1.74 4/173 17318
/proc/meminfo: memFree=28257456/32873852 swapFree=6848/6848
[pid=17318] ppid=17314 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/17318/stat : 17318 (npSolver-pbo-I.) S 17314 17318 14323 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 270999692 9367552 275 33554432000 4194304 5064252 140736199681392 140736199680304 273448330830 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/17318/statm: 2287 275 233 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148
[startup+0.300225 s]
/proc/loadavg: 1.09 1.43 1.74 4/173 17318
/proc/meminfo: memFree=28257456/32873852 swapFree=6848/6848
[pid=17318] ppid=17314 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/17318/stat : 17318 (npSolver-pbo-I.) S 17314 17318 14323 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 270999692 9367552 275 33554432000 4194304 5064252 140736199681392 140736199680304 273448330830 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/17318/statm: 2287 275 233 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148
[startup+0.700226 s]
/proc/loadavg: 1.09 1.43 1.74 4/173 17318
/proc/meminfo: memFree=28257456/32873852 swapFree=6848/6848
[pid=17318] ppid=17314 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/17318/stat : 17318 (npSolver-pbo-I.) S 17314 17318 14323 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 270999692 9367552 275 33554432000 4194304 5064252 140736199681392 140736199680304 273448330830 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/17318/statm: 2287 275 233 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148
[startup+1.50029 s]
/proc/loadavg: 1.09 1.43 1.74 4/177 17322
/proc/meminfo: memFree=28243308/32873852 swapFree=6848/6848
[pid=17318] ppid=17314 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/17318/stat : 17318 (npSolver-pbo-I.) S 17314 17318 14323 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 270999692 9367552 275 33554432000 4194304 5064252 140736199681392 140736199680304 273448330830 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/17318/statm: 2287 275 233 213 0 72 0
[pid=17319] ppid=17318 vsize=59236 CPUtime=1.49 cores=1,3,5,7
/proc/17319/stat : 17319 (npSolver-pbo) R 17318 17318 14323 0 -1 4202496 9299 0 0 0 147 2 0 0 20 0 1 0 270999692 60657664 11823 33554432000 4194304 5992684 140736504962464 140736504958200 4227664 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/17319/statm: 14809 11823 158 440 0 14365 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 68384
[startup+3.10031 s]
/proc/loadavg: 1.09 1.43 1.74 4/177 17322
/proc/meminfo: memFree=28042212/32873852 swapFree=6848/6848
[pid=17318] ppid=17314 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/17318/stat : 17318 (npSolver-pbo-I.) S 17314 17318 14323 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 270999692 9367552 275 33554432000 4194304 5064252 140736199681392 140736199680304 273448330830 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/17318/statm: 2287 275 233 213 0 72 0
[pid=17319] ppid=17318 vsize=222248 CPUtime=3.09 cores=1,3,5,7
/proc/17319/stat : 17319 (npSolver-pbo) R 17318 17318 14323 0 -1 4202496 26570 0 0 0 302 7 0 0 20 0 1 0 270999692 227581952 45909 33554432000 4194304 5992684 140736504962464 140736504955304 5044375 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/17319/statm: 55562 45909 158 440 0 55118 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 231396
[startup+6.30033 s]
/proc/loadavg: 1.16 1.44 1.74 3/177 17322
/proc/meminfo: memFree=27467028/32873852 swapFree=6848/6848
[pid=17318] ppid=17314 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/17318/stat : 17318 (npSolver-pbo-I.) S 17314 17318 14323 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 270999692 9367552 275 33554432000 4194304 5064252 140736199681392 140736199680304 273448330830 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/17318/statm: 2287 275 233 213 0 72 0
[pid=17319] ppid=17318 vsize=478372 CPUtime=6.23 cores=1,3,5,7
/proc/17319/stat : 17319 (npSolver-pbo) S 17318 17318 14323 0 -1 4204032 58469 0 0 0 604 19 0 0 20 0 1 0 270999692 489852928 114536 33554432000 4194304 5992684 140736504962464 140736504954952 4336000 0 0 4096 0 18446744071580380219 0 0 17 3 0 0 0 0 0
/proc/17319/statm: 119593 114536 163 440 0 119149 0
Current children cumulated CPU time (s) 6.23
Current children cumulated vsize (KiB) 487520
[startup+12.7003 s]
/proc/loadavg: 1.39 1.48 1.75 1/180 17325
/proc/meminfo: memFree=25359728/32873852 swapFree=6848/6848
[pid=17318] ppid=17314 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/17318/stat : 17318 (npSolver-pbo-I.) S 17314 17318 14323 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 270999692 9367552 275 33554432000 4194304 5064252 140736199681392 140736199680304 273448330830 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/17318/statm: 2287 275 233 213 0 72 0
[pid=17319] ppid=17318 vsize=478372 CPUtime=6.5 cores=1,3,5,7
/proc/17319/stat : 17319 (npSolver-pbo) S 17318 17318 14323 0 -1 4204032 58470 0 0 0 604 46 0 0 20 0 1 0 270999692 489852928 114537 33554432000 4194304 5992684 140736504962464 140736504954952 4336000 0 0 4096 0 18446744071580380219 0 0 17 3 0 0 0 0 0
/proc/17319/statm: 119593 114537 164 440 0 119149 0
Current children cumulated CPU time (s) 6.5
Current children cumulated vsize (KiB) 487520
heavy processes:
%CPU=29 pid=17323 uid=0 cmd=
%CPU=28 pid=17325 uid=0 cmd=/usr/libexec/abrt-hook-ccpp /var/spool/abrt 17320 11 506 18446744073709551615
[startup+25.5003 s]
/proc/loadavg: 1.97 1.61 1.79 1/180 17325
/proc/meminfo: memFree=25365200/32873852 swapFree=6848/6848
[pid=17318] ppid=17314 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/17318/stat : 17318 (npSolver-pbo-I.) S 17314 17318 14323 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 270999692 9367552 275 33554432000 4194304 5064252 140736199681392 140736199680304 273448330830 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/17318/statm: 2287 275 233 213 0 72 0
[pid=17319] ppid=17318 vsize=478372 CPUtime=6.5 cores=1,3,5,7
/proc/17319/stat : 17319 (npSolver-pbo) S 17318 17318 14323 0 -1 4204032 58470 0 0 0 604 46 0 0 20 0 1 0 270999692 489852928 114537 33554432000 4194304 5992684 140736504962464 140736504954952 4336000 0 0 4096 0 18446744071580380219 0 0 17 3 0 0 0 0 0
/proc/17319/statm: 119593 114537 164 440 0 119149 0
Current children cumulated CPU time (s) 6.5
Current children cumulated vsize (KiB) 487520
heavy processes:
Solver just ended. Dumping a history of the last processes samples
[startup+25.607 s]
/proc/loadavg: 1.97 1.61 1.79 2/180 17325
/proc/meminfo: memFree=25365200/32873852 swapFree=6848/6848
[pid=17318] ppid=17314 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/17318/stat : 17318 (npSolver-pbo-I.) S 17314 17318 14323 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 270999692 9367552 275 33554432000 4194304 5064252 140736199681392 140736199680304 273448330830 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/17318/statm: 2287 275 233 213 0 72 0
[pid=17319] ppid=17318 vsize=478372 CPUtime=6.5 cores=1,3,5,7
/proc/17319/stat : 17319 (npSolver-pbo) S 17318 17318 14323 0 -1 4204032 58470 0 0 0 604 46 0 0 20 0 1 0 270999692 489852928 114537 33554432000 4194304 5992684 140736504962464 140736504954952 4336000 0 0 4096 0 18446744071580380219 0 0 17 3 0 0 0 0 0
/proc/17319/statm: 119593 114537 164 440 0 119149 0
Current children cumulated CPU time (s) 6.5
Current children cumulated vsize (KiB) 487520
[startup+28.8003 s]
/proc/loadavg: 1.97 1.61 1.79 1/180 17325
/proc/meminfo: memFree=25364580/32873852 swapFree=6848/6848
[pid=17318] ppid=17314 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/17318/stat : 17318 (npSolver-pbo-I.) S 17314 17318 14323 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 270999692 9367552 275 33554432000 4194304 5064252 140736199681392 140736199680304 273448330830 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/17318/statm: 2287 275 233 213 0 72 0
[pid=17319] ppid=17318 vsize=478372 CPUtime=6.5 cores=1,3,5,7
/proc/17319/stat : 17319 (npSolver-pbo) S 17318 17318 14323 0 -1 4204032 58470 0 0 0 604 46 0 0 20 0 1 0 270999692 489852928 114537 33554432000 4194304 5992684 140736504962464 140736504954952 4336000 0 0 4096 0 18446744071580380219 0 0 17 3 0 0 0 0 0
/proc/17319/statm: 119593 114537 164 440 0 119149 0
Current children cumulated CPU time (s) 6.5
Current children cumulated vsize (KiB) 487520
[startup+29.6003 s]
/proc/loadavg: 1.97 1.61 1.79 1/180 17325
/proc/meminfo: memFree=25364580/32873852 swapFree=6848/6848
[pid=17318] ppid=17314 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/17318/stat : 17318 (npSolver-pbo-I.) S 17314 17318 14323 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 270999692 9367552 275 33554432000 4194304 5064252 140736199681392 140736199680304 273448330830 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/17318/statm: 2287 275 233 213 0 72 0
[pid=17319] ppid=17318 vsize=478372 CPUtime=6.5 cores=1,3,5,7
/proc/17319/stat : 17319 (npSolver-pbo) S 17318 17318 14323 0 -1 4204032 58470 0 0 0 604 46 0 0 20 0 1 0 270999692 489852928 114537 33554432000 4194304 5992684 140736504962464 140736504954952 4336000 0 0 4096 0 18446744071580380219 0 0 17 3 0 0 0 0 0
/proc/17319/statm: 119593 114537 164 440 0 119149 0
Current children cumulated CPU time (s) 6.5
Current children cumulated vsize (KiB) 487520
[startup+30.0003 s]
/proc/loadavg: 1.97 1.61 1.79 1/180 17325
/proc/meminfo: memFree=25364580/32873852 swapFree=6848/6848
[pid=17318] ppid=17314 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/17318/stat : 17318 (npSolver-pbo-I.) S 17314 17318 14323 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 270999692 9367552 275 33554432000 4194304 5064252 140736199681392 140736199680304 273448330830 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/17318/statm: 2287 275 233 213 0 72 0
[pid=17319] ppid=17318 vsize=478372 CPUtime=6.5 cores=1,3,5,7
/proc/17319/stat : 17319 (npSolver-pbo) S 17318 17318 14323 0 -1 4204032 58470 0 0 0 604 46 0 0 20 0 1 0 270999692 489852928 114537 33554432000 4194304 5992684 140736504962464 140736504954952 4336000 0 0 4096 0 18446744071580380219 0 0 17 3 0 0 0 0 0
/proc/17319/statm: 119593 114537 164 440 0 119149 0
Current children cumulated CPU time (s) 6.5
Current children cumulated vsize (KiB) 487520
[startup+30.4003 s]
/proc/loadavg: 1.97 1.61 1.79 1/180 17325
/proc/meminfo: memFree=25364580/32873852 swapFree=6848/6848
[pid=17318] ppid=17314 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/17318/stat : 17318 (npSolver-pbo-I.) S 17314 17318 14323 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 270999692 9367552 275 33554432000 4194304 5064252 140736199681392 140736199680304 273448330830 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/17318/statm: 2287 275 233 213 0 72 0
[pid=17319] ppid=17318 vsize=478372 CPUtime=6.5 cores=1,3,5,7
/proc/17319/stat : 17319 (npSolver-pbo) S 17318 17318 14323 0 -1 4204032 58470 0 0 0 604 46 0 0 20 0 1 0 270999692 489852928 114537 33554432000 4194304 5992684 140736504962464 140736504954952 4336000 0 0 4096 0 18446744071580380219 0 0 17 3 0 0 0 0 0
/proc/17319/statm: 119593 114537 164 440 0 119149 0
Current children cumulated CPU time (s) 6.5
Current children cumulated vsize (KiB) 487520
[startup+30.5003 s]
/proc/loadavg: 1.97 1.61 1.79 1/180 17325
/proc/meminfo: memFree=25364580/32873852 swapFree=6848/6848
[pid=17318] ppid=17314 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/17318/stat : 17318 (npSolver-pbo-I.) S 17314 17318 14323 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 270999692 9367552 275 33554432000 4194304 5064252 140736199681392 140736199680304 273448330830 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/17318/statm: 2287 275 233 213 0 72 0
[pid=17319] ppid=17318 vsize=478372 CPUtime=6.5 cores=1,3,5,7
/proc/17319/stat : 17319 (npSolver-pbo) S 17318 17318 14323 0 -1 4204032 58470 0 0 0 604 46 0 0 20 0 1 0 270999692 489852928 114537 33554432000 4194304 5992684 140736504962464 140736504954952 4336000 0 0 4096 0 18446744071580380219 0 0 17 3 0 0 0 0 0
/proc/17319/statm: 119593 114537 164 440 0 119149 0
Current children cumulated CPU time (s) 6.5
Current children cumulated vsize (KiB) 487520
Child status: 0
Real time (s): 30.5841
CPU time (s): 6.52501
CPU user time (s): 6.04408
CPU system time (s): 0.480926
CPU usage (%): 21.3346
Max. virtual memory (cumulated for all children) (KiB): 526256
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 6.04408
system time used= 0.480926
maximum resident set size= 458148
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 58845
page faults= 0
swaps= 0
block input operations= 0
block output operations= 0
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 118909
involuntary context switches= 8
runsolver used 0.047992 second user time and 0.166974 second system time
The end