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-3750614-1339128951/watcher-3750614-1339128951 -o /tmp/evaluation-result-3750614-1339128951/solver-3750614-1339128951 -C 1800 -W 1900 -M 15500 HOME/npSolver-pbo.sh HOME/instance-3750614-1339128951.opb 98901123 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.01 2.06 2.07 3/179 4365
/proc/meminfo: memFree=22902316/32873844 swapFree=7632/7632
[pid=4365] ppid=4363 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/4365/stat : 4365 (npSolver-pbo.sh) S 4363 4365 32553 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 379020739 9367552 275 33554432000 4194304 5064252 140734157329696 140734157328608 214369461838 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/4365/statm: 2287 275 233 213 0 72 0
[startup+0.0203191 s]
/proc/loadavg: 2.01 2.06 2.07 3/179 4365
/proc/meminfo: memFree=22902316/32873844 swapFree=7632/7632
[pid=4365] ppid=4363 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/4365/stat : 4365 (npSolver-pbo.sh) S 4363 4365 32553 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 379020739 9367552 275 33554432000 4194304 5064252 140734157329696 140734157328608 214369461838 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/4365/statm: 2287 275 233 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148
[startup+0.100317 s]
/proc/loadavg: 2.01 2.06 2.07 3/179 4365
/proc/meminfo: memFree=22902316/32873844 swapFree=7632/7632
[pid=4365] ppid=4363 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/4365/stat : 4365 (npSolver-pbo.sh) S 4363 4365 32553 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 379020739 9367552 275 33554432000 4194304 5064252 140734157329696 140734157328608 214369461838 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/4365/statm: 2287 275 233 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148
[startup+0.300257 s]
/proc/loadavg: 2.01 2.06 2.07 3/179 4365
/proc/meminfo: memFree=22902316/32873844 swapFree=7632/7632
[pid=4365] ppid=4363 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/4365/stat : 4365 (npSolver-pbo.sh) S 4363 4365 32553 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 379020739 9367552 275 33554432000 4194304 5064252 140734157329696 140734157328608 214369461838 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/4365/statm: 2287 275 233 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148
[startup+0.700233 s]
/proc/loadavg: 2.01 2.06 2.07 3/179 4365
/proc/meminfo: memFree=22902316/32873844 swapFree=7632/7632
[pid=4365] ppid=4363 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/4365/stat : 4365 (npSolver-pbo.sh) S 4363 4365 32553 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 379020739 9367552 275 33554432000 4194304 5064252 140734157329696 140734157328608 214369461838 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/4365/statm: 2287 275 233 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148
[startup+1.50027 s]
/proc/loadavg: 2.01 2.06 2.07 3/183 4386
/proc/meminfo: memFree=22887116/32873844 swapFree=7632/7632
[pid=4365] ppid=4363 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/4365/stat : 4365 (npSolver-pbo.sh) S 4363 4365 32553 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 379020739 9367552 275 33554432000 4194304 5064252 140734157329696 140734157328608 214369461838 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/4365/statm: 2287 275 233 213 0 72 0
[pid=4366] ppid=4365 vsize=6760 CPUtime=1.22 cores=1,3,5,7
/proc/4366/stat : 4366 (npSolver-pbo) S 4365 4365 32553 0 -1 4202496 4830 15348 0 0 8 2 109 3 20 0 1 0 379020740 6922240 1207 33554432000 4194304 6004724 140736939896128 140736939888480 5186782 0 65536 4102 0 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/4366/statm: 1690 1207 175 442 0 1244 0
Current children cumulated CPU time (s) 1.22
Current children cumulated vsize (KiB) 15908
[startup+3.10041 s]
/proc/loadavg: 2.01 2.06 2.07 3/183 4393
/proc/meminfo: memFree=22887676/32873844 swapFree=7632/7632
[pid=4365] ppid=4363 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/4365/stat : 4365 (npSolver-pbo.sh) S 4363 4365 32553 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 379020739 9367552 275 33554432000 4194304 5064252 140734157329696 140734157328608 214369461838 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/4365/statm: 2287 275 233 213 0 72 0
[pid=4366] ppid=4365 vsize=6760 CPUtime=1.22 cores=1,3,5,7
/proc/4366/stat : 4366 (npSolver-pbo) S 4365 4365 32553 0 -1 4202496 4830 15348 0 0 8 2 109 3 20 0 1 0 379020740 6922240 1207 33554432000 4194304 6004724 140736939896128 140736939888480 5186782 0 65536 4102 0 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/4366/statm: 1690 1207 175 442 0 1244 0
[pid=4392] ppid=4366 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/4392/stat : 4392 (satsolver.sh) S 4366 4365 32553 0 -1 4202496 597 0 0 0 0 0 0 0 20 0 1 0 379020863 9367552 266 33554432000 4194304 5064252 140735160877632 140735160876544 214369461838 0 65536 4100 65538 18446744071579302229 0 0 17 7 0 0 0 0 0
/proc/4392/statm: 2287 266 226 213 0 72 0
[pid=4393] ppid=4392 vsize=15804 CPUtime=1.85 cores=1,3,5,7
/proc/4393/stat : 4393 (glucose) R 4392 4365 32553 0 -1 4202496 3960 0 0 0 185 0 0 0 20 0 1 0 379020863 16183296 3311 33554432000 4194304 5208918 140733224333520 140733224331464 4229335 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/4393/statm: 3951 3311 104 248 0 3700 0
Current children cumulated CPU time (s) 3.07
Current children cumulated vsize (KiB) 40860
[startup+6.30038 s]
/proc/loadavg: 2.01 2.06 2.07 3/183 4407
/proc/meminfo: memFree=22890156/32873844 swapFree=7632/7632
[pid=4365] ppid=4363 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/4365/stat : 4365 (npSolver-pbo.sh) S 4363 4365 32553 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 379020739 9367552 275 33554432000 4194304 5064252 140734157329696 140734157328608 214369461838 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/4365/statm: 2287 275 233 213 0 72 0
[pid=4366] ppid=4365 vsize=6760 CPUtime=6.22 cores=1,3,5,7
/proc/4366/stat : 4366 (npSolver-pbo) S 4365 4365 32553 0 -1 4202496 7823 36070 0 0 16 3 595 8 20 0 1 0 379020740 6922240 1208 33554432000 4194304 6004724 140736939896128 140736939888480 5186782 0 65536 4102 0 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/4366/statm: 1690 1208 176 442 0 1244 0
Current children cumulated CPU time (s) 6.22
Current children cumulated vsize (KiB) 15908
[startup+12.7004 s]
/proc/loadavg: 2.01 2.05 2.07 3/183 4435
/proc/meminfo: memFree=22889428/32873844 swapFree=7632/7632
[pid=4365] ppid=4363 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/4365/stat : 4365 (npSolver-pbo.sh) S 4363 4365 32553 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 379020739 9367552 275 33554432000 4194304 5064252 140734157329696 140734157328608 214369461838 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/4365/statm: 2287 275 233 213 0 72 0
[pid=4366] ppid=4365 vsize=6760 CPUtime=11.55 cores=1,3,5,7
/proc/4366/stat : 4366 (npSolver-pbo) S 4365 4365 32553 0 -1 4202496 10815 57365 0 0 23 4 1114 14 20 0 1 0 379020740 6922240 1208 33554432000 4194304 6004724 140736939896128 140736939888480 5186782 0 65536 4102 0 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/4366/statm: 1690 1208 176 442 0 1244 0
[pid=4434] ppid=4366 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/4434/stat : 4434 (satsolver.sh) S 4366 4365 32553 0 -1 4202496 597 0 0 0 0 0 0 0 20 0 1 0 379021898 9367552 266 33554432000 4194304 5064252 140733585239344 140733585238256 214369461838 0 65536 4100 65538 18446744071579302229 0 0 17 7 0 0 0 0 0
/proc/4434/statm: 2287 266 226 213 0 72 0
[pid=4435] ppid=4434 vsize=11428 CPUtime=1.11 cores=1,3,5,7
/proc/4435/stat : 4435 (glucose) R 4434 4365 32553 0 -1 4202496 3330 0 0 0 110 1 0 0 20 0 1 0 379021898 11702272 2473 33554432000 4194304 5208918 140736175704400 140736175702488 4229010 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/4435/statm: 2857 2473 104 248 0 2606 0
Current children cumulated CPU time (s) 12.66
Current children cumulated vsize (KiB) 36484
Solver just ended. Dumping a history of the last processes samples
[startup+14.3069 s]
/proc/loadavg: 2.01 2.05 2.07 3/183 4442
/proc/meminfo: memFree=22889792/32873844 swapFree=7632/7632
[pid=4365] ppid=4363 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/4365/stat : 4365 (npSolver-pbo.sh) S 4363 4365 32553 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 379020739 9367552 275 33554432000 4194304 5064252 140734157329696 140734157328608 214369461838 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/4365/statm: 2287 275 233 213 0 72 0
[pid=4366] ppid=4365 vsize=6760 CPUtime=13.51 cores=1,3,5,7
/proc/4366/stat : 4366 (npSolver-pbo) S 4365 4365 32553 0 -1 4202496 11822 64307 0 0 26 4 1304 17 20 0 1 0 379020740 6922240 1208 33554432000 4194304 6004724 140736939896128 140736939888480 5186782 0 65536 4102 0 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/4366/statm: 1690 1208 176 442 0 1244 0
[pid=4441] ppid=4366 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/4441/stat : 4441 (satsolver.sh) S 4366 4365 32553 0 -1 4202496 597 0 0 0 0 0 0 0 20 0 1 0 379022094 9367552 267 33554432000 4194304 5064252 140736929030592 140736929029504 214369461838 0 65536 4100 65538 18446744071579302229 0 0 17 7 0 0 0 0 0
/proc/4441/statm: 2287 267 226 213 0 72 0
[pid=4442] ppid=4441 vsize=11412 CPUtime=0.75 cores=1,3,5,7
/proc/4442/stat : 4442 (glucose) R 4441 4365 32553 0 -1 4202496 2797 0 0 0 75 0 0 0 20 0 1 0 379022094 11685888 2356 33554432000 4194304 5208918 140734900536800 140734900534696 4222474 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/4442/statm: 2853 2358 104 248 0 2602 0
Current children cumulated CPU time (s) 14.26
Current children cumulated vsize (KiB) 36468
[startup+15.9003 s]
/proc/loadavg: 2.01 2.05 2.07 3/183 4442
/proc/meminfo: memFree=22887108/32873844 swapFree=7632/7632
[pid=4365] ppid=4363 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/4365/stat : 4365 (npSolver-pbo.sh) S 4363 4365 32553 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 379020739 9367552 275 33554432000 4194304 5064252 140734157329696 140734157328608 214369461838 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/4365/statm: 2287 275 233 213 0 72 0
[pid=4366] ppid=4365 vsize=6760 CPUtime=15.38 cores=1,3,5,7
/proc/4366/stat : 4366 (npSolver-pbo) S 4365 4365 32553 0 -1 4202496 12800 70935 0 0 28 4 1487 19 20 0 1 0 379020740 6922240 1208 33554432000 4194304 6004724 140736939896128 140736939888480 5186782 0 65536 4102 0 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/4366/statm: 1690 1208 176 442 0 1244 0
Current children cumulated CPU time (s) 15.38
Current children cumulated vsize (KiB) 15908
[startup+16.7004 s]
/proc/loadavg: 2.01 2.05 2.07 3/183 4449
/proc/meminfo: memFree=22887860/32873844 swapFree=7632/7632
[pid=4365] ppid=4363 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/4365/stat : 4365 (npSolver-pbo.sh) S 4363 4365 32553 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 379020739 9367552 275 33554432000 4194304 5064252 140734157329696 140734157328608 214369461838 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/4365/statm: 2287 275 233 213 0 72 0
[pid=4366] ppid=4365 vsize=6760 CPUtime=15.38 cores=1,3,5,7
/proc/4366/stat : 4366 (npSolver-pbo) S 4365 4365 32553 0 -1 4202496 12800 70935 0 0 28 4 1487 19 20 0 1 0 379020740 6922240 1208 33554432000 4194304 6004724 140736939896128 140736939888480 5186782 0 65536 4102 0 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/4366/statm: 1690 1208 176 442 0 1244 0
[pid=4448] ppid=4366 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/4448/stat : 4448 (satsolver.sh) S 4366 4365 32553 0 -1 4202496 597 0 0 0 0 0 0 0 20 0 1 0 379022282 9367552 266 33554432000 4194304 5064252 140734184143920 140734184142832 214369461838 0 65536 4100 65538 18446744071579302229 0 0 17 7 0 0 0 0 0
/proc/4448/statm: 2287 266 226 213 0 72 0
[pid=4449] ppid=4448 vsize=11448 CPUtime=1.27 cores=1,3,5,7
/proc/4449/stat : 4449 (glucose) R 4448 4365 32553 0 -1 4202496 2990 0 0 0 127 0 0 0 20 0 1 0 379022282 11722752 2522 33554432000 4194304 5208918 140735961243760 140735961241704 4231516 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/4449/statm: 2862 2522 104 248 0 2611 0
Current children cumulated CPU time (s) 16.65
Current children cumulated vsize (KiB) 36504
[startup+16.9004 s]
/proc/loadavg: 2.01 2.05 2.07 3/183 4449
/proc/meminfo: memFree=22887860/32873844 swapFree=7632/7632
[pid=4365] ppid=4363 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/4365/stat : 4365 (npSolver-pbo.sh) S 4363 4365 32553 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 379020739 9367552 275 33554432000 4194304 5064252 140734157329696 140734157328608 214369461838 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/4365/statm: 2287 275 233 213 0 72 0
[pid=4366] ppid=4365 vsize=6760 CPUtime=15.38 cores=1,3,5,7
/proc/4366/stat : 4366 (npSolver-pbo) S 4365 4365 32553 0 -1 4202496 12800 70935 0 0 28 4 1487 19 20 0 1 0 379020740 6922240 1208 33554432000 4194304 6004724 140736939896128 140736939888480 5186782 0 65536 4102 0 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/4366/statm: 1690 1208 176 442 0 1244 0
[pid=4448] ppid=4366 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/4448/stat : 4448 (satsolver.sh) S 4366 4365 32553 0 -1 4202496 597 0 0 0 0 0 0 0 20 0 1 0 379022282 9367552 266 33554432000 4194304 5064252 140734184143920 140734184142832 214369461838 0 65536 4100 65538 18446744071579302229 0 0 17 7 0 0 0 0 0
/proc/4448/statm: 2287 266 226 213 0 72 0
[pid=4449] ppid=4448 vsize=11448 CPUtime=1.47 cores=1,3,5,7
/proc/4449/stat : 4449 (glucose) R 4448 4365 32553 0 -1 4202496 3064 0 0 0 147 0 0 0 20 0 1 0 379022282 11722752 2596 33554432000 4194304 5208918 140735961243760 140735961241704 4212457 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/4449/statm: 2862 2596 104 248 0 2611 0
Current children cumulated CPU time (s) 16.85
Current children cumulated vsize (KiB) 36504
[startup+17.0004 s]
/proc/loadavg: 2.01 2.05 2.07 3/183 4449
/proc/meminfo: memFree=22887860/32873844 swapFree=7632/7632
[pid=4365] ppid=4363 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/4365/stat : 4365 (npSolver-pbo.sh) S 4363 4365 32553 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 379020739 9367552 275 33554432000 4194304 5064252 140734157329696 140734157328608 214369461838 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/4365/statm: 2287 275 233 213 0 72 0
[pid=4366] ppid=4365 vsize=6760 CPUtime=15.38 cores=1,3,5,7
/proc/4366/stat : 4366 (npSolver-pbo) S 4365 4365 32553 0 -1 4202496 12800 70935 0 0 28 4 1487 19 20 0 1 0 379020740 6922240 1208 33554432000 4194304 6004724 140736939896128 140736939888480 5186782 0 65536 4102 0 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/4366/statm: 1690 1208 176 442 0 1244 0
[pid=4448] ppid=4366 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/4448/stat : 4448 (satsolver.sh) S 4366 4365 32553 0 -1 4202496 597 0 0 0 0 0 0 0 20 0 1 0 379022282 9367552 266 33554432000 4194304 5064252 140734184143920 140734184142832 214369461838 0 65536 4100 65538 18446744071579302229 0 0 17 7 0 0 0 0 0
/proc/4448/statm: 2287 266 226 213 0 72 0
[pid=4449] ppid=4448 vsize=15800 CPUtime=1.57 cores=1,3,5,7
/proc/4449/stat : 4449 (glucose) R 4448 4365 32553 0 -1 4202496 3102 0 0 0 157 0 0 0 20 0 1 0 379022282 16179200 3143 33554432000 4194304 5208918 140735961243760 140735961241704 4231508 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/4449/statm: 3950 3143 104 248 0 3699 0
Current children cumulated CPU time (s) 16.95
Current children cumulated vsize (KiB) 40856
Child status: 0
Real time (s): 17.0483
CPU time (s): 17.0294
CPU user time (s): 16.7704
CPU system time (s): 0.25896
CPU usage (%): 99.8894
Max. virtual memory (cumulated for all children) (KiB): 40884
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 16.7705
system time used= 0.25896
maximum resident set size= 29560
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 90276
page faults= 0
swaps= 0
block input operations= 0
block output operations= 33136
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 189
involuntary context switches= 150
runsolver used 0.029995 second user time and 0.116982 second system time
The end