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-3750109-1339181967/watcher-3750109-1339181967 -o /tmp/evaluation-result-3750109-1339181967/solver-3750109-1339181967 -C 1800 -W 1900 -M 15500 HOME/npSolver-pbo.sh HOME/instance-3750109-1339181967.opb 71793375 HOME HOME
running on 4 cores: 1,3,5,7
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1800 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1830 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 1900 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB
Current StackSize limit: 10240 KiB
[startup+0 s]
/proc/loadavg: 1.64 1.92 1.97 3/175 13216
/proc/meminfo: memFree=31440508/32873844 swapFree=7632/7632
[pid=13216] ppid=13214 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/13216/stat : 13216 (npSolver-pbo.sh) S 13214 13216 12214 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 28163331 9367552 275 33554432000 4194304 5064252 140736809227776 140736809226688 215124436558 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/13216/statm: 2287 275 233 213 0 72 0
[startup+0.0805961 s]
/proc/loadavg: 1.64 1.92 1.97 3/175 13216
/proc/meminfo: memFree=31440508/32873844 swapFree=7632/7632
[pid=13216] ppid=13214 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/13216/stat : 13216 (npSolver-pbo.sh) S 13214 13216 12214 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 28163331 9367552 275 33554432000 4194304 5064252 140736809227776 140736809226688 215124436558 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/13216/statm: 2287 275 233 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148
[startup+0.100239 s]
/proc/loadavg: 1.64 1.92 1.97 3/175 13216
/proc/meminfo: memFree=31440508/32873844 swapFree=7632/7632
[pid=13216] ppid=13214 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/13216/stat : 13216 (npSolver-pbo.sh) S 13214 13216 12214 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 28163331 9367552 275 33554432000 4194304 5064252 140736809227776 140736809226688 215124436558 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/13216/statm: 2287 275 233 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148
[startup+0.300161 s]
/proc/loadavg: 1.64 1.92 1.97 3/175 13216
/proc/meminfo: memFree=31440508/32873844 swapFree=7632/7632
[pid=13216] ppid=13214 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/13216/stat : 13216 (npSolver-pbo.sh) S 13214 13216 12214 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 28163331 9367552 275 33554432000 4194304 5064252 140736809227776 140736809226688 215124436558 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/13216/statm: 2287 275 233 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148
[startup+0.700274 s]
/proc/loadavg: 1.64 1.92 1.97 3/175 13216
/proc/meminfo: memFree=31440508/32873844 swapFree=7632/7632
[pid=13216] ppid=13214 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/13216/stat : 13216 (npSolver-pbo.sh) S 13214 13216 12214 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 28163331 9367552 275 33554432000 4194304 5064252 140736809227776 140736809226688 215124436558 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/13216/statm: 2287 275 233 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148
[startup+1.50041 s]
/proc/loadavg: 1.64 1.92 1.97 3/183 13248
/proc/meminfo: memFree=31321680/32873844 swapFree=7632/7632
[pid=13216] ppid=13214 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/13216/stat : 13216 (npSolver-pbo.sh) S 13214 13216 12214 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 28163331 9367552 275 33554432000 4194304 5064252 140736809227776 140736809226688 215124436558 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/13216/statm: 2287 275 233 213 0 72 0
[pid=13217] ppid=13216 vsize=22528 CPUtime=0.95 cores=1,3,5,7
/proc/13217/stat : 13217 (npSolver-pbo) S 13216 13216 12214 0 -1 4202496 7927 18622 0 0 24 7 56 8 20 0 1 0 28163331 23068672 4666 33554432000 4194304 6004724 140735404931408 140735404923760 5186782 0 65536 4102 0 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/13217/statm: 5632 4666 181 442 0 5186 0
[pid=13247] ppid=13217 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/13247/stat : 13247 (satsolver.sh) S 13217 13216 12214 0 -1 4202496 596 0 0 0 0 0 0 0 20 0 1 0 28163429 9367552 266 33554432000 4194304 5064252 140733969632720 140733969631632 215124436558 0 65536 4100 65538 18446744071579302229 0 0 17 7 0 0 0 0 0
/proc/13247/statm: 2287 266 226 213 0 72 0
[pid=13248] ppid=13247 vsize=22520 CPUtime=0.51 cores=1,3,5,7
/proc/13248/stat : 13248 (glucose) R 13247 13216 12214 0 -1 4202496 5365 0 0 0 51 0 0 0 20 0 1 0 28163429 23060480 4875 33554432000 4194304 5208918 140734986996512 140734986994184 4212930 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/13248/statm: 5630 4875 104 248 0 5379 0
Current children cumulated CPU time (s) 1.46
Current children cumulated vsize (KiB) 63344
[startup+3.10041 s]
/proc/loadavg: 1.64 1.92 1.97 3/182 13248
/proc/meminfo: memFree=31192224/32873844 swapFree=7632/7632
[pid=13216] ppid=13214 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/13216/stat : 13216 (npSolver-pbo.sh) S 13214 13216 12214 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 28163331 9367552 275 33554432000 4194304 5064252 140736809227776 140736809226688 215124436558 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/13216/statm: 2287 275 233 213 0 72 0
[pid=13217] ppid=13216 vsize=22528 CPUtime=0.95 cores=1,3,5,7
/proc/13217/stat : 13217 (npSolver-pbo) S 13216 13216 12214 0 -1 4202496 7927 18622 0 0 24 7 56 8 20 0 1 0 28163331 23068672 4666 33554432000 4194304 6004724 140735404931408 140735404923760 5186782 0 65536 4102 0 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/13217/statm: 5632 4666 181 442 0 5186 0
[pid=13247] ppid=13217 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/13247/stat : 13247 (satsolver.sh) S 13217 13216 12214 0 -1 4202496 596 0 0 0 0 0 0 0 20 0 1 0 28163429 9367552 266 33554432000 4194304 5064252 140733969632720 140733969631632 215124436558 0 65536 4100 65538 18446744071579302229 0 0 17 7 0 0 0 0 0
/proc/13247/statm: 2287 266 226 213 0 72 0
[pid=13248] ppid=13247 vsize=22996 CPUtime=2.12 cores=1,3,5,7
/proc/13248/stat : 13248 (glucose) R 13247 13216 12214 0 -1 4202496 5584 0 0 0 211 1 0 0 20 0 1 0 28163429 23547904 5092 33554432000 4194304 5208918 140734986996512 140734986994344 4228997 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/13248/statm: 5749 5092 104 248 0 5498 0
Current children cumulated CPU time (s) 3.07
Current children cumulated vsize (KiB) 63820
[startup+6.3003 s]
/proc/loadavg: 1.66 1.92 1.97 3/180 13253
/proc/meminfo: memFree=30982772/32873844 swapFree=7632/7632
[pid=13216] ppid=13214 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/13216/stat : 13216 (npSolver-pbo.sh) S 13214 13216 12214 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 28163331 9367552 275 33554432000 4194304 5064252 140736809227776 140736809226688 215124436558 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/13216/statm: 2287 275 233 213 0 72 0
[pid=13217] ppid=13216 vsize=22528 CPUtime=5.4 cores=1,3,5,7
/proc/13217/stat : 13217 (npSolver-pbo) S 13216 13216 12214 0 -1 4202496 10267 28185 0 0 32 8 487 13 20 0 1 0 28163331 23068672 4666 33554432000 4194304 6004724 140735404931408 140735404923760 5186782 0 65536 4102 0 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/13217/statm: 5632 4666 181 442 0 5186 0
Current children cumulated CPU time (s) 5.4
Current children cumulated vsize (KiB) 31676
[startup+12.7004 s]
/proc/loadavg: 1.69 1.92 1.97 3/183 13270
/proc/meminfo: memFree=30455040/32873844 swapFree=7632/7632
[pid=13216] ppid=13214 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/13216/stat : 13216 (npSolver-pbo.sh) S 13214 13216 12214 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 28163331 9367552 275 33554432000 4194304 5064252 140736809227776 140736809226688 215124436558 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/13216/statm: 2287 275 233 213 0 72 0
[pid=13217] ppid=13216 vsize=22528 CPUtime=11.1 cores=1,3,5,7
/proc/13217/stat : 13217 (npSolver-pbo) S 13216 13216 12214 0 -1 4202496 15011 44464 0 0 45 9 1035 21 20 0 1 0 28163331 23068672 4666 33554432000 4194304 6004724 140735404931408 140735404923760 5186782 0 65536 4102 0 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/13217/statm: 5632 4666 181 442 0 5186 0
[pid=13269] ppid=13217 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/13269/stat : 13269 (satsolver.sh) S 13217 13216 12214 0 -1 4202496 596 0 0 0 0 0 0 0 20 0 1 0 28164448 9367552 266 33554432000 4194304 5064252 140736852978608 140736852977520 215124436558 0 65536 4100 65538 18446744071579302229 0 0 17 7 0 0 0 0 0
/proc/13269/statm: 2287 266 226 213 0 72 0
[pid=13270] ppid=13269 vsize=18552 CPUtime=1.52 cores=1,3,5,7
/proc/13270/stat : 13270 (glucose) R 13269 13216 12214 0 -1 4202496 4534 0 0 0 152 0 0 0 20 0 1 0 28164448 18997248 3816 33554432000 4194304 5208918 140736560744336 140736560742488 4229456 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/13270/statm: 4638 3816 104 248 0 4387 0
Current children cumulated CPU time (s) 12.62
Current children cumulated vsize (KiB) 59376
[startup+25.5004 s]
/proc/loadavg: 1.84 1.94 1.98 3/185 13279
/proc/meminfo: memFree=28228524/32873844 swapFree=7632/7632
[pid=13216] ppid=13214 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/13216/stat : 13216 (npSolver-pbo.sh) S 13214 13216 12214 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 28163331 9367552 275 33554432000 4194304 5064252 140736809227776 140736809226688 215124436558 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/13216/statm: 2287 275 233 213 0 72 0
[pid=13217] ppid=13216 vsize=22528 CPUtime=20.17 cores=1,3,5,7
/proc/13217/stat : 13217 (npSolver-pbo) S 13216 13216 12214 0 -1 4202496 16703 54077 0 0 51 10 1932 24 20 0 1 0 28163331 23068672 4666 33554432000 4194304 6004724 140735404931408 140735404923760 5186782 0 65536 4102 0 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/13217/statm: 5632 4666 181 442 0 5186 0
[pid=13278] ppid=13217 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/13278/stat : 13278 (satsolver.sh) S 13217 13216 12214 0 -1 4202496 598 0 0 0 0 0 0 0 20 0 1 0 28165354 9367552 267 33554432000 4194304 5064252 140734376326576 140734376325488 215124436558 0 65536 4100 65538 18446744071579302229 0 0 17 7 0 0 0 0 0
/proc/13278/statm: 2287 267 226 213 0 72 0
[pid=13279] ppid=13278 vsize=19348 CPUtime=5.26 cores=1,3,5,7
/proc/13279/stat : 13279 (glucose) R 13278 13216 12214 0 -1 4202496 4726 0 0 0 525 1 0 0 20 0 1 0 28165354 19812352 4071 33554432000 4194304 5208918 140734817192400 140734817190232 4229307 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/13279/statm: 4837 4071 104 248 0 4586 0
Current children cumulated CPU time (s) 25.43
Current children cumulated vsize (KiB) 60172
[startup+51.1069 s]
/proc/loadavg: 2.08 1.99 1.99 3/185 13282
/proc/meminfo: memFree=27056952/32873844 swapFree=7632/7632
[pid=13216] ppid=13214 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/13216/stat : 13216 (npSolver-pbo.sh) S 13214 13216 12214 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 28163331 9367552 275 33554432000 4194304 5064252 140736809227776 140736809226688 215124436558 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/13216/statm: 2287 275 233 213 0 72 0
[pid=13217] ppid=13216 vsize=22528 CPUtime=20.17 cores=1,3,5,7
/proc/13217/stat : 13217 (npSolver-pbo) S 13216 13216 12214 0 -1 4202496 16703 54077 0 0 51 10 1932 24 20 0 1 0 28163331 23068672 4666 33554432000 4194304 6004724 140735404931408 140735404923760 5186782 0 65536 4102 0 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/13217/statm: 5632 4666 181 442 0 5186 0
[pid=13278] ppid=13217 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/13278/stat : 13278 (satsolver.sh) S 13217 13216 12214 0 -1 4202496 598 0 0 0 0 0 0 0 20 0 1 0 28165354 9367552 267 33554432000 4194304 5064252 140734376326576 140734376325488 215124436558 0 65536 4100 65538 18446744071579302229 0 0 17 7 0 0 0 0 0
/proc/13278/statm: 2287 267 226 213 0 72 0
[pid=13279] ppid=13278 vsize=30664 CPUtime=30.86 cores=1,3,5,7
/proc/13279/stat : 13279 (glucose) R 13278 13216 12214 0 -1 4202496 6682 0 0 0 3085 1 0 0 20 0 1 0 28165354 31399936 7257 33554432000 4194304 5208918 140734817192400 140734817190344 4229748 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/13279/statm: 7666 7257 105 248 0 7415 0
Current children cumulated CPU time (s) 51.03
Current children cumulated vsize (KiB) 71488
[startup+102.3 s]
/proc/loadavg: 2.03 1.99 1.99 3/185 13314
/proc/meminfo: memFree=26996468/32873844 swapFree=7632/7632
[pid=13216] ppid=13214 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/13216/stat : 13216 (npSolver-pbo.sh) S 13214 13216 12214 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 28163331 9367552 275 33554432000 4194304 5064252 140736809227776 140736809226688 215124436558 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/13216/statm: 2287 275 233 213 0 72 0
[pid=13217] ppid=13216 vsize=22528 CPUtime=81.51 cores=1,3,5,7
/proc/13217/stat : 13217 (npSolver-pbo) S 13216 13216 12214 0 -1 4202496 18902 65160 0 0 56 11 8056 28 20 0 1 0 28163331 23068672 4666 33554432000 4194304 6004724 140735404931408 140735404923760 5186782 0 65536 4102 0 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/13217/statm: 5632 4666 181 442 0 5186 0
[pid=13291] ppid=13217 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/13291/stat : 13291 (satsolver.sh) S 13217 13216 12214 0 -1 4202496 598 0 0 0 0 0 0 0 20 0 1 0 28171488 9367552 267 33554432000 4194304 5064252 140736721421440 140736721420352 215124436558 0 65536 4100 65538 18446744071579302229 0 0 17 7 0 0 0 0 0
/proc/13291/statm: 2287 267 226 213 0 72 0
[pid=13292] ppid=13291 vsize=33180 CPUtime=20.72 cores=1,3,5,7
/proc/13292/stat : 13292 (glucose) R 13291 13216 12214 0 -1 4202496 7221 0 0 0 2070 2 0 0 20 0 1 0 28171489 33976320 6915 33554432000 4194304 5208918 140736071212032 140736071209896 4228997 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/13292/statm: 8295 6915 105 248 0 8044 0
Current children cumulated CPU time (s) 102.23
Current children cumulated vsize (KiB) 74004
[startup+162.3 s]
/proc/loadavg: 2.01 1.99 1.99 3/185 13322
/proc/meminfo: memFree=26980000/32873844 swapFree=7632/7632
[pid=13216] ppid=13214 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/13216/stat : 13216 (npSolver-pbo.sh) S 13214 13216 12214 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 28163331 9367552 275 33554432000 4194304 5064252 140736809227776 140736809226688 215124436558 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/13216/statm: 2287 275 233 213 0 72 0
[pid=13217] ppid=13216 vsize=22528 CPUtime=104.6 cores=1,3,5,7
/proc/13217/stat : 13217 (npSolver-pbo) S 13216 13216 12214 0 -1 4202496 20704 76105 0 0 63 12 10353 32 20 0 1 0 28163331 23068672 4666 33554432000 4194304 6004724 140735404931408 140735404923760 5186782 0 65536 4102 0 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/13217/statm: 5632 4666 181 442 0 5186 0
[pid=13321] ppid=13217 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/13321/stat : 13321 (satsolver.sh) S 13217 13216 12214 0 -1 4202496 597 0 0 0 0 0 0 0 20 0 1 0 28173798 9367552 267 33554432000 4194304 5064252 140734266001520 140734266000432 215124436558 0 65536 4100 65538 18446744071579302229 0 0 17 7 0 0 0 0 0
/proc/13321/statm: 2287 267 226 213 0 72 0
[pid=13322] ppid=13321 vsize=37928 CPUtime=57.6 cores=1,3,5,7
/proc/13322/stat : 13322 (glucose) R 13321 13216 12214 0 -1 4202496 6612 0 0 0 5759 1 0 0 20 0 1 0 28173798 38838272 9074 33554432000 4194304 5208918 140735596077136 140735596073512 4211834 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/13322/statm: 9482 9074 105 248 0 9231 0
Current children cumulated CPU time (s) 162.2
################
# More data... #
################
[startup+1422.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/185 13353
/proc/meminfo: memFree=26887316/32873844 swapFree=7632/7632
[pid=13216] ppid=13214 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/13216/stat : 13216 (npSolver-pbo.sh) S 13214 13216 12214 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 28163331 9367552 275 33554432000 4194304 5064252 140736809227776 140736809226688 215124436558 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/13216/statm: 2287 275 233 213 0 72 0
[pid=13217] ppid=13216 vsize=22528 CPUtime=902 cores=1,3,5,7
/proc/13217/stat : 13217 (npSolver-pbo) S 13216 13216 12214 0 -1 4202496 25890 112281 0 0 80 14 90058 48 20 0 1 0 28163331 23068672 4666 33554432000 4194304 6004724 140735404931408 140735404923760 5186782 0 65536 4102 0 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/13217/statm: 5632 4666 181 442 0 5186 0
[pid=13347] ppid=13217 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/13347/stat : 13347 (satsolver.sh) S 13217 13216 12214 0 -1 4202496 598 0 0 0 0 0 0 0 20 0 1 0 28253551 9367552 267 33554432000 4194304 5064252 140736878744784 140736878743696 215124436558 0 65536 4100 65538 18446744071579302229 0 0 17 7 0 0 0 0 0
/proc/13347/statm: 2287 267 226 213 0 72 0
[pid=13348] ppid=13347 vsize=80932 CPUtime=520.01 cores=1,3,5,7
/proc/13348/stat : 13348 (glucose) R 13347 13216 12214 0 -1 4202496 9202 0 0 0 51998 3 0 0 20 0 1 0 28253551 82874368 17999 33554432000 4194304 5208918 140736666998496 140736666996360 4205139 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/13348/statm: 20233 17999 105 248 0 19982 0
Current children cumulated CPU time (s) 1422.01
Current children cumulated vsize (KiB) 121756
[startup+1482.3 s]
/proc/loadavg: 2.07 2.02 2.00 3/185 13353
/proc/meminfo: memFree=26887096/32873844 swapFree=7632/7632
[pid=13216] ppid=13214 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/13216/stat : 13216 (npSolver-pbo.sh) S 13214 13216 12214 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 28163331 9367552 275 33554432000 4194304 5064252 140736809227776 140736809226688 215124436558 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/13216/statm: 2287 275 233 213 0 72 0
[pid=13217] ppid=13216 vsize=22528 CPUtime=902 cores=1,3,5,7
/proc/13217/stat : 13217 (npSolver-pbo) S 13216 13216 12214 0 -1 4202496 25890 112281 0 0 80 14 90058 48 20 0 1 0 28163331 23068672 4666 33554432000 4194304 6004724 140735404931408 140735404923760 5186782 0 65536 4102 0 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/13217/statm: 5632 4666 181 442 0 5186 0
[pid=13347] ppid=13217 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/13347/stat : 13347 (satsolver.sh) S 13217 13216 12214 0 -1 4202496 598 0 0 0 0 0 0 0 20 0 1 0 28253551 9367552 267 33554432000 4194304 5064252 140736878744784 140736878743696 215124436558 0 65536 4100 65538 18446744071579302229 0 0 17 7 0 0 0 0 0
/proc/13347/statm: 2287 267 226 213 0 72 0
[pid=13348] ppid=13347 vsize=80932 CPUtime=580 cores=1,3,5,7
/proc/13348/stat : 13348 (glucose) R 13347 13216 12214 0 -1 4202496 9249 0 0 0 57997 3 0 0 20 0 1 0 28253551 82874368 18045 33554432000 4194304 5208918 140736666998496 140736666996360 4229776 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/13348/statm: 20233 18045 105 248 0 19982 0
Current children cumulated CPU time (s) 1482
Current children cumulated vsize (KiB) 121756
[startup+1542.3 s]
/proc/loadavg: 2.02 2.01 2.00 3/185 13354
/proc/meminfo: memFree=26882904/32873844 swapFree=7632/7632
[pid=13216] ppid=13214 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/13216/stat : 13216 (npSolver-pbo.sh) S 13214 13216 12214 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 28163331 9367552 275 33554432000 4194304 5064252 140736809227776 140736809226688 215124436558 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/13216/statm: 2287 275 233 213 0 72 0
[pid=13217] ppid=13216 vsize=22528 CPUtime=902 cores=1,3,5,7
/proc/13217/stat : 13217 (npSolver-pbo) S 13216 13216 12214 0 -1 4202496 25890 112281 0 0 80 14 90058 48 20 0 1 0 28163331 23068672 4666 33554432000 4194304 6004724 140735404931408 140735404923760 5186782 0 65536 4102 0 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/13217/statm: 5632 4666 181 442 0 5186 0
[pid=13347] ppid=13217 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/13347/stat : 13347 (satsolver.sh) S 13217 13216 12214 0 -1 4202496 598 0 0 0 0 0 0 0 20 0 1 0 28253551 9367552 267 33554432000 4194304 5064252 140736878744784 140736878743696 215124436558 0 65536 4100 65538 18446744071579302229 0 0 17 7 0 0 0 0 0
/proc/13347/statm: 2287 267 226 213 0 72 0
[pid=13348] ppid=13347 vsize=80932 CPUtime=639.99 cores=1,3,5,7
/proc/13348/stat : 13348 (glucose) R 13347 13216 12214 0 -1 4202496 9251 0 0 0 63996 3 0 0 20 0 1 0 28253551 82874368 19069 33554432000 4194304 5208918 140736666998496 140736666996360 4211635 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/13348/statm: 20233 19069 105 248 0 19982 0
Current children cumulated CPU time (s) 1541.99
Current children cumulated vsize (KiB) 121756
[startup+1602.3 s]
/proc/loadavg: 2.01 2.00 2.00 3/185 13354
/proc/meminfo: memFree=26881008/32873844 swapFree=7632/7632
[pid=13216] ppid=13214 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/13216/stat : 13216 (npSolver-pbo.sh) S 13214 13216 12214 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 28163331 9367552 275 33554432000 4194304 5064252 140736809227776 140736809226688 215124436558 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/13216/statm: 2287 275 233 213 0 72 0
[pid=13217] ppid=13216 vsize=22528 CPUtime=902 cores=1,3,5,7
/proc/13217/stat : 13217 (npSolver-pbo) S 13216 13216 12214 0 -1 4202496 25890 112281 0 0 80 14 90058 48 20 0 1 0 28163331 23068672 4666 33554432000 4194304 6004724 140735404931408 140735404923760 5186782 0 65536 4102 0 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/13217/statm: 5632 4666 181 442 0 5186 0
[pid=13347] ppid=13217 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/13347/stat : 13347 (satsolver.sh) S 13217 13216 12214 0 -1 4202496 598 0 0 0 0 0 0 0 20 0 1 0 28253551 9367552 267 33554432000 4194304 5064252 140736878744784 140736878743696 215124436558 0 65536 4100 65538 18446744071579302229 0 0 17 7 0 0 0 0 0
/proc/13347/statm: 2287 267 226 213 0 72 0
[pid=13348] ppid=13347 vsize=80932 CPUtime=699.98 cores=1,3,5,7
/proc/13348/stat : 13348 (glucose) R 13347 13216 12214 0 -1 4202496 9251 0 0 0 69995 3 0 0 20 0 1 0 28253551 82874368 19069 33554432000 4194304 5208918 140736666998496 140736666996360 4229319 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/13348/statm: 20233 19069 105 248 0 19982 0
Current children cumulated CPU time (s) 1601.98
Current children cumulated vsize (KiB) 121756
[startup+1662.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/185 13354
/proc/meminfo: memFree=26880924/32873844 swapFree=7632/7632
[pid=13216] ppid=13214 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/13216/stat : 13216 (npSolver-pbo.sh) S 13214 13216 12214 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 28163331 9367552 275 33554432000 4194304 5064252 140736809227776 140736809226688 215124436558 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/13216/statm: 2287 275 233 213 0 72 0
[pid=13217] ppid=13216 vsize=22528 CPUtime=902 cores=1,3,5,7
/proc/13217/stat : 13217 (npSolver-pbo) S 13216 13216 12214 0 -1 4202496 25890 112281 0 0 80 14 90058 48 20 0 1 0 28163331 23068672 4666 33554432000 4194304 6004724 140735404931408 140735404923760 5186782 0 65536 4102 0 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/13217/statm: 5632 4666 181 442 0 5186 0
[pid=13347] ppid=13217 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/13347/stat : 13347 (satsolver.sh) S 13217 13216 12214 0 -1 4202496 598 0 0 0 0 0 0 0 20 0 1 0 28253551 9367552 267 33554432000 4194304 5064252 140736878744784 140736878743696 215124436558 0 65536 4100 65538 18446744071579302229 0 0 17 7 0 0 0 0 0
/proc/13347/statm: 2287 267 226 213 0 72 0
[pid=13348] ppid=13347 vsize=80932 CPUtime=759.97 cores=1,3,5,7
/proc/13348/stat : 13348 (glucose) R 13347 13216 12214 0 -1 4202496 9251 0 0 0 75994 3 0 0 20 0 1 0 28253551 82874368 19069 33554432000 4194304 5208918 140736666998496 140736666996360 4211561 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/13348/statm: 20233 19069 105 248 0 19982 0
Current children cumulated CPU time (s) 1661.97
Current children cumulated vsize (KiB) 121756
[startup+1722.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/185 13354
/proc/meminfo: memFree=26881048/32873844 swapFree=7632/7632
[pid=13216] ppid=13214 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/13216/stat : 13216 (npSolver-pbo.sh) S 13214 13216 12214 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 28163331 9367552 275 33554432000 4194304 5064252 140736809227776 140736809226688 215124436558 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/13216/statm: 2287 275 233 213 0 72 0
[pid=13217] ppid=13216 vsize=22528 CPUtime=902 cores=1,3,5,7
/proc/13217/stat : 13217 (npSolver-pbo) S 13216 13216 12214 0 -1 4202496 25890 112281 0 0 80 14 90058 48 20 0 1 0 28163331 23068672 4666 33554432000 4194304 6004724 140735404931408 140735404923760 5186782 0 65536 4102 0 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/13217/statm: 5632 4666 181 442 0 5186 0
[pid=13347] ppid=13217 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/13347/stat : 13347 (satsolver.sh) S 13217 13216 12214 0 -1 4202496 598 0 0 0 0 0 0 0 20 0 1 0 28253551 9367552 267 33554432000 4194304 5064252 140736878744784 140736878743696 215124436558 0 65536 4100 65538 18446744071579302229 0 0 17 7 0 0 0 0 0
/proc/13347/statm: 2287 267 226 213 0 72 0
[pid=13348] ppid=13347 vsize=80932 CPUtime=819.96 cores=1,3,5,7
/proc/13348/stat : 13348 (glucose) R 13347 13216 12214 0 -1 4202496 9252 0 0 0 81993 3 0 0 20 0 1 0 28253551 82874368 19070 33554432000 4194304 5208918 140736666998496 140736666996360 4229296 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/13348/statm: 20233 19070 105 248 0 19982 0
Current children cumulated CPU time (s) 1721.96
Current children cumulated vsize (KiB) 121756
[startup+1782.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/185 13354
/proc/meminfo: memFree=26877884/32873844 swapFree=7632/7632
[pid=13216] ppid=13214 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/13216/stat : 13216 (npSolver-pbo.sh) S 13214 13216 12214 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 28163331 9367552 275 33554432000 4194304 5064252 140736809227776 140736809226688 215124436558 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/13216/statm: 2287 275 233 213 0 72 0
[pid=13217] ppid=13216 vsize=22528 CPUtime=902 cores=1,3,5,7
/proc/13217/stat : 13217 (npSolver-pbo) S 13216 13216 12214 0 -1 4202496 25890 112281 0 0 80 14 90058 48 20 0 1 0 28163331 23068672 4666 33554432000 4194304 6004724 140735404931408 140735404923760 5186782 0 65536 4102 0 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/13217/statm: 5632 4666 181 442 0 5186 0
[pid=13347] ppid=13217 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/13347/stat : 13347 (satsolver.sh) S 13217 13216 12214 0 -1 4202496 598 0 0 0 0 0 0 0 20 0 1 0 28253551 9367552 267 33554432000 4194304 5064252 140736878744784 140736878743696 215124436558 0 65536 4100 65538 18446744071579302229 0 0 17 7 0 0 0 0 0
/proc/13347/statm: 2287 267 226 213 0 72 0
[pid=13348] ppid=13347 vsize=80932 CPUtime=879.96 cores=1,3,5,7
/proc/13348/stat : 13348 (glucose) R 13347 13216 12214 0 -1 4202496 9502 0 0 0 87992 4 0 0 20 0 1 0 28253551 82874368 19826 33554432000 4194304 5208918 140736666998496 140736666996360 4228965 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/13348/statm: 20233 19826 105 248 0 19982 0
Current children cumulated CPU time (s) 1781.96
Current children cumulated vsize (KiB) 121756
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+1800.4 s]
/proc/loadavg: 2.00 2.00 2.00 3/185 13354
/proc/meminfo: memFree=26875836/32873844 swapFree=7632/7632
[pid=13216] ppid=13214 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/13216/stat : 13216 (npSolver-pbo.sh) S 13214 13216 12214 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 28163331 9367552 275 33554432000 4194304 5064252 140736809227776 140736809226688 215124436558 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/13216/statm: 2287 275 233 213 0 72 0
[pid=13217] ppid=13216 vsize=22528 CPUtime=902 cores=1,3,5,7
/proc/13217/stat : 13217 (npSolver-pbo) S 13216 13216 12214 0 -1 4202496 25890 112281 0 0 80 14 90058 48 20 0 1 0 28163331 23068672 4666 33554432000 4194304 6004724 140735404931408 140735404923760 5186782 0 65536 4102 0 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/13217/statm: 5632 4666 181 442 0 5186 0
[pid=13347] ppid=13217 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/13347/stat : 13347 (satsolver.sh) S 13217 13216 12214 0 -1 4202496 598 0 0 0 0 0 0 0 20 0 1 0 28253551 9367552 267 33554432000 4194304 5064252 140736878744784 140736878743696 215124436558 0 65536 4100 65538 18446744071579302229 0 0 17 7 0 0 0 0 0
/proc/13347/statm: 2287 267 226 213 0 72 0
[pid=13348] ppid=13347 vsize=106792 CPUtime=898.06 cores=1,3,5,7
/proc/13348/stat : 13348 (glucose) R 13347 13216 12214 0 -1 4202496 9504 0 0 0 89802 4 0 0 20 0 1 0 28253551 109355008 20339 33554432000 4194304 5208918 140736666998496 140736666996440 4213121 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/13348/statm: 26698 20339 105 248 0 26447 0
Current children cumulated CPU time (s) 1800.06
Current children cumulated vsize (KiB) 147616
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.00 2.00 2.00 3/185 13354
/proc/meminfo: memFree=26875836/32873844 swapFree=7632/7632
[pid=13216] ppid=13214 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/13216/stat : 13216 (npSolver-pbo.sh) S 13214 13216 12214 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 28163331 9367552 275 33554432000 4194304 5064252 140736809227776 140736809226688 215124436558 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/13216/statm: 2287 275 233 213 0 72 0
[pid=13217] ppid=13216 vsize=22528 CPUtime=902 cores=1,3,5,7
/proc/13217/stat : 13217 (npSolver-pbo) S 13216 13216 12214 0 -1 4202496 25890 112281 0 0 80 14 90058 48 20 0 1 0 28163331 23068672 4666 33554432000 4194304 6004724 140735404931408 140735404923760 5186782 0 65536 4102 0 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/13217/statm: 5632 4666 181 442 0 5186 0
[pid=13347] ppid=13217 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/13347/stat : 13347 (satsolver.sh) S 13217 13216 12214 0 -1 4202496 598 0 0 0 0 0 0 0 20 0 1 0 28253551 9367552 267 33554432000 4194304 5064252 140736878744784 140736878743696 215124436558 0 65536 4100 65538 18446744071579302229 0 0 17 7 0 0 0 0 0
/proc/13347/statm: 2287 267 226 213 0 72 0
[pid=13348] ppid=13347 vsize=106792 CPUtime=898.06 cores=1,3,5,7
/proc/13348/stat : 13348 (glucose) R 13347 13216 12214 0 -1 4202496 9504 0 0 0 89802 4 0 0 20 0 1 0 28253551 109355008 20339 33554432000 4194304 5208918 140736666998496 140736666996440 4213121 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/13348/statm: 26698 20339 105 248 0 26447 0
Current children cumulated CPU time (s) 1800.06
Current children cumulated vsize (KiB) 147616
Child status: 0
Real time (s): 1800.41
CPU time (s): 1800.1
CPU user time (s): 1799.42
CPU system time (s): 0.681896
CPU usage (%): 99.9827
Max. virtual memory (cumulated for all children) (KiB): 147616
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1799.42
system time used= 0.681896
maximum resident set size= 81600
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 148665
page faults= 0
swaps= 0
block input operations= 0
block output operations= 106936
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 568
involuntary context switches= 2103
runsolver used 6.06308 second user time and 20.4189 second system time
The end