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-3750068-1339177406/watcher-3750068-1339177406 -o /tmp/evaluation-result-3750068-1339177406/solver-3750068-1339177406 -C 1800 -W 1900 -M 15500 HOME/npSolver-pbo.sh HOME/instance-3750068-1339177406.opb 1946990200 HOME HOME
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.10 2.03 2.01 3/177 10815
/proc/meminfo: memFree=31090980/32873844 swapFree=7380/7380
[pid=10815] ppid=10813 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/10815/stat : 10815 (npSolver-pbo.sh) S 10813 10815 10289 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 383866838 9367552 275 33554432000 4194304 5064252 140734684731648 140734684730560 251031873102 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/10815/statm: 2287 275 233 213 0 72 0
[startup+0.0633439 s]
/proc/loadavg: 2.10 2.03 2.01 3/177 10815
/proc/meminfo: memFree=31090980/32873844 swapFree=7380/7380
[pid=10815] ppid=10813 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/10815/stat : 10815 (npSolver-pbo.sh) S 10813 10815 10289 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 383866838 9367552 275 33554432000 4194304 5064252 140734684731648 140734684730560 251031873102 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/10815/statm: 2287 275 233 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148
[startup+0.100277 s]
/proc/loadavg: 2.10 2.03 2.01 3/177 10815
/proc/meminfo: memFree=31090980/32873844 swapFree=7380/7380
[pid=10815] ppid=10813 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/10815/stat : 10815 (npSolver-pbo.sh) S 10813 10815 10289 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 383866838 9367552 275 33554432000 4194304 5064252 140734684731648 140734684730560 251031873102 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/10815/statm: 2287 275 233 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148
[startup+0.300277 s]
/proc/loadavg: 2.10 2.03 2.01 3/177 10815
/proc/meminfo: memFree=31090980/32873844 swapFree=7380/7380
[pid=10815] ppid=10813 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/10815/stat : 10815 (npSolver-pbo.sh) S 10813 10815 10289 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 383866838 9367552 275 33554432000 4194304 5064252 140734684731648 140734684730560 251031873102 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/10815/statm: 2287 275 233 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148
[startup+0.70026 s]
/proc/loadavg: 2.10 2.03 2.01 3/177 10815
/proc/meminfo: memFree=31090980/32873844 swapFree=7380/7380
[pid=10815] ppid=10813 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/10815/stat : 10815 (npSolver-pbo.sh) S 10813 10815 10289 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 383866838 9367552 275 33554432000 4194304 5064252 140734684731648 140734684730560 251031873102 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/10815/statm: 2287 275 233 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148
[startup+1.50031 s]
/proc/loadavg: 2.10 2.03 2.01 3/179 10817
/proc/meminfo: memFree=30927480/32873844 swapFree=7380/7380
[pid=10815] ppid=10813 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/10815/stat : 10815 (npSolver-pbo.sh) S 10813 10815 10289 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 383866838 9367552 275 33554432000 4194304 5064252 140734684731648 140734684730560 251031873102 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/10815/statm: 2287 275 233 213 0 72 0
[pid=10816] ppid=10815 vsize=158924 CPUtime=1.48 cores=0,2,4,6
/proc/10816/stat : 10816 (npSolver-pbo) R 10815 10815 10289 0 -1 4202496 21801 0 0 0 145 3 0 0 20 0 1 0 383866838 162738176 34313 33554432000 4194304 6004724 140733399803552 140733399799576 4968639 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/10816/statm: 39731 34313 130 442 0 39285 0
Current children cumulated CPU time (s) 1.48
Current children cumulated vsize (KiB) 168072
[startup+3.10031 s]
/proc/loadavg: 2.10 2.03 2.01 3/179 10817
/proc/meminfo: memFree=30666708/32873844 swapFree=7380/7380
[pid=10815] ppid=10813 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/10815/stat : 10815 (npSolver-pbo.sh) S 10813 10815 10289 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 383866838 9367552 275 33554432000 4194304 5064252 140734684731648 140734684730560 251031873102 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/10815/statm: 2287 275 233 213 0 72 0
[pid=10816] ppid=10815 vsize=346528 CPUtime=3.08 cores=0,2,4,6
/proc/10816/stat : 10816 (npSolver-pbo) R 10815 10815 10289 0 -1 4202496 48981 0 0 0 299 9 0 0 20 0 1 0 383866838 354844672 81938 33554432000 4194304 6004724 140733399803552 140733399800360 4534738 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/10816/statm: 86632 81938 154 442 0 86186 0
Current children cumulated CPU time (s) 3.08
Current children cumulated vsize (KiB) 355676
[startup+6.30031 s]
/proc/loadavg: 2.17 2.04 2.01 3/181 10819
/proc/meminfo: memFree=29243328/32873844 swapFree=7380/7380
[pid=10815] ppid=10813 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/10815/stat : 10815 (npSolver-pbo.sh) S 10813 10815 10289 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 383866838 9367552 275 33554432000 4194304 5064252 140734684731648 140734684730560 251031873102 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/10815/statm: 2287 275 233 213 0 72 0
[pid=10816] ppid=10815 vsize=555336 CPUtime=4.77 cores=0,2,4,6
/proc/10816/stat : 10816 (npSolver-pbo) S 10815 10815 10289 0 -1 4204032 53444 0 0 0 428 49 0 0 20 0 1 0 383866838 568664064 106745 33554432000 4194304 6004724 140733399803552 140733399798152 4224055 0 0 4096 0 18446744071580380219 0 0 17 4 0 0 0 0 0
/proc/10816/statm: 138834 106745 155 442 0 138388 0
Current children cumulated CPU time (s) 4.77
Current children cumulated vsize (KiB) 564484
heavy processes:
%CPU=86 pid=10818 uid=0 cmd=
[startup+12.7003 s]
/proc/loadavg: 2.23 2.06 2.02 2/181 10819
/proc/meminfo: memFree=28930096/32873844 swapFree=7380/7380
[pid=10815] ppid=10813 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/10815/stat : 10815 (npSolver-pbo.sh) S 10813 10815 10289 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 383866838 9367552 275 33554432000 4194304 5064252 140734684731648 140734684730560 251031873102 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/10815/statm: 2287 275 233 213 0 72 0
[pid=10816] ppid=10815 vsize=555336 CPUtime=4.77 cores=0,2,4,6
/proc/10816/stat : 10816 (npSolver-pbo) S 10815 10815 10289 0 -1 4204032 53444 0 0 0 428 49 0 0 20 0 1 0 383866838 568664064 106745 33554432000 4194304 6004724 140733399803552 140733399798152 4224055 0 0 4096 0 18446744071580380219 0 0 17 4 0 0 0 0 0
/proc/10816/statm: 138834 106745 155 442 0 138388 0
Current children cumulated CPU time (s) 4.77
Current children cumulated vsize (KiB) 564484
heavy processes:
%CPU=16 pid=10818 uid=0 cmd=/usr/libexec/abrt-hook-ccpp /var/spool/abrt 10816 11 506 18446744073709551615
Solver just ended. Dumping a history of the last processes samples
[startup+13.8759 s]
/proc/loadavg: 2.23 2.06 2.02 2/181 10819
/proc/meminfo: memFree=28844256/32873844 swapFree=7380/7380
[pid=10815] ppid=10813 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/10815/stat : 10815 (npSolver-pbo.sh) S 10813 10815 10289 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 383866838 9367552 275 33554432000 4194304 5064252 140734684731648 140734684730560 251031873102 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/10815/statm: 2287 275 233 213 0 72 0
[pid=10816] ppid=10815 vsize=555336 CPUtime=4.77 cores=0,2,4,6
/proc/10816/stat : 10816 (npSolver-pbo) S 10815 10815 10289 0 -1 4204032 53444 0 0 0 428 49 0 0 20 0 1 0 383866838 568664064 106745 33554432000 4194304 6004724 140733399803552 140733399798152 4224055 0 0 4096 0 18446744071580380219 0 0 17 4 0 0 0 0 0
/proc/10816/statm: 138834 106745 155 442 0 138388 0
Current children cumulated CPU time (s) 4.77
Current children cumulated vsize (KiB) 564484
[startup+17.0003 s]
/proc/loadavg: 2.37 2.09 2.03 2/181 10819
/proc/meminfo: memFree=28627984/32873844 swapFree=7380/7380
[pid=10815] ppid=10813 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/10815/stat : 10815 (npSolver-pbo.sh) S 10813 10815 10289 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 383866838 9367552 275 33554432000 4194304 5064252 140734684731648 140734684730560 251031873102 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/10815/statm: 2287 275 233 213 0 72 0
[pid=10816] ppid=10815 vsize=555336 CPUtime=4.77 cores=0,2,4,6
/proc/10816/stat : 10816 (npSolver-pbo) S 10815 10815 10289 0 -1 4204032 53444 0 0 0 428 49 0 0 20 0 1 0 383866838 568664064 106745 33554432000 4194304 6004724 140733399803552 140733399798152 4224055 0 0 4096 0 18446744071580380219 0 0 17 4 0 0 0 0 0
/proc/10816/statm: 138834 106745 155 442 0 138388 0
Current children cumulated CPU time (s) 4.77
Current children cumulated vsize (KiB) 564484
[startup+18.6003 s]
/proc/loadavg: 2.37 2.09 2.03 2/181 10819
/proc/meminfo: memFree=26910716/32873844 swapFree=7380/7380
[pid=10815] ppid=10813 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/10815/stat : 10815 (npSolver-pbo.sh) S 10813 10815 10289 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 383866838 9367552 275 33554432000 4194304 5064252 140734684731648 140734684730560 251031873102 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/10815/statm: 2287 275 233 213 0 72 0
[pid=10816] ppid=10815 vsize=555336 CPUtime=4.77 cores=0,2,4,6
/proc/10816/stat : 10816 (npSolver-pbo) S 10815 10815 10289 0 -1 4204032 53444 0 0 0 428 49 0 0 20 0 1 0 383866838 568664064 106745 33554432000 4194304 6004724 140733399803552 140733399798152 4224055 0 0 4096 0 18446744071580380219 0 0 17 4 0 0 0 0 0
/proc/10816/statm: 138834 106745 155 442 0 138388 0
Current children cumulated CPU time (s) 4.77
Current children cumulated vsize (KiB) 564484
[startup+19.4003 s]
/proc/loadavg: 2.37 2.09 2.03 2/181 10819
/proc/meminfo: memFree=26910716/32873844 swapFree=7380/7380
[pid=10815] ppid=10813 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/10815/stat : 10815 (npSolver-pbo.sh) S 10813 10815 10289 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 383866838 9367552 275 33554432000 4194304 5064252 140734684731648 140734684730560 251031873102 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/10815/statm: 2287 275 233 213 0 72 0
[pid=10816] ppid=10815 vsize=555336 CPUtime=4.77 cores=0,2,4,6
/proc/10816/stat : 10816 (npSolver-pbo) S 10815 10815 10289 0 -1 4204032 53444 0 0 0 428 49 0 0 20 0 1 0 383866838 568664064 106745 33554432000 4194304 6004724 140733399803552 140733399798152 4224055 0 0 4096 0 18446744071580380219 0 0 17 4 0 0 0 0 0
/proc/10816/statm: 138834 106745 155 442 0 138388 0
Current children cumulated CPU time (s) 4.77
Current children cumulated vsize (KiB) 564484
[startup+20.2003 s]
/proc/loadavg: 2.58 2.14 2.04 2/181 10819
/proc/meminfo: memFree=26109116/32873844 swapFree=7380/7380
[pid=10815] ppid=10813 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/10815/stat : 10815 (npSolver-pbo.sh) S 10813 10815 10289 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 383866838 9367552 275 33554432000 4194304 5064252 140734684731648 140734684730560 251031873102 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/10815/statm: 2287 275 233 213 0 72 0
[pid=10816] ppid=10815 vsize=555336 CPUtime=4.77 cores=0,2,4,6
/proc/10816/stat : 10816 (npSolver-pbo) S 10815 10815 10289 0 -1 4204032 53444 0 0 0 428 49 0 0 20 0 1 0 383866838 568664064 106745 33554432000 4194304 6004724 140733399803552 140733399798152 4224055 0 0 4096 0 18446744071580380219 0 0 17 4 0 0 0 0 0
/proc/10816/statm: 138834 106745 155 442 0 138388 0
Current children cumulated CPU time (s) 4.77
Current children cumulated vsize (KiB) 564484
[startup+20.4003 s]
/proc/loadavg: 2.58 2.14 2.04 2/181 10819
/proc/meminfo: memFree=26109116/32873844 swapFree=7380/7380
[pid=10815] ppid=10813 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/10815/stat : 10815 (npSolver-pbo.sh) S 10813 10815 10289 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 383866838 9367552 275 33554432000 4194304 5064252 140734684731648 140734684730560 251031873102 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/10815/statm: 2287 275 233 213 0 72 0
[pid=10816] ppid=10815 vsize=555336 CPUtime=4.77 cores=0,2,4,6
/proc/10816/stat : 10816 (npSolver-pbo) S 10815 10815 10289 0 -1 4204032 53444 0 0 0 428 49 0 0 20 0 1 0 383866838 568664064 106745 33554432000 4194304 6004724 140733399803552 140733399798152 4224055 0 0 4096 0 18446744071580380219 0 0 17 4 0 0 0 0 0
/proc/10816/statm: 138834 106745 155 442 0 138388 0
Current children cumulated CPU time (s) 4.77
Current children cumulated vsize (KiB) 564484
[startup+20.5003 s]
/proc/loadavg: 2.58 2.14 2.04 2/181 10819
/proc/meminfo: memFree=26109116/32873844 swapFree=7380/7380
[pid=10815] ppid=10813 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/10815/stat : 10815 (npSolver-pbo.sh) S 10813 10815 10289 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 383866838 9367552 275 33554432000 4194304 5064252 140734684731648 140734684730560 251031873102 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/10815/statm: 2287 275 233 213 0 72 0
[pid=10816] ppid=10815 vsize=555336 CPUtime=4.77 cores=0,2,4,6
/proc/10816/stat : 10816 (npSolver-pbo) S 10815 10815 10289 0 -1 4204032 53444 0 0 0 428 49 0 0 20 0 1 0 383866838 568664064 106745 33554432000 4194304 6004724 140733399803552 140733399798152 4224055 0 0 4096 0 18446744071580380219 0 0 17 4 0 0 0 0 0
/proc/10816/statm: 138834 106745 155 442 0 138388 0
Current children cumulated CPU time (s) 4.77
Current children cumulated vsize (KiB) 564484
Child status: 0
Real time (s): 20.5197
CPU time (s): 4.79427
CPU user time (s): 4.28535
CPU system time (s): 0.508922
CPU usage (%): 23.3642
Max. virtual memory (cumulated for all children) (KiB): 683356
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 4.28535
system time used= 0.508922
maximum resident set size= 539676
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 53819
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= 137926
involuntary context switches= 10
runsolver used 0.032994 second user time and 0.094985 second system time
The end