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-3701013-1338132570/watcher-3701013-1338132570 -o /tmp/evaluation-result-3701013-1338132570/solver-3701013-1338132570 -C 1800 -W 1900 -M 15500 HOME/npSolver-pbo.sh HOME/instance-3701013-1338132570.opb 1803612116 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.00 2.31 2.60 3/179 25184
/proc/meminfo: memFree=26933240/32873648 swapFree=7104/7104
[pid=25184] ppid=25182 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/25184/stat : 25184 (npSolver-pbo.sh) S 25182 25184 23788 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 279382518 9367552 275 33554432000 4194304 5064252 140735865345856 140735865344768 214537233998 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/25184/statm: 2287 275 233 213 0 72 0
[startup+0.081699 s]
/proc/loadavg: 2.00 2.31 2.60 3/179 25184
/proc/meminfo: memFree=26933240/32873648 swapFree=7104/7104
[pid=25184] ppid=25182 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/25184/stat : 25184 (npSolver-pbo.sh) S 25182 25184 23788 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 279382518 9367552 275 33554432000 4194304 5064252 140735865345856 140735865344768 214537233998 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/25184/statm: 2287 275 233 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148
[startup+0.100162 s]
/proc/loadavg: 2.00 2.31 2.60 3/179 25184
/proc/meminfo: memFree=26933240/32873648 swapFree=7104/7104
[pid=25184] ppid=25182 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/25184/stat : 25184 (npSolver-pbo.sh) S 25182 25184 23788 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 279382518 9367552 275 33554432000 4194304 5064252 140735865345856 140735865344768 214537233998 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/25184/statm: 2287 275 233 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148
[startup+0.300104 s]
/proc/loadavg: 2.00 2.31 2.60 3/179 25184
/proc/meminfo: memFree=26933240/32873648 swapFree=7104/7104
[pid=25184] ppid=25182 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/25184/stat : 25184 (npSolver-pbo.sh) S 25182 25184 23788 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 279382518 9367552 275 33554432000 4194304 5064252 140735865345856 140735865344768 214537233998 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/25184/statm: 2287 275 233 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148
[startup+0.700101 s]
/proc/loadavg: 2.00 2.31 2.60 3/179 25184
/proc/meminfo: memFree=26933240/32873648 swapFree=7104/7104
[pid=25184] ppid=25182 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/25184/stat : 25184 (npSolver-pbo.sh) S 25182 25184 23788 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 279382518 9367552 275 33554432000 4194304 5064252 140735865345856 140735865344768 214537233998 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/25184/statm: 2287 275 233 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148
[startup+1.5002 s]
/proc/loadavg: 2.00 2.31 2.60 3/181 25186
/proc/meminfo: memFree=26919312/32873648 swapFree=7104/7104
[pid=25184] ppid=25182 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/25184/stat : 25184 (npSolver-pbo.sh) S 25182 25184 23788 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 279382518 9367552 275 33554432000 4194304 5064252 140735865345856 140735865344768 214537233998 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/25184/statm: 2287 275 233 213 0 72 0
[pid=25185] ppid=25184 vsize=91240 CPUtime=1.49 cores=0,2,4,6
/proc/25185/stat : 25185 (npSolver-pbo) R 25184 25184 23788 0 -1 4202496 9783 0 0 0 146 3 0 0 20 0 1 0 279382518 93429760 15206 33554432000 4194304 5992684 140736218261488 140736218257608 5044353 0 0 4096 0 0 0 0 17 4 0 0 0 0 0
/proc/25185/statm: 22810 15206 165 440 0 22366 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 100388
[startup+3.10019 s]
/proc/loadavg: 2.00 2.31 2.60 3/181 25186
/proc/meminfo: memFree=26813296/32873648 swapFree=7104/7104
[pid=25184] ppid=25182 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/25184/stat : 25184 (npSolver-pbo.sh) S 25182 25184 23788 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 279382518 9367552 275 33554432000 4194304 5064252 140735865345856 140735865344768 214537233998 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/25184/statm: 2287 275 233 213 0 72 0
[pid=25185] ppid=25184 vsize=228816 CPUtime=3.08 cores=0,2,4,6
/proc/25185/stat : 25185 (npSolver-pbo) R 25184 25184 23788 0 -1 4202496 28378 0 0 0 301 7 0 0 20 0 1 0 279382518 234307584 54720 33554432000 4194304 5992684 140736218261488 140736218255160 5044353 0 0 4096 0 0 0 0 17 4 0 0 0 0 0
/proc/25185/statm: 57204 54720 165 440 0 56760 0
Current children cumulated CPU time (s) 3.08
Current children cumulated vsize (KiB) 237964
[startup+6.30023 s]
/proc/loadavg: 2.00 2.31 2.60 3/183 25188
/proc/meminfo: memFree=26314328/32873648 swapFree=7104/7104
[pid=25184] ppid=25182 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/25184/stat : 25184 (npSolver-pbo.sh) S 25182 25184 23788 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 279382518 9367552 275 33554432000 4194304 5064252 140735865345856 140735865344768 214537233998 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/25184/statm: 2287 275 233 213 0 72 0
[pid=25185] ppid=25184 vsize=380308 CPUtime=3.85 cores=0,2,4,6
/proc/25185/stat : 25185 (npSolver-pbo) S 25184 25184 23788 0 -1 4202496 34769 0 0 0 346 39 0 0 20 0 1 0 279382518 389435392 65460 33554432000 4194304 5992684 140736218261488 140736218255520 5175646 0 65536 4102 0 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/25185/statm: 95077 65460 172 440 0 94633 0
[pid=25187] ppid=25185 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/25187/stat : 25187 (cp2_pre.sh) S 25185 25184 23788 0 -1 4202496 610 0 0 0 0 0 0 0 20 0 1 0 279382903 9367552 277 33554432000 4194304 5064252 140736715684112 140736715682816 214537233998 0 65536 4100 65538 18446744071579302229 0 0 17 2 0 0 0 0 0
/proc/25187/statm: 2287 277 234 213 0 72 0
[pid=25188] ppid=25187 vsize=504116 CPUtime=2.42 cores=0,2,4,6
/proc/25188/stat : 25188 (coprocessor) R 25187 25184 23788 0 -1 4202496 18348 0 0 0 230 12 0 0 20 0 1 0 279382903 516214784 99320 33554432000 4194304 6586260 140735721257312 140735721253064 5732496 0 0 4096 8404994 0 0 0 17 0 0 0 0 0 0
/proc/25188/statm: 126029 99320 158 584 0 125441 0
Current children cumulated CPU time (s) 6.27
Current children cumulated vsize (KiB) 902720
[startup+12.7002 s]
/proc/loadavg: 2.00 2.30 2.60 2/183 25189
/proc/meminfo: memFree=26526412/32873648 swapFree=7104/7104
[pid=25184] ppid=25182 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/25184/stat : 25184 (npSolver-pbo.sh) S 25182 25184 23788 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 279382518 9367552 275 33554432000 4194304 5064252 140735865345856 140735865344768 214537233998 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/25184/statm: 2287 275 233 213 0 72 0
[pid=25185] ppid=25184 vsize=380308 CPUtime=11.92 cores=0,2,4,6
/proc/25185/stat : 25185 (npSolver-pbo) S 25184 25184 23788 0 -1 4202496 34777 19252 0 0 346 39 766 41 20 0 1 0 279382518 389435392 65460 33554432000 4194304 5992684 140736218261488 140736218256608 5175646 0 65536 4102 0 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/25185/statm: 95077 65460 172 440 0 94633 0
Current children cumulated CPU time (s) 11.92
Current children cumulated vsize (KiB) 389456
Solver just ended. Dumping a history of the last processes samples
[startup+12.8003 s]
/proc/loadavg: 2.00 2.30 2.60 2/183 25189
/proc/meminfo: memFree=26526412/32873648 swapFree=7104/7104
[pid=25184] ppid=25182 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/25184/stat : 25184 (npSolver-pbo.sh) S 25182 25184 23788 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 279382518 9367552 275 33554432000 4194304 5064252 140735865345856 140735865344768 214537233998 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/25184/statm: 2287 275 233 213 0 72 0
[pid=25185] ppid=25184 vsize=380308 CPUtime=11.92 cores=0,2,4,6
/proc/25185/stat : 25185 (npSolver-pbo) S 25184 25184 23788 0 -1 4202496 34777 19252 0 0 346 39 766 41 20 0 1 0 279382518 389435392 65460 33554432000 4194304 5992684 140736218261488 140736218256608 5175646 0 65536 4102 0 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/25185/statm: 95077 65460 172 440 0 94633 0
Current children cumulated CPU time (s) 11.92
Current children cumulated vsize (KiB) 389456
[startup+19.2002 s]
/proc/loadavg: 2.00 2.29 2.59 2/182 25196
/proc/meminfo: memFree=25907280/32873648 swapFree=7104/7104
[pid=25184] ppid=25182 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/25184/stat : 25184 (npSolver-pbo.sh) S 25182 25184 23788 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 279382518 9367552 275 33554432000 4194304 5064252 140735865345856 140735865344768 214537233998 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/25184/statm: 2287 275 233 213 0 72 0
[pid=25185] ppid=25184 vsize=427188 CPUtime=16.63 cores=0,2,4,6
/proc/25185/stat : 25185 (npSolver-pbo) S 25184 25184 23788 0 -1 4204032 38494 124209 0 0 403 56 1126 78 20 0 1 0 279382518 437440512 77198 33554432000 4194304 5992684 140736218261488 140736218255608 5240597 0 0 4096 0 18446744071580380219 0 0 17 4 0 0 0 0 0
/proc/25185/statm: 106797 77198 190 440 0 106353 0
Current children cumulated CPU time (s) 16.63
Current children cumulated vsize (KiB) 436336
[startup+20.8002 s]
/proc/loadavg: 2.00 2.29 2.59 2/182 25196
/proc/meminfo: memFree=25907156/32873648 swapFree=7104/7104
[pid=25184] ppid=25182 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/25184/stat : 25184 (npSolver-pbo.sh) S 25182 25184 23788 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 279382518 9367552 275 33554432000 4194304 5064252 140735865345856 140735865344768 214537233998 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/25184/statm: 2287 275 233 213 0 72 0
[pid=25185] ppid=25184 vsize=427188 CPUtime=16.63 cores=0,2,4,6
/proc/25185/stat : 25185 (npSolver-pbo) S 25184 25184 23788 0 -1 4204032 38494 124209 0 0 403 56 1126 78 20 0 1 0 279382518 437440512 77198 33554432000 4194304 5992684 140736218261488 140736218255608 5240597 0 0 4096 0 18446744071580380219 0 0 17 4 0 0 0 0 0
/proc/25185/statm: 106797 77198 190 440 0 106353 0
Current children cumulated CPU time (s) 16.63
Current children cumulated vsize (KiB) 436336
[startup+22.4002 s]
/proc/loadavg: 2.00 2.29 2.59 2/182 25196
/proc/meminfo: memFree=25906412/32873648 swapFree=7104/7104
[pid=25184] ppid=25182 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/25184/stat : 25184 (npSolver-pbo.sh) S 25182 25184 23788 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 279382518 9367552 275 33554432000 4194304 5064252 140735865345856 140735865344768 214537233998 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/25184/statm: 2287 275 233 213 0 72 0
[pid=25185] ppid=25184 vsize=427188 CPUtime=16.63 cores=0,2,4,6
/proc/25185/stat : 25185 (npSolver-pbo) S 25184 25184 23788 0 -1 4204032 38494 124209 0 0 403 56 1126 78 20 0 1 0 279382518 437440512 77198 33554432000 4194304 5992684 140736218261488 140736218255608 5240597 0 0 4096 0 18446744071580380219 0 0 17 4 0 0 0 0 0
/proc/25185/statm: 106797 77198 190 440 0 106353 0
Current children cumulated CPU time (s) 16.63
Current children cumulated vsize (KiB) 436336
[startup+23.2065 s]
/proc/loadavg: 2.00 2.29 2.59 2/182 25196
/proc/meminfo: memFree=25906908/32873648 swapFree=7104/7104
[pid=25184] ppid=25182 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/25184/stat : 25184 (npSolver-pbo.sh) S 25182 25184 23788 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 279382518 9367552 275 33554432000 4194304 5064252 140735865345856 140735865344768 214537233998 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/25184/statm: 2287 275 233 213 0 72 0
[pid=25185] ppid=25184 vsize=427188 CPUtime=16.63 cores=0,2,4,6
/proc/25185/stat : 25185 (npSolver-pbo) S 25184 25184 23788 0 -1 4204032 38494 124209 0 0 403 56 1126 78 20 0 1 0 279382518 437440512 77198 33554432000 4194304 5992684 140736218261488 140736218255608 5240597 0 0 4096 0 18446744071580380219 0 0 17 4 0 0 0 0 0
/proc/25185/statm: 106797 77198 190 440 0 106353 0
Current children cumulated CPU time (s) 16.63
Current children cumulated vsize (KiB) 436336
[startup+23.6002 s]
/proc/loadavg: 2.00 2.29 2.59 2/182 25196
/proc/meminfo: memFree=25906908/32873648 swapFree=7104/7104
[pid=25184] ppid=25182 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/25184/stat : 25184 (npSolver-pbo.sh) S 25182 25184 23788 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 279382518 9367552 275 33554432000 4194304 5064252 140735865345856 140735865344768 214537233998 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/25184/statm: 2287 275 233 213 0 72 0
[pid=25185] ppid=25184 vsize=427188 CPUtime=16.63 cores=0,2,4,6
/proc/25185/stat : 25185 (npSolver-pbo) S 25184 25184 23788 0 -1 4204032 38494 124209 0 0 403 56 1126 78 20 0 1 0 279382518 437440512 77198 33554432000 4194304 5992684 140736218261488 140736218255608 5240597 0 0 4096 0 18446744071580380219 0 0 17 4 0 0 0 0 0
/proc/25185/statm: 106797 77198 190 440 0 106353 0
Current children cumulated CPU time (s) 16.63
Current children cumulated vsize (KiB) 436336
Child status: 0
Real time (s): 23.695
CPU time (s): 16.6665
CPU user time (s): 15.3067
CPU system time (s): 1.35979
CPU usage (%): 70.3376
Max. virtual memory (cumulated for all children) (KiB): 1049100
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 15.3067
system time used= 1.35979
maximum resident set size= 611476
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 163078
page faults= 0
swaps= 0
block input operations= 0
block output operations= 634208
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 103359
involuntary context switches= 66
runsolver used 0.039993 second user time and 0.145977 second system time
The end