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-3701592-1338101360/watcher-3701592-1338101360 -o /tmp/evaluation-result-3701592-1338101360/solver-3701592-1338101360 -C 1800 -W 1900 -M 15500 HOME/npSolver-pbo.sh HOME/instance-3701592-1338101360.opb 25890372 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.08 2.02 2.01 2/179 19228
/proc/meminfo: memFree=28531832/32873844 swapFree=7612/7612
[pid=19228] ppid=19226 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/19228/stat : 19228 (npSolver-pbo.sh) S 19226 19228 16531 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 276260372 9367552 275 33554432000 4194304 5064252 140736042455600 140736042454512 251044456014 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/19228/statm: 2287 275 233 213 0 72 0
[startup+0.102836 s]
/proc/loadavg: 2.08 2.02 2.01 2/179 19228
/proc/meminfo: memFree=28531832/32873844 swapFree=7612/7612
[pid=19228] ppid=19226 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/19228/stat : 19228 (npSolver-pbo.sh) S 19226 19228 16531 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 276260372 9367552 275 33554432000 4194304 5064252 140736042455600 140736042454512 251044456014 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/19228/statm: 2287 275 233 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148
[startup+0.200273 s]
/proc/loadavg: 2.08 2.02 2.01 2/179 19228
/proc/meminfo: memFree=28531832/32873844 swapFree=7612/7612
[pid=19228] ppid=19226 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/19228/stat : 19228 (npSolver-pbo.sh) S 19226 19228 16531 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 276260372 9367552 275 33554432000 4194304 5064252 140736042455600 140736042454512 251044456014 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/19228/statm: 2287 275 233 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148
[startup+0.300267 s]
/proc/loadavg: 2.08 2.02 2.01 2/179 19228
/proc/meminfo: memFree=28531832/32873844 swapFree=7612/7612
[pid=19228] ppid=19226 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/19228/stat : 19228 (npSolver-pbo.sh) S 19226 19228 16531 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 276260372 9367552 275 33554432000 4194304 5064252 140736042455600 140736042454512 251044456014 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/19228/statm: 2287 275 233 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148
[startup+0.700275 s]
/proc/loadavg: 2.08 2.02 2.01 2/179 19228
/proc/meminfo: memFree=28531832/32873844 swapFree=7612/7612
[pid=19228] ppid=19226 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/19228/stat : 19228 (npSolver-pbo.sh) S 19226 19228 16531 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 276260372 9367552 275 33554432000 4194304 5064252 140736042455600 140736042454512 251044456014 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/19228/statm: 2287 275 233 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148
[startup+1.50033 s]
/proc/loadavg: 2.08 2.02 2.01 3/181 19230
/proc/meminfo: memFree=28460692/32873844 swapFree=7612/7612
[pid=19228] ppid=19226 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/19228/stat : 19228 (npSolver-pbo.sh) S 19226 19228 16531 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 276260372 9367552 275 33554432000 4194304 5064252 140736042455600 140736042454512 251044456014 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/19228/statm: 2287 275 233 213 0 72 0
[pid=19229] ppid=19228 vsize=125172 CPUtime=1.48 cores=0,2,4,6
/proc/19229/stat : 19229 (npSolver-pbo) R 19228 19228 16531 0 -1 4202496 17995 0 0 0 145 3 0 0 20 0 1 0 276260372 128176128 28170 33554432000 4194304 5992684 140733463638736 140733463628904 4957503 0 0 4096 0 0 0 0 17 4 0 0 0 0 0
/proc/19229/statm: 31293 28170 158 440 0 30849 0
Current children cumulated CPU time (s) 1.48
Current children cumulated vsize (KiB) 134320
[startup+3.10034 s]
/proc/loadavg: 2.08 2.02 2.01 3/181 19230
/proc/meminfo: memFree=28347736/32873844 swapFree=7612/7612
[pid=19228] ppid=19226 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/19228/stat : 19228 (npSolver-pbo.sh) S 19226 19228 16531 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 276260372 9367552 275 33554432000 4194304 5064252 140736042455600 140736042454512 251044456014 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/19228/statm: 2287 275 233 213 0 72 0
[pid=19229] ppid=19228 vsize=392740 CPUtime=3.09 cores=0,2,4,6
/proc/19229/stat : 19229 (npSolver-pbo) R 19228 19228 16531 0 -1 4202496 37894 0 0 0 285 24 0 0 20 0 1 0 276260372 402165760 97093 33554432000 4194304 5992684 140733463638736 140733463634592 5182699 0 0 4096 0 0 0 0 17 4 0 0 0 0 0
/proc/19229/statm: 98185 97093 159 440 0 97741 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 401888
[startup+6.3003 s]
/proc/loadavg: 2.07 2.02 2.00 3/183 19232
/proc/meminfo: memFree=27655544/32873844 swapFree=7612/7612
[pid=19228] ppid=19226 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/19228/stat : 19228 (npSolver-pbo.sh) S 19226 19228 16531 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 276260372 9367552 275 33554432000 4194304 5064252 140736042455600 140736042454512 251044456014 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/19228/statm: 2287 275 233 213 0 72 0
[pid=19229] ppid=19228 vsize=265856 CPUtime=3.12 cores=0,2,4,6
/proc/19229/stat : 19229 (npSolver-pbo) S 19228 19228 16531 0 -1 4202496 37901 0 0 0 285 27 0 0 20 0 1 0 276260372 272236544 65378 33554432000 4194304 5992684 140733463638736 140733463632768 5175646 0 65536 4102 0 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/19229/statm: 66464 65378 165 440 0 66020 0
[pid=19231] ppid=19229 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/19231/stat : 19231 (cp2_pre.sh) S 19229 19228 16531 0 -1 4202496 610 0 0 0 0 0 0 0 20 0 1 0 276260685 9367552 277 33554432000 4194304 5064252 140734104192144 140734104190848 251044456014 0 65536 4100 65538 18446744071579302229 0 0 17 2 0 0 0 0 0
/proc/19231/statm: 2287 277 234 213 0 72 0
[pid=19232] ppid=19231 vsize=624024 CPUtime=3.16 cores=0,2,4,6
/proc/19232/stat : 19232 (coprocessor) R 19231 19228 16531 0 -1 4202496 18157 0 0 0 298 18 0 0 20 0 1 0 276260685 639000576 116945 33554432000 4194304 6586260 140733835479152 140733835474904 5732496 0 0 4096 8404994 0 0 0 17 0 0 0 0 0 0
/proc/19232/statm: 156006 116945 158 584 0 155418 0
Current children cumulated CPU time (s) 6.28
Current children cumulated vsize (KiB) 908176
[startup+12.7004 s]
/proc/loadavg: 2.07 2.02 2.00 3/183 19235
/proc/meminfo: memFree=27957688/32873844 swapFree=7612/7612
[pid=19228] ppid=19226 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/19228/stat : 19228 (npSolver-pbo.sh) S 19226 19228 16531 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 276260372 9367552 275 33554432000 4194304 5064252 140736042455600 140736042454512 251044456014 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/19228/statm: 2287 275 233 213 0 72 0
[pid=19229] ppid=19228 vsize=265856 CPUtime=10.98 cores=0,2,4,6
/proc/19229/stat : 19229 (npSolver-pbo) S 19228 19228 16531 0 -1 4202496 37910 19060 0 0 285 27 746 40 20 0 1 0 276260372 272236544 65378 33554432000 4194304 5992684 140733463638736 140733463633856 5175646 0 65536 4102 0 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/19229/statm: 66464 65378 165 440 0 66020 0
[pid=19234] ppid=19229 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/19234/stat : 19234 (satsolver.sh) S 19229 19228 16531 0 -1 4202496 598 0 0 0 0 0 0 0 20 0 1 0 276261538 9367552 266 33554432000 4194304 5064252 140736419753024 140736419751936 251044456014 0 65536 4100 65538 18446744071579302229 0 0 17 2 0 0 0 0 0
/proc/19234/statm: 2287 266 226 213 0 72 0
[pid=19235] ppid=19234 vsize=509436 CPUtime=1.01 cores=0,2,4,6
/proc/19235/stat : 19235 (glucose) R 19234 19228 16531 0 -1 4202496 73829 0 0 0 86 15 0 0 20 0 1 0 276261539 521662464 108106 33554432000 4194304 5208918 140733964219824 140733963169320 4465602 0 0 4096 0 0 0 0 17 0 0 0 0 0 0
/proc/19235/statm: 127359 108107 69 248 0 127108 0
Current children cumulated CPU time (s) 11.99
Current children cumulated vsize (KiB) 793588
[startup+25.5003 s]
/proc/loadavg: 2.05 2.01 2.00 2/180 19244
/proc/meminfo: memFree=27660092/32873844 swapFree=7612/7612
[pid=19228] ppid=19226 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/19228/stat : 19228 (npSolver-pbo.sh) S 19226 19228 16531 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 276260372 9367552 275 33554432000 4194304 5064252 140736042455600 140736042454512 251044456014 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/19228/statm: 2287 275 233 213 0 72 0
[pid=19229] ppid=19228 vsize=345704 CPUtime=22.99 cores=0,2,4,6
/proc/19229/stat : 19229 (npSolver-pbo) S 19228 19228 16531 0 -1 4204032 43189 146936 0 0 329 46 1837 87 20 0 1 0 276260372 354000896 85358 33554432000 4194304 5992684 140733463638736 140733463632856 5240597 0 0 4096 0 18446744071580380219 0 0 17 4 0 0 0 0 0
/proc/19229/statm: 86426 85358 183 440 0 85982 0
Current children cumulated CPU time (s) 22.99
Current children cumulated vsize (KiB) 354852
Solver just ended. Dumping a history of the last processes samples
[startup+25.6004 s]
/proc/loadavg: 2.05 2.01 2.00 2/180 19244
/proc/meminfo: memFree=27660092/32873844 swapFree=7612/7612
[pid=19228] ppid=19226 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/19228/stat : 19228 (npSolver-pbo.sh) S 19226 19228 16531 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 276260372 9367552 275 33554432000 4194304 5064252 140736042455600 140736042454512 251044456014 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/19228/statm: 2287 275 233 213 0 72 0
[pid=19229] ppid=19228 vsize=345704 CPUtime=22.99 cores=0,2,4,6
/proc/19229/stat : 19229 (npSolver-pbo) S 19228 19228 16531 0 -1 4204032 43189 146936 0 0 329 46 1837 87 20 0 1 0 276260372 354000896 85358 33554432000 4194304 5992684 140733463638736 140733463632856 5240597 0 0 4096 0 18446744071580380219 0 0 17 4 0 0 0 0 0
/proc/19229/statm: 86426 85358 183 440 0 85982 0
Current children cumulated CPU time (s) 22.99
Current children cumulated vsize (KiB) 354852
[startup+28.8003 s]
/proc/loadavg: 2.05 2.01 2.00 2/182 19247
/proc/meminfo: memFree=27629952/32873844 swapFree=7612/7612
[pid=19228] ppid=19226 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/19228/stat : 19228 (npSolver-pbo.sh) S 19226 19228 16531 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 276260372 9367552 275 33554432000 4194304 5064252 140736042455600 140736042454512 251044456014 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/19228/statm: 2287 275 233 213 0 72 0
[pid=19229] ppid=19228 vsize=345704 CPUtime=22.99 cores=0,2,4,6
/proc/19229/stat : 19229 (npSolver-pbo) S 19228 19228 16531 0 -1 4204032 43189 146936 0 0 329 46 1837 87 20 0 1 0 276260372 354000896 85358 33554432000 4194304 5992684 140733463638736 140733463632856 5240597 0 0 4096 0 18446744071580380219 0 0 17 4 0 0 0 0 0
/proc/19229/statm: 86426 85358 183 440 0 85982 0
Current children cumulated CPU time (s) 22.99
Current children cumulated vsize (KiB) 354852
[startup+30.4003 s]
/proc/loadavg: 2.29 2.06 2.02 2/182 19247
/proc/meminfo: memFree=27317344/32873844 swapFree=7612/7612
[pid=19228] ppid=19226 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/19228/stat : 19228 (npSolver-pbo.sh) S 19226 19228 16531 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 276260372 9367552 275 33554432000 4194304 5064252 140736042455600 140736042454512 251044456014 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/19228/statm: 2287 275 233 213 0 72 0
[pid=19229] ppid=19228 vsize=345704 CPUtime=22.99 cores=0,2,4,6
/proc/19229/stat : 19229 (npSolver-pbo) S 19228 19228 16531 0 -1 4204032 43189 146936 0 0 329 46 1837 87 20 0 1 0 276260372 354000896 85358 33554432000 4194304 5992684 140733463638736 140733463632856 5240597 0 0 4096 0 18446744071580380219 0 0 17 4 0 0 0 0 0
/proc/19229/statm: 86426 85358 183 440 0 85982 0
Current children cumulated CPU time (s) 22.99
Current children cumulated vsize (KiB) 354852
[startup+32.0067 s]
/proc/loadavg: 2.29 2.06 2.02 2/182 19247
/proc/meminfo: memFree=27316228/32873844 swapFree=7612/7612
[pid=19228] ppid=19226 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/19228/stat : 19228 (npSolver-pbo.sh) S 19226 19228 16531 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 276260372 9367552 275 33554432000 4194304 5064252 140736042455600 140736042454512 251044456014 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/19228/statm: 2287 275 233 213 0 72 0
[pid=19229] ppid=19228 vsize=345704 CPUtime=22.99 cores=0,2,4,6
/proc/19229/stat : 19229 (npSolver-pbo) S 19228 19228 16531 0 -1 4204032 43189 146936 0 0 329 46 1837 87 20 0 1 0 276260372 354000896 85358 33554432000 4194304 5992684 140733463638736 140733463632856 5240597 0 0 4096 0 18446744071580380219 0 0 17 4 0 0 0 0 0
/proc/19229/statm: 86426 85358 183 440 0 85982 0
Current children cumulated CPU time (s) 22.99
Current children cumulated vsize (KiB) 354852
[startup+32.4003 s]
/proc/loadavg: 2.29 2.06 2.02 2/182 19247
/proc/meminfo: memFree=27316228/32873844 swapFree=7612/7612
[pid=19228] ppid=19226 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/19228/stat : 19228 (npSolver-pbo.sh) S 19226 19228 16531 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 276260372 9367552 275 33554432000 4194304 5064252 140736042455600 140736042454512 251044456014 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/19228/statm: 2287 275 233 213 0 72 0
[pid=19229] ppid=19228 vsize=345704 CPUtime=22.99 cores=0,2,4,6
/proc/19229/stat : 19229 (npSolver-pbo) S 19228 19228 16531 0 -1 4204032 43189 146936 0 0 329 46 1837 87 20 0 1 0 276260372 354000896 85358 33554432000 4194304 5992684 140733463638736 140733463632856 5240597 0 0 4096 0 18446744071580380219 0 0 17 4 0 0 0 0 0
/proc/19229/statm: 86426 85358 183 440 0 85982 0
Current children cumulated CPU time (s) 22.99
Current children cumulated vsize (KiB) 354852
[startup+32.8003 s]
/proc/loadavg: 2.29 2.06 2.02 2/182 19247
/proc/meminfo: memFree=27316228/32873844 swapFree=7612/7612
[pid=19228] ppid=19226 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/19228/stat : 19228 (npSolver-pbo.sh) S 19226 19228 16531 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 276260372 9367552 275 33554432000 4194304 5064252 140736042455600 140736042454512 251044456014 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/19228/statm: 2287 275 233 213 0 72 0
[pid=19229] ppid=19228 vsize=345704 CPUtime=22.99 cores=0,2,4,6
/proc/19229/stat : 19229 (npSolver-pbo) S 19228 19228 16531 0 -1 4204032 43189 146936 0 0 329 46 1837 87 20 0 1 0 276260372 354000896 85358 33554432000 4194304 5992684 140733463638736 140733463632856 5240597 0 0 4096 0 18446744071580380219 0 0 17 4 0 0 0 0 0
/proc/19229/statm: 86426 85358 183 440 0 85982 0
Current children cumulated CPU time (s) 22.99
Current children cumulated vsize (KiB) 354852
Child status: 0
Real time (s): 32.8178
CPU time (s): 23.0215
CPU user time (s): 21.6717
CPU system time (s): 1.34979
CPU usage (%): 70.1493
Max. virtual memory (cumulated for all children) (KiB): 1110300
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 21.6717
system time used= 1.34979
maximum resident set size= 755988
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 190500
page faults= 0
swaps= 0
block input operations= 8
block output operations= 601224
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 91986
involuntary context switches= 69
runsolver used 0.071989 second user time and 0.19397 second system time
The end