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-3750406-1339120390/watcher-3750406-1339120390 -o /tmp/evaluation-result-3750406-1339120390/solver-3750406-1339120390 -C 1800 -W 1900 -M 15500 HOME/npSolver-pbo.sh HOME/instance-3750406-1339120390.opb 709231068 HOME HOME
running on 4 cores: 0,2,4,6
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1800 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1830 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 1900 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB
Current StackSize limit: 10240 KiB
[startup+0 s]
/proc/loadavg: 1.95 1.98 1.99 3/177 4242
/proc/meminfo: memFree=30362912/32873844 swapFree=7124/7124
[pid=4242] ppid=4240 vsize=11812 CPUtime=0 cores=0,2,4,6
/proc/4242/stat : 4242 (runsolver) D 4240 4242 694 0 -1 4202560 42 0 0 0 0 0 0 0 20 0 1 0 378167487 12095488 51 33554432000 4194304 5436572 140736994135232 140736994131528 4883175 0 0 4096 24578 18446744072101258628 0 0 17 2 0 0 0 0 0
/proc/4242/statm: 2953 51 31 304 0 2645 0
[startup+0.0903201 s]
/proc/loadavg: 1.95 1.98 1.99 3/177 4242
/proc/meminfo: memFree=30362912/32873844 swapFree=7124/7124
[pid=4242] ppid=4240 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/4242/stat : 4242 (npSolver-pbo.sh) S 4240 4242 694 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 378167487 9367552 274 33554432000 4194304 5064252 140735155760096 140735155759008 226329519694 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/4242/statm: 2287 274 233 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148
[startup+0.100269 s]
/proc/loadavg: 1.95 1.98 1.99 3/177 4242
/proc/meminfo: memFree=30362912/32873844 swapFree=7124/7124
[pid=4242] ppid=4240 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/4242/stat : 4242 (npSolver-pbo.sh) S 4240 4242 694 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 378167487 9367552 274 33554432000 4194304 5064252 140735155760096 140735155759008 226329519694 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/4242/statm: 2287 274 233 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148
[startup+0.300196 s]
/proc/loadavg: 1.95 1.98 1.99 3/177 4242
/proc/meminfo: memFree=30362912/32873844 swapFree=7124/7124
[pid=4242] ppid=4240 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/4242/stat : 4242 (npSolver-pbo.sh) S 4240 4242 694 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 378167487 9367552 274 33554432000 4194304 5064252 140735155760096 140735155759008 226329519694 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/4242/statm: 2287 274 233 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148
[startup+0.700282 s]
/proc/loadavg: 1.95 1.98 1.99 3/177 4242
/proc/meminfo: memFree=30362912/32873844 swapFree=7124/7124
[pid=4242] ppid=4240 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/4242/stat : 4242 (npSolver-pbo.sh) S 4240 4242 694 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 378167487 9367552 274 33554432000 4194304 5064252 140735155760096 140735155759008 226329519694 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/4242/statm: 2287 274 233 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148
[startup+1.50033 s]
/proc/loadavg: 1.95 1.98 1.99 3/181 4256
/proc/meminfo: memFree=30328536/32873844 swapFree=7124/7124
[pid=4242] ppid=4240 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/4242/stat : 4242 (npSolver-pbo.sh) S 4240 4242 694 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 378167487 9367552 274 33554432000 4194304 5064252 140735155760096 140735155759008 226329519694 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/4242/statm: 2287 274 233 213 0 72 0
[pid=4244] ppid=4242 vsize=18512 CPUtime=1.06 cores=0,2,4,6
/proc/4244/stat : 4244 (npSolver-pbo) S 4242 4242 694 0 -1 4202496 8349 12964 0 0 21 7 76 2 20 0 1 0 378167488 18956288 4078 33554432000 4194304 6004724 140733984764496 140733984756848 5186782 0 65536 4102 0 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/4244/statm: 4628 4078 172 442 0 4182 0
Current children cumulated CPU time (s) 1.06
Current children cumulated vsize (KiB) 27660
[startup+3.10032 s]
/proc/loadavg: 1.95 1.98 1.99 3/181 4263
/proc/meminfo: memFree=30325684/32873844 swapFree=7124/7124
[pid=4242] ppid=4240 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/4242/stat : 4242 (npSolver-pbo.sh) S 4240 4242 694 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 378167487 9367552 274 33554432000 4194304 5064252 140735155760096 140735155759008 226329519694 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/4242/statm: 2287 274 233 213 0 72 0
[pid=4244] ppid=4242 vsize=18512 CPUtime=2.43 cores=0,2,4,6
/proc/4244/stat : 4244 (npSolver-pbo) S 4242 4242 694 0 -1 4202496 9271 20771 0 0 23 7 209 4 20 0 1 0 378167488 18956288 4078 33554432000 4194304 6004724 140733984764496 140733984756848 5186782 0 65536 4102 0 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/4244/statm: 4628 4078 172 442 0 4182 0
Current children cumulated CPU time (s) 2.43
Current children cumulated vsize (KiB) 27660
heavy processes:
[startup+6.3004 s]
/proc/loadavg: 1.95 1.98 1.99 3/181 4284
/proc/meminfo: memFree=30329832/32873844 swapFree=7124/7124
[pid=4242] ppid=4240 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/4242/stat : 4242 (npSolver-pbo.sh) S 4240 4242 694 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 378167487 9367552 274 33554432000 4194304 5064252 140735155760096 140735155759008 226329519694 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/4242/statm: 2287 274 233 213 0 72 0
[pid=4244] ppid=4242 vsize=18512 CPUtime=4.4 cores=0,2,4,6
/proc/4244/stat : 4244 (npSolver-pbo) S 4242 4242 694 0 -1 4202496 10193 27810 0 0 26 8 401 5 20 0 1 0 378167488 18956288 4078 33554432000 4194304 6004724 140733984764496 140733984756848 5186782 0 65536 4102 0 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/4244/statm: 4628 4078 172 442 0 4182 0
[pid=4283] ppid=4244 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/4283/stat : 4283 (satsolver.sh) S 4244 4242 694 0 -1 4202496 596 0 0 0 0 0 0 0 20 0 1 0 378167930 9367552 266 33554432000 4194304 5064252 140734730236688 140734730235600 226329519694 0 65536 4100 65538 18446744071579302229 0 0 17 6 0 0 0 0 0
/proc/4283/statm: 2287 266 226 213 0 72 0
[pid=4284] ppid=4283 vsize=19260 CPUtime=1.86 cores=0,2,4,6
/proc/4284/stat : 4284 (glucose) R 4283 4242 694 0 -1 4202496 3897 0 0 0 186 0 0 0 20 0 1 0 378167930 19722240 4054 33554432000 4194304 5208918 140735623057088 140735623054920 4211553 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/4284/statm: 4815 4054 103 248 0 4564 0
Current children cumulated CPU time (s) 6.26
Current children cumulated vsize (KiB) 56068
[startup+12.7004 s]
/proc/loadavg: 1.96 1.98 1.99 3/181 4298
/proc/meminfo: memFree=30326084/32873844 swapFree=7124/7124
[pid=4242] ppid=4240 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/4242/stat : 4242 (npSolver-pbo.sh) S 4240 4242 694 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 378167487 9367552 274 33554432000 4194304 5064252 140735155760096 140735155759008 226329519694 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/4242/statm: 2287 274 233 213 0 72 0
[pid=4244] ppid=4242 vsize=18512 CPUtime=8.49 cores=0,2,4,6
/proc/4244/stat : 4244 (npSolver-pbo) S 4242 4242 694 0 -1 4202496 12062 42567 0 0 35 8 795 11 20 0 1 0 378167488 18956288 4078 33554432000 4194304 6004724 140733984764496 140733984756848 5186782 0 65536 4102 0 18446744071579302229 0 0 17 2 0 0 0 0 0
/proc/4244/statm: 4628 4078 172 442 0 4182 0
[pid=4297] ppid=4244 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/4297/stat : 4297 (satsolver.sh) S 4244 4242 694 0 -1 4202496 595 0 0 0 0 0 0 0 20 0 1 0 378168339 9367552 265 33554432000 4194304 5064252 140736670266160 140736670265072 226329519694 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/4297/statm: 2287 265 226 213 0 72 0
[pid=4298] ppid=4297 vsize=22356 CPUtime=4.17 cores=0,2,4,6
/proc/4298/stat : 4298 (glucose) R 4297 4242 694 0 -1 4202496 5624 0 0 0 416 1 0 0 20 0 1 0 378168339 22892544 4944 33554432000 4194304 5208918 140733225308288 140733225306120 4211488 0 0 4096 0 0 0 0 17 4 0 0 0 0 0
/proc/4298/statm: 5589 4944 105 248 0 5338 0
Current children cumulated CPU time (s) 12.66
Current children cumulated vsize (KiB) 59164
[startup+25.5004 s]
/proc/loadavg: 1.97 1.98 1.99 3/181 4375
/proc/meminfo: memFree=30240488/32873844 swapFree=7124/7124
[pid=4242] ppid=4240 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/4242/stat : 4242 (npSolver-pbo.sh) S 4240 4242 694 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 378167487 9367552 274 33554432000 4194304 5064252 140735155760096 140735155759008 226329519694 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/4242/statm: 2287 274 233 213 0 72 0
[pid=4244] ppid=4242 vsize=18512 CPUtime=22.1 cores=0,2,4,6
/proc/4244/stat : 4244 (npSolver-pbo) S 4242 4242 694 0 -1 4202496 13931 62440 0 0 44 9 2139 18 20 0 1 0 378167488 18956288 4078 33554432000 4194304 6004724 140733984764496 140733984756848 5186782 0 65536 4102 0 18446744071579302229 0 0 17 2 0 0 0 0 0
/proc/4244/statm: 4628 4078 172 442 0 4182 0
[pid=4374] ppid=4244 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/4374/stat : 4374 (satsolver.sh) S 4244 4242 694 0 -1 4202496 597 0 0 0 0 0 0 0 20 0 1 0 378169700 9367552 267 33554432000 4194304 5064252 140736237627984 140736237626896 226329519694 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/4374/statm: 2287 267 226 213 0 72 0
[pid=4375] ppid=4374 vsize=19656 CPUtime=3.35 cores=0,2,4,6
/proc/4375/stat : 4375 (glucose) R 4374 4242 694 0 -1 4202496 4964 0 0 0 335 0 0 0 20 0 1 0 378169700 20127744 4177 33554432000 4194304 5208918 140734476186560 140734476184392 4228997 0 0 4096 0 0 0 0 17 4 0 0 0 0 0
/proc/4375/statm: 4914 4177 105 248 0 4663 0
Current children cumulated CPU time (s) 25.45
Current children cumulated vsize (KiB) 56464
[startup+51.1004 s]
/proc/loadavg: 1.98 1.98 1.99 3/181 4389
/proc/meminfo: memFree=30222576/32873844 swapFree=7124/7124
[pid=4242] ppid=4240 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/4242/stat : 4242 (npSolver-pbo.sh) S 4240 4242 694 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 378167487 9367552 274 33554432000 4194304 5064252 140735155760096 140735155759008 226329519694 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/4242/statm: 2287 274 233 213 0 72 0
[pid=4244] ppid=4242 vsize=18512 CPUtime=22.1 cores=0,2,4,6
/proc/4244/stat : 4244 (npSolver-pbo) S 4242 4242 694 0 -1 4202496 13931 62440 0 0 44 9 2139 18 20 0 1 0 378167488 18956288 4078 33554432000 4194304 6004724 140733984764496 140733984756848 5186782 0 65536 4102 0 18446744071579302229 0 0 17 2 0 0 0 0 0
/proc/4244/statm: 4628 4078 172 442 0 4182 0
[pid=4374] ppid=4244 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/4374/stat : 4374 (satsolver.sh) S 4244 4242 694 0 -1 4202496 597 0 0 0 0 0 0 0 20 0 1 0 378169700 9367552 267 33554432000 4194304 5064252 140736237627984 140736237626896 226329519694 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/4374/statm: 2287 267 226 213 0 72 0
[pid=4375] ppid=4374 vsize=43648 CPUtime=28.95 cores=0,2,4,6
/proc/4375/stat : 4375 (glucose) R 4374 4242 694 0 -1 4202496 7886 0 0 0 2894 1 0 0 20 0 1 0 378169700 44695552 8515 33554432000 4194304 5208918 140734476186560 140734476184504 4229251 0 0 4096 0 0 0 0 17 4 0 0 0 0 0
/proc/4375/statm: 10912 8515 105 248 0 10661 0
Current children cumulated CPU time (s) 51.05
Current children cumulated vsize (KiB) 80456
[startup+102.306 s]
/proc/loadavg: 1.99 1.98 1.99 3/181 4410
/proc/meminfo: memFree=30209152/32873844 swapFree=7124/7124
[pid=4242] ppid=4240 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/4242/stat : 4242 (npSolver-pbo.sh) S 4240 4242 694 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 378167487 9367552 274 33554432000 4194304 5064252 140735155760096 140735155759008 226329519694 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/4242/statm: 2287 274 233 213 0 72 0
[pid=4244] ppid=4242 vsize=18512 CPUtime=22.1 cores=0,2,4,6
/proc/4244/stat : 4244 (npSolver-pbo) S 4242 4242 694 0 -1 4202496 13931 62440 0 0 44 9 2139 18 20 0 1 0 378167488 18956288 4078 33554432000 4194304 6004724 140733984764496 140733984756848 5186782 0 65536 4102 0 18446744071579302229 0 0 17 2 0 0 0 0 0
/proc/4244/statm: 4628 4078 172 442 0 4182 0
[pid=4374] ppid=4244 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/4374/stat : 4374 (satsolver.sh) S 4244 4242 694 0 -1 4202496 597 0 0 0 0 0 0 0 20 0 1 0 378169700 9367552 267 33554432000 4194304 5064252 140736237627984 140736237626896 226329519694 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/4374/statm: 2287 267 226 213 0 72 0
[pid=4375] ppid=4374 vsize=50456 CPUtime=80.15 cores=0,2,4,6
/proc/4375/stat : 4375 (glucose) R 4374 4242 694 0 -1 4202496 9033 0 0 0 8013 2 0 0 20 0 1 0 378169700 51666944 12167 33554432000 4194304 5208918 140734476186560 140734476182328 4229532 0 0 4096 0 0 0 0 17 4 0 0 0 0 0
/proc/4375/statm: 12614 12167 105 248 0 12363 0
Current children cumulated CPU time (s) 102.25
Current children cumulated vsize (KiB) 87264
[startup+162.3 s]
/proc/loadavg: 1.99 1.98 1.99 3/181 4411
/proc/meminfo: memFree=30179980/32873844 swapFree=7124/7124
[pid=4242] ppid=4240 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/4242/stat : 4242 (npSolver-pbo.sh) S 4240 4242 694 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 378167487 9367552 274 33554432000 4194304 5064252 140735155760096 140735155759008 226329519694 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/4242/statm: 2287 274 233 213 0 72 0
[pid=4244] ppid=4242 vsize=18512 CPUtime=22.1 cores=0,2,4,6
/proc/4244/stat : 4244 (npSolver-pbo) S 4242 4242 694 0 -1 4202496 13931 62440 0 0 44 9 2139 18 20 0 1 0 378167488 18956288 4078 33554432000 4194304 6004724 140733984764496 140733984756848 5186782 0 65536 4102 0 18446744071579302229 0 0 17 2 0 0 0 0 0
/proc/4244/statm: 4628 4078 172 442 0 4182 0
[pid=4374] ppid=4244 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/4374/stat : 4374 (satsolver.sh) S 4244 4242 694 0 -1 4202496 597 0 0 0 0 0 0 0 20 0 1 0 378169700 9367552 267 33554432000 4194304 5064252 140736237627984 140736237626896 226329519694 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/4374/statm: 2287 267 226 213 0 72 0
[pid=4375] ppid=4374 vsize=92464 CPUtime=140.12 cores=0,2,4,6
/proc/4375/stat : 4375 (glucose) R 4374 4242 694 0 -1 4202496 10203 0 0 0 14009 3 0 0 20 0 1 0 378169700 94683136 15900 33554432000 4194304 5208918 140734476186560 140734476184504 4229296 0 0 4096 0 0 0 0 17 4 0 0 0 0 0
/proc/4375/statm: 23116 15900 105 248 0 22865 0
Current children cumulated CPU time (s) 162.22
Current children cumulated vsize (KiB) 129272
[startup+222.3 s]
/proc/loadavg: 1.99 1.98 1.99 3/181 4418
/proc/meminfo: memFree=30153732/32873844 swapFree=7124/7124
################
# More data... #
################
/proc/4242/statm: 2287 274 233 213 0 72 0
[pid=4244] ppid=4242 vsize=18512 CPUtime=175.61 cores=0,2,4,6
/proc/4244/stat : 4244 (npSolver-pbo) S 4242 4242 694 0 -1 4202496 14878 75997 0 0 50 9 17477 25 20 0 1 0 378167488 18956288 4078 33554432000 4194304 6004724 140733984764496 140733984756848 5186782 0 65536 4102 0 18446744071579302229 0 0 17 2 0 0 0 0 0
/proc/4244/statm: 4628 4078 172 442 0 4182 0
[pid=4417] ppid=4244 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/4417/stat : 4417 (satsolver.sh) S 4244 4242 694 0 -1 4202496 596 0 0 0 0 0 0 0 20 0 1 0 378185054 9367552 267 33554432000 4194304 5064252 140735353103984 140735353102896 226329519694 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/4417/statm: 2287 267 226 213 0 72 0
[pid=4418] ppid=4417 vsize=90400 CPUtime=346.56 cores=0,2,4,6
/proc/4418/stat : 4418 (glucose) R 4417 4242 694 0 -1 4202496 12089 0 0 0 34652 4 0 0 20 0 1 0 378185055 92569600 21608 33554432000 4194304 5208918 140734807330624 140734807327000 4228997 0 0 4096 0 0 0 0 17 4 0 0 0 0 0
/proc/4418/statm: 22600 21608 105 248 0 22349 0
Current children cumulated CPU time (s) 522.17
Current children cumulated vsize (KiB) 127208
[startup+582.3 s]
/proc/loadavg: 1.99 1.98 1.99 3/181 4444
/proc/meminfo: memFree=30058272/32873844 swapFree=7124/7124
[pid=4242] ppid=4240 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/4242/stat : 4242 (npSolver-pbo.sh) S 4240 4242 694 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 378167487 9367552 274 33554432000 4194304 5064252 140735155760096 140735155759008 226329519694 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/4242/statm: 2287 274 233 213 0 72 0
[pid=4244] ppid=4242 vsize=18512 CPUtime=175.61 cores=0,2,4,6
/proc/4244/stat : 4244 (npSolver-pbo) S 4242 4242 694 0 -1 4202496 14878 75997 0 0 50 9 17477 25 20 0 1 0 378167488 18956288 4078 33554432000 4194304 6004724 140733984764496 140733984756848 5186782 0 65536 4102 0 18446744071579302229 0 0 17 2 0 0 0 0 0
/proc/4244/statm: 4628 4078 172 442 0 4182 0
[pid=4417] ppid=4244 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/4417/stat : 4417 (satsolver.sh) S 4244 4242 694 0 -1 4202496 596 0 0 0 0 0 0 0 20 0 1 0 378185054 9367552 267 33554432000 4194304 5064252 140735353103984 140735353102896 226329519694 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/4417/statm: 2287 267 226 213 0 72 0
[pid=4418] ppid=4417 vsize=90400 CPUtime=406.54 cores=0,2,4,6
/proc/4418/stat : 4418 (glucose) R 4417 4242 694 0 -1 4202496 12560 0 0 0 40649 5 0 0 20 0 1 0 378185055 92569600 21640 33554432000 4194304 5208918 140734807330624 140734807328712 4229365 0 0 4096 0 0 0 0 17 4 0 0 0 0 0
/proc/4418/statm: 22600 21640 105 248 0 22349 0
Current children cumulated CPU time (s) 582.15
Current children cumulated vsize (KiB) 127208
[startup+642.3 s]
/proc/loadavg: 1.99 1.98 1.99 3/181 4444
/proc/meminfo: memFree=30058144/32873844 swapFree=7124/7124
[pid=4242] ppid=4240 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/4242/stat : 4242 (npSolver-pbo.sh) S 4240 4242 694 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 378167487 9367552 274 33554432000 4194304 5064252 140735155760096 140735155759008 226329519694 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/4242/statm: 2287 274 233 213 0 72 0
[pid=4244] ppid=4242 vsize=18512 CPUtime=175.61 cores=0,2,4,6
/proc/4244/stat : 4244 (npSolver-pbo) S 4242 4242 694 0 -1 4202496 14878 75997 0 0 50 9 17477 25 20 0 1 0 378167488 18956288 4078 33554432000 4194304 6004724 140733984764496 140733984756848 5186782 0 65536 4102 0 18446744071579302229 0 0 17 2 0 0 0 0 0
/proc/4244/statm: 4628 4078 172 442 0 4182 0
[pid=4417] ppid=4244 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/4417/stat : 4417 (satsolver.sh) S 4244 4242 694 0 -1 4202496 596 0 0 0 0 0 0 0 20 0 1 0 378185054 9367552 267 33554432000 4194304 5064252 140735353103984 140735353102896 226329519694 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/4417/statm: 2287 267 226 213 0 72 0
[pid=4418] ppid=4417 vsize=90400 CPUtime=466.54 cores=0,2,4,6
/proc/4418/stat : 4418 (glucose) R 4417 4242 694 0 -1 4202496 12999 0 0 0 46648 6 0 0 20 0 1 0 378185055 92569600 21640 33554432000 4194304 5208918 140734807330624 140734807326312 4229338 0 0 4096 0 0 0 0 17 4 0 0 0 0 0
/proc/4418/statm: 22600 21640 105 248 0 22349 0
Current children cumulated CPU time (s) 642.15
Current children cumulated vsize (KiB) 127208
[startup+702.3 s]
/proc/loadavg: 1.99 1.98 1.99 3/181 4444
/proc/meminfo: memFree=30058144/32873844 swapFree=7124/7124
[pid=4242] ppid=4240 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/4242/stat : 4242 (npSolver-pbo.sh) S 4240 4242 694 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 378167487 9367552 274 33554432000 4194304 5064252 140735155760096 140735155759008 226329519694 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/4242/statm: 2287 274 233 213 0 72 0
[pid=4244] ppid=4242 vsize=18512 CPUtime=175.61 cores=0,2,4,6
/proc/4244/stat : 4244 (npSolver-pbo) S 4242 4242 694 0 -1 4202496 14878 75997 0 0 50 9 17477 25 20 0 1 0 378167488 18956288 4078 33554432000 4194304 6004724 140733984764496 140733984756848 5186782 0 65536 4102 0 18446744071579302229 0 0 17 2 0 0 0 0 0
/proc/4244/statm: 4628 4078 172 442 0 4182 0
[pid=4417] ppid=4244 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/4417/stat : 4417 (satsolver.sh) S 4244 4242 694 0 -1 4202496 596 0 0 0 0 0 0 0 20 0 1 0 378185054 9367552 267 33554432000 4194304 5064252 140735353103984 140735353102896 226329519694 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/4417/statm: 2287 267 226 213 0 72 0
[pid=4418] ppid=4417 vsize=139720 CPUtime=526.52 cores=0,2,4,6
/proc/4418/stat : 4418 (glucose) R 4417 4242 694 0 -1 4202496 13659 0 0 0 52644 8 0 0 20 0 1 0 378185055 143073280 30547 33554432000 4194304 5208918 140734807330624 140734807328616 4229021 0 0 4096 0 0 0 0 17 4 0 0 0 0 0
/proc/4418/statm: 34930 30547 105 248 0 34679 0
Current children cumulated CPU time (s) 702.13
Current children cumulated vsize (KiB) 176528
[startup+762.306 s]
/proc/loadavg: 1.99 1.98 1.99 3/181 4444
/proc/meminfo: memFree=30014144/32873844 swapFree=7124/7124
[pid=4242] ppid=4240 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/4242/stat : 4242 (npSolver-pbo.sh) S 4240 4242 694 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 378167487 9367552 274 33554432000 4194304 5064252 140735155760096 140735155759008 226329519694 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/4242/statm: 2287 274 233 213 0 72 0
[pid=4244] ppid=4242 vsize=18512 CPUtime=175.61 cores=0,2,4,6
/proc/4244/stat : 4244 (npSolver-pbo) S 4242 4242 694 0 -1 4202496 14878 75997 0 0 50 9 17477 25 20 0 1 0 378167488 18956288 4078 33554432000 4194304 6004724 140733984764496 140733984756848 5186782 0 65536 4102 0 18446744071579302229 0 0 17 2 0 0 0 0 0
/proc/4244/statm: 4628 4078 172 442 0 4182 0
[pid=4417] ppid=4244 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/4417/stat : 4417 (satsolver.sh) S 4244 4242 694 0 -1 4202496 596 0 0 0 0 0 0 0 20 0 1 0 378185054 9367552 267 33554432000 4194304 5064252 140735353103984 140735353102896 226329519694 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/4417/statm: 2287 267 226 213 0 72 0
[pid=4418] ppid=4417 vsize=139720 CPUtime=586.52 cores=0,2,4,6
/proc/4418/stat : 4418 (glucose) R 4417 4242 694 0 -1 4202496 14101 0 0 0 58643 9 0 0 20 0 1 0 378185055 143073280 30547 33554432000 4194304 5208918 140734807330624 140734807328616 4229365 0 0 4096 0 0 0 0 17 4 0 0 0 0 0
/proc/4418/statm: 34930 30547 105 248 0 34679 0
Current children cumulated CPU time (s) 762.13
Current children cumulated vsize (KiB) 176528
[startup+822.3 s]
/proc/loadavg: 1.99 1.98 1.99 3/181 4445
/proc/meminfo: memFree=30058020/32873844 swapFree=7124/7124
[pid=4242] ppid=4240 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/4242/stat : 4242 (npSolver-pbo.sh) S 4240 4242 694 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 378167487 9367552 274 33554432000 4194304 5064252 140735155760096 140735155759008 226329519694 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/4242/statm: 2287 274 233 213 0 72 0
[pid=4244] ppid=4242 vsize=18512 CPUtime=175.61 cores=0,2,4,6
/proc/4244/stat : 4244 (npSolver-pbo) S 4242 4242 694 0 -1 4202496 14878 75997 0 0 50 9 17477 25 20 0 1 0 378167488 18956288 4078 33554432000 4194304 6004724 140733984764496 140733984756848 5186782 0 65536 4102 0 18446744071579302229 0 0 17 2 0 0 0 0 0
/proc/4244/statm: 4628 4078 172 442 0 4182 0
[pid=4417] ppid=4244 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/4417/stat : 4417 (satsolver.sh) S 4244 4242 694 0 -1 4202496 596 0 0 0 0 0 0 0 20 0 1 0 378185054 9367552 267 33554432000 4194304 5064252 140735353103984 140735353102896 226329519694 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/4417/statm: 2287 267 226 213 0 72 0
[pid=4418] ppid=4417 vsize=139720 CPUtime=646.51 cores=0,2,4,6
/proc/4418/stat : 4418 (glucose) R 4417 4242 694 0 -1 4202496 14543 0 0 0 64640 11 0 0 20 0 1 0 378185055 143073280 30035 33554432000 4194304 5208918 140734807330624 140734807328616 4229704 0 0 4096 0 0 0 0 17 4 0 0 0 0 0
/proc/4418/statm: 34930 30035 105 248 0 34679 0
Current children cumulated CPU time (s) 822.12
Current children cumulated vsize (KiB) 176528
Solver just ended. Dumping a history of the last processes samples
[startup+825.5 s]
/proc/loadavg: 1.99 1.98 1.99 3/181 4452
/proc/meminfo: memFree=30128152/32873844 swapFree=7124/7124
[pid=4242] ppid=4240 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/4242/stat : 4242 (npSolver-pbo.sh) S 4240 4242 694 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 378167487 9367552 274 33554432000 4194304 5064252 140735155760096 140735155759008 226329519694 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/4242/statm: 2287 274 233 213 0 72 0
[pid=4244] ppid=4242 vsize=18512 CPUtime=822.44 cores=0,2,4,6
/proc/4244/stat : 4244 (npSolver-pbo) S 4242 4242 694 0 -1 4202496 15825 94300 0 0 56 9 82140 39 20 0 1 0 378167488 18956288 4078 33554432000 4194304 6004724 140733984764496 140733984756848 5186782 0 65536 4102 0 18446744071579302229 0 0 17 2 0 0 0 0 0
/proc/4244/statm: 4628 4078 172 442 0 4182 0
[pid=4451] ppid=4244 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/4451/stat : 4451 (satsolver.sh) S 4244 4242 694 0 -1 4202496 597 0 0 0 0 0 0 0 20 0 1 0 378249749 9367552 267 33554432000 4194304 5064252 140735946807024 140735946805936 226329519694 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/4451/statm: 2287 267 226 213 0 72 0
[pid=4452] ppid=4451 vsize=17760 CPUtime=2.87 cores=0,2,4,6
/proc/4452/stat : 4452 (glucose) R 4451 4242 694 0 -1 4202496 3747 0 0 0 286 1 0 0 20 0 1 0 378249749 18186240 3957 33554432000 4194304 5208918 140735080357568 140735080355400 4210848 0 0 4096 0 0 0 0 17 4 0 0 0 0 0
/proc/4452/statm: 4440 3957 105 248 0 4189 0
Current children cumulated CPU time (s) 825.31
Current children cumulated vsize (KiB) 54568
[startup+827.1 s]
/proc/loadavg: 1.99 1.98 1.99 3/181 4452
/proc/meminfo: memFree=30124740/32873844 swapFree=7124/7124
[pid=4242] ppid=4240 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/4242/stat : 4242 (npSolver-pbo.sh) S 4240 4242 694 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 378167487 9367552 274 33554432000 4194304 5064252 140735155760096 140735155759008 226329519694 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/4242/statm: 2287 274 233 213 0 72 0
[pid=4244] ppid=4242 vsize=18512 CPUtime=822.44 cores=0,2,4,6
/proc/4244/stat : 4244 (npSolver-pbo) S 4242 4242 694 0 -1 4202496 15825 94300 0 0 56 9 82140 39 20 0 1 0 378167488 18956288 4078 33554432000 4194304 6004724 140733984764496 140733984756848 5186782 0 65536 4102 0 18446744071579302229 0 0 17 2 0 0 0 0 0
/proc/4244/statm: 4628 4078 172 442 0 4182 0
[pid=4451] ppid=4244 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/4451/stat : 4451 (satsolver.sh) S 4244 4242 694 0 -1 4202496 597 0 0 0 0 0 0 0 20 0 1 0 378249749 9367552 267 33554432000 4194304 5064252 140735946807024 140735946805936 226329519694 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/4451/statm: 2287 267 226 213 0 72 0
[pid=4452] ppid=4451 vsize=22344 CPUtime=4.47 cores=0,2,4,6
/proc/4452/stat : 4452 (glucose) R 4451 4242 694 0 -1 4202496 4967 0 0 0 446 1 0 0 20 0 1 0 378249749 22880256 4721 33554432000 4194304 5208918 140735080357568 140735080355656 4205203 0 0 4096 0 0 0 0 17 4 0 0 0 0 0
/proc/4452/statm: 5586 4721 105 248 0 5335 0
Current children cumulated CPU time (s) 826.91
Current children cumulated vsize (KiB) 59152
[startup+827.9 s]
/proc/loadavg: 1.99 1.98 1.99 3/181 4452
/proc/meminfo: memFree=30124740/32873844 swapFree=7124/7124
[pid=4242] ppid=4240 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/4242/stat : 4242 (npSolver-pbo.sh) S 4240 4242 694 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 378167487 9367552 274 33554432000 4194304 5064252 140735155760096 140735155759008 226329519694 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/4242/statm: 2287 274 233 213 0 72 0
[pid=4244] ppid=4242 vsize=18512 CPUtime=822.44 cores=0,2,4,6
/proc/4244/stat : 4244 (npSolver-pbo) S 4242 4242 694 0 -1 4202496 15825 94300 0 0 56 9 82140 39 20 0 1 0 378167488 18956288 4078 33554432000 4194304 6004724 140733984764496 140733984756848 5186782 0 65536 4102 0 18446744071579302229 0 0 17 2 0 0 0 0 0
/proc/4244/statm: 4628 4078 172 442 0 4182 0
[pid=4451] ppid=4244 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/4451/stat : 4451 (satsolver.sh) S 4244 4242 694 0 -1 4202496 597 0 0 0 0 0 0 0 20 0 1 0 378249749 9367552 267 33554432000 4194304 5064252 140735946807024 140735946805936 226329519694 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/4451/statm: 2287 267 226 213 0 72 0
[pid=4452] ppid=4451 vsize=22344 CPUtime=5.26 cores=0,2,4,6
/proc/4452/stat : 4452 (glucose) R 4451 4242 694 0 -1 4202496 5242 0 0 0 525 1 0 0 20 0 1 0 378249749 22880256 4998 33554432000 4194304 5208918 140735080357568 140735080355512 4205231 0 0 4096 0 0 0 0 17 4 0 0 0 0 0
/proc/4452/statm: 5586 4998 105 248 0 5335 0
Current children cumulated CPU time (s) 827.7
Current children cumulated vsize (KiB) 59152
[startup+828.101 s]
/proc/loadavg: 1.99 1.98 1.99 3/181 4452
/proc/meminfo: memFree=30124740/32873844 swapFree=7124/7124
[pid=4242] ppid=4240 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/4242/stat : 4242 (npSolver-pbo.sh) S 4240 4242 694 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 378167487 9367552 274 33554432000 4194304 5064252 140735155760096 140735155759008 226329519694 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/4242/statm: 2287 274 233 213 0 72 0
[pid=4244] ppid=4242 vsize=18512 CPUtime=827.91 cores=0,2,4,6
/proc/4244/stat : 4244 (npSolver-pbo) S 4242 4242 694 0 -1 4202496 15831 100282 0 0 56 9 82685 41 20 0 1 0 378167488 18956288 4078 33554432000 4194304 6004724 140733984764496 140733984756336 5186782 0 65536 4102 0 18446744071579302229 0 0 17 2 0 0 0 0 0
/proc/4244/statm: 4628 4078 172 442 0 4182 0
Current children cumulated CPU time (s) 827.91
Current children cumulated vsize (KiB) 27660
Child status: 0
Real time (s): 828.115
CPU time (s): 827.954
CPU user time (s): 827.427
CPU system time (s): 0.526919
CPU usage (%): 99.9805
Max. virtual memory (cumulated for all children) (KiB): 176528
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 827.427
system time used= 0.526919
maximum resident set size= 126284
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 120681
page faults= 0
swaps= 0
block input operations= 0
block output operations= 40032
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 504
involuntary context switches= 1153
runsolver used 1.35179 second user time and 3.17752 second system time
The end