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-3701160-1338057237/watcher-3701160-1338057237 -o /tmp/evaluation-result-3701160-1338057237/solver-3701160-1338057237 -C 1800 -W 1900 -M 15500 HOME/npSolver-pbo.sh HOME/instance-3701160-1338057237.opb 1603902055 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.02 2.05 2.00 3/177 4095
/proc/meminfo: memFree=29070964/32873624 swapFree=7104/7104
[pid=4095] ppid=4093 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/4095/stat : 4095 (npSolver-pbo.sh) S 4093 4095 3117 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 271849220 9367552 275 33554432000 4194304 5064252 140733386935520 140733386934432 227512313422 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/4095/statm: 2287 275 233 213 0 72 0
[startup+0.0827621 s]
/proc/loadavg: 2.02 2.05 2.00 3/177 4095
/proc/meminfo: memFree=29070964/32873624 swapFree=7104/7104
[pid=4095] ppid=4093 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/4095/stat : 4095 (npSolver-pbo.sh) S 4093 4095 3117 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 271849220 9367552 275 33554432000 4194304 5064252 140733386935520 140733386934432 227512313422 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/4095/statm: 2287 275 233 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148
[startup+0.100182 s]
/proc/loadavg: 2.02 2.05 2.00 3/177 4095
/proc/meminfo: memFree=29070964/32873624 swapFree=7104/7104
[pid=4095] ppid=4093 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/4095/stat : 4095 (npSolver-pbo.sh) S 4093 4095 3117 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 271849220 9367552 275 33554432000 4194304 5064252 140733386935520 140733386934432 227512313422 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/4095/statm: 2287 275 233 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148
[startup+0.300108 s]
/proc/loadavg: 2.02 2.05 2.00 3/177 4095
/proc/meminfo: memFree=29070964/32873624 swapFree=7104/7104
[pid=4095] ppid=4093 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/4095/stat : 4095 (npSolver-pbo.sh) S 4093 4095 3117 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 271849220 9367552 275 33554432000 4194304 5064252 140733386935520 140733386934432 227512313422 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/4095/statm: 2287 275 233 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148
[startup+0.700123 s]
/proc/loadavg: 2.02 2.05 2.00 3/177 4095
/proc/meminfo: memFree=29070964/32873624 swapFree=7104/7104
[pid=4095] ppid=4093 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/4095/stat : 4095 (npSolver-pbo.sh) S 4093 4095 3117 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 271849220 9367552 275 33554432000 4194304 5064252 140733386935520 140733386934432 227512313422 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/4095/statm: 2287 275 233 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148
[startup+1.50013 s]
/proc/loadavg: 2.02 2.05 2.00 3/181 4116
/proc/meminfo: memFree=29061764/32873624 swapFree=7104/7104
[pid=4095] ppid=4093 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/4095/stat : 4095 (npSolver-pbo.sh) S 4093 4095 3117 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 271849220 9367552 275 33554432000 4194304 5064252 140733386935520 140733386934432 227512313422 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/4095/statm: 2287 275 233 213 0 72 0
[pid=4096] ppid=4095 vsize=3420 CPUtime=1.06 cores=0,2,4,6
/proc/4096/stat : 4096 (npSolver-pbo) S 4095 4095 3117 0 -1 4202496 1410 17094 0 0 4 0 99 3 20 0 1 0 271849220 3502080 502 33554432000 4194304 5992684 140735355147440 140735355139760 5175646 0 65536 4102 0 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/4096/statm: 855 502 179 440 0 411 0
Current children cumulated CPU time (s) 1.06
Current children cumulated vsize (KiB) 12568
[startup+3.1002 s]
/proc/loadavg: 2.02 2.05 2.00 3/181 4123
/proc/meminfo: memFree=29059020/32873624 swapFree=7104/7104
[pid=4095] ppid=4093 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/4095/stat : 4095 (npSolver-pbo.sh) S 4093 4095 3117 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 271849220 9367552 275 33554432000 4194304 5064252 140733386935520 140733386934432 227512313422 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/4095/statm: 2287 275 233 213 0 72 0
[pid=4096] ppid=4095 vsize=3420 CPUtime=1.06 cores=0,2,4,6
/proc/4096/stat : 4096 (npSolver-pbo) S 4095 4095 3117 0 -1 4202496 1410 17094 0 0 4 0 99 3 20 0 1 0 271849220 3502080 502 33554432000 4194304 5992684 140735355147440 140735355139760 5175646 0 65536 4102 0 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/4096/statm: 855 502 179 440 0 411 0
[pid=4122] ppid=4096 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/4122/stat : 4122 (satsolver.sh) S 4096 4095 3117 0 -1 4202496 596 0 0 0 0 0 0 0 20 0 1 0 271849328 9367552 266 33554432000 4194304 5064252 140736967770000 140736967768912 227512313422 0 65536 4100 65538 18446744071579302229 0 0 17 6 0 0 0 0 0
/proc/4122/statm: 2287 266 226 213 0 72 0
[pid=4123] ppid=4122 vsize=12804 CPUtime=2 cores=0,2,4,6
/proc/4123/stat : 4123 (glucose) R 4122 4095 3117 0 -1 4202496 3403 0 0 0 200 0 0 0 20 0 1 0 271849328 13111296 2770 33554432000 4194304 5208918 140735190578064 140735190575928 4205227 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/4123/statm: 3201 2770 102 248 0 2950 0
Current children cumulated CPU time (s) 3.06
Current children cumulated vsize (KiB) 34520
[startup+6.30033 s]
/proc/loadavg: 2.02 2.05 2.00 3/181 4137
/proc/meminfo: memFree=29059864/32873624 swapFree=7104/7104
[pid=4095] ppid=4093 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/4095/stat : 4095 (npSolver-pbo.sh) S 4093 4095 3117 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 271849220 9367552 275 33554432000 4194304 5064252 140733386935520 140733386934432 227512313422 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/4095/statm: 2287 275 233 213 0 72 0
[pid=4096] ppid=4095 vsize=3420 CPUtime=5.16 cores=0,2,4,6
/proc/4096/stat : 4096 (npSolver-pbo) S 4095 4095 3117 0 -1 4202496 2067 29789 0 0 6 1 503 6 20 0 1 0 271849220 3502080 502 33554432000 4194304 5992684 140735355147440 140735355139760 5175646 0 65536 4102 0 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/4096/statm: 855 502 179 440 0 411 0
[pid=4136] ppid=4096 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/4136/stat : 4136 (satsolver.sh) S 4096 4095 3117 0 -1 4202496 597 0 0 0 0 0 0 0 20 0 1 0 271849737 9367552 266 33554432000 4194304 5064252 140736003935232 140736003934144 227512313422 0 65536 4100 65538 18446744071579302229 0 0 17 6 0 0 0 0 0
/proc/4136/statm: 2287 266 226 213 0 72 0
[pid=4137] ppid=4136 vsize=11144 CPUtime=1.11 cores=0,2,4,6
/proc/4137/stat : 4137 (glucose) R 4136 4095 3117 0 -1 4202496 3134 0 0 0 111 0 0 0 20 0 1 0 271849737 11411456 2359 33554432000 4194304 5208918 140733796580576 140733796578536 4229021 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/4137/statm: 2786 2359 102 248 0 2535 0
Current children cumulated CPU time (s) 6.27
Current children cumulated vsize (KiB) 32860
Solver just ended. Dumping a history of the last processes samples
[startup+6.40039 s]
/proc/loadavg: 2.02 2.05 2.00 3/181 4137
/proc/meminfo: memFree=29059864/32873624 swapFree=7104/7104
[pid=4095] ppid=4093 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/4095/stat : 4095 (npSolver-pbo.sh) S 4093 4095 3117 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 271849220 9367552 275 33554432000 4194304 5064252 140733386935520 140733386934432 227512313422 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/4095/statm: 2287 275 233 213 0 72 0
[pid=4096] ppid=4095 vsize=3420 CPUtime=5.16 cores=0,2,4,6
/proc/4096/stat : 4096 (npSolver-pbo) S 4095 4095 3117 0 -1 4202496 2067 29789 0 0 6 1 503 6 20 0 1 0 271849220 3502080 502 33554432000 4194304 5992684 140735355147440 140735355139760 5175646 0 65536 4102 0 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/4096/statm: 855 502 179 440 0 411 0
[pid=4136] ppid=4096 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/4136/stat : 4136 (satsolver.sh) S 4096 4095 3117 0 -1 4202496 597 0 0 0 0 0 0 0 20 0 1 0 271849737 9367552 266 33554432000 4194304 5064252 140736003935232 140736003934144 227512313422 0 65536 4100 65538 18446744071579302229 0 0 17 6 0 0 0 0 0
/proc/4136/statm: 2287 266 226 213 0 72 0
[pid=4137] ppid=4136 vsize=11144 CPUtime=1.21 cores=0,2,4,6
/proc/4137/stat : 4137 (glucose) R 4136 4095 3117 0 -1 4202496 3134 0 0 0 121 0 0 0 20 0 1 0 271849737 11411456 2359 33554432000 4194304 5208918 140733796580576 140733796578536 4229326 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/4137/statm: 2786 2359 102 248 0 2535 0
Current children cumulated CPU time (s) 6.37
Current children cumulated vsize (KiB) 32860
[startup+8.00035 s]
/proc/loadavg: 2.01 2.05 2.00 3/181 4137
/proc/meminfo: memFree=29053096/32873624 swapFree=7104/7104
[pid=4095] ppid=4093 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/4095/stat : 4095 (npSolver-pbo.sh) S 4093 4095 3117 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 271849220 9367552 275 33554432000 4194304 5064252 140733386935520 140733386934432 227512313422 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/4095/statm: 2287 275 233 213 0 72 0
[pid=4096] ppid=4095 vsize=3420 CPUtime=5.16 cores=0,2,4,6
/proc/4096/stat : 4096 (npSolver-pbo) S 4095 4095 3117 0 -1 4202496 2067 29789 0 0 6 1 503 6 20 0 1 0 271849220 3502080 502 33554432000 4194304 5992684 140735355147440 140735355139760 5175646 0 65536 4102 0 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/4096/statm: 855 502 179 440 0 411 0
[pid=4136] ppid=4096 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/4136/stat : 4136 (satsolver.sh) S 4096 4095 3117 0 -1 4202496 597 0 0 0 0 0 0 0 20 0 1 0 271849737 9367552 266 33554432000 4194304 5064252 140736003935232 140736003934144 227512313422 0 65536 4100 65538 18446744071579302229 0 0 17 6 0 0 0 0 0
/proc/4136/statm: 2287 266 226 213 0 72 0
[pid=4137] ppid=4136 vsize=15524 CPUtime=2.81 cores=0,2,4,6
/proc/4137/stat : 4137 (glucose) R 4136 4095 3117 0 -1 4202496 3769 0 0 0 281 0 0 0 20 0 1 0 271849737 15896576 3458 33554432000 4194304 5208918 140733796580576 140733796578520 4229021 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/4137/statm: 3881 3458 102 248 0 3630 0
Current children cumulated CPU time (s) 7.97
Current children cumulated vsize (KiB) 37240
[startup+8.40039 s]
/proc/loadavg: 2.01 2.05 2.00 3/181 4137
/proc/meminfo: memFree=29053096/32873624 swapFree=7104/7104
[pid=4095] ppid=4093 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/4095/stat : 4095 (npSolver-pbo.sh) S 4093 4095 3117 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 271849220 9367552 275 33554432000 4194304 5064252 140733386935520 140733386934432 227512313422 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/4095/statm: 2287 275 233 213 0 72 0
[pid=4096] ppid=4095 vsize=3420 CPUtime=5.16 cores=0,2,4,6
/proc/4096/stat : 4096 (npSolver-pbo) S 4095 4095 3117 0 -1 4202496 2067 29789 0 0 6 1 503 6 20 0 1 0 271849220 3502080 502 33554432000 4194304 5992684 140735355147440 140735355139760 5175646 0 65536 4102 0 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/4096/statm: 855 502 179 440 0 411 0
[pid=4136] ppid=4096 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/4136/stat : 4136 (satsolver.sh) S 4096 4095 3117 0 -1 4202496 597 0 0 0 0 0 0 0 20 0 1 0 271849737 9367552 266 33554432000 4194304 5064252 140736003935232 140736003934144 227512313422 0 65536 4100 65538 18446744071579302229 0 0 17 6 0 0 0 0 0
/proc/4136/statm: 2287 266 226 213 0 72 0
[pid=4137] ppid=4136 vsize=15524 CPUtime=3.21 cores=0,2,4,6
/proc/4137/stat : 4137 (glucose) R 4136 4095 3117 0 -1 4202496 3769 0 0 0 321 0 0 0 20 0 1 0 271849737 15896576 3458 33554432000 4194304 5208918 140733796580576 140733796578520 4229251 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/4137/statm: 3881 3458 102 248 0 3630 0
Current children cumulated CPU time (s) 8.37
Current children cumulated vsize (KiB) 37240
[startup+8.80023 s]
/proc/loadavg: 2.01 2.05 2.00 3/181 4144
/proc/meminfo: memFree=29060012/32873624 swapFree=7104/7104
[pid=4095] ppid=4093 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/4095/stat : 4095 (npSolver-pbo.sh) S 4093 4095 3117 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 271849220 9367552 275 33554432000 4194304 5064252 140733386935520 140733386934432 227512313422 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/4095/statm: 2287 275 233 213 0 72 0
[pid=4096] ppid=4095 vsize=3420 CPUtime=8.53 cores=0,2,4,6
/proc/4096/stat : 4096 (npSolver-pbo) S 4095 4095 3117 0 -1 4202496 2375 36930 0 0 7 1 838 7 20 0 1 0 271849220 3502080 502 33554432000 4194304 5992684 140735355147440 140735355139760 5175646 0 65536 4102 0 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/4096/statm: 855 502 179 440 0 411 0
[pid=4143] ppid=4096 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/4143/stat : 4143 (satsolver.sh) S 4096 4095 3117 0 -1 4202496 596 0 0 0 0 0 0 0 20 0 1 0 271850075 9367552 266 33554432000 4194304 5064252 140736686779456 140736686778368 227512313422 0 65536 4100 65538 18446744071579302229 0 0 17 6 0 0 0 0 0
/proc/4143/statm: 2287 266 226 213 0 72 0
[pid=4144] ppid=4143 vsize=8424 CPUtime=0.24 cores=0,2,4,6
/proc/4144/stat : 4144 (glucose) R 4143 4095 3117 0 -1 4202496 1995 0 0 0 24 0 0 0 20 0 1 0 271850075 8626176 1629 33554432000 4194304 5208918 140734018680416 140736686778392 4211147 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/4144/statm: 2106 1629 101 248 0 1855 0
Current children cumulated CPU time (s) 8.77
Current children cumulated vsize (KiB) 30140
[startup+8.90633 s]
/proc/loadavg: 2.01 2.05 2.00 3/181 4144
/proc/meminfo: memFree=29060012/32873624 swapFree=7104/7104
[pid=4095] ppid=4093 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/4095/stat : 4095 (npSolver-pbo.sh) S 4093 4095 3117 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 271849220 9367552 275 33554432000 4194304 5064252 140733386935520 140733386934432 227512313422 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/4095/statm: 2287 275 233 213 0 72 0
[pid=4096] ppid=4095 vsize=3420 CPUtime=8.53 cores=0,2,4,6
/proc/4096/stat : 4096 (npSolver-pbo) S 4095 4095 3117 0 -1 4202496 2375 36930 0 0 7 1 838 7 20 0 1 0 271849220 3502080 502 33554432000 4194304 5992684 140735355147440 140735355139760 5175646 0 65536 4102 0 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/4096/statm: 855 502 179 440 0 411 0
[pid=4143] ppid=4096 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/4143/stat : 4143 (satsolver.sh) S 4096 4095 3117 0 -1 4202496 596 0 0 0 0 0 0 0 20 0 1 0 271850075 9367552 266 33554432000 4194304 5064252 140736686779456 140736686778368 227512313422 0 65536 4100 65538 18446744071579302229 0 0 17 6 0 0 0 0 0
/proc/4143/statm: 2287 266 226 213 0 72 0
[pid=4144] ppid=4143 vsize=8424 CPUtime=0.34 cores=0,2,4,6
/proc/4144/stat : 4144 (glucose) R 4143 4095 3117 0 -1 4202496 2036 0 0 0 34 0 0 0 20 0 1 0 271850075 8626176 1669 33554432000 4194304 5208918 140734018680416 140736686778392 4229251 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/4144/statm: 2106 1669 101 248 0 1855 0
Current children cumulated CPU time (s) 8.87
Current children cumulated vsize (KiB) 30140
Child status: 0
Real time (s): 8.91819
CPU time (s): 8.91864
CPU user time (s): 8.81366
CPU system time (s): 0.104984
CPU usage (%): 100.005
Max. virtual memory (cumulated for all children) (KiB): 37240
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 8.81366
system time used= 0.104984
maximum resident set size= 13836
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 45600
page faults= 0
swaps= 0
block input operations= 0
block output operations= 7544
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 118
involuntary context switches= 102
runsolver used 0.019996 second user time and 0.067989 second system time
The end