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-3754423-1339189643/watcher-3754423-1339189643 -o /tmp/evaluation-result-3754423-1339189643/solver-3754423-1339189643 -C 1800 -W 1900 -M 15500 HOME/npSolver-wbo-I.sh HOME/instance-3754423-1339189643.wbo 208614123 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.04 2.04 2.00 3/182 1157
/proc/meminfo: memFree=31520816/32873844 swapFree=7132/7132
[pid=1157] ppid=1155 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/1157/stat : 1157 (npSolver-wbo-I.) S 1155 1157 30631 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 28931336 9367552 274 33554432000 4194304 5064252 140734463991552 140734463990464 273588840014 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/1157/statm: 2287 274 233 213 0 72 0
[startup+0.083231 s]
/proc/loadavg: 2.04 2.04 2.00 3/182 1157
/proc/meminfo: memFree=31520816/32873844 swapFree=7132/7132
[pid=1157] ppid=1155 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/1157/stat : 1157 (npSolver-wbo-I.) S 1155 1157 30631 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 28931336 9367552 274 33554432000 4194304 5064252 140734463991552 140734463990464 273588840014 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/1157/statm: 2287 274 233 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148
[startup+0.100343 s]
/proc/loadavg: 2.04 2.04 2.00 3/182 1157
/proc/meminfo: memFree=31520816/32873844 swapFree=7132/7132
[pid=1157] ppid=1155 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/1157/stat : 1157 (npSolver-wbo-I.) S 1155 1157 30631 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 28931336 9367552 274 33554432000 4194304 5064252 140734463991552 140734463990464 273588840014 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/1157/statm: 2287 274 233 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148
[startup+0.300325 s]
/proc/loadavg: 2.04 2.04 2.00 3/182 1157
/proc/meminfo: memFree=31520816/32873844 swapFree=7132/7132
[pid=1157] ppid=1155 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/1157/stat : 1157 (npSolver-wbo-I.) S 1155 1157 30631 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 28931336 9367552 274 33554432000 4194304 5064252 140734463991552 140734463990464 273588840014 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/1157/statm: 2287 274 233 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148
[startup+0.700312 s]
/proc/loadavg: 2.04 2.04 2.00 3/182 1157
/proc/meminfo: memFree=31520816/32873844 swapFree=7132/7132
[pid=1157] ppid=1155 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/1157/stat : 1157 (npSolver-wbo-I.) S 1155 1157 30631 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 28931336 9367552 274 33554432000 4194304 5064252 140734463991552 140734463990464 273588840014 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/1157/statm: 2287 274 233 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148
[startup+1.50038 s]
/proc/loadavg: 2.04 2.04 2.00 3/186 1161
/proc/meminfo: memFree=31430516/32873844 swapFree=7132/7132
[pid=1157] ppid=1155 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/1157/stat : 1157 (npSolver-wbo-I.) S 1155 1157 30631 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 28931336 9367552 274 33554432000 4194304 5064252 140734463991552 140734463990464 273588840014 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/1157/statm: 2287 274 233 213 0 72 0
[pid=1158] ppid=1157 vsize=27728 CPUtime=0.6 cores=1,3,5,7
/proc/1158/stat : 1158 (npSolver-wbo) S 1157 1157 30631 0 -1 4202496 7026 0 0 0 54 6 0 0 20 0 1 0 28931336 28393472 6406 33554432000 4194304 6006132 140736094628416 140736094621520 5187998 0 65536 4102 0 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/1158/statm: 6932 6406 158 443 0 6485 0
[pid=1160] ppid=1158 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/1160/stat : 1160 (cp2_pre.sh) S 1158 1157 30631 0 -1 4202496 609 0 0 0 0 0 0 0 20 0 1 0 28931397 9367552 276 33554432000 4194304 5064252 140733665913776 140733665912480 273588840014 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/1160/statm: 2287 276 234 213 0 72 0
[pid=1161] ppid=1160 vsize=75844 CPUtime=0.87 cores=1,3,5,7
/proc/1161/stat : 1161 (coprocessor) R 1160 1157 30631 0 -1 4202496 14128 0 0 0 85 2 0 0 20 0 1 0 28931397 77664256 18291 33554432000 4194304 6586260 140736850911856 140736850907176 5599209 0 0 4096 8404994 0 0 0 17 5 0 0 0 0 0
/proc/1161/statm: 18961 18291 192 584 0 18373 0
Current children cumulated CPU time (s) 1.47
Current children cumulated vsize (KiB) 121868
[startup+3.10033 s]
/proc/loadavg: 2.04 2.04 2.00 3/186 1161
/proc/meminfo: memFree=31418724/32873844 swapFree=7132/7132
[pid=1157] ppid=1155 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/1157/stat : 1157 (npSolver-wbo-I.) S 1155 1157 30631 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 28931336 9367552 274 33554432000 4194304 5064252 140734463991552 140734463990464 273588840014 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/1157/statm: 2287 274 233 213 0 72 0
[pid=1158] ppid=1157 vsize=27728 CPUtime=2.76 cores=1,3,5,7
/proc/1158/stat : 1158 (npSolver-wbo) S 1157 1157 30631 0 -1 4202496 7033 15976 0 0 54 6 211 5 20 0 1 0 28931336 28393472 6406 33554432000 4194304 6006132 140736094628416 140736094622608 5187998 0 65536 4102 0 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/1158/statm: 6932 6406 158 443 0 6485 0
Current children cumulated CPU time (s) 2.76
Current children cumulated vsize (KiB) 36876
[startup+6.30033 s]
/proc/loadavg: 2.04 2.04 2.00 3/184 1169
/proc/meminfo: memFree=31320988/32873844 swapFree=7132/7132
[pid=1157] ppid=1155 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/1157/stat : 1157 (npSolver-wbo-I.) S 1155 1157 30631 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 28931336 9367552 274 33554432000 4194304 5064252 140734463991552 140734463990464 273588840014 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/1157/statm: 2287 274 233 213 0 72 0
[pid=1158] ppid=1157 vsize=323528 CPUtime=6.27 cores=1,3,5,7
/proc/1158/stat : 1158 (npSolver-wbo) R 1157 1157 30631 0 -1 4202496 17574 27069 0 0 324 40 253 10 20 0 1 0 28931336 331292672 63044 33554432000 4194304 6006132 140736094628416 140736094620776 4582308 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/1158/statm: 80882 63044 179 443 0 80435 0
Current children cumulated CPU time (s) 6.27
Current children cumulated vsize (KiB) 332676
[startup+12.7004 s]
/proc/loadavg: 2.03 2.04 2.00 3/186 1171
/proc/meminfo: memFree=30609104/32873844 swapFree=7132/7132
[pid=1157] ppid=1155 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/1157/stat : 1157 (npSolver-wbo-I.) S 1155 1157 30631 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 28931336 9367552 274 33554432000 4194304 5064252 140734463991552 140734463990464 273588840014 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/1157/statm: 2287 274 233 213 0 72 0
[pid=1158] ppid=1157 vsize=289876 CPUtime=6.76 cores=1,3,5,7
/proc/1158/stat : 1158 (npSolver-wbo) S 1157 1157 30631 0 -1 4202496 18219 27069 0 0 340 73 253 10 20 0 1 0 28931336 296833024 56200 33554432000 4194304 6006132 140736094628416 140736094619824 5187998 0 65536 4102 0 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/1158/statm: 72469 56200 180 443 0 72022 0
[pid=1170] ppid=1158 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/1170/stat : 1170 (satsolver.sh) S 1158 1157 30631 0 -1 4202496 598 0 0 0 0 0 0 0 20 0 1 0 28932014 9367552 266 33554432000 4194304 5064252 140736827466336 140736827465248 273588840014 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/1170/statm: 2287 266 226 213 0 72 0
[pid=1171] ppid=1170 vsize=551288 CPUtime=5.9 cores=1,3,5,7
/proc/1171/stat : 1171 (glucose) R 1170 1157 30631 0 -1 4202496 80722 0 0 0 560 30 0 0 20 0 1 0 28932014 564518912 117900 33554432000 4194304 5208918 140736865765072 140736865762744 4229319 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/1171/statm: 137822 117900 103 248 0 137571 0
Current children cumulated CPU time (s) 12.66
Current children cumulated vsize (KiB) 859460
[startup+25.5005 s]
/proc/loadavg: 2.09 2.05 2.00 3/186 1171
/proc/meminfo: memFree=30614504/32873844 swapFree=7132/7132
[pid=1157] ppid=1155 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/1157/stat : 1157 (npSolver-wbo-I.) S 1155 1157 30631 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 28931336 9367552 274 33554432000 4194304 5064252 140734463991552 140734463990464 273588840014 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/1157/statm: 2287 274 233 213 0 72 0
[pid=1158] ppid=1157 vsize=289876 CPUtime=6.76 cores=1,3,5,7
/proc/1158/stat : 1158 (npSolver-wbo) S 1157 1157 30631 0 -1 4202496 18219 27069 0 0 340 73 253 10 20 0 1 0 28931336 296833024 56200 33554432000 4194304 6006132 140736094628416 140736094619824 5187998 0 65536 4102 0 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/1158/statm: 72469 56200 180 443 0 72022 0
[pid=1170] ppid=1158 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/1170/stat : 1170 (satsolver.sh) S 1158 1157 30631 0 -1 4202496 598 0 0 0 0 0 0 0 20 0 1 0 28932014 9367552 266 33554432000 4194304 5064252 140736827466336 140736827465248 273588840014 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/1170/statm: 2287 266 226 213 0 72 0
[pid=1171] ppid=1170 vsize=551288 CPUtime=18.7 cores=1,3,5,7
/proc/1171/stat : 1171 (glucose) R 1170 1157 30631 0 -1 4202496 80722 0 0 0 1840 30 0 0 20 0 1 0 28932014 564518912 117900 33554432000 4194304 5208918 140736865765072 140736865762744 4211553 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/1171/statm: 137822 117900 103 248 0 137571 0
Current children cumulated CPU time (s) 25.46
Current children cumulated vsize (KiB) 859460
[startup+51.1005 s]
/proc/loadavg: 2.13 2.06 2.01 3/186 1171
/proc/meminfo: memFree=30614720/32873844 swapFree=7132/7132
[pid=1157] ppid=1155 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/1157/stat : 1157 (npSolver-wbo-I.) S 1155 1157 30631 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 28931336 9367552 274 33554432000 4194304 5064252 140734463991552 140734463990464 273588840014 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/1157/statm: 2287 274 233 213 0 72 0
[pid=1158] ppid=1157 vsize=289876 CPUtime=6.76 cores=1,3,5,7
/proc/1158/stat : 1158 (npSolver-wbo) S 1157 1157 30631 0 -1 4202496 18219 27069 0 0 340 73 253 10 20 0 1 0 28931336 296833024 56200 33554432000 4194304 6006132 140736094628416 140736094619824 5187998 0 65536 4102 0 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/1158/statm: 72469 56200 180 443 0 72022 0
[pid=1170] ppid=1158 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/1170/stat : 1170 (satsolver.sh) S 1158 1157 30631 0 -1 4202496 598 0 0 0 0 0 0 0 20 0 1 0 28932014 9367552 266 33554432000 4194304 5064252 140736827466336 140736827465248 273588840014 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/1170/statm: 2287 266 226 213 0 72 0
[pid=1171] ppid=1170 vsize=551288 CPUtime=44.3 cores=1,3,5,7
/proc/1171/stat : 1171 (glucose) R 1170 1157 30631 0 -1 4202496 80722 0 0 0 4400 30 0 0 20 0 1 0 28932014 564518912 117900 33554432000 4194304 5208918 140736865765072 140736865762744 4229319 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/1171/statm: 137822 117900 103 248 0 137571 0
Current children cumulated CPU time (s) 51.06
Current children cumulated vsize (KiB) 859460
[startup+102.301 s]
/proc/loadavg: 2.11 2.07 2.01 3/185 1270
/proc/meminfo: memFree=30484848/32873844 swapFree=7132/7132
[pid=1157] ppid=1155 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/1157/stat : 1157 (npSolver-wbo-I.) S 1155 1157 30631 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 28931336 9367552 274 33554432000 4194304 5064252 140734463991552 140734463990464 273588840014 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/1157/statm: 2287 274 233 213 0 72 0
[pid=1158] ppid=1157 vsize=289876 CPUtime=6.76 cores=1,3,5,7
/proc/1158/stat : 1158 (npSolver-wbo) S 1157 1157 30631 0 -1 4202496 18219 27069 0 0 340 73 253 10 20 0 1 0 28931336 296833024 56200 33554432000 4194304 6006132 140736094628416 140736094619824 5187998 0 65536 4102 0 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/1158/statm: 72469 56200 180 443 0 72022 0
[pid=1170] ppid=1158 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/1170/stat : 1170 (satsolver.sh) S 1158 1157 30631 0 -1 4202496 598 0 0 0 0 0 0 0 20 0 1 0 28932014 9367552 266 33554432000 4194304 5064252 140736827466336 140736827465248 273588840014 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/1170/statm: 2287 266 226 213 0 72 0
[pid=1171] ppid=1170 vsize=551288 CPUtime=95.49 cores=1,3,5,7
/proc/1171/stat : 1171 (glucose) R 1170 1157 30631 0 -1 4202496 80722 0 0 0 9519 30 0 0 20 0 1 0 28932014 564518912 117900 33554432000 4194304 5208918 140736865765072 140736865762744 4211744 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/1171/statm: 137822 117900 103 248 0 137571 0
Current children cumulated CPU time (s) 102.25
Current children cumulated vsize (KiB) 859460
[startup+162.3 s]
/proc/loadavg: 2.04 2.05 2.00 3/186 1280
/proc/meminfo: memFree=30546444/32873844 swapFree=7132/7132
[pid=1157] ppid=1155 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/1157/stat : 1157 (npSolver-wbo-I.) S 1155 1157 30631 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 28931336 9367552 274 33554432000 4194304 5064252 140734463991552 140734463990464 273588840014 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/1157/statm: 2287 274 233 213 0 72 0
[pid=1158] ppid=1157 vsize=289876 CPUtime=6.76 cores=1,3,5,7
/proc/1158/stat : 1158 (npSolver-wbo) S 1157 1157 30631 0 -1 4202496 18219 27069 0 0 340 73 253 10 20 0 1 0 28931336 296833024 56200 33554432000 4194304 6006132 140736094628416 140736094619824 5187998 0 65536 4102 0 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/1158/statm: 72469 56200 180 443 0 72022 0
[pid=1170] ppid=1158 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/1170/stat : 1170 (satsolver.sh) S 1158 1157 30631 0 -1 4202496 598 0 0 0 0 0 0 0 20 0 1 0 28932014 9367552 266 33554432000 4194304 5064252 140736827466336 140736827465248 273588840014 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/1170/statm: 2287 266 226 213 0 72 0
[pid=1171] ppid=1170 vsize=551288 CPUtime=155.48 cores=1,3,5,7
/proc/1171/stat : 1171 (glucose) R 1170 1157 30631 0 -1 4202496 80722 0 0 0 15518 30 0 0 20 0 1 0 28932014 564518912 117900 33554432000 4194304 5208918 140736865765072 140736865762744 4228997 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/1171/statm: 137822 117900 103 248 0 137571 0
Current children cumulated CPU time (s) 162.24
Current children cumulated vsize (KiB) 859460
[startup+222.307 s]
/proc/loadavg: 2.17 2.08 2.01 3/183 1378
/proc/meminfo: memFree=29885248/32873844 swapFree=7132/7132
[pid=1157] ppid=1155 vsize=9148 CPUtime=0 cores=1,3,5,7
################
# More data... #
################
/proc/1171/stat : 1171 (glucose) R 1170 1157 30631 0 -1 4202496 83163 0 0 0 141495 32 0 0 20 0 1 0 28932014 574623744 123067 33554432000 4194304 5208918 140736865765072 140736865762824 4205640 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/1171/statm: 140289 123067 103 248 0 140038 0
Current children cumulated CPU time (s) 1422.03
Current children cumulated vsize (KiB) 869328
[startup+1482.3 s]
/proc/loadavg: 2.03 2.03 2.07 3/185 1392
/proc/meminfo: memFree=16650096/32873844 swapFree=7132/7132
[pid=1157] ppid=1155 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/1157/stat : 1157 (npSolver-wbo-I.) S 1155 1157 30631 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 28931336 9367552 274 33554432000 4194304 5064252 140734463991552 140734463990464 273588840014 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/1157/statm: 2287 274 233 213 0 72 0
[pid=1158] ppid=1157 vsize=289876 CPUtime=6.76 cores=1,3,5,7
/proc/1158/stat : 1158 (npSolver-wbo) S 1157 1157 30631 0 -1 4202496 18219 27069 0 0 340 73 253 10 20 0 1 0 28931336 296833024 56200 33554432000 4194304 6006132 140736094628416 140736094619824 5187998 0 65536 4102 0 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/1158/statm: 72469 56200 180 443 0 72022 0
[pid=1170] ppid=1158 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/1170/stat : 1170 (satsolver.sh) S 1158 1157 30631 0 -1 4202496 598 0 0 0 0 0 0 0 20 0 1 0 28932014 9367552 266 33554432000 4194304 5064252 140736827466336 140736827465248 273588840014 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/1170/statm: 2287 266 226 213 0 72 0
[pid=1171] ppid=1170 vsize=562508 CPUtime=1475.25 cores=1,3,5,7
/proc/1171/stat : 1171 (glucose) R 1170 1157 30631 0 -1 4202496 83423 0 0 0 147493 32 0 0 20 0 1 0 28932014 576008192 123838 33554432000 4194304 5208918 140736865765072 140736865761448 4229365 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/1171/statm: 140627 123838 103 248 0 140376 0
Current children cumulated CPU time (s) 1482.01
Current children cumulated vsize (KiB) 870680
[startup+1542.31 s]
/proc/loadavg: 2.01 2.02 2.06 3/185 1392
/proc/meminfo: memFree=16649600/32873844 swapFree=7132/7132
[pid=1157] ppid=1155 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/1157/stat : 1157 (npSolver-wbo-I.) S 1155 1157 30631 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 28931336 9367552 274 33554432000 4194304 5064252 140734463991552 140734463990464 273588840014 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/1157/statm: 2287 274 233 213 0 72 0
[pid=1158] ppid=1157 vsize=289876 CPUtime=6.76 cores=1,3,5,7
/proc/1158/stat : 1158 (npSolver-wbo) S 1157 1157 30631 0 -1 4202496 18219 27069 0 0 340 73 253 10 20 0 1 0 28931336 296833024 56200 33554432000 4194304 6006132 140736094628416 140736094619824 5187998 0 65536 4102 0 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/1158/statm: 72469 56200 180 443 0 72022 0
[pid=1170] ppid=1158 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/1170/stat : 1170 (satsolver.sh) S 1158 1157 30631 0 -1 4202496 598 0 0 0 0 0 0 0 20 0 1 0 28932014 9367552 266 33554432000 4194304 5064252 140736827466336 140736827465248 273588840014 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/1170/statm: 2287 266 226 213 0 72 0
[pid=1171] ppid=1170 vsize=562936 CPUtime=1535.25 cores=1,3,5,7
/proc/1171/stat : 1171 (glucose) R 1170 1157 30631 0 -1 4202496 83536 0 0 0 153493 32 0 0 20 0 1 0 28932014 576446464 123951 33554432000 4194304 5208918 140736865765072 140736865762968 4211156 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/1171/statm: 140734 123951 103 248 0 140483 0
Current children cumulated CPU time (s) 1542.01
Current children cumulated vsize (KiB) 871108
[startup+1602.3 s]
/proc/loadavg: 2.00 2.02 2.05 3/185 1392
/proc/meminfo: memFree=16647056/32873844 swapFree=7132/7132
[pid=1157] ppid=1155 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/1157/stat : 1157 (npSolver-wbo-I.) S 1155 1157 30631 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 28931336 9367552 274 33554432000 4194304 5064252 140734463991552 140734463990464 273588840014 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/1157/statm: 2287 274 233 213 0 72 0
[pid=1158] ppid=1157 vsize=289876 CPUtime=6.76 cores=1,3,5,7
/proc/1158/stat : 1158 (npSolver-wbo) S 1157 1157 30631 0 -1 4202496 18219 27069 0 0 340 73 253 10 20 0 1 0 28931336 296833024 56200 33554432000 4194304 6006132 140736094628416 140736094619824 5187998 0 65536 4102 0 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/1158/statm: 72469 56200 180 443 0 72022 0
[pid=1170] ppid=1158 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/1170/stat : 1170 (satsolver.sh) S 1158 1157 30631 0 -1 4202496 598 0 0 0 0 0 0 0 20 0 1 0 28932014 9367552 266 33554432000 4194304 5064252 140736827466336 140736827465248 273588840014 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/1170/statm: 2287 266 226 213 0 72 0
[pid=1171] ppid=1170 vsize=563364 CPUtime=1595.23 cores=1,3,5,7
/proc/1171/stat : 1171 (glucose) R 1170 1157 30631 0 -1 4202496 83663 0 0 0 159491 32 0 0 20 0 1 0 28932014 576884736 124589 33554432000 4194304 5208918 140736865765072 140736865762920 4211156 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/1171/statm: 140841 124589 103 248 0 140590 0
Current children cumulated CPU time (s) 1601.99
Current children cumulated vsize (KiB) 871536
[startup+1662.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/185 1392
/proc/meminfo: memFree=16647056/32873844 swapFree=7132/7132
[pid=1157] ppid=1155 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/1157/stat : 1157 (npSolver-wbo-I.) S 1155 1157 30631 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 28931336 9367552 274 33554432000 4194304 5064252 140734463991552 140734463990464 273588840014 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/1157/statm: 2287 274 233 213 0 72 0
[pid=1158] ppid=1157 vsize=289876 CPUtime=6.76 cores=1,3,5,7
/proc/1158/stat : 1158 (npSolver-wbo) S 1157 1157 30631 0 -1 4202496 18219 27069 0 0 340 73 253 10 20 0 1 0 28931336 296833024 56200 33554432000 4194304 6006132 140736094628416 140736094619824 5187998 0 65536 4102 0 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/1158/statm: 72469 56200 180 443 0 72022 0
[pid=1170] ppid=1158 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/1170/stat : 1170 (satsolver.sh) S 1158 1157 30631 0 -1 4202496 598 0 0 0 0 0 0 0 20 0 1 0 28932014 9367552 266 33554432000 4194304 5064252 140736827466336 140736827465248 273588840014 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/1170/statm: 2287 266 226 213 0 72 0
[pid=1171] ppid=1170 vsize=563364 CPUtime=1655.22 cores=1,3,5,7
/proc/1171/stat : 1171 (glucose) R 1170 1157 30631 0 -1 4202496 83677 0 0 0 165490 32 0 0 20 0 1 0 28932014 576884736 124603 33554432000 4194304 5208918 140736865765072 140736865762920 4228924 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/1171/statm: 140841 124603 103 248 0 140590 0
Current children cumulated CPU time (s) 1661.98
Current children cumulated vsize (KiB) 871536
[startup+1722.3 s]
/proc/loadavg: 2.00 2.01 2.04 3/185 1392
/proc/meminfo: memFree=16646436/32873844 swapFree=7132/7132
[pid=1157] ppid=1155 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/1157/stat : 1157 (npSolver-wbo-I.) S 1155 1157 30631 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 28931336 9367552 274 33554432000 4194304 5064252 140734463991552 140734463990464 273588840014 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/1157/statm: 2287 274 233 213 0 72 0
[pid=1158] ppid=1157 vsize=289876 CPUtime=6.76 cores=1,3,5,7
/proc/1158/stat : 1158 (npSolver-wbo) S 1157 1157 30631 0 -1 4202496 18219 27069 0 0 340 73 253 10 20 0 1 0 28931336 296833024 56200 33554432000 4194304 6006132 140736094628416 140736094619824 5187998 0 65536 4102 0 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/1158/statm: 72469 56200 180 443 0 72022 0
[pid=1170] ppid=1158 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/1170/stat : 1170 (satsolver.sh) S 1158 1157 30631 0 -1 4202496 598 0 0 0 0 0 0 0 20 0 1 0 28932014 9367552 266 33554432000 4194304 5064252 140736827466336 140736827465248 273588840014 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/1170/statm: 2287 266 226 213 0 72 0
[pid=1171] ppid=1170 vsize=563900 CPUtime=1715.22 cores=1,3,5,7
/proc/1171/stat : 1171 (glucose) R 1170 1157 30631 0 -1 4202496 83811 0 0 0 171490 32 0 0 20 0 1 0 28932014 577433600 124737 33554432000 4194304 5208918 140736865765072 140736865762920 4229332 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/1171/statm: 140975 124737 103 248 0 140724 0
Current children cumulated CPU time (s) 1721.98
Current children cumulated vsize (KiB) 872072
[startup+1782.3 s]
/proc/loadavg: 2.00 2.00 2.04 3/185 1393
/proc/meminfo: memFree=16643644/32873844 swapFree=7132/7132
[pid=1157] ppid=1155 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/1157/stat : 1157 (npSolver-wbo-I.) S 1155 1157 30631 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 28931336 9367552 274 33554432000 4194304 5064252 140734463991552 140734463990464 273588840014 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/1157/statm: 2287 274 233 213 0 72 0
[pid=1158] ppid=1157 vsize=289876 CPUtime=6.76 cores=1,3,5,7
/proc/1158/stat : 1158 (npSolver-wbo) S 1157 1157 30631 0 -1 4202496 18219 27069 0 0 340 73 253 10 20 0 1 0 28931336 296833024 56200 33554432000 4194304 6006132 140736094628416 140736094619824 5187998 0 65536 4102 0 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/1158/statm: 72469 56200 180 443 0 72022 0
[pid=1170] ppid=1158 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/1170/stat : 1170 (satsolver.sh) S 1158 1157 30631 0 -1 4202496 598 0 0 0 0 0 0 0 20 0 1 0 28932014 9367552 266 33554432000 4194304 5064252 140736827466336 140736827465248 273588840014 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/1170/statm: 2287 266 226 213 0 72 0
[pid=1171] ppid=1170 vsize=564608 CPUtime=1775.21 cores=1,3,5,7
/proc/1171/stat : 1171 (glucose) R 1170 1157 30631 0 -1 4202496 84008 0 0 0 177489 32 0 0 20 0 1 0 28932014 578158592 125445 33554432000 4194304 5208918 140736865765072 140736865760760 4205203 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/1171/statm: 141152 125445 103 248 0 140901 0
Current children cumulated CPU time (s) 1781.97
Current children cumulated vsize (KiB) 872780
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+1800.4 s]
/proc/loadavg: 2.06 2.02 2.04 3/185 1393
/proc/meminfo: memFree=16643520/32873844 swapFree=7132/7132
[pid=1157] ppid=1155 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/1157/stat : 1157 (npSolver-wbo-I.) S 1155 1157 30631 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 28931336 9367552 274 33554432000 4194304 5064252 140734463991552 140734463990464 273588840014 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/1157/statm: 2287 274 233 213 0 72 0
[pid=1158] ppid=1157 vsize=289876 CPUtime=6.76 cores=1,3,5,7
/proc/1158/stat : 1158 (npSolver-wbo) S 1157 1157 30631 0 -1 4202496 18219 27069 0 0 340 73 253 10 20 0 1 0 28931336 296833024 56200 33554432000 4194304 6006132 140736094628416 140736094619824 5187998 0 65536 4102 0 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/1158/statm: 72469 56200 180 443 0 72022 0
[pid=1170] ppid=1158 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/1170/stat : 1170 (satsolver.sh) S 1158 1157 30631 0 -1 4202496 598 0 0 0 0 0 0 0 20 0 1 0 28932014 9367552 266 33554432000 4194304 5064252 140736827466336 140736827465248 273588840014 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/1170/statm: 2287 266 226 213 0 72 0
[pid=1171] ppid=1170 vsize=564892 CPUtime=1793.31 cores=1,3,5,7
/proc/1171/stat : 1171 (glucose) R 1170 1157 30631 0 -1 4202496 84058 0 0 0 179299 32 0 0 20 0 1 0 28932014 578449408 125495 33554432000 4194304 5208918 140736865765072 140736865762824 4229328 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/1171/statm: 141223 125495 103 248 0 140972 0
Current children cumulated CPU time (s) 1800.07
Current children cumulated vsize (KiB) 873064
Sending SIGTERM to process tree (bottom up)
Solver just ended. Dumping a history of the last processes samples
[startup+1800.4 s]
/proc/loadavg: 2.06 2.02 2.04 3/185 1393
/proc/meminfo: memFree=16643520/32873844 swapFree=7132/7132
[pid=1157] ppid=1155 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/1157/stat : 1157 (npSolver-wbo-I.) S 1155 1157 30631 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 28931336 9367552 274 33554432000 4194304 5064252 140734463991552 140734463990464 273588840014 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/1157/statm: 2287 274 233 213 0 72 0
[pid=1158] ppid=1157 vsize=289876 CPUtime=6.76 cores=1,3,5,7
/proc/1158/stat : 1158 (npSolver-wbo) S 1157 1157 30631 0 -1 4202496 18219 27069 0 0 340 73 253 10 20 0 1 0 28931336 296833024 56200 33554432000 4194304 6006132 140736094628416 140736094619824 5187998 0 65536 4102 0 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/1158/statm: 72469 56200 180 443 0 72022 0
[pid=1170] ppid=1158 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/1170/stat : 1170 (satsolver.sh) S 1158 1157 30631 0 -1 4202496 598 0 0 0 0 0 0 0 20 0 1 0 28932014 9367552 266 33554432000 4194304 5064252 140736827466336 140736827465248 273588840014 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/1170/statm: 2287 266 226 213 0 72 0
[pid=1171] ppid=1170 vsize=564892 CPUtime=1793.31 cores=1,3,5,7
/proc/1171/stat : 1171 (glucose) R 1170 1157 30631 0 -1 4202496 84058 0 0 0 179299 32 0 0 20 0 1 0 28932014 578449408 125495 33554432000 4194304 5208918 140736865765072 140736865762824 4229328 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/1171/statm: 141223 125495 103 248 0 140972 0
Current children cumulated CPU time (s) 1800.07
Current children cumulated vsize (KiB) 873064
Child status: 0
# WARNING:
# CPU time reported by wait4() is probably wrong !
# wait4(...,&childrusage) returns 1157 and gives
# childrusage.ru_utime.tv_sec=5
# childrusage.ru_utime.tv_usec=946096
# childrusage.ru_stime.tv_sec=0
# childrusage.ru_stime.tv_usec=840872
# CPU time returned by wait4() is 6.78697
# while last known CPU time is 1800.07
#
# Solver probably didn't/couldn't wait for its children
# Using CPU time of the last sample as value...
Real time (s): 1800.42
CPU time (s): 1800.07
CPU user time (s): 1798.92
CPU system time (s): 1.15
CPU usage (%): 99.9808
Max. virtual memory (cumulated for all children) (KiB): 1060024
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 5.9461
system time used= 0.840872
maximum resident set size= 423580
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 46266
page faults= 0
swaps= 0
block input operations= 0
block output operations= 430176
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 226
involuntary context switches= 26
runsolver used 3.50247 second user time and 9.32558 second system time
The end