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-3698470-1338107259/watcher-3698470-1338107259 -o /tmp/evaluation-result-3698470-1338107259/solver-3698470-1338107259 -C 1800 -W 1900 -M 15500 HOME/npSolver-pbo-Itd.sh HOME/instance-3698470-1338107259.opb 522566964 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.01 2.00 2.00 3/178 22756
/proc/meminfo: memFree=27840436/32873648 swapFree=7104/7104
[pid=22756] ppid=22754 vsize=11812 CPUtime=0 cores=0,2,4,6
/proc/22756/stat : 22756 (runsolver) D 22754 22756 20135 0 -1 4202560 42 0 0 0 0 0 0 0 20 0 1 0 276851351 12095488 52 33554432000 4194304 5436572 140736984883120 140736984879416 4883175 0 0 4096 24578 18446744071579943789 0 0 17 2 0 0 0 0 0
/proc/22756/statm: 2953 52 31 304 0 2645 0
[startup+0.0134499 s]
/proc/loadavg: 2.01 2.00 2.00 3/178 22756
/proc/meminfo: memFree=27840436/32873648 swapFree=7104/7104
[pid=22756] ppid=22754 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/22756/stat : 22756 (npSolver-pbo-It) S 22754 22756 20135 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 276851351 9367552 275 33554432000 4194304 5064252 140736481397168 140736481396080 214537233998 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/22756/statm: 2287 275 233 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148
[startup+0.100192 s]
/proc/loadavg: 2.01 2.00 2.00 3/178 22756
/proc/meminfo: memFree=27840436/32873648 swapFree=7104/7104
[pid=22756] ppid=22754 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/22756/stat : 22756 (npSolver-pbo-It) S 22754 22756 20135 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 276851351 9367552 275 33554432000 4194304 5064252 140736481397168 140736481396080 214537233998 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/22756/statm: 2287 275 233 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148
[startup+0.30012 s]
/proc/loadavg: 2.01 2.00 2.00 3/178 22756
/proc/meminfo: memFree=27840436/32873648 swapFree=7104/7104
[pid=22756] ppid=22754 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/22756/stat : 22756 (npSolver-pbo-It) S 22754 22756 20135 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 276851351 9367552 275 33554432000 4194304 5064252 140736481397168 140736481396080 214537233998 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/22756/statm: 2287 275 233 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148
[startup+0.700159 s]
/proc/loadavg: 2.01 2.00 2.00 3/178 22756
/proc/meminfo: memFree=27840436/32873648 swapFree=7104/7104
[pid=22756] ppid=22754 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/22756/stat : 22756 (npSolver-pbo-It) S 22754 22756 20135 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 276851351 9367552 275 33554432000 4194304 5064252 140736481397168 140736481396080 214537233998 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/22756/statm: 2287 275 233 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148
[startup+1.50019 s]
/proc/loadavg: 2.01 2.00 2.00 3/180 22758
/proc/meminfo: memFree=27761084/32873648 swapFree=7104/7104
[pid=22756] ppid=22754 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/22756/stat : 22756 (npSolver-pbo-It) S 22754 22756 20135 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 276851351 9367552 275 33554432000 4194304 5064252 140736481397168 140736481396080 214537233998 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/22756/statm: 2287 275 233 213 0 72 0
[pid=22758] ppid=22756 vsize=171212 CPUtime=1.49 cores=0,2,4,6
/proc/22758/stat : 22758 (npSolver-pbo) R 22756 22756 20135 0 -1 4202496 13773 0 0 0 144 5 0 0 20 0 1 0 276851351 175321088 28502 33554432000 4194304 5992684 140736726205792 140736726200760 4571359 0 0 4096 0 0 0 0 17 0 0 0 0 0 0
/proc/22758/statm: 42803 28502 167 440 0 42359 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 180360
[startup+3.1002 s]
/proc/loadavg: 2.01 2.00 2.00 2/180 22758
/proc/meminfo: memFree=27591004/32873648 swapFree=7104/7104
[pid=22756] ppid=22754 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/22756/stat : 22756 (npSolver-pbo-It) S 22754 22756 20135 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 276851351 9367552 275 33554432000 4194304 5064252 140736481397168 140736481396080 214537233998 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/22756/statm: 2287 275 233 213 0 72 0
[pid=22758] ppid=22756 vsize=171212 CPUtime=2.06 cores=0,2,4,6
/proc/22758/stat : 22758 (npSolver-pbo) S 22756 22756 20135 0 -1 4202496 13999 0 0 0 182 24 0 0 20 0 1 0 276851351 175321088 35165 33554432000 4194304 5992684 140736726205792 140736726200240 5175646 0 65536 4102 0 18446744071579302229 0 0 17 2 0 0 11 0 0
/proc/22758/statm: 42803 35165 174 440 0 42359 0
Current children cumulated CPU time (s) 2.06
Current children cumulated vsize (KiB) 180360
heavy processes:
[startup+6.30042 s]
/proc/loadavg: 2.00 2.00 2.00 3/182 22760
/proc/meminfo: memFree=27163144/32873648 swapFree=7104/7104
[pid=22756] ppid=22754 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/22756/stat : 22756 (npSolver-pbo-It) S 22754 22756 20135 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 276851351 9367552 275 33554432000 4194304 5064252 140736481397168 140736481396080 214537233998 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/22756/statm: 2287 275 233 213 0 72 0
[pid=22758] ppid=22756 vsize=171212 CPUtime=2.06 cores=0,2,4,6
/proc/22758/stat : 22758 (npSolver-pbo) S 22756 22756 20135 0 -1 4202496 13999 0 0 0 182 24 0 0 20 0 1 0 276851351 175321088 35165 33554432000 4194304 5992684 140736726205792 140736726200240 5175646 0 65536 4102 0 18446744071579302229 0 0 17 2 0 0 11 0 0
/proc/22758/statm: 42803 35165 174 440 0 42359 0
[pid=22759] ppid=22758 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/22759/stat : 22759 (cp2_pre.sh) S 22758 22756 20135 0 -1 4202496 610 0 0 0 0 0 0 0 20 0 1 0 276851570 9367552 277 33554432000 4194304 5064252 140736894137088 140736894135792 214537233998 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/22759/statm: 2287 277 234 213 0 72 0
[pid=22760] ppid=22759 vsize=490128 CPUtime=4.1 cores=0,2,4,6
/proc/22760/stat : 22760 (coprocessor) R 22759 22756 20135 0 -1 4202496 54199 0 0 0 396 14 0 0 20 0 1 0 276851570 501891072 119442 33554432000 4194304 6586260 140735326571568 140735326567496 4774993 0 0 4096 8404994 0 0 0 17 4 0 0 0 0 0
/proc/22760/statm: 122532 119442 175 584 0 121944 0
Current children cumulated CPU time (s) 6.16
Current children cumulated vsize (KiB) 679636
[startup+12.7003 s]
/proc/loadavg: 2.00 2.00 2.00 2/182 22763
/proc/meminfo: memFree=27170732/32873648 swapFree=7104/7104
[pid=22756] ppid=22754 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/22756/stat : 22756 (npSolver-pbo-It) S 22754 22756 20135 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 276851351 9367552 275 33554432000 4194304 5064252 140736481397168 140736481396080 214537233998 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/22756/statm: 2287 275 233 213 0 72 0
[pid=22758] ppid=22756 vsize=178972 CPUtime=9.83 cores=0,2,4,6
/proc/22758/stat : 22758 (npSolver-pbo) S 22756 22756 20135 0 -1 4204032 17515 63980 0 0 196 26 729 32 20 0 1 0 276851351 183267328 36954 33554432000 4194304 5992684 140736726205792 140736726200328 5240597 0 0 4096 0 18446744071580380219 0 0 17 2 0 0 11 0 0
/proc/22758/statm: 44743 36954 194 440 0 44299 0
[pid=22762] ppid=22758 vsize=203992 CPUtime=0.84 cores=0,2,4,6
/proc/22762/stat : 22762 (glucosInc) S 22758 22756 20135 0 -1 4202496 36623 0 0 0 78 6 0 0 20 0 1 0 276852332 208887808 44955 33554432000 4194304 5654031 140735145420016 140735145418328 4976656 0 0 4096 0 18446744071580380219 0 0 17 0 0 0 0 0 0
/proc/22762/statm: 50998 44955 146 357 0 50638 0
Current children cumulated CPU time (s) 10.67
Current children cumulated vsize (KiB) 392112
Solver just ended. Dumping a history of the last processes samples
[startup+12.8004 s]
/proc/loadavg: 2.00 2.00 2.00 2/182 22763
/proc/meminfo: memFree=27170732/32873648 swapFree=7104/7104
[pid=22756] ppid=22754 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/22756/stat : 22756 (npSolver-pbo-It) S 22754 22756 20135 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 276851351 9367552 275 33554432000 4194304 5064252 140736481397168 140736481396080 214537233998 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/22756/statm: 2287 275 233 213 0 72 0
[pid=22758] ppid=22756 vsize=178972 CPUtime=9.83 cores=0,2,4,6
/proc/22758/stat : 22758 (npSolver-pbo) S 22756 22756 20135 0 -1 4204032 17515 63980 0 0 196 26 729 32 20 0 1 0 276851351 183267328 36954 33554432000 4194304 5992684 140736726205792 140736726200328 5240597 0 0 4096 0 18446744071580380219 0 0 17 2 0 0 11 0 0
/proc/22758/statm: 44743 36954 194 440 0 44299 0
[pid=22762] ppid=22758 vsize=203992 CPUtime=0.84 cores=0,2,4,6
/proc/22762/stat : 22762 (glucosInc) S 22758 22756 20135 0 -1 4202496 36623 0 0 0 78 6 0 0 20 0 1 0 276852332 208887808 44955 33554432000 4194304 5654031 140735145420016 140735145418328 4976656 0 0 4096 0 18446744071580380219 0 0 17 0 0 0 0 0 0
/proc/22762/statm: 50998 44955 146 357 0 50638 0
Current children cumulated CPU time (s) 10.67
Current children cumulated vsize (KiB) 392112
[startup+14.4064 s]
/proc/loadavg: 2.00 2.00 2.00 2/182 22763
/proc/meminfo: memFree=27170368/32873648 swapFree=7104/7104
[pid=22756] ppid=22754 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/22756/stat : 22756 (npSolver-pbo-It) S 22754 22756 20135 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 276851351 9367552 275 33554432000 4194304 5064252 140736481397168 140736481396080 214537233998 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/22756/statm: 2287 275 233 213 0 72 0
[pid=22758] ppid=22756 vsize=178972 CPUtime=9.83 cores=0,2,4,6
/proc/22758/stat : 22758 (npSolver-pbo) S 22756 22756 20135 0 -1 4204032 17515 63980 0 0 196 26 729 32 20 0 1 0 276851351 183267328 36954 33554432000 4194304 5992684 140736726205792 140736726200328 5240597 0 0 4096 0 18446744071580380219 0 0 17 2 0 0 11 0 0
/proc/22758/statm: 44743 36954 194 440 0 44299 0
[pid=22762] ppid=22758 vsize=203992 CPUtime=0.84 cores=0,2,4,6
/proc/22762/stat : 22762 (glucosInc) S 22758 22756 20135 0 -1 4202496 36623 0 0 0 78 6 0 0 20 0 1 0 276852332 208887808 44955 33554432000 4194304 5654031 140735145420016 140735145418328 4976656 0 0 4096 0 18446744071580380219 0 0 17 0 0 0 0 0 0
/proc/22762/statm: 50998 44955 146 357 0 50638 0
Current children cumulated CPU time (s) 10.67
Current children cumulated vsize (KiB) 392112
[startup+15.2002 s]
/proc/loadavg: 2.00 2.00 2.00 2/182 22763
/proc/meminfo: memFree=27170368/32873648 swapFree=7104/7104
[pid=22756] ppid=22754 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/22756/stat : 22756 (npSolver-pbo-It) S 22754 22756 20135 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 276851351 9367552 275 33554432000 4194304 5064252 140736481397168 140736481396080 214537233998 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/22756/statm: 2287 275 233 213 0 72 0
[pid=22758] ppid=22756 vsize=178972 CPUtime=9.83 cores=0,2,4,6
/proc/22758/stat : 22758 (npSolver-pbo) S 22756 22756 20135 0 -1 4204032 17515 63980 0 0 196 26 729 32 20 0 1 0 276851351 183267328 36954 33554432000 4194304 5992684 140736726205792 140736726200328 5240597 0 0 4096 0 18446744071580380219 0 0 17 2 0 0 11 0 0
/proc/22758/statm: 44743 36954 194 440 0 44299 0
[pid=22762] ppid=22758 vsize=203992 CPUtime=0.84 cores=0,2,4,6
/proc/22762/stat : 22762 (glucosInc) S 22758 22756 20135 0 -1 4202496 36623 0 0 0 78 6 0 0 20 0 1 0 276852332 208887808 44955 33554432000 4194304 5654031 140735145420016 140735145418328 4976656 0 0 4096 0 18446744071580380219 0 0 17 0 0 0 0 0 0
/proc/22762/statm: 50998 44955 146 357 0 50638 0
Current children cumulated CPU time (s) 10.67
Current children cumulated vsize (KiB) 392112
[startup+16.0002 s]
/proc/loadavg: 2.16 2.04 2.01 1/175 22790
/proc/meminfo: memFree=27648636/32873648 swapFree=7104/7104
[pid=22756] ppid=22754 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/22756/stat : 22756 (npSolver-pbo-It) S 22754 22756 20135 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 276851351 9367552 275 33554432000 4194304 5064252 140736481397168 140736481396080 214537233998 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/22756/statm: 2287 275 233 213 0 72 0
[pid=22758] ppid=22756 vsize=178972 CPUtime=9.83 cores=0,2,4,6
/proc/22758/stat : 22758 (npSolver-pbo) S 22756 22756 20135 0 -1 4204032 17515 63980 0 0 196 26 729 32 20 0 1 0 276851351 183267328 36954 33554432000 4194304 5992684 140736726205792 140736726200328 5240597 0 0 4096 0 18446744071580380219 0 0 17 2 0 0 11 0 0
/proc/22758/statm: 44743 36954 194 440 0 44299 0
[pid=22762] ppid=22758 vsize=203992 CPUtime=0.84 cores=0,2,4,6
/proc/22762/stat : 22762 (glucosInc) S 22758 22756 20135 0 -1 4202496 36623 0 0 0 78 6 0 0 20 0 1 0 276852332 208887808 44955 33554432000 4194304 5654031 140735145420016 140735145418328 4976656 0 0 4096 0 18446744071580380219 0 0 17 0 0 0 0 0 0
/proc/22762/statm: 50998 44955 146 357 0 50638 0
Current children cumulated CPU time (s) 10.67
Current children cumulated vsize (KiB) 392112
[startup+16.4002 s]
/proc/loadavg: 2.16 2.04 2.01 1/175 22790
/proc/meminfo: memFree=27648636/32873648 swapFree=7104/7104
[pid=22756] ppid=22754 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/22756/stat : 22756 (npSolver-pbo-It) S 22754 22756 20135 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 276851351 9367552 275 33554432000 4194304 5064252 140736481397168 140736481396080 214537233998 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/22756/statm: 2287 275 233 213 0 72 0
[pid=22758] ppid=22756 vsize=178972 CPUtime=9.83 cores=0,2,4,6
/proc/22758/stat : 22758 (npSolver-pbo) S 22756 22756 20135 0 -1 4204032 17515 63980 0 0 196 26 729 32 20 0 1 0 276851351 183267328 36954 33554432000 4194304 5992684 140736726205792 140736726200328 5240597 0 0 4096 0 18446744071580380219 0 0 17 2 0 0 11 0 0
/proc/22758/statm: 44743 36954 194 440 0 44299 0
[pid=22762] ppid=22758 vsize=203992 CPUtime=0.84 cores=0,2,4,6
/proc/22762/stat : 22762 (glucosInc) S 22758 22756 20135 0 -1 4202496 36623 0 0 0 78 6 0 0 20 0 1 0 276852332 208887808 44955 33554432000 4194304 5654031 140735145420016 140735145418328 4976656 0 0 4096 0 18446744071580380219 0 0 17 0 0 0 0 0 0
/proc/22762/statm: 50998 44955 146 357 0 50638 0
Current children cumulated CPU time (s) 10.67
Current children cumulated vsize (KiB) 392112
[startup+16.5002 s]
/proc/loadavg: 2.16 2.04 2.01 2/181 22803
/proc/meminfo: memFree=27646008/32873648 swapFree=7104/7104
[pid=22756] ppid=22754 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/22756/stat : 22756 (npSolver-pbo-It) S 22754 22756 20135 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 276851351 9367552 275 33554432000 4194304 5064252 140736481397168 140736481396080 214537233998 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/22756/statm: 2287 275 233 213 0 72 0
[pid=22758] ppid=22756 vsize=178972 CPUtime=9.83 cores=0,2,4,6
/proc/22758/stat : 22758 (npSolver-pbo) S 22756 22756 20135 0 -1 4204032 17515 63980 0 0 196 26 729 32 20 0 1 0 276851351 183267328 36954 33554432000 4194304 5992684 140736726205792 140736726200328 5240597 0 0 4096 0 18446744071580380219 0 0 17 2 0 0 11 0 0
/proc/22758/statm: 44743 36954 194 440 0 44299 0
[pid=22762] ppid=22758 vsize=203992 CPUtime=0.84 cores=0,2,4,6
/proc/22762/stat : 22762 (glucosInc) S 22758 22756 20135 0 -1 4202496 36623 0 0 0 78 6 0 0 20 0 1 0 276852332 208887808 44955 33554432000 4194304 5654031 140735145420016 140735145418328 4976656 0 0 4096 0 18446744071580380219 0 0 17 0 0 0 0 0 0
/proc/22762/statm: 50998 44955 146 357 0 50638 0
Current children cumulated CPU time (s) 10.67
Current children cumulated vsize (KiB) 392112
Child status: 0
# WARNING:
# CPU time reported by wait4() is probably wrong !
# wait4(...,&childrusage) returns 22756 and gives
# childrusage.ru_utime.tv_sec=9
# childrusage.ru_utime.tv_usec=261592
# childrusage.ru_stime.tv_sec=0
# childrusage.ru_stime.tv_usec=595909
# CPU time returned by wait4() is 9.8575
# while last known CPU time is 10.67
#
# Solver probably didn't/couldn't wait for its children
# Using CPU time of the last sample as value...
Real time (s): 16.511
CPU time (s): 10.67
CPU user time (s): 10.03
CPU system time (s): 0.64
CPU usage (%): 64.6235
Max. virtual memory (cumulated for all children) (KiB): 735852
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 9.26159
system time used= 0.595909
maximum resident set size= 550048
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 81870
page faults= 0
swaps= 0
block input operations= 0
block output operations= 280024
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 44536
involuntary context switches= 31
runsolver used 0.026995 second user time and 0.086986 second system time
The end