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-3697823-1338125538/watcher-3697823-1338125538 -o /tmp/evaluation-result-3697823-1338125538/solver-3697823-1338125538 -C 1800 -W 1900 -M 15500 HOME/npSolver-pbo-Itd.sh HOME/instance-3697823-1338125538.opb 1076761253 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: 4.75 4.01 3.17 4/180 25679
/proc/meminfo: memFree=19008296/32873844 swapFree=6856/6856
[pid=25679] ppid=25677 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/25679/stat : 25679 (npSolver-pbo-It) S 25677 25679 24682 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 278678758 9367552 274 33554432000 4194304 5064252 140736217538848 140736217537760 223651456590 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/25679/statm: 2287 274 233 213 0 72 0
[startup+0.0814731 s]
/proc/loadavg: 4.75 4.01 3.17 4/180 25679
/proc/meminfo: memFree=19008296/32873844 swapFree=6856/6856
[pid=25679] ppid=25677 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/25679/stat : 25679 (npSolver-pbo-It) S 25677 25679 24682 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 278678758 9367552 274 33554432000 4194304 5064252 140736217538848 140736217537760 223651456590 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/25679/statm: 2287 274 233 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148
[startup+0.100303 s]
/proc/loadavg: 4.75 4.01 3.17 4/180 25679
/proc/meminfo: memFree=19008296/32873844 swapFree=6856/6856
[pid=25679] ppid=25677 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/25679/stat : 25679 (npSolver-pbo-It) S 25677 25679 24682 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 278678758 9367552 274 33554432000 4194304 5064252 140736217538848 140736217537760 223651456590 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/25679/statm: 2287 274 233 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148
[startup+0.300216 s]
/proc/loadavg: 4.75 4.01 3.17 4/180 25679
/proc/meminfo: memFree=19008296/32873844 swapFree=6856/6856
[pid=25679] ppid=25677 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/25679/stat : 25679 (npSolver-pbo-It) S 25677 25679 24682 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 278678758 9367552 274 33554432000 4194304 5064252 140736217538848 140736217537760 223651456590 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/25679/statm: 2287 274 233 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148
[startup+0.700216 s]
/proc/loadavg: 4.75 4.01 3.17 4/180 25679
/proc/meminfo: memFree=19008296/32873844 swapFree=6856/6856
[pid=25679] ppid=25677 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/25679/stat : 25679 (npSolver-pbo-It) S 25677 25679 24682 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 278678758 9367552 274 33554432000 4194304 5064252 140736217538848 140736217537760 223651456590 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/25679/statm: 2287 274 233 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148
[startup+1.50031 s]
/proc/loadavg: 4.75 4.01 3.17 4/182 25681
/proc/meminfo: memFree=24496868/32873844 swapFree=6856/6856
[pid=25679] ppid=25677 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/25679/stat : 25679 (npSolver-pbo-It) S 25677 25679 24682 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 278678758 9367552 274 33554432000 4194304 5064252 140736217538848 140736217537760 223651456590 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/25679/statm: 2287 274 233 213 0 72 0
[pid=25680] ppid=25679 vsize=91096 CPUtime=1.48 cores=0,2,4,6
/proc/25680/stat : 25680 (npSolver-pbo) R 25679 25679 24682 0 -1 4202496 9820 0 0 0 146 2 0 0 20 0 1 0 278678758 93282304 15245 33554432000 4194304 5992684 140733421323488 140733421318904 4228332 0 0 4096 0 0 0 0 17 4 0 0 0 0 0
/proc/25680/statm: 22774 15245 165 440 0 22330 0
Current children cumulated CPU time (s) 1.48
Current children cumulated vsize (KiB) 100244
[startup+3.10035 s]
/proc/loadavg: 4.75 4.01 3.17 3/181 25681
/proc/meminfo: memFree=27967944/32873844 swapFree=6856/6856
[pid=25679] ppid=25677 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/25679/stat : 25679 (npSolver-pbo-It) S 25677 25679 24682 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 278678758 9367552 274 33554432000 4194304 5064252 140736217538848 140736217537760 223651456590 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/25679/statm: 2287 274 233 213 0 72 0
[pid=25680] ppid=25679 vsize=228528 CPUtime=3.09 cores=0,2,4,6
/proc/25680/stat : 25680 (npSolver-pbo) R 25679 25679 24682 0 -1 4202496 28380 0 0 0 302 7 0 0 20 0 1 0 278678758 234012672 54724 33554432000 4194304 5992684 140733421323488 140733421317256 4228034 0 0 4096 0 0 0 0 17 4 0 0 0 0 0
/proc/25680/statm: 57132 54724 165 440 0 56688 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 237676
[startup+6.30032 s]
/proc/loadavg: 4.53 3.98 3.16 3/183 25683
/proc/meminfo: memFree=27535184/32873844 swapFree=6856/6856
[pid=25679] ppid=25677 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/25679/stat : 25679 (npSolver-pbo-It) S 25677 25679 24682 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 278678758 9367552 274 33554432000 4194304 5064252 140736217538848 140736217537760 223651456590 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/25679/statm: 2287 274 233 213 0 72 0
[pid=25680] ppid=25679 vsize=380308 CPUtime=3.84 cores=0,2,4,6
/proc/25680/stat : 25680 (npSolver-pbo) S 25679 25679 24682 0 -1 4202496 34825 0 0 0 347 37 0 0 20 0 1 0 278678758 389435392 65517 33554432000 4194304 5992684 140733421323488 140733421317936 5175646 0 65536 4102 0 18446744071579302229 0 0 17 4 0 0 2 0 0
/proc/25680/statm: 95077 65517 172 440 0 94633 0
[pid=25682] ppid=25680 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/25682/stat : 25682 (cp2_pre.sh) S 25680 25679 24682 0 -1 4202496 610 0 0 0 0 0 0 0 20 0 1 0 278679146 9367552 277 33554432000 4194304 5064252 140736890414976 140736890413680 223651456590 0 65536 4100 65538 18446744071579302229 0 0 17 2 0 0 0 0 0
/proc/25682/statm: 2287 277 234 213 0 72 0
[pid=25683] ppid=25682 vsize=504116 CPUtime=2.38 cores=0,2,4,6
/proc/25683/stat : 25683 (coprocessor) R 25682 25679 24682 0 -1 4202496 18467 0 0 0 223 15 0 0 20 0 1 0 278679146 516214784 99438 33554432000 4194304 6586260 140734480704352 140734480700104 5732496 0 0 4096 8404994 0 0 0 17 0 0 0 1 0 0
/proc/25683/statm: 126029 99438 158 584 0 125441 0
Current children cumulated CPU time (s) 6.22
Current children cumulated vsize (KiB) 902720
[startup+12.7004 s]
/proc/loadavg: 4.32 3.95 3.16 3/183 25683
/proc/meminfo: memFree=27220252/32873844 swapFree=6856/6856
[pid=25679] ppid=25677 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/25679/stat : 25679 (npSolver-pbo-It) S 25677 25679 24682 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 278678758 9367552 274 33554432000 4194304 5064252 140736217538848 140736217537760 223651456590 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/25679/statm: 2287 274 233 213 0 72 0
[pid=25680] ppid=25679 vsize=380308 CPUtime=12.45 cores=0,2,4,6
/proc/25680/stat : 25680 (npSolver-pbo) S 25679 25679 24682 0 -1 4202496 34840 19372 0 0 347 37 812 49 20 0 1 0 278678758 389435392 65519 33554432000 4194304 5992684 140733421323488 140733421309752 5179600 0 0 4096 0 18446744071580380219 0 0 17 4 0 0 2 0 0
/proc/25680/statm: 95077 65519 174 440 0 94633 0
Current children cumulated CPU time (s) 12.45
Current children cumulated vsize (KiB) 389456
Solver just ended. Dumping a history of the last processes samples
[startup+13.7004 s]
/proc/loadavg: 4.32 3.95 3.16 3/182 25685
/proc/meminfo: memFree=27610664/32873844 swapFree=6856/6856
[pid=25679] ppid=25677 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/25679/stat : 25679 (npSolver-pbo-It) S 25677 25679 24682 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 278678758 9367552 274 33554432000 4194304 5064252 140736217538848 140736217537760 223651456590 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/25679/statm: 2287 274 233 213 0 72 0
[pid=25680] ppid=25679 vsize=380308 CPUtime=12.45 cores=0,2,4,6
/proc/25680/stat : 25680 (npSolver-pbo) S 25679 25679 24682 0 -1 4202496 34840 19372 0 0 347 37 812 49 20 0 1 0 278678758 389435392 65519 33554432000 4194304 5992684 140733421323488 140733421309752 5179600 0 0 4096 0 18446744071580380219 0 0 17 4 0 0 2 0 0
/proc/25680/statm: 95077 65519 174 440 0 94633 0
[pid=25685] ppid=25680 vsize=387616 CPUtime=1.03 cores=0,2,4,6
/proc/25685/stat : 25685 (glucosInc) R 25680 25679 24682 0 -1 4202496 58096 0 0 0 90 13 0 0 20 0 1 0 278680023 396918784 88120 33554432000 4194304 5654031 140737361282352 140737360231944 4797458 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/25685/statm: 96904 88120 108 357 0 96544 0
Current children cumulated CPU time (s) 13.48
Current children cumulated vsize (KiB) 777072
[startup+16.9004 s]
/proc/loadavg: 4.14 3.91 3.15 3/183 25686
/proc/meminfo: memFree=26966520/32873844 swapFree=6856/6856
[pid=25679] ppid=25677 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/25679/stat : 25679 (npSolver-pbo-It) S 25677 25679 24682 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 278678758 9367552 274 33554432000 4194304 5064252 140736217538848 140736217537760 223651456590 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/25679/statm: 2287 274 233 213 0 72 0
[pid=25680] ppid=25679 vsize=437188 CPUtime=13.32 cores=0,2,4,6
/proc/25680/stat : 25680 (npSolver-pbo) R 25679 25679 24682 0 -1 4204032 39019 19372 0 0 410 61 812 49 20 0 1 0 278678758 447680512 79756 33554432000 4194304 5992684 140733421323488 140733421318024 5240597 0 0 4096 0 18446744071580380219 0 0 17 4 0 0 2 0 0
/proc/25680/statm: 109297 79756 191 440 0 108853 0
[pid=25685] ppid=25680 vsize=650956 CPUtime=2.81 cores=0,2,4,6
/proc/25685/stat : 25685 (glucosInc) S 25680 25679 24682 0 -1 4202496 98111 0 0 0 258 23 0 0 20 0 1 0 278680023 666578944 152545 33554432000 4194304 5654031 140737361282352 140737361280664 4976656 0 0 4096 0 18446744071580380219 0 0 17 2 0 0 0 0 0
/proc/25685/statm: 162739 152545 147 357 0 162379 0
Current children cumulated CPU time (s) 16.13
Current children cumulated vsize (KiB) 1097292
[startup+18.5003 s]
/proc/loadavg: 4.14 3.91 3.15 2/183 25686
/proc/meminfo: memFree=26497928/32873844 swapFree=6856/6856
[pid=25679] ppid=25677 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/25679/stat : 25679 (npSolver-pbo-It) S 25677 25679 24682 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 278678758 9367552 274 33554432000 4194304 5064252 140736217538848 140736217537760 223651456590 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/25679/statm: 2287 274 233 213 0 72 0
[pid=25680] ppid=25679 vsize=437188 CPUtime=13.47 cores=0,2,4,6
/proc/25680/stat : 25680 (npSolver-pbo) S 25679 25679 24682 0 -1 4204032 39020 19372 0 0 410 76 812 49 20 0 1 0 278678758 447680512 79757 33554432000 4194304 5992684 140733421323488 140733421318024 5240597 0 0 4096 0 18446744071580380219 0 0 17 4 0 0 2 0 0
/proc/25680/statm: 109297 79757 192 440 0 108853 0
[pid=25685] ppid=25680 vsize=650956 CPUtime=2.81 cores=0,2,4,6
/proc/25685/stat : 25685 (glucosInc) S 25680 25679 24682 0 -1 4202496 98111 0 0 0 258 23 0 0 20 0 1 0 278680023 666578944 152545 33554432000 4194304 5654031 140737361282352 140737361280664 4976656 0 0 4096 0 18446744071580380219 0 0 17 2 0 0 0 0 0
/proc/25685/statm: 162739 152545 147 357 0 162379 0
Current children cumulated CPU time (s) 16.28
Current children cumulated vsize (KiB) 1097292
[startup+20.1003 s]
/proc/loadavg: 4.14 3.91 3.15 2/183 25686
/proc/meminfo: memFree=26497680/32873844 swapFree=6856/6856
[pid=25679] ppid=25677 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/25679/stat : 25679 (npSolver-pbo-It) S 25677 25679 24682 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 278678758 9367552 274 33554432000 4194304 5064252 140736217538848 140736217537760 223651456590 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/25679/statm: 2287 274 233 213 0 72 0
[pid=25680] ppid=25679 vsize=437188 CPUtime=13.47 cores=0,2,4,6
/proc/25680/stat : 25680 (npSolver-pbo) S 25679 25679 24682 0 -1 4204032 39020 19372 0 0 410 76 812 49 20 0 1 0 278678758 447680512 79757 33554432000 4194304 5992684 140733421323488 140733421318024 5240597 0 0 4096 0 18446744071580380219 0 0 17 4 0 0 2 0 0
/proc/25680/statm: 109297 79757 192 440 0 108853 0
[pid=25685] ppid=25680 vsize=650956 CPUtime=2.81 cores=0,2,4,6
/proc/25685/stat : 25685 (glucosInc) S 25680 25679 24682 0 -1 4202496 98111 0 0 0 258 23 0 0 20 0 1 0 278680023 666578944 152545 33554432000 4194304 5654031 140737361282352 140737361280664 4976656 0 0 4096 0 18446744071580380219 0 0 17 2 0 0 0 0 0
/proc/25685/statm: 162739 152545 147 357 0 162379 0
Current children cumulated CPU time (s) 16.28
Current children cumulated vsize (KiB) 1097292
[startup+20.5003 s]
/proc/loadavg: 4.14 3.91 3.15 2/183 25686
/proc/meminfo: memFree=26497680/32873844 swapFree=6856/6856
[pid=25679] ppid=25677 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/25679/stat : 25679 (npSolver-pbo-It) S 25677 25679 24682 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 278678758 9367552 274 33554432000 4194304 5064252 140736217538848 140736217537760 223651456590 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/25679/statm: 2287 274 233 213 0 72 0
[pid=25680] ppid=25679 vsize=437188 CPUtime=13.47 cores=0,2,4,6
/proc/25680/stat : 25680 (npSolver-pbo) S 25679 25679 24682 0 -1 4204032 39020 19372 0 0 410 76 812 49 20 0 1 0 278678758 447680512 79757 33554432000 4194304 5992684 140733421323488 140733421318024 5240597 0 0 4096 0 18446744071580380219 0 0 17 4 0 0 2 0 0
/proc/25680/statm: 109297 79757 192 440 0 108853 0
[pid=25685] ppid=25680 vsize=650956 CPUtime=2.81 cores=0,2,4,6
/proc/25685/stat : 25685 (glucosInc) S 25680 25679 24682 0 -1 4202496 98111 0 0 0 258 23 0 0 20 0 1 0 278680023 666578944 152545 33554432000 4194304 5654031 140737361282352 140737361280664 4976656 0 0 4096 0 18446744071580380219 0 0 17 2 0 0 0 0 0
/proc/25685/statm: 162739 152545 147 357 0 162379 0
Current children cumulated CPU time (s) 16.28
Current children cumulated vsize (KiB) 1097292
[startup+20.9003 s]
/proc/loadavg: 3.97 3.88 3.14 2/183 25686
/proc/meminfo: memFree=26500576/32873844 swapFree=6856/6856
[pid=25679] ppid=25677 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/25679/stat : 25679 (npSolver-pbo-It) S 25677 25679 24682 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 278678758 9367552 274 33554432000 4194304 5064252 140736217538848 140736217537760 223651456590 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/25679/statm: 2287 274 233 213 0 72 0
[pid=25680] ppid=25679 vsize=437188 CPUtime=13.47 cores=0,2,4,6
/proc/25680/stat : 25680 (npSolver-pbo) S 25679 25679 24682 0 -1 4204032 39020 19372 0 0 410 76 812 49 20 0 1 0 278678758 447680512 79757 33554432000 4194304 5992684 140733421323488 140733421318024 5240597 0 0 4096 0 18446744071580380219 0 0 17 4 0 0 2 0 0
/proc/25680/statm: 109297 79757 192 440 0 108853 0
[pid=25685] ppid=25680 vsize=650956 CPUtime=2.81 cores=0,2,4,6
/proc/25685/stat : 25685 (glucosInc) S 25680 25679 24682 0 -1 4202496 98111 0 0 0 258 23 0 0 20 0 1 0 278680023 666578944 152545 33554432000 4194304 5654031 140737361282352 140737361280664 4976656 0 0 4096 0 18446744071580380219 0 0 17 2 0 0 0 0 0
/proc/25685/statm: 162739 152545 147 357 0 162379 0
Current children cumulated CPU time (s) 16.28
Current children cumulated vsize (KiB) 1097292
Child status: 0
# WARNING:
# CPU time reported by wait4() is probably wrong !
# wait4(...,&childrusage) returns 25679 and gives
# childrusage.ru_utime.tv_sec=12
# childrusage.ru_utime.tv_usec=233140
# childrusage.ru_stime.tv_sec=1
# childrusage.ru_stime.tv_usec=265807
# CPU time returned by wait4() is 13.4989
# while last known CPU time is 16.28
#
# Solver probably didn't/couldn't wait for its children
# Using CPU time of the last sample as value...
Real time (s): 20.9952
CPU time (s): 16.28
CPU user time (s): 14.8
CPU system time (s): 1.48
CPU usage (%): 77.5416
Max. virtual memory (cumulated for all children) (KiB): 1097292
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 12.2331
system time used= 1.26581
maximum resident set size= 405864
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 58765
page faults= 0
swaps= 0
block input operations= 16
block output operations= 565456
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 94155
involuntary context switches= 41
runsolver used 0.039993 second user time and 0.098984 second system time
The end