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-3748438-1339172019/watcher-3748438-1339172019 -o /tmp/evaluation-result-3748438-1339172019/solver-3748438-1339172019 -C 1800 -W 1900 -M 15500 HOME/npSolver-pbo-I.sh HOME/instance-3748438-1339172019.opb 1850786364 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: 1.92 1.98 2.00 2/174 8726
/proc/meminfo: memFree=29406400/32873844 swapFree=7896/7896
[pid=8726] ppid=8724 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/8726/stat : 8726 (npSolver-pbo-I.) S 8724 8726 8594 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 383327379 9367552 275 33554432000 4194304 5064252 140735768975360 140735768974272 239872927310 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/8726/statm: 2287 275 233 213 0 72 0
[startup+0.0352869 s]
/proc/loadavg: 1.92 1.98 2.00 2/174 8726
/proc/meminfo: memFree=29406400/32873844 swapFree=7896/7896
[pid=8726] ppid=8724 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/8726/stat : 8726 (npSolver-pbo-I.) S 8724 8726 8594 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 383327379 9367552 275 33554432000 4194304 5064252 140735768975360 140735768974272 239872927310 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/8726/statm: 2287 275 233 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148
[startup+0.100301 s]
/proc/loadavg: 1.92 1.98 2.00 2/174 8726
/proc/meminfo: memFree=29406400/32873844 swapFree=7896/7896
[pid=8726] ppid=8724 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/8726/stat : 8726 (npSolver-pbo-I.) S 8724 8726 8594 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 383327379 9367552 275 33554432000 4194304 5064252 140735768975360 140735768974272 239872927310 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/8726/statm: 2287 275 233 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148
[startup+0.300306 s]
/proc/loadavg: 1.92 1.98 2.00 2/174 8726
/proc/meminfo: memFree=29406400/32873844 swapFree=7896/7896
[pid=8726] ppid=8724 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/8726/stat : 8726 (npSolver-pbo-I.) S 8724 8726 8594 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 383327379 9367552 275 33554432000 4194304 5064252 140735768975360 140735768974272 239872927310 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/8726/statm: 2287 275 233 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148
[startup+0.7003 s]
/proc/loadavg: 1.92 1.98 2.00 2/174 8726
/proc/meminfo: memFree=29406400/32873844 swapFree=7896/7896
[pid=8726] ppid=8724 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/8726/stat : 8726 (npSolver-pbo-I.) S 8724 8726 8594 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 383327379 9367552 275 33554432000 4194304 5064252 140735768975360 140735768974272 239872927310 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/8726/statm: 2287 275 233 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148
[startup+1.50039 s]
/proc/loadavg: 1.92 1.98 2.00 2/176 8728
/proc/meminfo: memFree=29264092/32873844 swapFree=7896/7896
[pid=8726] ppid=8724 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/8726/stat : 8726 (npSolver-pbo-I.) S 8724 8726 8594 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 383327379 9367552 275 33554432000 4194304 5064252 140735768975360 140735768974272 239872927310 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/8726/statm: 2287 275 233 213 0 72 0
[pid=8727] ppid=8726 vsize=238560 CPUtime=1.48 cores=1,3,5,7
/proc/8727/stat : 8727 (npSolver-pbo) R 8726 8726 8594 0 -1 4202496 22892 0 0 0 141 7 0 0 20 0 1 0 383327380 244285440 43766 33554432000 4194304 6004724 140736562403952 140736562398552 4581071 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/8727/statm: 59640 43766 153 442 0 59194 0
Current children cumulated CPU time (s) 1.48
Current children cumulated vsize (KiB) 247708
[startup+3.10043 s]
/proc/loadavg: 1.92 1.98 2.00 3/179 8767
/proc/meminfo: memFree=30502576/32873844 swapFree=7896/7896
[pid=8726] ppid=8724 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/8726/stat : 8726 (npSolver-pbo-I.) S 8724 8726 8594 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 383327379 9367552 275 33554432000 4194304 5064252 140735768975360 140735768974272 239872927310 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/8726/statm: 2287 275 233 213 0 72 0
[pid=8727] ppid=8726 vsize=167408 CPUtime=2.18 cores=1,3,5,7
/proc/8727/stat : 8727 (npSolver-pbo) S 8726 8726 8594 0 -1 4202496 23469 0 0 0 191 27 0 0 20 0 1 0 383327380 171425792 33846 33554432000 4194304 6004724 140736562403952 140736562398416 5186782 0 65536 4102 0 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/8727/statm: 41852 33846 162 442 0 41406 0
Current children cumulated CPU time (s) 2.18
Current children cumulated vsize (KiB) 176556
heavy processes:
[startup+6.3004 s]
/proc/loadavg: 2.01 2.00 2.00 3/182 8773
/proc/meminfo: memFree=30068656/32873844 swapFree=7896/7896
[pid=8726] ppid=8724 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/8726/stat : 8726 (npSolver-pbo-I.) S 8724 8726 8594 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 383327379 9367552 275 33554432000 4194304 5064252 140735768975360 140735768974272 239872927310 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/8726/statm: 2287 275 233 213 0 72 0
[pid=8727] ppid=8726 vsize=167408 CPUtime=2.18 cores=1,3,5,7
/proc/8727/stat : 8727 (npSolver-pbo) S 8726 8726 8594 0 -1 4202496 23469 0 0 0 191 27 0 0 20 0 1 0 383327380 171425792 33846 33554432000 4194304 6004724 140736562403952 140736562398416 5186782 0 65536 4102 0 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/8727/statm: 41852 33846 162 442 0 41406 0
[pid=8768] ppid=8727 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/8768/stat : 8768 (cp2_pre.sh) S 8727 8726 8594 0 -1 4202496 609 0 0 0 0 0 0 0 20 0 1 0 383327600 9367552 277 33554432000 4194304 5064252 140733754935040 140733754933744 239872927310 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/8768/statm: 2287 277 234 213 0 72 0
[pid=8769] ppid=8768 vsize=470220 CPUtime=4.09 cores=1,3,5,7
/proc/8769/stat : 8769 (coprocessor) R 8768 8726 8594 0 -1 4202496 50092 0 0 0 393 16 0 0 20 0 1 0 383327600 481505280 107669 33554432000 4194304 6586260 140735705218080 140735705214232 4500669 0 0 4096 8404994 0 0 0 17 5 0 0 0 0 0
/proc/8769/statm: 117555 107669 170 584 0 116967 0
Current children cumulated CPU time (s) 6.27
Current children cumulated vsize (KiB) 655924
[startup+12.7004 s]
/proc/loadavg: 2.01 2.00 2.00 4/182 8779
/proc/meminfo: memFree=30328908/32873844 swapFree=7896/7896
[pid=8726] ppid=8724 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/8726/stat : 8726 (npSolver-pbo-I.) S 8724 8726 8594 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 383327379 9367552 275 33554432000 4194304 5064252 140735768975360 140735768974272 239872927310 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/8726/statm: 2287 275 233 213 0 72 0
[pid=8727] ppid=8726 vsize=175604 CPUtime=10.92 cores=1,3,5,7
/proc/8727/stat : 8727 (npSolver-pbo) R 8726 8726 8594 0 -1 4204032 27347 61707 0 0 205 36 808 43 20 0 1 0 383327380 179818496 35889 33554432000 4194304 6004724 140736562403952 140736562398504 5251733 0 0 4096 0 18446744071580380219 0 0 17 3 0 0 0 0 0
/proc/8727/statm: 43901 35889 187 442 0 43455 0
[pid=8778] ppid=8727 vsize=203416 CPUtime=1.36 cores=1,3,5,7
/proc/8778/stat : 8778 (glucosInc) S 8727 8726 8594 0 -1 4202496 36307 0 0 0 128 8 0 0 20 0 1 0 383328452 208297984 44174 33554432000 4194304 5654031 140734019079728 140734019078040 4976656 0 0 4096 0 18446744071580380219 0 0 17 1 0 0 0 0 0
/proc/8778/statm: 50854 44174 146 357 0 50494 0
Current children cumulated CPU time (s) 12.28
Current children cumulated vsize (KiB) 388168
Solver just ended. Dumping a history of the last processes samples
[startup+13.1004 s]
/proc/loadavg: 2.01 2.00 2.00 4/182 8779
/proc/meminfo: memFree=30328908/32873844 swapFree=7896/7896
[pid=8726] ppid=8724 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/8726/stat : 8726 (npSolver-pbo-I.) S 8724 8726 8594 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 383327379 9367552 275 33554432000 4194304 5064252 140735768975360 140735768974272 239872927310 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/8726/statm: 2287 275 233 213 0 72 0
[pid=8727] ppid=8726 vsize=175604 CPUtime=11.02 cores=1,3,5,7
/proc/8727/stat : 8727 (npSolver-pbo) S 8726 8726 8594 0 -1 4204032 27348 61707 0 0 205 46 808 43 20 0 1 0 383327380 179818496 35890 33554432000 4194304 6004724 140736562403952 140736562398504 5251733 0 0 4096 0 18446744071580380219 0 0 17 3 0 0 0 0 0
/proc/8727/statm: 43901 35890 188 442 0 43455 0
[pid=8778] ppid=8727 vsize=203416 CPUtime=1.36 cores=1,3,5,7
/proc/8778/stat : 8778 (glucosInc) S 8727 8726 8594 0 -1 4202496 36307 0 0 0 128 8 0 0 20 0 1 0 383328452 208297984 44174 33554432000 4194304 5654031 140734019079728 140734019078040 4976656 0 0 4096 0 18446744071580380219 0 0 17 1 0 0 0 0 0
/proc/8778/statm: 50854 44174 146 357 0 50494 0
Current children cumulated CPU time (s) 12.38
Current children cumulated vsize (KiB) 388168
[startup+16.3003 s]
/proc/loadavg: 2.00 2.00 2.00 2/182 8779
/proc/meminfo: memFree=30060968/32873844 swapFree=7896/7896
[pid=8726] ppid=8724 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/8726/stat : 8726 (npSolver-pbo-I.) S 8724 8726 8594 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 383327379 9367552 275 33554432000 4194304 5064252 140735768975360 140735768974272 239872927310 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/8726/statm: 2287 275 233 213 0 72 0
[pid=8727] ppid=8726 vsize=175604 CPUtime=11.02 cores=1,3,5,7
/proc/8727/stat : 8727 (npSolver-pbo) S 8726 8726 8594 0 -1 4204032 27348 61707 0 0 205 46 808 43 20 0 1 0 383327380 179818496 35890 33554432000 4194304 6004724 140736562403952 140736562398504 5251733 0 0 4096 0 18446744071580380219 0 0 17 3 0 0 0 0 0
/proc/8727/statm: 43901 35890 188 442 0 43455 0
[pid=8778] ppid=8727 vsize=203416 CPUtime=1.36 cores=1,3,5,7
/proc/8778/stat : 8778 (glucosInc) S 8727 8726 8594 0 -1 4202496 36307 0 0 0 128 8 0 0 20 0 1 0 383328452 208297984 44174 33554432000 4194304 5654031 140734019079728 140734019078040 4976656 0 0 4096 0 18446744071580380219 0 0 17 1 0 0 0 0 0
/proc/8778/statm: 50854 44174 146 357 0 50494 0
Current children cumulated CPU time (s) 12.38
Current children cumulated vsize (KiB) 388168
[startup+17.1004 s]
/proc/loadavg: 2.00 2.00 2.00 2/182 8779
/proc/meminfo: memFree=30060968/32873844 swapFree=7896/7896
[pid=8726] ppid=8724 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/8726/stat : 8726 (npSolver-pbo-I.) S 8724 8726 8594 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 383327379 9367552 275 33554432000 4194304 5064252 140735768975360 140735768974272 239872927310 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/8726/statm: 2287 275 233 213 0 72 0
[pid=8727] ppid=8726 vsize=175604 CPUtime=11.02 cores=1,3,5,7
/proc/8727/stat : 8727 (npSolver-pbo) S 8726 8726 8594 0 -1 4204032 27348 61707 0 0 205 46 808 43 20 0 1 0 383327380 179818496 35890 33554432000 4194304 6004724 140736562403952 140736562398504 5251733 0 0 4096 0 18446744071580380219 0 0 17 3 0 0 0 0 0
/proc/8727/statm: 43901 35890 188 442 0 43455 0
[pid=8778] ppid=8727 vsize=203416 CPUtime=1.36 cores=1,3,5,7
/proc/8778/stat : 8778 (glucosInc) S 8727 8726 8594 0 -1 4202496 36307 0 0 0 128 8 0 0 20 0 1 0 383328452 208297984 44174 33554432000 4194304 5654031 140734019079728 140734019078040 4976656 0 0 4096 0 18446744071580380219 0 0 17 1 0 0 0 0 0
/proc/8778/statm: 50854 44174 146 357 0 50494 0
Current children cumulated CPU time (s) 12.38
Current children cumulated vsize (KiB) 388168
[startup+17.5004 s]
/proc/loadavg: 2.00 2.00 2.00 2/182 8779
/proc/meminfo: memFree=30060968/32873844 swapFree=7896/7896
[pid=8726] ppid=8724 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/8726/stat : 8726 (npSolver-pbo-I.) S 8724 8726 8594 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 383327379 9367552 275 33554432000 4194304 5064252 140735768975360 140735768974272 239872927310 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/8726/statm: 2287 275 233 213 0 72 0
[pid=8727] ppid=8726 vsize=175604 CPUtime=11.02 cores=1,3,5,7
/proc/8727/stat : 8727 (npSolver-pbo) S 8726 8726 8594 0 -1 4204032 27348 61707 0 0 205 46 808 43 20 0 1 0 383327380 179818496 35890 33554432000 4194304 6004724 140736562403952 140736562398504 5251733 0 0 4096 0 18446744071580380219 0 0 17 3 0 0 0 0 0
/proc/8727/statm: 43901 35890 188 442 0 43455 0
[pid=8778] ppid=8727 vsize=203416 CPUtime=1.36 cores=1,3,5,7
/proc/8778/stat : 8778 (glucosInc) S 8727 8726 8594 0 -1 4202496 36307 0 0 0 128 8 0 0 20 0 1 0 383328452 208297984 44174 33554432000 4194304 5654031 140734019079728 140734019078040 4976656 0 0 4096 0 18446744071580380219 0 0 17 1 0 0 0 0 0
/proc/8778/statm: 50854 44174 146 357 0 50494 0
Current children cumulated CPU time (s) 12.38
Current children cumulated vsize (KiB) 388168
[startup+17.9004 s]
/proc/loadavg: 2.16 2.03 2.01 2/182 8779
/proc/meminfo: memFree=30066060/32873844 swapFree=7896/7896
[pid=8726] ppid=8724 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/8726/stat : 8726 (npSolver-pbo-I.) S 8724 8726 8594 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 383327379 9367552 275 33554432000 4194304 5064252 140735768975360 140735768974272 239872927310 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/8726/statm: 2287 275 233 213 0 72 0
[pid=8727] ppid=8726 vsize=175604 CPUtime=11.02 cores=1,3,5,7
/proc/8727/stat : 8727 (npSolver-pbo) S 8726 8726 8594 0 -1 4204032 27348 61707 0 0 205 46 808 43 20 0 1 0 383327380 179818496 35890 33554432000 4194304 6004724 140736562403952 140736562398504 5251733 0 0 4096 0 18446744071580380219 0 0 17 3 0 0 0 0 0
/proc/8727/statm: 43901 35890 188 442 0 43455 0
[pid=8778] ppid=8727 vsize=203416 CPUtime=1.36 cores=1,3,5,7
/proc/8778/stat : 8778 (glucosInc) S 8727 8726 8594 0 -1 4202496 36307 0 0 0 128 8 0 0 20 0 1 0 383328452 208297984 44174 33554432000 4194304 5654031 140734019079728 140734019078040 4976656 0 0 4096 0 18446744071580380219 0 0 17 1 0 0 0 0 0
/proc/8778/statm: 50854 44174 146 357 0 50494 0
Current children cumulated CPU time (s) 12.38
Current children cumulated vsize (KiB) 388168
[startup+18.0065 s]
/proc/loadavg: 2.16 2.03 2.01 2/182 8779
/proc/meminfo: memFree=30066060/32873844 swapFree=7896/7896
[pid=8726] ppid=8724 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/8726/stat : 8726 (npSolver-pbo-I.) S 8724 8726 8594 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 383327379 9367552 275 33554432000 4194304 5064252 140735768975360 140735768974272 239872927310 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/8726/statm: 2287 275 233 213 0 72 0
[pid=8727] ppid=8726 vsize=175604 CPUtime=11.02 cores=1,3,5,7
/proc/8727/stat : 8727 (npSolver-pbo) S 8726 8726 8594 0 -1 4204032 27348 61707 0 0 205 46 808 43 20 0 1 0 383327380 179818496 35890 33554432000 4194304 6004724 140736562403952 140736562398504 5251733 0 0 4096 0 18446744071580380219 0 0 17 3 0 0 0 0 0
/proc/8727/statm: 43901 35890 188 442 0 43455 0
[pid=8778] ppid=8727 vsize=203416 CPUtime=1.36 cores=1,3,5,7
/proc/8778/stat : 8778 (glucosInc) S 8727 8726 8594 0 -1 4202496 36307 0 0 0 128 8 0 0 20 0 1 0 383328452 208297984 44174 33554432000 4194304 5654031 140734019079728 140734019078040 4976656 0 0 4096 0 18446744071580380219 0 0 17 1 0 0 0 0 0
/proc/8778/statm: 50854 44174 146 357 0 50494 0
Current children cumulated CPU time (s) 12.38
Current children cumulated vsize (KiB) 388168
Child status: 0
# WARNING:
# CPU time reported by wait4() is probably wrong !
# wait4(...,&childrusage) returns 8726 and gives
# childrusage.ru_utime.tv_sec=10
# childrusage.ru_utime.tv_usec=146457
# childrusage.ru_stime.tv_sec=0
# childrusage.ru_stime.tv_usec=899863
# CPU time returned by wait4() is 11.0463
# while last known CPU time is 12.38
#
# Solver probably didn't/couldn't wait for its children
# Using CPU time of the last sample as value...
Real time (s): 18.0325
CPU time (s): 12.38
CPU user time (s): 11.41
CPU system time (s): 0.97
CPU usage (%): 68.6538
Max. virtual memory (cumulated for all children) (KiB): 723564
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 10.1465
system time used= 0.899863
maximum resident set size= 538920
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 89430
page faults= 0
swaps= 0
block input operations= 8
block output operations= 276280
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 40103
involuntary context switches= 20
runsolver used 0.095985 second user time and 0.160975 second system time
The end