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-3701315-1338065539/watcher-3701315-1338065539 -o /tmp/evaluation-result-3701315-1338065539/solver-3701315-1338065539 -C 1800 -W 1900 -M 15500 HOME/npSolver-pbo.sh HOME/instance-3701315-1338065539.opb 95872070 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: 2.00 2.00 2.00 3/177 10579
/proc/meminfo: memFree=22240988/32873844 swapFree=7388/7388
[pid=10579] ppid=10577 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/10579/stat : 10579 (npSolver-pbo.sh) S 10577 10579 9087 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 272678336 9367552 275 33554432000 4194304 5064252 140735163940336 140735163939248 239237490254 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/10579/statm: 2287 275 233 213 0 72 0
[startup+0.0394131 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 10579
/proc/meminfo: memFree=22240988/32873844 swapFree=7388/7388
[pid=10579] ppid=10577 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/10579/stat : 10579 (npSolver-pbo.sh) S 10577 10579 9087 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 272678336 9367552 275 33554432000 4194304 5064252 140735163940336 140735163939248 239237490254 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/10579/statm: 2287 275 233 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148
[startup+0.100268 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 10579
/proc/meminfo: memFree=22240988/32873844 swapFree=7388/7388
[pid=10579] ppid=10577 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/10579/stat : 10579 (npSolver-pbo.sh) S 10577 10579 9087 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 272678336 9367552 275 33554432000 4194304 5064252 140735163940336 140735163939248 239237490254 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/10579/statm: 2287 275 233 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148
[startup+0.300233 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 10579
/proc/meminfo: memFree=22240988/32873844 swapFree=7388/7388
[pid=10579] ppid=10577 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/10579/stat : 10579 (npSolver-pbo.sh) S 10577 10579 9087 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 272678336 9367552 275 33554432000 4194304 5064252 140735163940336 140735163939248 239237490254 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/10579/statm: 2287 275 233 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148
[startup+0.700199 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 10579
/proc/meminfo: memFree=22240988/32873844 swapFree=7388/7388
[pid=10579] ppid=10577 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/10579/stat : 10579 (npSolver-pbo.sh) S 10577 10579 9087 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 272678336 9367552 275 33554432000 4194304 5064252 140735163940336 140735163939248 239237490254 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/10579/statm: 2287 275 233 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148
[startup+1.50046 s]
/proc/loadavg: 2.00 2.00 2.00 3/181 10583
/proc/meminfo: memFree=22129608/32873844 swapFree=7388/7388
[pid=10579] ppid=10577 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/10579/stat : 10579 (npSolver-pbo.sh) S 10577 10579 9087 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 272678336 9367552 275 33554432000 4194304 5064252 140735163940336 140735163939248 239237490254 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/10579/statm: 2287 275 233 213 0 72 0
[pid=10580] ppid=10579 vsize=28940 CPUtime=0.64 cores=1,3,5,7
/proc/10580/stat : 10580 (npSolver-pbo) S 10579 10579 9087 0 -1 4202496 5459 0 0 0 62 2 0 0 20 0 1 0 272678337 29634560 6315 33554432000 4194304 5992684 140736757750720 140736757744752 5175646 0 65536 4102 0 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/10580/statm: 7235 6315 164 440 0 6791 0
[pid=10582] ppid=10580 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/10582/stat : 10582 (cp2_pre.sh) S 10580 10579 9087 0 -1 4202496 608 0 0 0 0 0 0 0 20 0 1 0 272678402 9367552 276 33554432000 4194304 5064252 140736740359328 140736740358032 239237490254 0 65536 4100 65538 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/10582/statm: 2287 276 234 213 0 72 0
[pid=10583] ppid=10582 vsize=100280 CPUtime=0.83 cores=1,3,5,7
/proc/10583/stat : 10583 (coprocessor) R 10582 10579 9087 0 -1 4202496 19038 0 0 0 79 4 0 0 20 0 1 0 272678402 102686720 22102 33554432000 4194304 6586260 140734731805888 140734731802152 4498526 0 0 4096 8404994 0 0 0 17 3 0 0 0 0 0
/proc/10583/statm: 25070 22102 170 584 0 24482 0
Current children cumulated CPU time (s) 1.47
Current children cumulated vsize (KiB) 147516
[startup+3.10046 s]
/proc/loadavg: 2.00 2.00 2.00 3/181 10583
/proc/meminfo: memFree=22108004/32873844 swapFree=7388/7388
[pid=10579] ppid=10577 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/10579/stat : 10579 (npSolver-pbo.sh) S 10577 10579 9087 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 272678336 9367552 275 33554432000 4194304 5064252 140735163940336 140735163939248 239237490254 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/10579/statm: 2287 275 233 213 0 72 0
[pid=10580] ppid=10579 vsize=28940 CPUtime=0.64 cores=1,3,5,7
/proc/10580/stat : 10580 (npSolver-pbo) S 10579 10579 9087 0 -1 4202496 5459 0 0 0 62 2 0 0 20 0 1 0 272678337 29634560 6315 33554432000 4194304 5992684 140736757750720 140736757744752 5175646 0 65536 4102 0 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/10580/statm: 7235 6315 164 440 0 6791 0
[pid=10582] ppid=10580 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/10582/stat : 10582 (cp2_pre.sh) S 10580 10579 9087 0 -1 4202496 608 0 0 0 0 0 0 0 20 0 1 0 272678402 9367552 276 33554432000 4194304 5064252 140736740359328 140736740358032 239237490254 0 65536 4100 65538 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/10582/statm: 2287 276 234 213 0 72 0
[pid=10583] ppid=10582 vsize=118236 CPUtime=2.43 cores=1,3,5,7
/proc/10583/stat : 10583 (coprocessor) R 10582 10579 9087 0 -1 4202496 22826 0 0 0 238 5 0 0 20 0 1 0 272678402 121073664 27934 33554432000 4194304 6586260 140734731805888 140734731801912 4406694 0 0 4096 8404994 0 0 0 17 3 0 0 0 0 0
/proc/10583/statm: 29559 27934 194 584 0 28971 0
Current children cumulated CPU time (s) 3.07
Current children cumulated vsize (KiB) 165472
[startup+6.30046 s]
/proc/loadavg: 2.00 2.00 2.00 3/181 10593
/proc/meminfo: memFree=22172256/32873844 swapFree=7388/7388
[pid=10579] ppid=10577 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/10579/stat : 10579 (npSolver-pbo.sh) S 10577 10579 9087 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 272678336 9367552 275 33554432000 4194304 5064252 140735163940336 140735163939248 239237490254 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/10579/statm: 2287 275 233 213 0 72 0
[pid=10580] ppid=10579 vsize=32056 CPUtime=5.05 cores=1,3,5,7
/proc/10580/stat : 10580 (npSolver-pbo) S 10579 10579 9087 0 -1 4202496 6273 39547 0 0 74 65 350 16 20 0 1 0 272678337 32825344 7005 33554432000 4194304 5992684 140736757750720 140736757743040 5175646 0 65536 4102 0 18446744071579302229 0 0 17 3 0 0 14 0 0
/proc/10580/statm: 8014 7005 175 440 0 7570 0
[pid=10592] ppid=10580 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/10592/stat : 10592 (satsolver.sh) S 10580 10579 9087 0 -1 4202496 598 0 0 0 0 0 0 0 20 0 1 0 272678873 9367552 267 33554432000 4194304 5064252 140736645309808 140736645308720 239237490254 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/10592/statm: 2287 267 226 213 0 72 0
[pid=10593] ppid=10592 vsize=63640 CPUtime=0.92 cores=1,3,5,7
/proc/10593/stat : 10593 (glucose) R 10592 10579 9087 0 -1 4202496 11936 0 0 0 90 2 0 0 20 0 1 0 272678874 65167360 12365 33554432000 4194304 5208918 140737022753664 140736645308744 4229319 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/10593/statm: 15910 12365 95 248 0 15659 0
Current children cumulated CPU time (s) 5.97
Current children cumulated vsize (KiB) 113992
[startup+12.7005 s]
/proc/loadavg: 2.00 2.00 2.00 3/181 10614
/proc/meminfo: memFree=22137776/32873844 swapFree=7388/7388
[pid=10579] ppid=10577 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/10579/stat : 10579 (npSolver-pbo.sh) S 10577 10579 9087 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 272678336 9367552 275 33554432000 4194304 5064252 140735163940336 140735163939248 239237490254 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/10579/statm: 2287 275 233 213 0 72 0
[pid=10580] ppid=10579 vsize=33288 CPUtime=10.46 cores=1,3,5,7
/proc/10580/stat : 10580 (npSolver-pbo) S 10579 10579 9087 0 -1 4202496 7280 85264 0 0 75 66 871 34 20 0 1 0 272678337 34086912 7243 33554432000 4194304 5992684 140736757750720 140736757743040 5175646 0 65536 4102 0 18446744071579302229 0 0 17 1 0 0 14 0 0
/proc/10580/statm: 8322 7243 175 440 0 7878 0
[pid=10613] ppid=10580 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/10613/stat : 10613 (satsolver.sh) S 10580 10579 9087 0 -1 4202496 597 0 0 0 0 0 0 0 20 0 1 0 272679414 9367552 266 33554432000 4194304 5064252 140736270095248 140736270094160 239237490254 0 65536 4100 65538 18446744071579302229 0 0 17 7 0 0 0 0 0
/proc/10613/statm: 2287 266 226 213 0 72 0
[pid=10614] ppid=10613 vsize=58004 CPUtime=1.91 cores=1,3,5,7
/proc/10614/stat : 10614 (glucose) R 10613 10579 9087 0 -1 4202496 11608 0 0 0 189 2 0 0 20 0 1 0 272679414 59396096 12127 33554432000 4194304 5208918 140733281458464 140733281456312 4211162 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/10614/statm: 14501 12127 101 248 0 14250 0
Current children cumulated CPU time (s) 12.37
Current children cumulated vsize (KiB) 109588
Solver just ended. Dumping a history of the last processes samples
[startup+14.3072 s]
/proc/loadavg: 2.00 2.00 2.00 3/181 10621
/proc/meminfo: memFree=22137276/32873844 swapFree=7388/7388
[pid=10579] ppid=10577 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/10579/stat : 10579 (npSolver-pbo.sh) S 10577 10579 9087 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 272678336 9367552 275 33554432000 4194304 5064252 140735163940336 140735163939248 239237490254 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/10579/statm: 2287 275 233 213 0 72 0
[pid=10580] ppid=10579 vsize=33288 CPUtime=12.47 cores=1,3,5,7
/proc/10580/stat : 10580 (npSolver-pbo) S 10579 10579 9087 0 -1 4202496 7339 100421 0 0 75 66 1066 40 20 0 1 0 272678337 34086912 7243 33554432000 4194304 5992684 140736757750720 140736757743040 5175646 0 65536 4102 0 18446744071579302229 0 0 17 3 0 0 14 0 0
/proc/10580/statm: 8322 7243 175 440 0 7878 0
[pid=10620] ppid=10580 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/10620/stat : 10620 (satsolver.sh) S 10580 10579 9087 0 -1 4202496 598 0 0 0 0 0 0 0 20 0 1 0 272679615 9367552 266 33554432000 4194304 5064252 140735816270416 140735816269328 239237490254 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/10620/statm: 2287 266 226 213 0 72 0
[pid=10621] ppid=10620 vsize=63856 CPUtime=1.51 cores=1,3,5,7
/proc/10621/stat : 10621 (glucose) R 10620 10579 9087 0 -1 4202496 11988 0 0 0 149 2 0 0 20 0 1 0 272679615 65388544 12926 33554432000 4194304 5208918 140733922720096 140733922717944 4228997 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/10621/statm: 15964 12926 95 248 0 15713 0
Current children cumulated CPU time (s) 13.98
Current children cumulated vsize (KiB) 115440
[startup+15.1005 s]
/proc/loadavg: 2.00 2.00 2.00 3/181 10621
/proc/meminfo: memFree=22137276/32873844 swapFree=7388/7388
[pid=10579] ppid=10577 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/10579/stat : 10579 (npSolver-pbo.sh) S 10577 10579 9087 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 272678336 9367552 275 33554432000 4194304 5064252 140735163940336 140735163939248 239237490254 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/10579/statm: 2287 275 233 213 0 72 0
[pid=10580] ppid=10579 vsize=33288 CPUtime=12.47 cores=1,3,5,7
/proc/10580/stat : 10580 (npSolver-pbo) S 10579 10579 9087 0 -1 4202496 7339 100421 0 0 75 66 1066 40 20 0 1 0 272678337 34086912 7243 33554432000 4194304 5992684 140736757750720 140736757743040 5175646 0 65536 4102 0 18446744071579302229 0 0 17 3 0 0 14 0 0
/proc/10580/statm: 8322 7243 175 440 0 7878 0
[pid=10620] ppid=10580 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/10620/stat : 10620 (satsolver.sh) S 10580 10579 9087 0 -1 4202496 598 0 0 0 0 0 0 0 20 0 1 0 272679615 9367552 266 33554432000 4194304 5064252 140735816270416 140735816269328 239237490254 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/10620/statm: 2287 266 226 213 0 72 0
[pid=10621] ppid=10620 vsize=65308 CPUtime=2.3 cores=1,3,5,7
/proc/10621/stat : 10621 (glucose) R 10620 10579 9087 0 -1 4202496 12176 0 0 0 228 2 0 0 20 0 1 0 272679615 66875392 13114 33554432000 4194304 5208918 140733922720096 140733922717944 4228997 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/10621/statm: 16327 13114 95 248 0 16076 0
Current children cumulated CPU time (s) 14.77
Current children cumulated vsize (KiB) 116892
[startup+15.9005 s]
/proc/loadavg: 2.00 2.00 2.00 3/181 10621
/proc/meminfo: memFree=22136284/32873844 swapFree=7388/7388
[pid=10579] ppid=10577 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/10579/stat : 10579 (npSolver-pbo.sh) S 10577 10579 9087 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 272678336 9367552 275 33554432000 4194304 5064252 140735163940336 140735163939248 239237490254 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/10579/statm: 2287 275 233 213 0 72 0
[pid=10580] ppid=10579 vsize=33288 CPUtime=12.47 cores=1,3,5,7
/proc/10580/stat : 10580 (npSolver-pbo) S 10579 10579 9087 0 -1 4202496 7339 100421 0 0 75 66 1066 40 20 0 1 0 272678337 34086912 7243 33554432000 4194304 5992684 140736757750720 140736757743040 5175646 0 65536 4102 0 18446744071579302229 0 0 17 3 0 0 14 0 0
/proc/10580/statm: 8322 7243 175 440 0 7878 0
[pid=10620] ppid=10580 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/10620/stat : 10620 (satsolver.sh) S 10580 10579 9087 0 -1 4202496 598 0 0 0 0 0 0 0 20 0 1 0 272679615 9367552 266 33554432000 4194304 5064252 140735816270416 140735816269328 239237490254 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/10620/statm: 2287 266 226 213 0 72 0
[pid=10621] ppid=10620 vsize=58128 CPUtime=3.1 cores=1,3,5,7
/proc/10621/stat : 10621 (glucose) R 10620 10579 9087 0 -1 4202496 12230 0 0 0 308 2 0 0 20 0 1 0 272679615 59523072 11916 33554432000 4194304 5208918 140733922720096 140733922717928 4229319 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/10621/statm: 14532 11916 96 248 0 14281 0
Current children cumulated CPU time (s) 15.57
Current children cumulated vsize (KiB) 109712
[startup+16.1004 s]
/proc/loadavg: 2.00 2.00 2.00 3/181 10621
/proc/meminfo: memFree=22136284/32873844 swapFree=7388/7388
[pid=10579] ppid=10577 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/10579/stat : 10579 (npSolver-pbo.sh) S 10577 10579 9087 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 272678336 9367552 275 33554432000 4194304 5064252 140735163940336 140735163939248 239237490254 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/10579/statm: 2287 275 233 213 0 72 0
[pid=10580] ppid=10579 vsize=33288 CPUtime=15.61 cores=1,3,5,7
/proc/10580/stat : 10580 (npSolver-pbo) S 10579 10579 9087 0 -1 4202496 7375 115173 0 0 75 67 1375 44 20 0 1 0 272678337 34086912 7243 33554432000 4194304 5992684 140736757750720 140736757743616 5175646 0 65536 4102 0 18446744071579302229 0 0 17 5 0 0 14 0 0
/proc/10580/statm: 8322 7243 175 440 0 7878 0
Current children cumulated CPU time (s) 15.61
Current children cumulated vsize (KiB) 42436
Child status: 0
Real time (s): 16.109
CPU time (s): 15.6546
CPU user time (s): 14.5108
CPU system time (s): 1.14383
CPU usage (%): 97.1791
Max. virtual memory (cumulated for all children) (KiB): 165476
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 14.5108
system time used= 1.14383
maximum resident set size= 114996
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 123926
page faults= 0
swaps= 0
block input operations= 8
block output operations= 214184
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 573
involuntary context switches= 91
runsolver used 0.020996 second user time and 0.12598 second system time
The end