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-3715677-1338187361/watcher-3715677-1338187361 -o /tmp/evaluation-result-3715677-1338187361/solver-3715677-1338187361 -C 1800 -W 1900 -M 15500 HOME/npSolver-wbo-Itdqb.sh HOME/instance-3715677-1338187361.wbo 1580566686 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.75 1.91 1.87 3/179 23908
/proc/meminfo: memFree=28799784/32873844 swapFree=7116/7116
[pid=23908] ppid=23906 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/23908/stat : 23908 (npSolver-wbo-It) S 23906 23908 18846 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 284861165 9367552 275 33554432000 4194304 5064252 140733498193968 140733498192880 227141117518 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/23908/statm: 2287 275 233 213 0 72 0
[startup+0.00952795 s]
/proc/loadavg: 1.75 1.91 1.87 3/179 23908
/proc/meminfo: memFree=28799784/32873844 swapFree=7116/7116
[pid=23908] ppid=23906 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/23908/stat : 23908 (npSolver-wbo-It) S 23906 23908 18846 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 284861165 9367552 275 33554432000 4194304 5064252 140733498193968 140733498192880 227141117518 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/23908/statm: 2287 275 233 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148
[startup+0.100273 s]
/proc/loadavg: 1.75 1.91 1.87 3/179 23908
/proc/meminfo: memFree=28799784/32873844 swapFree=7116/7116
[pid=23908] ppid=23906 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/23908/stat : 23908 (npSolver-wbo-It) S 23906 23908 18846 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 284861165 9367552 275 33554432000 4194304 5064252 140733498193968 140733498192880 227141117518 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/23908/statm: 2287 275 233 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148
[startup+0.300271 s]
/proc/loadavg: 1.75 1.91 1.87 3/179 23908
/proc/meminfo: memFree=28799784/32873844 swapFree=7116/7116
[pid=23908] ppid=23906 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/23908/stat : 23908 (npSolver-wbo-It) S 23906 23908 18846 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 284861165 9367552 275 33554432000 4194304 5064252 140733498193968 140733498192880 227141117518 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/23908/statm: 2287 275 233 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148
[startup+0.700256 s]
/proc/loadavg: 1.75 1.91 1.87 3/179 23908
/proc/meminfo: memFree=28799784/32873844 swapFree=7116/7116
[pid=23908] ppid=23906 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/23908/stat : 23908 (npSolver-wbo-It) S 23906 23908 18846 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 284861165 9367552 275 33554432000 4194304 5064252 140733498193968 140733498192880 227141117518 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/23908/statm: 2287 275 233 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148
[startup+1.5004 s]
/proc/loadavg: 1.75 1.91 1.87 3/181 23917
/proc/meminfo: memFree=28727944/32873844 swapFree=7116/7116
[pid=23908] ppid=23906 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/23908/stat : 23908 (npSolver-wbo-It) S 23906 23908 18846 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 284861165 9367552 275 33554432000 4194304 5064252 140733498193968 140733498192880 227141117518 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/23908/statm: 2287 275 233 213 0 72 0
[pid=23909] ppid=23908 vsize=18796 CPUtime=0.6 cores=0,2,4,6
/proc/23909/stat : 23909 (npSolver-wbo) S 23908 23908 18846 0 -1 4202496 4979 0 0 0 58 2 0 0 20 0 1 0 284861165 19247104 4079 33554432000 4194304 5990268 140736558077248 140736558070400 5173822 0 65536 4102 0 18446744071579302229 0 0 17 2 0 0 0 0 0
/proc/23909/statm: 4699 4079 156 439 0 4256 0
[pid=23914] ppid=23909 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/23914/stat : 23914 (cp2_pre.sh) S 23909 23908 18846 0 -1 4202496 608 0 0 0 0 0 0 0 20 0 1 0 284861226 9367552 277 33554432000 4194304 5064252 140737004689632 140737004688336 227141117518 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/23914/statm: 2287 277 234 213 0 72 0
[pid=23915] ppid=23914 vsize=142964 CPUtime=0.88 cores=0,2,4,6
/proc/23915/stat : 23915 (coprocessor) R 23914 23908 18846 0 -1 4202496 26300 0 0 0 83 5 0 0 20 0 1 0 284861227 146395136 34680 33554432000 4194304 6586260 140734861914432 140734861910696 4683467 0 0 4096 8404994 0 0 0 17 4 0 0 0 0 0
/proc/23915/statm: 35741 34680 191 584 0 35153 0
Current children cumulated CPU time (s) 1.48
Current children cumulated vsize (KiB) 180056
[startup+3.10037 s]
/proc/loadavg: 1.75 1.91 1.87 3/184 23922
/proc/meminfo: memFree=28678300/32873844 swapFree=7116/7116
[pid=23908] ppid=23906 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/23908/stat : 23908 (npSolver-wbo-It) S 23906 23908 18846 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 284861165 9367552 275 33554432000 4194304 5064252 140733498193968 140733498192880 227141117518 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/23908/statm: 2287 275 233 213 0 72 0
[pid=23909] ppid=23908 vsize=18796 CPUtime=0.6 cores=0,2,4,6
/proc/23909/stat : 23909 (npSolver-wbo) S 23908 23908 18846 0 -1 4202496 4979 0 0 0 58 2 0 0 20 0 1 0 284861165 19247104 4079 33554432000 4194304 5990268 140736558077248 140736558070400 5173822 0 65536 4102 0 18446744071579302229 0 0 17 2 0 0 0 0 0
/proc/23909/statm: 4699 4079 156 439 0 4256 0
[pid=23914] ppid=23909 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/23914/stat : 23914 (cp2_pre.sh) S 23909 23908 18846 0 -1 4202496 608 0 0 0 0 0 0 0 20 0 1 0 284861226 9367552 277 33554432000 4194304 5064252 140737004689632 140737004688336 227141117518 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/23914/statm: 2287 277 234 213 0 72 0
[pid=23915] ppid=23914 vsize=145996 CPUtime=2.47 cores=0,2,4,6
/proc/23915/stat : 23915 (coprocessor) R 23914 23908 18846 0 -1 4202496 27000 0 0 0 242 5 0 0 20 0 1 0 284861227 149499904 35380 33554432000 4194304 6586260 140734861914432 140734861910024 4667130 0 0 4096 8404994 0 0 0 17 4 0 0 0 0 0
/proc/23915/statm: 36499 35380 196 584 0 35911 0
Current children cumulated CPU time (s) 3.07
Current children cumulated vsize (KiB) 183088
[startup+6.30032 s]
/proc/loadavg: 1.85 1.93 1.87 3/183 23939
/proc/meminfo: memFree=28734828/32873844 swapFree=7116/7116
[pid=23908] ppid=23906 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/23908/stat : 23908 (npSolver-wbo-It) S 23906 23908 18846 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 284861165 9367552 275 33554432000 4194304 5064252 140733498193968 140733498192880 227141117518 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/23908/statm: 2287 275 233 213 0 72 0
[pid=23909] ppid=23908 vsize=24892 CPUtime=6.28 cores=0,2,4,6
/proc/23909/stat : 23909 (npSolver-wbo) R 23908 23908 18846 0 -1 4202496 6191 47341 0 0 59 2 495 72 20 0 1 0 284861165 25489408 5210 33554432000 4194304 5990268 140736558077248 140736558070976 4273593 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/23909/statm: 6223 5210 160 439 0 5780 0
Current children cumulated CPU time (s) 6.28
Current children cumulated vsize (KiB) 34040
[startup+12.7004 s]
/proc/loadavg: 1.86 1.93 1.88 3/183 23978
/proc/meminfo: memFree=28684076/32873844 swapFree=7116/7116
[pid=23908] ppid=23906 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/23908/stat : 23908 (npSolver-wbo-It) S 23906 23908 18846 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 284861165 9367552 275 33554432000 4194304 5064252 140733498193968 140733498192880 227141117518 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/23908/statm: 2287 275 233 213 0 72 0
[pid=23909] ppid=23908 vsize=34216 CPUtime=6.54 cores=0,2,4,6
/proc/23909/stat : 23909 (npSolver-wbo) S 23908 23908 18846 0 -1 4202496 8529 47856 0 0 67 20 495 72 20 0 1 0 284861165 35037184 7899 33554432000 4194304 5990268 140736558077248 140736558068656 5173822 0 65536 4102 0 18446744071579302229 0 0 17 2 0 0 0 0 0
/proc/23909/statm: 8554 7899 179 439 0 8111 0
[pid=23949] ppid=23909 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/23949/stat : 23949 (satsolver.sh) S 23909 23908 18846 0 -1 4202496 596 0 0 0 0 0 0 0 20 0 1 0 284861823 9367552 266 33554432000 4194304 5064252 140733656453952 140733656452864 227141117518 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/23949/statm: 2287 266 226 213 0 72 0
[pid=23950] ppid=23949 vsize=75436 CPUtime=6.11 cores=0,2,4,6
/proc/23950/stat : 23950 (glucose) R 23949 23908 18846 0 -1 4202496 17074 0 0 0 609 2 0 0 20 0 1 0 284861823 77246464 15806 33554432000 4194304 5208918 140736160664256 140736160662104 4229483 0 0 4096 0 0 0 0 17 4 0 0 0 0 0
/proc/23950/statm: 18859 15806 104 248 0 18608 0
Current children cumulated CPU time (s) 12.65
Current children cumulated vsize (KiB) 127948
[startup+25.5004 s]
/proc/loadavg: 1.97 1.95 1.88 3/183 24037
/proc/meminfo: memFree=28669648/32873844 swapFree=7116/7116
[pid=23908] ppid=23906 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/23908/stat : 23908 (npSolver-wbo-It) S 23906 23908 18846 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 284861165 9367552 275 33554432000 4194304 5064252 140733498193968 140733498192880 227141117518 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/23908/statm: 2287 275 233 213 0 72 0
[pid=23909] ppid=23908 vsize=34216 CPUtime=6.54 cores=0,2,4,6
/proc/23909/stat : 23909 (npSolver-wbo) S 23908 23908 18846 0 -1 4202496 8529 47856 0 0 67 20 495 72 20 0 1 0 284861165 35037184 7899 33554432000 4194304 5990268 140736558077248 140736558068656 5173822 0 65536 4102 0 18446744071579302229 0 0 17 2 0 0 0 0 0
/proc/23909/statm: 8554 7899 179 439 0 8111 0
[pid=23949] ppid=23909 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/23949/stat : 23949 (satsolver.sh) S 23909 23908 18846 0 -1 4202496 596 0 0 0 0 0 0 0 20 0 1 0 284861823 9367552 266 33554432000 4194304 5064252 140733656453952 140733656452864 227141117518 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/23949/statm: 2287 266 226 213 0 72 0
[pid=23950] ppid=23949 vsize=105656 CPUtime=18.91 cores=0,2,4,6
/proc/23950/stat : 23950 (glucose) R 23949 23908 18846 0 -1 4202496 18278 0 0 0 1888 3 0 0 20 0 1 0 284861823 108191744 21502 33554432000 4194304 5208918 140736160664256 140736160662120 4239873 0 0 4096 0 0 0 0 17 4 0 0 0 0 0
/proc/23950/statm: 26414 21502 104 248 0 26163 0
Current children cumulated CPU time (s) 25.45
Current children cumulated vsize (KiB) 158168
[startup+51.1004 s]
/proc/loadavg: 1.84 1.92 1.87 3/183 24153
/proc/meminfo: memFree=28641952/32873844 swapFree=7116/7116
[pid=23908] ppid=23906 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/23908/stat : 23908 (npSolver-wbo-It) S 23906 23908 18846 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 284861165 9367552 275 33554432000 4194304 5064252 140733498193968 140733498192880 227141117518 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/23908/statm: 2287 275 233 213 0 72 0
[pid=23909] ppid=23908 vsize=34216 CPUtime=6.54 cores=0,2,4,6
/proc/23909/stat : 23909 (npSolver-wbo) S 23908 23908 18846 0 -1 4202496 8529 47856 0 0 67 20 495 72 20 0 1 0 284861165 35037184 7899 33554432000 4194304 5990268 140736558077248 140736558068656 5173822 0 65536 4102 0 18446744071579302229 0 0 17 2 0 0 0 0 0
/proc/23909/statm: 8554 7899 179 439 0 8111 0
[pid=23949] ppid=23909 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/23949/stat : 23949 (satsolver.sh) S 23909 23908 18846 0 -1 4202496 596 0 0 0 0 0 0 0 20 0 1 0 284861823 9367552 266 33554432000 4194304 5064252 140733656453952 140733656452864 227141117518 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/23949/statm: 2287 266 226 213 0 72 0
[pid=23950] ppid=23949 vsize=125080 CPUtime=44.5 cores=0,2,4,6
/proc/23950/stat : 23950 (glucose) R 23949 23908 18846 0 -1 4202496 19551 0 0 0 4447 3 0 0 20 0 1 0 284861823 128081920 27264 33554432000 4194304 5208918 140736160664256 140736160662248 4229999 0 0 4096 0 0 0 0 17 4 0 0 0 0 0
/proc/23950/statm: 31270 27264 104 248 0 31019 0
Current children cumulated CPU time (s) 51.04
Current children cumulated vsize (KiB) 177592
[startup+102.307 s]
/proc/loadavg: 1.97 1.94 1.88 3/183 24401
/proc/meminfo: memFree=28671696/32873844 swapFree=7116/7116
[pid=23908] ppid=23906 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/23908/stat : 23908 (npSolver-wbo-It) S 23906 23908 18846 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 284861165 9367552 275 33554432000 4194304 5064252 140733498193968 140733498192880 227141117518 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/23908/statm: 2287 275 233 213 0 72 0
[pid=23909] ppid=23908 vsize=34216 CPUtime=90.61 cores=0,2,4,6
/proc/23909/stat : 23909 (npSolver-wbo) S 23908 23908 18846 0 -1 4202496 12473 78017 0 0 74 21 8877 89 20 0 1 0 284861165 35037184 7900 33554432000 4194304 5990268 140736558077248 140736558068656 5173822 0 65536 4102 0 18446744071579302229 0 0 17 2 0 0 0 0 0
/proc/23909/statm: 8554 7900 180 439 0 8111 0
[pid=24348] ppid=23909 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/24348/stat : 24348 (satsolver.sh) S 23909 23908 18846 0 -1 4202496 596 0 0 0 0 0 0 0 20 0 1 0 284870231 9367552 267 33554432000 4194304 5064252 140735605883296 140735605882208 227141117518 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/24348/statm: 2287 267 226 213 0 72 0
[pid=24349] ppid=24348 vsize=94048 CPUtime=11.63 cores=0,2,4,6
/proc/24349/stat : 24349 (glucose) R 24348 23908 18846 0 -1 4202496 17389 0 0 0 1160 3 0 0 20 0 1 0 284870231 96305152 19623 33554432000 4194304 5208918 140733749518032 140733749515896 4229538 0 0 4096 0 0 0 0 17 4 0 0 0 0 0
/proc/24349/statm: 23512 19623 104 248 0 23261 0
Current children cumulated CPU time (s) 102.24
Current children cumulated vsize (KiB) 146560
[startup+162.3 s]
/proc/loadavg: 1.97 1.96 1.90 3/183 24678
/proc/meminfo: memFree=28645892/32873844 swapFree=7116/7116
[pid=23908] ppid=23906 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/23908/stat : 23908 (npSolver-wbo-It) S 23906 23908 18846 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 284861165 9367552 275 33554432000 4194304 5064252 140733498193968 140733498192880 227141117518 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/23908/statm: 2287 275 233 213 0 72 0
[pid=23909] ppid=23908 vsize=34216 CPUtime=90.61 cores=0,2,4,6
/proc/23909/stat : 23909 (npSolver-wbo) S 23908 23908 18846 0 -1 4202496 12473 78017 0 0 74 21 8877 89 20 0 1 0 284861165 35037184 7900 33554432000 4194304 5990268 140736558077248 140736558068656 5173822 0 65536 4102 0 18446744071579302229 0 0 17 2 0 0 0 0 0
/proc/23909/statm: 8554 7900 180 439 0 8111 0
[pid=24348] ppid=23909 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/24348/stat : 24348 (satsolver.sh) S 23909 23908 18846 0 -1 4202496 596 0 0 0 0 0 0 0 20 0 1 0 284870231 9367552 267 33554432000 4194304 5064252 140735605883296 140735605882208 227141117518 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/24348/statm: 2287 267 226 213 0 72 0
[pid=24349] ppid=24348 vsize=143932 CPUtime=71.61 cores=0,2,4,6
/proc/24349/stat : 24349 (glucose) R 24348 23908 18846 0 -1 4202496 20708 0 0 0 7156 5 0 0 20 0 1 0 284870231 147386368 25789 33554432000 4194304 5208918 140733749518032 140733749515976 4229338 0 0 4096 0 0 0 0 17 4 0 0 0 0 0
/proc/24349/statm: 35983 25789 104 248 0 35732 0
Current children cumulated CPU time (s) 162.22
################
# More data... #
################
[startup+1422.31 s]
/proc/loadavg: 2.00 2.02 1.98 3/183 30664
/proc/meminfo: memFree=28662404/32873844 swapFree=7116/7116
[pid=23908] ppid=23906 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/23908/stat : 23908 (npSolver-wbo-It) S 23906 23908 18846 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 284861165 9367552 275 33554432000 4194304 5064252 140733498193968 140733498192880 227141117518 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/23908/statm: 2287 275 233 213 0 72 0
[pid=23909] ppid=23908 vsize=34216 CPUtime=1405.05 cores=0,2,4,6
/proc/23909/stat : 23909 (npSolver-wbo) S 23908 23908 18846 0 -1 4202496 75561 547247 0 0 178 36 139930 361 20 0 1 0 284861165 35037184 7900 33554432000 4194304 5990268 140736558077248 140736558068656 5173822 0 65536 4102 0 18446744071579302229 0 0 17 2 0 0 0 0 0
/proc/23909/statm: 8554 7900 180 439 0 8111 0
[pid=30586] ppid=23909 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/30586/stat : 30586 (satsolver.sh) S 23909 23908 18846 0 -1 4202496 597 0 0 0 0 0 0 0 20 0 1 0 285001707 9367552 267 33554432000 4194304 5064252 140735288397152 140735288396064 227141117518 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/30586/statm: 2287 267 226 213 0 72 0
[pid=30587] ppid=30586 vsize=98472 CPUtime=16.88 cores=0,2,4,6
/proc/30587/stat : 30587 (glucose) R 30586 23908 18846 0 -1 4202496 18235 0 0 0 1684 4 0 0 20 0 1 0 285001707 100835328 20816 33554432000 4194304 5208918 140734703703072 140734703700936 4228997 0 0 4096 0 0 0 0 17 4 0 0 0 0 0
/proc/30587/statm: 24618 20816 104 248 0 24367 0
Current children cumulated CPU time (s) 1421.93
Current children cumulated vsize (KiB) 150984
[startup+1482.3 s]
/proc/loadavg: 2.00 2.02 1.98 3/183 30941
/proc/meminfo: memFree=28642132/32873844 swapFree=7116/7116
[pid=23908] ppid=23906 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/23908/stat : 23908 (npSolver-wbo-It) S 23906 23908 18846 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 284861165 9367552 275 33554432000 4194304 5064252 140733498193968 140733498192880 227141117518 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/23908/statm: 2287 275 233 213 0 72 0
[pid=23909] ppid=23908 vsize=34216 CPUtime=1405.05 cores=0,2,4,6
/proc/23909/stat : 23909 (npSolver-wbo) S 23908 23908 18846 0 -1 4202496 75561 547247 0 0 178 36 139930 361 20 0 1 0 284861165 35037184 7900 33554432000 4194304 5990268 140736558077248 140736558068656 5173822 0 65536 4102 0 18446744071579302229 0 0 17 2 0 0 0 0 0
/proc/23909/statm: 8554 7900 180 439 0 8111 0
[pid=30586] ppid=23909 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/30586/stat : 30586 (satsolver.sh) S 23909 23908 18846 0 -1 4202496 597 0 0 0 0 0 0 0 20 0 1 0 285001707 9367552 267 33554432000 4194304 5064252 140735288397152 140735288396064 227141117518 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/30586/statm: 2287 267 226 213 0 72 0
[pid=30587] ppid=30586 vsize=143936 CPUtime=76.84 cores=0,2,4,6
/proc/30587/stat : 30587 (glucose) R 30586 23908 18846 0 -1 4202496 19771 0 0 0 7679 5 0 0 20 0 1 0 285001707 147390464 25665 33554432000 4194304 5208918 140734703703072 140734703701016 4229259 0 0 4096 0 0 0 0 17 4 0 0 0 0 0
/proc/30587/statm: 35984 25665 104 248 0 35733 0
Current children cumulated CPU time (s) 1481.89
Current children cumulated vsize (KiB) 196448
[startup+1542.3 s]
/proc/loadavg: 2.00 2.01 1.98 3/183 31229
/proc/meminfo: memFree=28646068/32873844 swapFree=7116/7116
[pid=23908] ppid=23906 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/23908/stat : 23908 (npSolver-wbo-It) S 23906 23908 18846 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 284861165 9367552 275 33554432000 4194304 5064252 140733498193968 140733498192880 227141117518 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/23908/statm: 2287 275 233 213 0 72 0
[pid=23909] ppid=23908 vsize=34216 CPUtime=1488.4 cores=0,2,4,6
/proc/23909/stat : 23909 (npSolver-wbo) S 23908 23908 18846 0 -1 4202496 79504 576447 0 0 185 37 148239 379 20 0 1 0 284861165 35037184 7900 33554432000 4194304 5990268 140736558077248 140736558068656 5173822 0 65536 4102 0 18446744071579302229 0 0 17 2 0 0 0 0 0
/proc/23909/statm: 8554 7900 180 439 0 8111 0
[pid=30982] ppid=23909 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/30982/stat : 30982 (satsolver.sh) S 23909 23908 18846 0 -1 4202496 596 0 0 0 0 0 0 0 20 0 1 0 285010043 9367552 266 33554432000 4194304 5064252 140733481057776 140733481056688 227141117518 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/30982/statm: 2287 266 226 213 0 72 0
[pid=30983] ppid=30982 vsize=113584 CPUtime=53.49 cores=0,2,4,6
/proc/30983/stat : 30983 (glucose) R 30982 23908 18846 0 -1 4202496 19613 0 0 0 5344 5 0 0 20 0 1 0 285010043 116310016 24743 33554432000 4194304 5208918 140735080917520 140735080915464 4229347 0 0 4096 0 0 0 0 17 4 0 0 0 0 0
/proc/30983/statm: 28396 24743 104 248 0 28145 0
Current children cumulated CPU time (s) 1541.89
Current children cumulated vsize (KiB) 166096
[startup+1602.3 s]
/proc/loadavg: 1.95 1.99 1.97 3/183 31509
/proc/meminfo: memFree=28647620/32873844 swapFree=7116/7116
[pid=23908] ppid=23906 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/23908/stat : 23908 (npSolver-wbo-It) S 23906 23908 18846 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 284861165 9367552 275 33554432000 4194304 5064252 140733498193968 140733498192880 227141117518 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/23908/statm: 2287 275 233 213 0 72 0
[pid=23909] ppid=23908 vsize=34216 CPUtime=1570.16 cores=0,2,4,6
/proc/23909/stat : 23909 (npSolver-wbo) S 23908 23908 18846 0 -1 4202496 83447 606622 0 0 192 38 156391 395 20 0 1 0 284861165 35037184 7900 33554432000 4194304 5990268 140736558077248 140736558068656 5173822 0 65536 4102 0 18446744071579302229 0 0 17 2 0 0 0 0 0
/proc/23909/statm: 8554 7900 180 439 0 8111 0
[pid=31368] ppid=23909 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/31368/stat : 31368 (satsolver.sh) S 23909 23908 18846 0 -1 4202496 597 0 0 0 0 0 0 0 20 0 1 0 285018221 9367552 267 33554432000 4194304 5064252 140735669684912 140735669683824 227141117518 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/31368/statm: 2287 267 226 213 0 72 0
[pid=31369] ppid=31368 vsize=105652 CPUtime=31.72 cores=0,2,4,6
/proc/31369/stat : 31369 (glucose) R 31368 23908 18846 0 -1 4202496 18778 0 0 0 3168 4 0 0 20 0 1 0 285018221 108187648 23399 33554432000 4194304 5208918 140735333966640 140735333964504 4229731 0 0 4096 0 0 0 0 17 4 0 0 0 0 0
/proc/31369/statm: 26413 23399 104 248 0 26162 0
Current children cumulated CPU time (s) 1601.88
Current children cumulated vsize (KiB) 158164
[startup+1662.3 s]
/proc/loadavg: 1.98 1.99 1.97 3/184 31799
/proc/meminfo: memFree=28658424/32873844 swapFree=7116/7116
[pid=23908] ppid=23906 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/23908/stat : 23908 (npSolver-wbo-It) S 23906 23908 18846 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 284861165 9367552 275 33554432000 4194304 5064252 140733498193968 140733498192880 227141117518 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/23908/statm: 2287 275 233 213 0 72 0
[pid=23909] ppid=23908 vsize=34216 CPUtime=1651.95 cores=0,2,4,6
/proc/23909/stat : 23909 (npSolver-wbo) S 23908 23908 18846 0 -1 4202496 87390 636511 0 0 198 39 164546 412 20 0 1 0 284861165 35037184 7900 33554432000 4194304 5990268 140736558077248 140736558068656 5173822 0 65536 4102 0 18446744071579302229 0 0 17 2 0 0 0 0 0
/proc/23909/statm: 8554 7900 180 439 0 8111 0
[pid=31756] ppid=23909 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/31756/stat : 31756 (satsolver.sh) S 23909 23908 18846 0 -1 4202496 597 0 0 0 0 0 0 0 20 0 1 0 285026403 9367552 267 33554432000 4194304 5064252 140736336443120 140736336442032 227141117518 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/31756/statm: 2287 267 226 213 0 72 0
[pid=31757] ppid=31756 vsize=94052 CPUtime=9.91 cores=0,2,4,6
/proc/31757/stat : 31757 (glucose) R 31756 23908 18846 0 -1 4202496 16882 0 0 0 987 4 0 0 20 0 1 0 285026403 96309248 20178 33554432000 4194304 5208918 140736107223024 140736107220888 4211572 0 0 4096 0 0 0 0 17 4 0 0 0 0 0
/proc/31757/statm: 23513 20178 104 248 0 23262 0
Current children cumulated CPU time (s) 1661.86
Current children cumulated vsize (KiB) 146564
[startup+1722.3 s]
/proc/loadavg: 2.05 2.01 1.98 3/184 32075
/proc/meminfo: memFree=28649592/32873844 swapFree=7116/7116
[pid=23908] ppid=23906 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/23908/stat : 23908 (npSolver-wbo-It) S 23906 23908 18846 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 284861165 9367552 275 33554432000 4194304 5064252 140733498193968 140733498192880 227141117518 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/23908/statm: 2287 275 233 213 0 72 0
[pid=23909] ppid=23908 vsize=34216 CPUtime=1651.95 cores=0,2,4,6
/proc/23909/stat : 23909 (npSolver-wbo) S 23908 23908 18846 0 -1 4202496 87390 636511 0 0 198 39 164546 412 20 0 1 0 284861165 35037184 7900 33554432000 4194304 5990268 140736558077248 140736558068656 5173822 0 65536 4102 0 18446744071579302229 0 0 17 2 0 0 0 0 0
/proc/23909/statm: 8554 7900 180 439 0 8111 0
[pid=31756] ppid=23909 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/31756/stat : 31756 (satsolver.sh) S 23909 23908 18846 0 -1 4202496 597 0 0 0 0 0 0 0 20 0 1 0 285026403 9367552 267 33554432000 4194304 5064252 140736336443120 140736336442032 227141117518 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/31756/statm: 2287 267 226 213 0 72 0
[pid=31757] ppid=31756 vsize=113588 CPUtime=69.89 cores=0,2,4,6
/proc/31757/stat : 31757 (glucose) R 31756 23908 18846 0 -1 4202496 20336 0 0 0 6984 5 0 0 20 0 1 0 285026403 116314112 25408 33554432000 4194304 5208918 140736107223024 140736107221112 4229365 0 0 4096 0 0 0 0 17 4 0 0 0 0 0
/proc/31757/statm: 28397 25408 104 248 0 28146 0
Current children cumulated CPU time (s) 1721.84
Current children cumulated vsize (KiB) 166100
[startup+1782.3 s]
/proc/loadavg: 2.09 2.02 1.98 3/184 32362
/proc/meminfo: memFree=28683620/32873844 swapFree=7116/7116
[pid=23908] ppid=23906 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/23908/stat : 23908 (npSolver-wbo-It) S 23906 23908 18846 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 284861165 9367552 275 33554432000 4194304 5064252 140733498193968 140733498192880 227141117518 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/23908/statm: 2287 275 233 213 0 72 0
[pid=23909] ppid=23908 vsize=34216 CPUtime=1733.69 cores=0,2,4,6
/proc/23909/stat : 23909 (npSolver-wbo) S 23908 23908 18846 0 -1 4202496 91333 666330 0 0 205 40 172696 428 20 0 1 0 284861165 35037184 7900 33554432000 4194304 5990268 140736558077248 140736558068656 5173822 0 65536 4102 0 18446744071579302229 0 0 17 2 0 0 0 0 0
/proc/23909/statm: 8554 7900 180 439 0 8111 0
[pid=32141] ppid=23909 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/32141/stat : 32141 (satsolver.sh) S 23909 23908 18846 0 -1 4202496 596 0 0 0 0 0 0 0 20 0 1 0 285034578 9367552 266 33554432000 4194304 5064252 140737036917552 140737036916464 227141117518 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/32141/statm: 2287 266 226 213 0 72 0
[pid=32142] ppid=32141 vsize=113592 CPUtime=48.13 cores=0,2,4,6
/proc/32142/stat : 32142 (glucose) R 32141 23908 18846 0 -1 4202496 19157 0 0 0 4809 4 0 0 20 0 1 0 285034578 116318208 24314 33554432000 4194304 5208918 140735177909680 140735177907624 4229507 0 0 4096 0 0 0 0 17 4 0 0 0 0 0
/proc/32142/statm: 28398 24314 104 248 0 28147 0
Current children cumulated CPU time (s) 1781.82
Current children cumulated vsize (KiB) 166104
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+1800.5 s]
/proc/loadavg: 2.06 2.02 1.98 3/183 32450
/proc/meminfo: memFree=28684836/32873844 swapFree=7116/7116
[pid=23908] ppid=23906 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/23908/stat : 23908 (npSolver-wbo-It) S 23906 23908 18846 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 284861165 9367552 275 33554432000 4194304 5064252 140733498193968 140733498192880 227141117518 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/23908/statm: 2287 275 233 213 0 72 0
[pid=23909] ppid=23908 vsize=34216 CPUtime=1733.69 cores=0,2,4,6
/proc/23909/stat : 23909 (npSolver-wbo) S 23908 23908 18846 0 -1 4202496 91333 666330 0 0 205 40 172696 428 20 0 1 0 284861165 35037184 7900 33554432000 4194304 5990268 140736558077248 140736558068656 5173822 0 65536 4102 0 18446744071579302229 0 0 17 2 0 0 0 0 0
/proc/23909/statm: 8554 7900 180 439 0 8111 0
[pid=32141] ppid=23909 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/32141/stat : 32141 (satsolver.sh) S 23909 23908 18846 0 -1 4202496 596 0 0 0 0 0 0 0 20 0 1 0 285034578 9367552 266 33554432000 4194304 5064252 140737036917552 140737036916464 227141117518 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/32141/statm: 2287 266 226 213 0 72 0
[pid=32142] ppid=32141 vsize=113592 CPUtime=66.34 cores=0,2,4,6
/proc/32142/stat : 32142 (glucose) R 32141 23908 18846 0 -1 4202496 19428 0 0 0 6629 5 0 0 20 0 1 0 285034578 116318208 25065 33554432000 4194304 5208918 140735177909680 140735177907768 4229532 0 0 4096 0 0 0 0 17 4 0 0 0 0 0
/proc/32142/statm: 28398 25065 104 248 0 28147 0
Current children cumulated CPU time (s) 1800.03
Current children cumulated vsize (KiB) 166104
Sending SIGTERM to process tree (bottom up)
Solver just ended. Dumping a history of the last processes samples
[startup+1800.5 s]
/proc/loadavg: 2.06 2.02 1.98 3/183 32450
/proc/meminfo: memFree=28684836/32873844 swapFree=7116/7116
[pid=23908] ppid=23906 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/23908/stat : 23908 (npSolver-wbo-It) S 23906 23908 18846 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 284861165 9367552 275 33554432000 4194304 5064252 140733498193968 140733498192880 227141117518 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/23908/statm: 2287 275 233 213 0 72 0
[pid=23909] ppid=23908 vsize=34216 CPUtime=1733.69 cores=0,2,4,6
/proc/23909/stat : 23909 (npSolver-wbo) S 23908 23908 18846 0 -1 4202496 91333 666330 0 0 205 40 172696 428 20 0 1 0 284861165 35037184 7900 33554432000 4194304 5990268 140736558077248 140736558068656 5173822 0 65536 4102 0 18446744071579302229 0 0 17 2 0 0 0 0 0
/proc/23909/statm: 8554 7900 180 439 0 8111 0
[pid=32141] ppid=23909 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/32141/stat : 32141 (satsolver.sh) S 23909 23908 18846 0 -1 4202496 596 0 0 0 0 0 0 0 20 0 1 0 285034578 9367552 266 33554432000 4194304 5064252 140737036917552 140737036916464 227141117518 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/32141/statm: 2287 266 226 213 0 72 0
[pid=32142] ppid=32141 vsize=113592 CPUtime=66.34 cores=0,2,4,6
/proc/32142/stat : 32142 (glucose) R 32141 23908 18846 0 -1 4202496 19428 0 0 0 6629 5 0 0 20 0 1 0 285034578 116318208 25065 33554432000 4194304 5208918 140735177909680 140735177907768 4229532 0 0 4096 0 0 0 0 17 4 0 0 0 0 0
/proc/32142/statm: 28398 25065 104 248 0 28147 0
Current children cumulated CPU time (s) 1800.03
Current children cumulated vsize (KiB) 166104
Child status: 0
Real time (s): 1800.51
CPU time (s): 1800.06
CPU user time (s): 1795.31
CPU system time (s): 4.74928
CPU usage (%): 99.9751
Max. virtual memory (cumulated for all children) (KiB): 214544
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1795.31
system time used= 4.74928
maximum resident set size= 170116
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 778081
page faults= 0
swaps= 0
block input operations= 0
block output operations= 513168
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 13324
involuntary context switches= 2066
runsolver used 2.91756 second user time and 7.58485 second system time
The end