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-3714183-1338172644/watcher-3714183-1338172644 -o /tmp/evaluation-result-3714183-1338172644/solver-3714183-1338172644 -C 1800 -W 1900 -M 15500 HOME/npSolver-wbo-I.sh HOME/instance-3714183-1338172644.wbo 2096258499 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.00 2.00 2.00 3/178 15523
/proc/meminfo: memFree=28616456/32873844 swapFree=7112/7112
[pid=15523] ppid=15521 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/15523/stat : 15523 (npSolver-wbo-I.) S 15521 15523 14387 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 283393001 9367552 275 33554432000 4194304 5064252 140734529874208 140734529873120 235374536270 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/15523/statm: 2287 275 233 213 0 72 0
[startup+0.0584979 s]
/proc/loadavg: 2.00 2.00 2.00 3/178 15523
/proc/meminfo: memFree=28616456/32873844 swapFree=7112/7112
[pid=15523] ppid=15521 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/15523/stat : 15523 (npSolver-wbo-I.) S 15521 15523 14387 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 283393001 9367552 275 33554432000 4194304 5064252 140734529874208 140734529873120 235374536270 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/15523/statm: 2287 275 233 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148
[startup+0.100274 s]
/proc/loadavg: 2.00 2.00 2.00 3/178 15523
/proc/meminfo: memFree=28616456/32873844 swapFree=7112/7112
[pid=15523] ppid=15521 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/15523/stat : 15523 (npSolver-wbo-I.) S 15521 15523 14387 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 283393001 9367552 275 33554432000 4194304 5064252 140734529874208 140734529873120 235374536270 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/15523/statm: 2287 275 233 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148
[startup+0.300242 s]
/proc/loadavg: 2.00 2.00 2.00 3/178 15523
/proc/meminfo: memFree=28616456/32873844 swapFree=7112/7112
[pid=15523] ppid=15521 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/15523/stat : 15523 (npSolver-wbo-I.) S 15521 15523 14387 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 283393001 9367552 275 33554432000 4194304 5064252 140734529874208 140734529873120 235374536270 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/15523/statm: 2287 275 233 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148
[startup+0.70023 s]
/proc/loadavg: 2.00 2.00 2.00 3/178 15523
/proc/meminfo: memFree=28616456/32873844 swapFree=7112/7112
[pid=15523] ppid=15521 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/15523/stat : 15523 (npSolver-wbo-I.) S 15521 15523 14387 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 283393001 9367552 275 33554432000 4194304 5064252 140734529874208 140734529873120 235374536270 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/15523/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.00 2.00 2.00 3/182 15551
/proc/meminfo: memFree=28611324/32873844 swapFree=7112/7112
[pid=15523] ppid=15521 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/15523/stat : 15523 (npSolver-wbo-I.) S 15521 15523 14387 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 283393001 9367552 275 33554432000 4194304 5064252 140734529874208 140734529873120 235374536270 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/15523/statm: 2287 275 233 213 0 72 0
[pid=15524] ppid=15523 vsize=2464 CPUtime=0.37 cores=1,3,5,7
/proc/15524/stat : 15524 (npSolver-wbo) S 15523 15523 14387 0 -1 4202496 689 13515 0 0 0 0 34 3 20 0 1 0 283393002 2523136 269 33554432000 4194304 5990268 140736508762208 140736508753648 5173822 0 65536 4102 0 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/15524/statm: 616 269 160 439 0 173 0
[pid=15550] ppid=15524 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/15550/stat : 15550 (satsolver.sh) S 15524 15523 14387 0 -1 4202496 596 0 0 0 0 0 0 0 20 0 1 0 283393041 9367552 267 33554432000 4194304 5064252 140734781955936 140734781954848 235374536270 0 65536 4100 65538 18446744071579302229 0 0 17 7 0 0 0 0 0
/proc/15550/statm: 2287 267 226 213 0 72 0
[pid=15551] ppid=15550 vsize=8236 CPUtime=1.09 cores=1,3,5,7
/proc/15551/stat : 15551 (glucose) R 15550 15523 14387 0 -1 4202496 1832 0 0 0 109 0 0 0 20 0 1 0 283393041 8433664 1437 33554432000 4194304 5208918 140734433491472 140734433489416 4211901 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/15551/statm: 2059 1437 105 248 0 1808 0
Current children cumulated CPU time (s) 1.46
Current children cumulated vsize (KiB) 28996
[startup+3.10034 s]
/proc/loadavg: 2.00 2.00 2.00 3/175 15575
/proc/meminfo: memFree=29686400/32873844 swapFree=7112/7112
[pid=15523] ppid=15521 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/15523/stat : 15523 (npSolver-wbo-I.) S 15521 15523 14387 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 283393001 9367552 275 33554432000 4194304 5064252 140734529874208 140734529873120 235374536270 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/15523/statm: 2287 275 233 213 0 72 0
[pid=15524] ppid=15523 vsize=2464 CPUtime=0.37 cores=1,3,5,7
/proc/15524/stat : 15524 (npSolver-wbo) S 15523 15523 14387 0 -1 4202496 689 13515 0 0 0 0 34 3 20 0 1 0 283393002 2523136 269 33554432000 4194304 5990268 140736508762208 140736508753648 5173822 0 65536 4102 0 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/15524/statm: 616 269 160 439 0 173 0
[pid=15550] ppid=15524 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/15550/stat : 15550 (satsolver.sh) S 15524 15523 14387 0 -1 4202496 596 0 0 0 0 0 0 0 20 0 1 0 283393041 9367552 267 33554432000 4194304 5064252 140734781955936 140734781954848 235374536270 0 65536 4100 65538 18446744071579302229 0 0 17 7 0 0 0 0 0
/proc/15550/statm: 2287 267 226 213 0 72 0
[pid=15551] ppid=15550 vsize=12588 CPUtime=2.69 cores=1,3,5,7
/proc/15551/stat : 15551 (glucose) R 15550 15523 14387 0 -1 4202496 2281 0 0 0 269 0 0 0 20 0 1 0 283393041 12890112 2379 33554432000 4194304 5208918 140734433491472 140734433489336 4229326 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/15551/statm: 3147 2379 105 248 0 2896 0
Current children cumulated CPU time (s) 3.06
Current children cumulated vsize (KiB) 33348
[startup+6.30036 s]
/proc/loadavg: 2.00 2.00 2.00 3/182 15617
/proc/meminfo: memFree=29912364/32873844 swapFree=7112/7112
[pid=15523] ppid=15521 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/15523/stat : 15523 (npSolver-wbo-I.) S 15521 15523 14387 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 283393001 9367552 275 33554432000 4194304 5064252 140734529874208 140734529873120 235374536270 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/15523/statm: 2287 275 233 213 0 72 0
[pid=15524] ppid=15523 vsize=2464 CPUtime=0.37 cores=1,3,5,7
/proc/15524/stat : 15524 (npSolver-wbo) S 15523 15523 14387 0 -1 4202496 689 13515 0 0 0 0 34 3 20 0 1 0 283393002 2523136 269 33554432000 4194304 5990268 140736508762208 140736508753648 5173822 0 65536 4102 0 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/15524/statm: 616 269 160 439 0 173 0
[pid=15550] ppid=15524 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/15550/stat : 15550 (satsolver.sh) S 15524 15523 14387 0 -1 4202496 596 0 0 0 0 0 0 0 20 0 1 0 283393041 9367552 267 33554432000 4194304 5064252 140734781955936 140734781954848 235374536270 0 65536 4100 65538 18446744071579302229 0 0 17 7 0 0 0 0 0
/proc/15550/statm: 2287 267 226 213 0 72 0
[pid=15551] ppid=15550 vsize=14840 CPUtime=5.88 cores=1,3,5,7
/proc/15551/stat : 15551 (glucose) R 15550 15523 14387 0 -1 4202496 3355 0 0 0 588 0 0 0 20 0 1 0 283393041 15196160 3207 33554432000 4194304 5208918 140734433491472 140734433489416 4229528 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/15551/statm: 3710 3207 105 248 0 3459 0
Current children cumulated CPU time (s) 6.25
Current children cumulated vsize (KiB) 35600
[startup+12.7003 s]
/proc/loadavg: 2.00 2.00 2.00 3/182 15617
/proc/meminfo: memFree=29893572/32873844 swapFree=7112/7112
[pid=15523] ppid=15521 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/15523/stat : 15523 (npSolver-wbo-I.) S 15521 15523 14387 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 283393001 9367552 275 33554432000 4194304 5064252 140734529874208 140734529873120 235374536270 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/15523/statm: 2287 275 233 213 0 72 0
[pid=15524] ppid=15523 vsize=2464 CPUtime=0.37 cores=1,3,5,7
/proc/15524/stat : 15524 (npSolver-wbo) S 15523 15523 14387 0 -1 4202496 689 13515 0 0 0 0 34 3 20 0 1 0 283393002 2523136 269 33554432000 4194304 5990268 140736508762208 140736508753648 5173822 0 65536 4102 0 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/15524/statm: 616 269 160 439 0 173 0
[pid=15550] ppid=15524 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/15550/stat : 15550 (satsolver.sh) S 15524 15523 14387 0 -1 4202496 596 0 0 0 0 0 0 0 20 0 1 0 283393041 9367552 267 33554432000 4194304 5064252 140734781955936 140734781954848 235374536270 0 65536 4100 65538 18446744071579302229 0 0 17 7 0 0 0 0 0
/proc/15550/statm: 2287 267 226 213 0 72 0
[pid=15551] ppid=15550 vsize=21912 CPUtime=12.28 cores=1,3,5,7
/proc/15551/stat : 15551 (glucose) R 15550 15523 14387 0 -1 4202496 4168 0 0 0 1228 0 0 0 20 0 1 0 283393041 22437888 5017 33554432000 4194304 5208918 140734433491472 140734433489416 4229365 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/15551/statm: 5478 5017 105 248 0 5227 0
Current children cumulated CPU time (s) 12.65
Current children cumulated vsize (KiB) 42672
[startup+25.5003 s]
/proc/loadavg: 2.00 2.00 2.00 3/182 15618
/proc/meminfo: memFree=29872680/32873844 swapFree=7112/7112
[pid=15523] ppid=15521 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/15523/stat : 15523 (npSolver-wbo-I.) S 15521 15523 14387 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 283393001 9367552 275 33554432000 4194304 5064252 140734529874208 140734529873120 235374536270 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/15523/statm: 2287 275 233 213 0 72 0
[pid=15524] ppid=15523 vsize=2464 CPUtime=0.37 cores=1,3,5,7
/proc/15524/stat : 15524 (npSolver-wbo) S 15523 15523 14387 0 -1 4202496 689 13515 0 0 0 0 34 3 20 0 1 0 283393002 2523136 269 33554432000 4194304 5990268 140736508762208 140736508753648 5173822 0 65536 4102 0 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/15524/statm: 616 269 160 439 0 173 0
[pid=15550] ppid=15524 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/15550/stat : 15550 (satsolver.sh) S 15524 15523 14387 0 -1 4202496 596 0 0 0 0 0 0 0 20 0 1 0 283393041 9367552 267 33554432000 4194304 5064252 140734781955936 140734781954848 235374536270 0 65536 4100 65538 18446744071579302229 0 0 17 7 0 0 0 0 0
/proc/15550/statm: 2287 267 226 213 0 72 0
[pid=15551] ppid=15550 vsize=36556 CPUtime=25.08 cores=1,3,5,7
/proc/15551/stat : 15551 (glucose) R 15550 15523 14387 0 -1 4202496 5187 0 0 0 2507 1 0 0 20 0 1 0 283393041 37433344 6726 33554432000 4194304 5208918 140734433491472 140734433489416 4229296 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/15551/statm: 9139 6726 105 248 0 8888 0
Current children cumulated CPU time (s) 25.45
Current children cumulated vsize (KiB) 57316
[startup+51.1004 s]
/proc/loadavg: 2.00 2.00 2.00 3/181 15618
/proc/meminfo: memFree=29860636/32873844 swapFree=7112/7112
[pid=15523] ppid=15521 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/15523/stat : 15523 (npSolver-wbo-I.) S 15521 15523 14387 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 283393001 9367552 275 33554432000 4194304 5064252 140734529874208 140734529873120 235374536270 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/15523/statm: 2287 275 233 213 0 72 0
[pid=15524] ppid=15523 vsize=2464 CPUtime=0.37 cores=1,3,5,7
/proc/15524/stat : 15524 (npSolver-wbo) S 15523 15523 14387 0 -1 4202496 689 13515 0 0 0 0 34 3 20 0 1 0 283393002 2523136 269 33554432000 4194304 5990268 140736508762208 140736508753648 5173822 0 65536 4102 0 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/15524/statm: 616 269 160 439 0 173 0
[pid=15550] ppid=15524 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/15550/stat : 15550 (satsolver.sh) S 15524 15523 14387 0 -1 4202496 596 0 0 0 0 0 0 0 20 0 1 0 283393041 9367552 267 33554432000 4194304 5064252 140734781955936 140734781954848 235374536270 0 65536 4100 65538 18446744071579302229 0 0 17 7 0 0 0 0 0
/proc/15550/statm: 2287 267 226 213 0 72 0
[pid=15551] ppid=15550 vsize=36556 CPUtime=50.68 cores=1,3,5,7
/proc/15551/stat : 15551 (glucose) R 15550 15523 14387 0 -1 4202496 5635 0 0 0 5067 1 0 0 20 0 1 0 283393041 37433344 8693 33554432000 4194304 5208918 140734433491472 140734433487848 4229296 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/15551/statm: 9139 8693 105 248 0 8888 0
Current children cumulated CPU time (s) 51.05
Current children cumulated vsize (KiB) 57316
[startup+102.307 s]
/proc/loadavg: 2.12 2.03 2.01 3/181 15618
/proc/meminfo: memFree=29822028/32873844 swapFree=7112/7112
[pid=15523] ppid=15521 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/15523/stat : 15523 (npSolver-wbo-I.) S 15521 15523 14387 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 283393001 9367552 275 33554432000 4194304 5064252 140734529874208 140734529873120 235374536270 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/15523/statm: 2287 275 233 213 0 72 0
[pid=15524] ppid=15523 vsize=2464 CPUtime=0.37 cores=1,3,5,7
/proc/15524/stat : 15524 (npSolver-wbo) S 15523 15523 14387 0 -1 4202496 689 13515 0 0 0 0 34 3 20 0 1 0 283393002 2523136 269 33554432000 4194304 5990268 140736508762208 140736508753648 5173822 0 65536 4102 0 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/15524/statm: 616 269 160 439 0 173 0
[pid=15550] ppid=15524 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/15550/stat : 15550 (satsolver.sh) S 15524 15523 14387 0 -1 4202496 596 0 0 0 0 0 0 0 20 0 1 0 283393041 9367552 267 33554432000 4194304 5064252 140734781955936 140734781954848 235374536270 0 65536 4100 65538 18446744071579302229 0 0 17 7 0 0 0 0 0
/proc/15550/statm: 2287 267 226 213 0 72 0
[pid=15551] ppid=15550 vsize=49108 CPUtime=101.87 cores=1,3,5,7
/proc/15551/stat : 15551 (glucose) R 15550 15523 14387 0 -1 4202496 6190 0 0 0 10186 1 0 0 20 0 1 0 283393041 50286592 11237 33554432000 4194304 5208918 140734433491472 140734433489416 4229695 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/15551/statm: 12277 11237 105 248 0 12026 0
Current children cumulated CPU time (s) 102.24
Current children cumulated vsize (KiB) 69868
[startup+162.3 s]
/proc/loadavg: 2.04 2.02 2.00 3/182 15621
/proc/meminfo: memFree=29799704/32873844 swapFree=7112/7112
[pid=15523] ppid=15521 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/15523/stat : 15523 (npSolver-wbo-I.) S 15521 15523 14387 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 283393001 9367552 275 33554432000 4194304 5064252 140734529874208 140734529873120 235374536270 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/15523/statm: 2287 275 233 213 0 72 0
[pid=15524] ppid=15523 vsize=2464 CPUtime=0.37 cores=1,3,5,7
/proc/15524/stat : 15524 (npSolver-wbo) S 15523 15523 14387 0 -1 4202496 689 13515 0 0 0 0 34 3 20 0 1 0 283393002 2523136 269 33554432000 4194304 5990268 140736508762208 140736508753648 5173822 0 65536 4102 0 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/15524/statm: 616 269 160 439 0 173 0
[pid=15550] ppid=15524 vsize=9148 CPUtime=0 cores=1,3,5,7
################
# More data... #
################
[startup+1362.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/182 15631
/proc/meminfo: memFree=29648308/32873844 swapFree=7112/7112
[pid=15523] ppid=15521 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/15523/stat : 15523 (npSolver-wbo-I.) S 15521 15523 14387 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 283393001 9367552 275 33554432000 4194304 5064252 140734529874208 140734529873120 235374536270 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/15523/statm: 2287 275 233 213 0 72 0
[pid=15524] ppid=15523 vsize=2464 CPUtime=0.37 cores=1,3,5,7
/proc/15524/stat : 15524 (npSolver-wbo) S 15523 15523 14387 0 -1 4202496 689 13515 0 0 0 0 34 3 20 0 1 0 283393002 2523136 269 33554432000 4194304 5990268 140736508762208 140736508753648 5173822 0 65536 4102 0 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/15524/statm: 616 269 160 439 0 173 0
[pid=15550] ppid=15524 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/15550/stat : 15550 (satsolver.sh) S 15524 15523 14387 0 -1 4202496 596 0 0 0 0 0 0 0 20 0 1 0 283393041 9367552 267 33554432000 4194304 5064252 140734781955936 140734781954848 235374536270 0 65536 4100 65538 18446744071579302229 0 0 17 7 0 0 0 0 0
/proc/15550/statm: 2287 267 226 213 0 72 0
[pid=15551] ppid=15550 vsize=115032 CPUtime=1361.67 cores=1,3,5,7
/proc/15551/stat : 15551 (glucose) R 15550 15523 14387 0 -1 4202496 10073 0 0 0 136154 13 0 0 20 0 1 0 283393041 117792768 28312 33554432000 4194304 5208918 140734433491472 140734433489560 4229504 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/15551/statm: 28758 28312 105 248 0 28507 0
Current children cumulated CPU time (s) 1362.04
Current children cumulated vsize (KiB) 135792
[startup+1422.31 s]
/proc/loadavg: 2.00 2.00 2.00 3/182 15654
/proc/meminfo: memFree=29613692/32873844 swapFree=7112/7112
[pid=15523] ppid=15521 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/15523/stat : 15523 (npSolver-wbo-I.) S 15521 15523 14387 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 283393001 9367552 275 33554432000 4194304 5064252 140734529874208 140734529873120 235374536270 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/15523/statm: 2287 275 233 213 0 72 0
[pid=15524] ppid=15523 vsize=2464 CPUtime=0.37 cores=1,3,5,7
/proc/15524/stat : 15524 (npSolver-wbo) S 15523 15523 14387 0 -1 4202496 689 13515 0 0 0 0 34 3 20 0 1 0 283393002 2523136 269 33554432000 4194304 5990268 140736508762208 140736508753648 5173822 0 65536 4102 0 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/15524/statm: 616 269 160 439 0 173 0
[pid=15550] ppid=15524 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/15550/stat : 15550 (satsolver.sh) S 15524 15523 14387 0 -1 4202496 596 0 0 0 0 0 0 0 20 0 1 0 283393041 9367552 267 33554432000 4194304 5064252 140734781955936 140734781954848 235374536270 0 65536 4100 65538 18446744071579302229 0 0 17 7 0 0 0 0 0
/proc/15550/statm: 2287 267 226 213 0 72 0
[pid=15551] ppid=15550 vsize=164352 CPUtime=1421.67 cores=1,3,5,7
/proc/15551/stat : 15551 (glucose) R 15550 15523 14387 0 -1 4202496 10165 0 0 0 142153 14 0 0 20 0 1 0 283393041 168296448 36533 33554432000 4194304 5208918 140734433491472 140734433489464 4229738 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/15551/statm: 41088 36533 105 248 0 40837 0
Current children cumulated CPU time (s) 1422.04
Current children cumulated vsize (KiB) 185112
[startup+1482.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/181 15654
/proc/meminfo: memFree=29607548/32873844 swapFree=7112/7112
[pid=15523] ppid=15521 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/15523/stat : 15523 (npSolver-wbo-I.) S 15521 15523 14387 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 283393001 9367552 275 33554432000 4194304 5064252 140734529874208 140734529873120 235374536270 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/15523/statm: 2287 275 233 213 0 72 0
[pid=15524] ppid=15523 vsize=2464 CPUtime=0.37 cores=1,3,5,7
/proc/15524/stat : 15524 (npSolver-wbo) S 15523 15523 14387 0 -1 4202496 689 13515 0 0 0 0 34 3 20 0 1 0 283393002 2523136 269 33554432000 4194304 5990268 140736508762208 140736508753648 5173822 0 65536 4102 0 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/15524/statm: 616 269 160 439 0 173 0
[pid=15550] ppid=15524 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/15550/stat : 15550 (satsolver.sh) S 15524 15523 14387 0 -1 4202496 596 0 0 0 0 0 0 0 20 0 1 0 283393041 9367552 267 33554432000 4194304 5064252 140734781955936 140734781954848 235374536270 0 65536 4100 65538 18446744071579302229 0 0 17 7 0 0 0 0 0
/proc/15550/statm: 2287 267 226 213 0 72 0
[pid=15551] ppid=15550 vsize=164352 CPUtime=1481.65 cores=1,3,5,7
/proc/15551/stat : 15551 (glucose) R 15550 15523 14387 0 -1 4202496 10218 0 0 0 148150 15 0 0 20 0 1 0 283393041 168296448 38581 33554432000 4194304 5208918 140734433491472 140734433489464 4229365 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/15551/statm: 41088 38581 105 248 0 40837 0
Current children cumulated CPU time (s) 1482.02
Current children cumulated vsize (KiB) 185112
[startup+1542.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/181 15654
/proc/meminfo: memFree=29652556/32873844 swapFree=7112/7112
[pid=15523] ppid=15521 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/15523/stat : 15523 (npSolver-wbo-I.) S 15521 15523 14387 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 283393001 9367552 275 33554432000 4194304 5064252 140734529874208 140734529873120 235374536270 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/15523/statm: 2287 275 233 213 0 72 0
[pid=15524] ppid=15523 vsize=2464 CPUtime=0.37 cores=1,3,5,7
/proc/15524/stat : 15524 (npSolver-wbo) S 15523 15523 14387 0 -1 4202496 689 13515 0 0 0 0 34 3 20 0 1 0 283393002 2523136 269 33554432000 4194304 5990268 140736508762208 140736508753648 5173822 0 65536 4102 0 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/15524/statm: 616 269 160 439 0 173 0
[pid=15550] ppid=15524 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/15550/stat : 15550 (satsolver.sh) S 15524 15523 14387 0 -1 4202496 596 0 0 0 0 0 0 0 20 0 1 0 283393041 9367552 267 33554432000 4194304 5064252 140734781955936 140734781954848 235374536270 0 65536 4100 65538 18446744071579302229 0 0 17 7 0 0 0 0 0
/proc/15550/statm: 2287 267 226 213 0 72 0
[pid=15551] ppid=15550 vsize=115032 CPUtime=1541.64 cores=1,3,5,7
/proc/15551/stat : 15551 (glucose) R 15550 15523 14387 0 -1 4202496 10267 0 0 0 154148 16 0 0 20 0 1 0 283393041 117792768 28312 33554432000 4194304 5208918 140734433491472 140734433489560 4229460 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/15551/statm: 28758 28312 105 248 0 28507 0
Current children cumulated CPU time (s) 1542.01
Current children cumulated vsize (KiB) 135792
[startup+1602.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/180 15655
/proc/meminfo: memFree=29622788/32873844 swapFree=7112/7112
[pid=15523] ppid=15521 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/15523/stat : 15523 (npSolver-wbo-I.) S 15521 15523 14387 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 283393001 9367552 275 33554432000 4194304 5064252 140734529874208 140734529873120 235374536270 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/15523/statm: 2287 275 233 213 0 72 0
[pid=15524] ppid=15523 vsize=2464 CPUtime=0.37 cores=1,3,5,7
/proc/15524/stat : 15524 (npSolver-wbo) S 15523 15523 14387 0 -1 4202496 689 13515 0 0 0 0 34 3 20 0 1 0 283393002 2523136 269 33554432000 4194304 5990268 140736508762208 140736508753648 5173822 0 65536 4102 0 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/15524/statm: 616 269 160 439 0 173 0
[pid=15550] ppid=15524 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/15550/stat : 15550 (satsolver.sh) S 15524 15523 14387 0 -1 4202496 596 0 0 0 0 0 0 0 20 0 1 0 283393041 9367552 267 33554432000 4194304 5064252 140734781955936 140734781954848 235374536270 0 65536 4100 65538 18446744071579302229 0 0 17 7 0 0 0 0 0
/proc/15550/statm: 2287 267 226 213 0 72 0
[pid=15551] ppid=15550 vsize=164352 CPUtime=1601.63 cores=1,3,5,7
/proc/15551/stat : 15551 (glucose) R 15550 15523 14387 0 -1 4202496 10361 0 0 0 160146 17 0 0 20 0 1 0 283393041 168296448 36533 33554432000 4194304 5208918 140734433491472 140734433489464 4229541 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/15551/statm: 41088 36533 105 248 0 40837 0
Current children cumulated CPU time (s) 1602
Current children cumulated vsize (KiB) 185112
[startup+1662.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/181 15656
/proc/meminfo: memFree=29628140/32873844 swapFree=7112/7112
[pid=15523] ppid=15521 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/15523/stat : 15523 (npSolver-wbo-I.) S 15521 15523 14387 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 283393001 9367552 275 33554432000 4194304 5064252 140734529874208 140734529873120 235374536270 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/15523/statm: 2287 275 233 213 0 72 0
[pid=15524] ppid=15523 vsize=2464 CPUtime=0.37 cores=1,3,5,7
/proc/15524/stat : 15524 (npSolver-wbo) S 15523 15523 14387 0 -1 4202496 689 13515 0 0 0 0 34 3 20 0 1 0 283393002 2523136 269 33554432000 4194304 5990268 140736508762208 140736508753648 5173822 0 65536 4102 0 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/15524/statm: 616 269 160 439 0 173 0
[pid=15550] ppid=15524 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/15550/stat : 15550 (satsolver.sh) S 15524 15523 14387 0 -1 4202496 596 0 0 0 0 0 0 0 20 0 1 0 283393041 9367552 267 33554432000 4194304 5064252 140734781955936 140734781954848 235374536270 0 65536 4100 65538 18446744071579302229 0 0 17 7 0 0 0 0 0
/proc/15550/statm: 2287 267 226 213 0 72 0
[pid=15551] ppid=15550 vsize=164352 CPUtime=1661.62 cores=1,3,5,7
/proc/15551/stat : 15551 (glucose) R 15550 15523 14387 0 -1 4202496 10413 0 0 0 166144 18 0 0 20 0 1 0 283393041 168296448 37557 33554432000 4194304 5208918 140734433491472 140734433489464 4229338 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/15551/statm: 41088 37557 105 248 0 40837 0
Current children cumulated CPU time (s) 1661.99
Current children cumulated vsize (KiB) 185112
[startup+1722.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/181 15656
/proc/meminfo: memFree=29603372/32873844 swapFree=7112/7112
[pid=15523] ppid=15521 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/15523/stat : 15523 (npSolver-wbo-I.) S 15521 15523 14387 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 283393001 9367552 275 33554432000 4194304 5064252 140734529874208 140734529873120 235374536270 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/15523/statm: 2287 275 233 213 0 72 0
[pid=15524] ppid=15523 vsize=2464 CPUtime=0.37 cores=1,3,5,7
/proc/15524/stat : 15524 (npSolver-wbo) S 15523 15523 14387 0 -1 4202496 689 13515 0 0 0 0 34 3 20 0 1 0 283393002 2523136 269 33554432000 4194304 5990268 140736508762208 140736508753648 5173822 0 65536 4102 0 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/15524/statm: 616 269 160 439 0 173 0
[pid=15550] ppid=15524 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/15550/stat : 15550 (satsolver.sh) S 15524 15523 14387 0 -1 4202496 596 0 0 0 0 0 0 0 20 0 1 0 283393041 9367552 267 33554432000 4194304 5064252 140734781955936 140734781954848 235374536270 0 65536 4100 65538 18446744071579302229 0 0 17 7 0 0 0 0 0
/proc/15550/statm: 2287 267 226 213 0 72 0
[pid=15551] ppid=15550 vsize=164352 CPUtime=1721.62 cores=1,3,5,7
/proc/15551/stat : 15551 (glucose) R 15550 15523 14387 0 -1 4202496 10464 0 0 0 172143 19 0 0 20 0 1 0 283393041 168296448 38069 33554432000 4194304 5208918 140734433491472 140734433489464 4229296 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/15551/statm: 41088 38069 105 248 0 40837 0
Current children cumulated CPU time (s) 1721.99
Current children cumulated vsize (KiB) 185112
[startup+1782.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/181 15656
/proc/meminfo: memFree=29609412/32873844 swapFree=7112/7112
[pid=15523] ppid=15521 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/15523/stat : 15523 (npSolver-wbo-I.) S 15521 15523 14387 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 283393001 9367552 275 33554432000 4194304 5064252 140734529874208 140734529873120 235374536270 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/15523/statm: 2287 275 233 213 0 72 0
[pid=15524] ppid=15523 vsize=2464 CPUtime=0.37 cores=1,3,5,7
/proc/15524/stat : 15524 (npSolver-wbo) S 15523 15523 14387 0 -1 4202496 689 13515 0 0 0 0 34 3 20 0 1 0 283393002 2523136 269 33554432000 4194304 5990268 140736508762208 140736508753648 5173822 0 65536 4102 0 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/15524/statm: 616 269 160 439 0 173 0
[pid=15550] ppid=15524 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/15550/stat : 15550 (satsolver.sh) S 15524 15523 14387 0 -1 4202496 596 0 0 0 0 0 0 0 20 0 1 0 283393041 9367552 267 33554432000 4194304 5064252 140734781955936 140734781954848 235374536270 0 65536 4100 65538 18446744071579302229 0 0 17 7 0 0 0 0 0
/proc/15550/statm: 2287 267 226 213 0 72 0
[pid=15551] ppid=15550 vsize=164352 CPUtime=1781.61 cores=1,3,5,7
/proc/15551/stat : 15551 (glucose) R 15550 15523 14387 0 -1 4202496 10515 0 0 0 178141 20 0 0 20 0 1 0 283393041 168296448 38581 33554432000 4194304 5208918 140734433491472 140734433489464 4229296 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/15551/statm: 41088 38581 105 248 0 40837 0
Current children cumulated CPU time (s) 1781.98
Current children cumulated vsize (KiB) 185112
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+1800.4 s]
/proc/loadavg: 2.00 2.00 2.00 3/181 15656
/proc/meminfo: memFree=29644476/32873844 swapFree=7112/7112
[pid=15523] ppid=15521 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/15523/stat : 15523 (npSolver-wbo-I.) S 15521 15523 14387 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 283393001 9367552 275 33554432000 4194304 5064252 140734529874208 140734529873120 235374536270 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/15523/statm: 2287 275 233 213 0 72 0
[pid=15524] ppid=15523 vsize=2464 CPUtime=0.37 cores=1,3,5,7
/proc/15524/stat : 15524 (npSolver-wbo) S 15523 15523 14387 0 -1 4202496 689 13515 0 0 0 0 34 3 20 0 1 0 283393002 2523136 269 33554432000 4194304 5990268 140736508762208 140736508753648 5173822 0 65536 4102 0 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/15524/statm: 616 269 160 439 0 173 0
[pid=15550] ppid=15524 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/15550/stat : 15550 (satsolver.sh) S 15524 15523 14387 0 -1 4202496 596 0 0 0 0 0 0 0 20 0 1 0 283393041 9367552 267 33554432000 4194304 5064252 140734781955936 140734781954848 235374536270 0 65536 4100 65538 18446744071579302229 0 0 17 7 0 0 0 0 0
/proc/15550/statm: 2287 267 226 213 0 72 0
[pid=15551] ppid=15550 vsize=115032 CPUtime=1799.71 cores=1,3,5,7
/proc/15551/stat : 15551 (glucose) R 15550 15523 14387 0 -1 4202496 10516 0 0 0 179951 20 0 0 20 0 1 0 283393041 117792768 28312 33554432000 4194304 5208918 140734433491472 140734433489560 4229328 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/15551/statm: 28758 28312 105 248 0 28507 0
Current children cumulated CPU time (s) 1800.08
Current children cumulated vsize (KiB) 135792
Sending SIGTERM to process tree (bottom up)
Solver just ended. Dumping a history of the last processes samples
Child status: 0
Real time (s): 1800.41
CPU time (s): 1800.13
CPU user time (s): 1799.88
CPU system time (s): 0.248962
CPU usage (%): 99.9844
Max. virtual memory (cumulated for all children) (KiB): 185112
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1799.88
system time used= 0.248962
maximum resident set size= 156372
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 25710
page faults= 0
swaps= 0
block input operations= 0
block output operations= 1240
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 68
involuntary context switches= 1894
runsolver used 3.61045 second user time and 9.04662 second system time
The end