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-3750759-1339165527/watcher-3750759-1339165527 -o /tmp/evaluation-result-3750759-1339165527/solver-3750759-1339165527 -C 1800 -W 1900 -M 15500 HOME/npSolver-pbo.sh HOME/instance-3750759-1339165527.opb 400479106 HOME HOME
running on 4 cores: 1,3,5,7
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1800 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1830 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 1900 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB
Current StackSize limit: 10240 KiB
[startup+0 s]
/proc/loadavg: 2.01 2.02 2.00 3/179 23115
/proc/meminfo: memFree=28813140/32873844 swapFree=7372/7372
[pid=23115] ppid=23113 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/23115/stat : 23115 (npSolver-pbo.sh) S 23113 23115 17323 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 382681307 9367552 275 33554432000 4194304 5064252 140733973835408 140733973834320 245294065230 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/23115/statm: 2287 275 233 213 0 72 0
[startup+0.0353321 s]
/proc/loadavg: 2.01 2.02 2.00 3/179 23115
/proc/meminfo: memFree=28813140/32873844 swapFree=7372/7372
[pid=23115] ppid=23113 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/23115/stat : 23115 (npSolver-pbo.sh) S 23113 23115 17323 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 382681307 9367552 275 33554432000 4194304 5064252 140733973835408 140733973834320 245294065230 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/23115/statm: 2287 275 233 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148
[startup+0.100339 s]
/proc/loadavg: 2.01 2.02 2.00 3/179 23115
/proc/meminfo: memFree=28813140/32873844 swapFree=7372/7372
[pid=23115] ppid=23113 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/23115/stat : 23115 (npSolver-pbo.sh) S 23113 23115 17323 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 382681307 9367552 275 33554432000 4194304 5064252 140733973835408 140733973834320 245294065230 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/23115/statm: 2287 275 233 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148
[startup+0.300314 s]
/proc/loadavg: 2.01 2.02 2.00 3/179 23115
/proc/meminfo: memFree=28813140/32873844 swapFree=7372/7372
[pid=23115] ppid=23113 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/23115/stat : 23115 (npSolver-pbo.sh) S 23113 23115 17323 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 382681307 9367552 275 33554432000 4194304 5064252 140733973835408 140733973834320 245294065230 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/23115/statm: 2287 275 233 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148
[startup+0.700323 s]
/proc/loadavg: 2.01 2.02 2.00 3/179 23115
/proc/meminfo: memFree=28813140/32873844 swapFree=7372/7372
[pid=23115] ppid=23113 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/23115/stat : 23115 (npSolver-pbo.sh) S 23113 23115 17323 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 382681307 9367552 275 33554432000 4194304 5064252 140733973835408 140733973834320 245294065230 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/23115/statm: 2287 275 233 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148
[startup+1.50035 s]
/proc/loadavg: 2.01 2.02 2.00 3/181 23117
/proc/meminfo: memFree=28694392/32873844 swapFree=7372/7372
[pid=23115] ppid=23113 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/23115/stat : 23115 (npSolver-pbo.sh) S 23113 23115 17323 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 382681307 9367552 275 33554432000 4194304 5064252 140733973835408 140733973834320 245294065230 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/23115/statm: 2287 275 233 213 0 72 0
[pid=23116] ppid=23115 vsize=189976 CPUtime=1.48 cores=1,3,5,7
/proc/23116/stat : 23116 (npSolver-pbo) R 23115 23115 17323 0 -1 4202496 21308 0 0 0 142 6 0 0 20 0 1 0 382681307 194535424 42651 33554432000 4194304 6004724 140734574008704 140734574005320 4536263 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/23116/statm: 47494 42651 154 442 0 47048 0
Current children cumulated CPU time (s) 1.48
Current children cumulated vsize (KiB) 199124
[startup+3.10045 s]
/proc/loadavg: 2.01 2.02 2.00 3/183 23119
/proc/meminfo: memFree=28533424/32873844 swapFree=7372/7372
[pid=23115] ppid=23113 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/23115/stat : 23115 (npSolver-pbo.sh) S 23113 23115 17323 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 382681307 9367552 275 33554432000 4194304 5064252 140733973835408 140733973834320 245294065230 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/23115/statm: 2287 275 233 213 0 72 0
[pid=23116] ppid=23115 vsize=255512 CPUtime=1.97 cores=1,3,5,7
/proc/23116/stat : 23116 (npSolver-pbo) S 23115 23115 17323 0 -1 4202496 22474 0 0 0 177 20 0 0 20 0 1 0 382681307 261644288 47780 33554432000 4194304 6004724 140734574008704 140734574002752 5186782 0 65536 4102 0 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/23116/statm: 63878 47780 163 442 0 63432 0
[pid=23118] ppid=23116 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/23118/stat : 23118 (cp2_pre.sh) S 23116 23115 17323 0 -1 4202496 608 0 0 0 0 0 0 0 20 0 1 0 382681504 9367552 277 33554432000 4194304 5064252 140735887819456 140735887818160 245294065230 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/23118/statm: 2287 277 234 213 0 72 0
[pid=23119] ppid=23118 vsize=285024 CPUtime=1.11 cores=1,3,5,7
/proc/23119/stat : 23119 (coprocessor) R 23118 23115 17323 0 -1 4202496 24001 0 0 0 100 11 0 0 20 0 1 0 382681505 291864576 61902 33554432000 4194304 6586260 140734831460656 140734831457416 5511711 0 0 4096 8404994 0 0 0 17 5 0 0 0 0 0
/proc/23119/statm: 71256 61903 164 584 0 70668 0
Current children cumulated CPU time (s) 3.08
Current children cumulated vsize (KiB) 558832
[startup+6.30045 s]
/proc/loadavg: 2.01 2.02 2.00 3/183 23119
/proc/meminfo: memFree=28160424/32873844 swapFree=7372/7372
[pid=23115] ppid=23113 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/23115/stat : 23115 (npSolver-pbo.sh) S 23113 23115 17323 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 382681307 9367552 275 33554432000 4194304 5064252 140733973835408 140733973834320 245294065230 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/23115/statm: 2287 275 233 213 0 72 0
[pid=23116] ppid=23115 vsize=255512 CPUtime=1.97 cores=1,3,5,7
/proc/23116/stat : 23116 (npSolver-pbo) S 23115 23115 17323 0 -1 4202496 22474 0 0 0 177 20 0 0 20 0 1 0 382681307 261644288 47780 33554432000 4194304 6004724 140734574008704 140734574002752 5186782 0 65536 4102 0 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/23116/statm: 63878 47780 163 442 0 63432 0
[pid=23118] ppid=23116 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/23118/stat : 23118 (cp2_pre.sh) S 23116 23115 17323 0 -1 4202496 608 0 0 0 0 0 0 0 20 0 1 0 382681504 9367552 277 33554432000 4194304 5064252 140735887819456 140735887818160 245294065230 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/23118/statm: 2287 277 234 213 0 72 0
[pid=23119] ppid=23118 vsize=439716 CPUtime=4.31 cores=1,3,5,7
/proc/23119/stat : 23119 (coprocessor) R 23118 23115 17323 0 -1 4202496 54005 0 0 0 414 17 0 0 20 0 1 0 382681505 450269184 107236 33554432000 4194304 6586260 140734831460656 140734831456680 4683293 0 0 4096 8404994 0 0 0 17 5 0 0 0 0 0
/proc/23119/statm: 109929 107236 190 584 0 109341 0
Current children cumulated CPU time (s) 6.28
Current children cumulated vsize (KiB) 713524
[startup+12.7003 s]
/proc/loadavg: 2.01 2.02 2.00 3/181 23126
/proc/meminfo: memFree=28584952/32873844 swapFree=7372/7372
[pid=23115] ppid=23113 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/23115/stat : 23115 (npSolver-pbo.sh) S 23113 23115 17323 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 382681307 9367552 275 33554432000 4194304 5064252 140733973835408 140733973834320 245294065230 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/23115/statm: 2287 275 233 213 0 72 0
[pid=23116] ppid=23115 vsize=255516 CPUtime=12.68 cores=1,3,5,7
/proc/23116/stat : 23116 (npSolver-pbo) R 23115 23115 17323 0 -1 4202496 25564 91601 0 0 232 104 873 59 20 0 1 0 382681307 261648384 47788 33554432000 4194304 6004724 140734574008704 140734574002904 5190832 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/23116/statm: 63879 47788 170 442 0 63433 0
Current children cumulated CPU time (s) 12.68
Current children cumulated vsize (KiB) 264664
[startup+25.5005 s]
/proc/loadavg: 2.08 2.04 2.00 3/183 23129
/proc/meminfo: memFree=28421216/32873844 swapFree=7372/7372
[pid=23115] ppid=23113 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/23115/stat : 23115 (npSolver-pbo.sh) S 23113 23115 17323 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 382681307 9367552 275 33554432000 4194304 5064252 140733973835408 140733973834320 245294065230 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/23115/statm: 2287 275 233 213 0 72 0
[pid=23116] ppid=23115 vsize=255516 CPUtime=13.7 cores=1,3,5,7
/proc/23116/stat : 23116 (npSolver-pbo) S 23115 23115 17323 0 -1 4202496 26157 92116 0 0 249 184 873 64 20 0 1 0 382681307 261648384 47795 33554432000 4194304 6004724 140734574008704 140734574001056 5186782 0 65536 4102 0 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/23116/statm: 63879 47795 177 442 0 63433 0
[pid=23128] ppid=23116 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/23128/stat : 23128 (satsolver.sh) S 23116 23115 17323 0 -1 4202496 597 0 0 0 0 0 0 0 20 0 1 0 382682679 9367552 267 33554432000 4194304 5064252 140733591736128 140733591735040 245294065230 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/23128/statm: 2287 267 226 213 0 72 0
[pid=23129] ppid=23128 vsize=161536 CPUtime=11.76 cores=1,3,5,7
/proc/23129/stat : 23129 (glucose) R 23128 23115 17323 0 -1 4202496 31048 0 0 0 1169 7 0 0 20 0 1 0 382682679 165412864 35724 33554432000 4194304 5208918 140734752623120 140734752620952 4229365 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/23129/statm: 40384 35724 96 248 0 40133 0
Current children cumulated CPU time (s) 25.46
Current children cumulated vsize (KiB) 435348
[startup+51.1005 s]
/proc/loadavg: 2.05 2.03 2.00 3/183 23129
/proc/meminfo: memFree=28468260/32873844 swapFree=7372/7372
[pid=23115] ppid=23113 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/23115/stat : 23115 (npSolver-pbo.sh) S 23113 23115 17323 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 382681307 9367552 275 33554432000 4194304 5064252 140733973835408 140733973834320 245294065230 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/23115/statm: 2287 275 233 213 0 72 0
[pid=23116] ppid=23115 vsize=255516 CPUtime=13.7 cores=1,3,5,7
/proc/23116/stat : 23116 (npSolver-pbo) S 23115 23115 17323 0 -1 4202496 26157 92116 0 0 249 184 873 64 20 0 1 0 382681307 261648384 47795 33554432000 4194304 6004724 140734574008704 140734574001056 5186782 0 65536 4102 0 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/23116/statm: 63879 47795 177 442 0 63433 0
[pid=23128] ppid=23116 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/23128/stat : 23128 (satsolver.sh) S 23116 23115 17323 0 -1 4202496 597 0 0 0 0 0 0 0 20 0 1 0 382682679 9367552 267 33554432000 4194304 5064252 140733591736128 140733591735040 245294065230 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/23128/statm: 2287 267 226 213 0 72 0
[pid=23129] ppid=23128 vsize=160940 CPUtime=37.36 cores=1,3,5,7
/proc/23129/stat : 23129 (glucose) R 23128 23115 17323 0 -1 4202496 32243 0 0 0 3728 8 0 0 20 0 1 0 382682679 164802560 35226 33554432000 4194304 5208918 140734752623120 140734752621208 4205231 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/23129/statm: 40235 35226 102 248 0 39984 0
Current children cumulated CPU time (s) 51.06
Current children cumulated vsize (KiB) 434752
[startup+102.307 s]
/proc/loadavg: 2.02 2.03 2.00 3/183 23150
/proc/meminfo: memFree=28413728/32873844 swapFree=7372/7372
[pid=23115] ppid=23113 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/23115/stat : 23115 (npSolver-pbo.sh) S 23113 23115 17323 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 382681307 9367552 275 33554432000 4194304 5064252 140733973835408 140733973834320 245294065230 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/23115/statm: 2287 275 233 213 0 72 0
[pid=23116] ppid=23115 vsize=255516 CPUtime=83.92 cores=1,3,5,7
/proc/23116/stat : 23116 (npSolver-pbo) S 23115 23115 17323 0 -1 4202496 36993 208178 0 0 322 188 7757 125 20 0 1 0 382681307 261648384 47796 33554432000 4194304 6004724 140734574008704 140734574001056 5186782 0 65536 4102 0 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/23116/statm: 63879 47796 178 442 0 63433 0
[pid=23149] ppid=23116 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/23149/stat : 23149 (satsolver.sh) S 23116 23115 17323 0 -1 4202496 597 0 0 0 0 0 0 0 20 0 1 0 382689702 9367552 267 33554432000 4194304 5064252 140735995395264 140735995394176 245294065230 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/23149/statm: 2287 267 226 213 0 72 0
[pid=23150] ppid=23149 vsize=175476 CPUtime=18.33 cores=1,3,5,7
/proc/23150/stat : 23150 (glucose) R 23149 23115 17323 0 -1 4202496 31643 0 0 0 1825 8 0 0 20 0 1 0 382689703 179687424 36912 33554432000 4194304 5208918 140735743352320 140735743350152 4229021 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/23150/statm: 43869 36912 105 248 0 43618 0
Current children cumulated CPU time (s) 102.25
Current children cumulated vsize (KiB) 449288
[startup+162.3 s]
/proc/loadavg: 2.01 2.02 2.00 3/182 23150
/proc/meminfo: memFree=28378220/32873844 swapFree=7372/7372
[pid=23115] ppid=23113 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/23115/stat : 23115 (npSolver-pbo.sh) S 23113 23115 17323 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 382681307 9367552 275 33554432000 4194304 5064252 140733973835408 140733973834320 245294065230 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/23115/statm: 2287 275 233 213 0 72 0
[pid=23116] ppid=23115 vsize=255516 CPUtime=83.92 cores=1,3,5,7
/proc/23116/stat : 23116 (npSolver-pbo) S 23115 23115 17323 0 -1 4202496 36993 208178 0 0 322 188 7757 125 20 0 1 0 382681307 261648384 47796 33554432000 4194304 6004724 140734574008704 140734574001056 5186782 0 65536 4102 0 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/23116/statm: 63879 47796 178 442 0 63433 0
[pid=23149] ppid=23116 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/23149/stat : 23149 (satsolver.sh) S 23116 23115 17323 0 -1 4202496 597 0 0 0 0 0 0 0 20 0 1 0 382689702 9367552 267 33554432000 4194304 5064252 140735995395264 140735995394176 245294065230 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/23149/statm: 2287 267 226 213 0 72 0
[pid=23150] ppid=23149 vsize=210976 CPUtime=78.32 cores=1,3,5,7
/proc/23150/stat : 23150 (glucose) R 23149 23115 17323 0 -1 4202496 34183 0 0 0 7822 10 0 0 20 0 1 0 382689703 216039424 47318 33554432000 4194304 5208918 140735743352320 140735743348696 4229251 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/23150/statm: 52744 47318 105 248 0 52493 0
Current children cumulated CPU time (s) 162.24
Current children cumulated vsize (KiB) 484788
[startup+222.3 s]
/proc/loadavg: 2.00 2.01 2.00 3/183 23151
/proc/meminfo: memFree=28382144/32873844 swapFree=7372/7372
[pid=23115] ppid=23113 vsize=9148 CPUtime=0 cores=1,3,5,7
################
# More data... #
################
[startup+1362.3 s]
/proc/loadavg: 2.02 2.04 2.04 3/183 23253
/proc/meminfo: memFree=14178272/32873844 swapFree=7372/7372
[pid=23115] ppid=23113 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/23115/stat : 23115 (npSolver-pbo.sh) S 23113 23115 17323 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 382681307 9367552 275 33554432000 4194304 5064252 140733973835408 140733973834320 245294065230 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/23115/statm: 2287 275 233 213 0 72 0
[pid=23116] ppid=23115 vsize=255516 CPUtime=83.92 cores=1,3,5,7
/proc/23116/stat : 23116 (npSolver-pbo) S 23115 23115 17323 0 -1 4202496 36993 208178 0 0 322 188 7757 125 20 0 1 0 382681307 261648384 47796 33554432000 4194304 6004724 140734574008704 140734574001056 5186782 0 65536 4102 0 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/23116/statm: 63879 47796 178 442 0 63433 0
[pid=23149] ppid=23116 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/23149/stat : 23149 (satsolver.sh) S 23116 23115 17323 0 -1 4202496 597 0 0 0 0 0 0 0 20 0 1 0 382689702 9367552 267 33554432000 4194304 5064252 140735995395264 140735995394176 245294065230 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/23149/statm: 2287 267 226 213 0 72 0
[pid=23150] ppid=23149 vsize=192300 CPUtime=1276.71 cores=1,3,5,7
/proc/23150/stat : 23150 (glucose) R 23149 23115 17323 0 -1 4202496 37273 0 0 0 127652 19 0 0 20 0 1 0 382689703 196915200 44379 33554432000 4194304 5208918 140735743352320 140735743350408 4228997 0 0 4096 0 0 0 0 17 5 0 0 139 0 0
/proc/23150/statm: 48075 44379 105 248 0 47824 0
Current children cumulated CPU time (s) 1360.63
Current children cumulated vsize (KiB) 466112
[startup+1422.31 s]
/proc/loadavg: 2.01 2.03 2.04 3/183 23254
/proc/meminfo: memFree=14177032/32873844 swapFree=7372/7372
[pid=23115] ppid=23113 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/23115/stat : 23115 (npSolver-pbo.sh) S 23113 23115 17323 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 382681307 9367552 275 33554432000 4194304 5064252 140733973835408 140733973834320 245294065230 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/23115/statm: 2287 275 233 213 0 72 0
[pid=23116] ppid=23115 vsize=255516 CPUtime=83.92 cores=1,3,5,7
/proc/23116/stat : 23116 (npSolver-pbo) S 23115 23115 17323 0 -1 4202496 36993 208178 0 0 322 188 7757 125 20 0 1 0 382681307 261648384 47796 33554432000 4194304 6004724 140734574008704 140734574001056 5186782 0 65536 4102 0 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/23116/statm: 63879 47796 178 442 0 63433 0
[pid=23149] ppid=23116 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/23149/stat : 23149 (satsolver.sh) S 23116 23115 17323 0 -1 4202496 597 0 0 0 0 0 0 0 20 0 1 0 382689702 9367552 267 33554432000 4194304 5064252 140735995395264 140735995394176 245294065230 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/23149/statm: 2287 267 226 213 0 72 0
[pid=23150] ppid=23149 vsize=192300 CPUtime=1336.71 cores=1,3,5,7
/proc/23150/stat : 23150 (glucose) R 23149 23115 17323 0 -1 4202496 37448 0 0 0 133651 20 0 0 20 0 1 0 382689703 196915200 44379 33554432000 4194304 5208918 140735743352320 140735743350408 4229319 0 0 4096 0 0 0 0 17 5 0 0 139 0 0
/proc/23150/statm: 48075 44379 105 248 0 47824 0
Current children cumulated CPU time (s) 1420.63
Current children cumulated vsize (KiB) 466112
[startup+1482.3 s]
/proc/loadavg: 2.00 2.02 2.03 3/184 23257
/proc/meminfo: memFree=14134792/32873844 swapFree=7372/7372
[pid=23115] ppid=23113 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/23115/stat : 23115 (npSolver-pbo.sh) S 23113 23115 17323 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 382681307 9367552 275 33554432000 4194304 5064252 140733973835408 140733973834320 245294065230 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/23115/statm: 2287 275 233 213 0 72 0
[pid=23116] ppid=23115 vsize=255516 CPUtime=83.92 cores=1,3,5,7
/proc/23116/stat : 23116 (npSolver-pbo) S 23115 23115 17323 0 -1 4202496 36993 208178 0 0 322 188 7757 125 20 0 1 0 382681307 261648384 47796 33554432000 4194304 6004724 140734574008704 140734574001056 5186782 0 65536 4102 0 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/23116/statm: 63879 47796 178 442 0 63433 0
[pid=23149] ppid=23116 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/23149/stat : 23149 (satsolver.sh) S 23116 23115 17323 0 -1 4202496 597 0 0 0 0 0 0 0 20 0 1 0 382689702 9367552 267 33554432000 4194304 5064252 140735995395264 140735995394176 245294065230 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/23149/statm: 2287 267 226 213 0 72 0
[pid=23150] ppid=23149 vsize=241620 CPUtime=1396.69 cores=1,3,5,7
/proc/23150/stat : 23150 (glucose) R 23149 23115 17323 0 -1 4202496 37623 0 0 0 139649 20 0 0 20 0 1 0 382689703 247418880 54774 33554432000 4194304 5208918 140735743352320 140735743348696 4229176 0 0 4096 0 0 0 0 17 5 0 0 139 0 0
/proc/23150/statm: 60405 54774 105 248 0 60154 0
Current children cumulated CPU time (s) 1480.61
Current children cumulated vsize (KiB) 515432
[startup+1542.3 s]
/proc/loadavg: 2.00 2.02 2.02 3/183 23257
/proc/meminfo: memFree=14138432/32873844 swapFree=7372/7372
[pid=23115] ppid=23113 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/23115/stat : 23115 (npSolver-pbo.sh) S 23113 23115 17323 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 382681307 9367552 275 33554432000 4194304 5064252 140733973835408 140733973834320 245294065230 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/23115/statm: 2287 275 233 213 0 72 0
[pid=23116] ppid=23115 vsize=255516 CPUtime=83.92 cores=1,3,5,7
/proc/23116/stat : 23116 (npSolver-pbo) S 23115 23115 17323 0 -1 4202496 36993 208178 0 0 322 188 7757 125 20 0 1 0 382681307 261648384 47796 33554432000 4194304 6004724 140734574008704 140734574001056 5186782 0 65536 4102 0 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/23116/statm: 63879 47796 178 442 0 63433 0
[pid=23149] ppid=23116 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/23149/stat : 23149 (satsolver.sh) S 23116 23115 17323 0 -1 4202496 597 0 0 0 0 0 0 0 20 0 1 0 382689702 9367552 267 33554432000 4194304 5064252 140735995395264 140735995394176 245294065230 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/23149/statm: 2287 267 226 213 0 72 0
[pid=23150] ppid=23149 vsize=241620 CPUtime=1456.69 cores=1,3,5,7
/proc/23150/stat : 23150 (glucose) R 23149 23115 17323 0 -1 4202496 37797 0 0 0 145648 21 0 0 20 0 1 0 382689703 247418880 53750 33554432000 4194304 5208918 140735743352320 140735743350312 4229021 0 0 4096 0 0 0 0 17 5 0 0 139 0 0
/proc/23150/statm: 60405 53750 105 248 0 60154 0
Current children cumulated CPU time (s) 1540.61
Current children cumulated vsize (KiB) 515432
[startup+1602.3 s]
/proc/loadavg: 2.00 2.01 2.02 3/183 23257
/proc/meminfo: memFree=14173268/32873844 swapFree=7372/7372
[pid=23115] ppid=23113 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/23115/stat : 23115 (npSolver-pbo.sh) S 23113 23115 17323 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 382681307 9367552 275 33554432000 4194304 5064252 140733973835408 140733973834320 245294065230 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/23115/statm: 2287 275 233 213 0 72 0
[pid=23116] ppid=23115 vsize=255516 CPUtime=83.92 cores=1,3,5,7
/proc/23116/stat : 23116 (npSolver-pbo) S 23115 23115 17323 0 -1 4202496 36993 208178 0 0 322 188 7757 125 20 0 1 0 382681307 261648384 47796 33554432000 4194304 6004724 140734574008704 140734574001056 5186782 0 65536 4102 0 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/23116/statm: 63879 47796 178 442 0 63433 0
[pid=23149] ppid=23116 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/23149/stat : 23149 (satsolver.sh) S 23116 23115 17323 0 -1 4202496 597 0 0 0 0 0 0 0 20 0 1 0 382689702 9367552 267 33554432000 4194304 5064252 140735995395264 140735995394176 245294065230 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/23149/statm: 2287 267 226 213 0 72 0
[pid=23150] ppid=23149 vsize=193380 CPUtime=1516.67 cores=1,3,5,7
/proc/23150/stat : 23150 (glucose) R 23149 23115 17323 0 -1 4202496 37802 0 0 0 151646 21 0 0 20 0 1 0 382689703 198021120 44380 33554432000 4194304 5208918 140735743352320 140735743350408 4229748 0 0 4096 0 0 0 0 17 5 0 0 139 0 0
/proc/23150/statm: 48345 44380 105 248 0 48094 0
Current children cumulated CPU time (s) 1600.59
Current children cumulated vsize (KiB) 467192
[startup+1662.3 s]
/proc/loadavg: 2.00 2.01 2.01 3/183 23257
/proc/meminfo: memFree=14172132/32873844 swapFree=7372/7372
[pid=23115] ppid=23113 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/23115/stat : 23115 (npSolver-pbo.sh) S 23113 23115 17323 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 382681307 9367552 275 33554432000 4194304 5064252 140733973835408 140733973834320 245294065230 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/23115/statm: 2287 275 233 213 0 72 0
[pid=23116] ppid=23115 vsize=255516 CPUtime=83.92 cores=1,3,5,7
/proc/23116/stat : 23116 (npSolver-pbo) S 23115 23115 17323 0 -1 4202496 36993 208178 0 0 322 188 7757 125 20 0 1 0 382681307 261648384 47796 33554432000 4194304 6004724 140734574008704 140734574001056 5186782 0 65536 4102 0 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/23116/statm: 63879 47796 178 442 0 63433 0
[pid=23149] ppid=23116 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/23149/stat : 23149 (satsolver.sh) S 23116 23115 17323 0 -1 4202496 597 0 0 0 0 0 0 0 20 0 1 0 382689702 9367552 267 33554432000 4194304 5064252 140735995395264 140735995394176 245294065230 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/23149/statm: 2287 267 226 213 0 72 0
[pid=23150] ppid=23149 vsize=193520 CPUtime=1576.67 cores=1,3,5,7
/proc/23150/stat : 23150 (glucose) R 23149 23115 17323 0 -1 4202496 38255 0 0 0 157645 22 0 0 20 0 1 0 382689703 198164480 44650 33554432000 4194304 5208918 140735743352320 140735743348696 4229319 0 0 4096 0 0 0 0 17 5 0 0 139 0 0
/proc/23150/statm: 48380 44650 105 248 0 48129 0
Current children cumulated CPU time (s) 1660.59
Current children cumulated vsize (KiB) 467332
[startup+1722.3 s]
/proc/loadavg: 2.00 2.00 2.01 3/183 23258
/proc/meminfo: memFree=14136080/32873844 swapFree=7372/7372
[pid=23115] ppid=23113 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/23115/stat : 23115 (npSolver-pbo.sh) S 23113 23115 17323 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 382681307 9367552 275 33554432000 4194304 5064252 140733973835408 140733973834320 245294065230 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/23115/statm: 2287 275 233 213 0 72 0
[pid=23116] ppid=23115 vsize=255516 CPUtime=83.92 cores=1,3,5,7
/proc/23116/stat : 23116 (npSolver-pbo) S 23115 23115 17323 0 -1 4202496 36993 208178 0 0 322 188 7757 125 20 0 1 0 382681307 261648384 47796 33554432000 4194304 6004724 140734574008704 140734574001056 5186782 0 65536 4102 0 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/23116/statm: 63879 47796 178 442 0 63433 0
[pid=23149] ppid=23116 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/23149/stat : 23149 (satsolver.sh) S 23116 23115 17323 0 -1 4202496 597 0 0 0 0 0 0 0 20 0 1 0 382689702 9367552 267 33554432000 4194304 5064252 140735995395264 140735995394176 245294065230 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/23149/statm: 2287 267 226 213 0 72 0
[pid=23150] ppid=23149 vsize=243128 CPUtime=1636.66 cores=1,3,5,7
/proc/23150/stat : 23150 (glucose) R 23149 23115 17323 0 -1 4202496 38524 0 0 0 163643 23 0 0 20 0 1 0 382689703 248963072 53606 33554432000 4194304 5208918 140735743352320 140735743350312 4229251 0 0 4096 0 0 0 0 17 5 0 0 139 0 0
/proc/23150/statm: 60782 53606 105 248 0 60531 0
Current children cumulated CPU time (s) 1720.58
Current children cumulated vsize (KiB) 516940
[startup+1782.3 s]
/proc/loadavg: 2.08 2.02 2.01 3/183 23258
/proc/meminfo: memFree=14138440/32873844 swapFree=7372/7372
[pid=23115] ppid=23113 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/23115/stat : 23115 (npSolver-pbo.sh) S 23113 23115 17323 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 382681307 9367552 275 33554432000 4194304 5064252 140733973835408 140733973834320 245294065230 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/23115/statm: 2287 275 233 213 0 72 0
[pid=23116] ppid=23115 vsize=255516 CPUtime=83.92 cores=1,3,5,7
/proc/23116/stat : 23116 (npSolver-pbo) S 23115 23115 17323 0 -1 4202496 36993 208178 0 0 322 188 7757 125 20 0 1 0 382681307 261648384 47796 33554432000 4194304 6004724 140734574008704 140734574001056 5186782 0 65536 4102 0 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/23116/statm: 63879 47796 178 442 0 63433 0
[pid=23149] ppid=23116 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/23149/stat : 23149 (satsolver.sh) S 23116 23115 17323 0 -1 4202496 597 0 0 0 0 0 0 0 20 0 1 0 382689702 9367552 267 33554432000 4194304 5064252 140735995395264 140735995394176 245294065230 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/23149/statm: 2287 267 226 213 0 72 0
[pid=23150] ppid=23149 vsize=224156 CPUtime=1696.65 cores=1,3,5,7
/proc/23150/stat : 23150 (glucose) R 23149 23115 17323 0 -1 4202496 39115 0 0 0 169642 23 0 0 20 0 1 0 382689703 229535744 51915 33554432000 4194304 5208918 140735743352320 140735743350408 4229365 0 0 4096 0 0 0 0 17 5 0 0 139 0 0
/proc/23150/statm: 56039 51915 105 248 0 55788 0
Current children cumulated CPU time (s) 1780.57
Current children cumulated vsize (KiB) 497968
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+1801.81 s]
/proc/loadavg: 2.12 2.03 2.01 4/183 23258
/proc/meminfo: memFree=14103688/32873844 swapFree=7372/7372
[pid=23115] ppid=23113 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/23115/stat : 23115 (npSolver-pbo.sh) S 23113 23115 17323 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 382681307 9367552 275 33554432000 4194304 5064252 140733973835408 140733973834320 245294065230 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/23115/statm: 2287 275 233 213 0 72 0
[pid=23116] ppid=23115 vsize=255516 CPUtime=83.92 cores=1,3,5,7
/proc/23116/stat : 23116 (npSolver-pbo) S 23115 23115 17323 0 -1 4202496 36993 208178 0 0 322 188 7757 125 20 0 1 0 382681307 261648384 47796 33554432000 4194304 6004724 140734574008704 140734574001056 5186782 0 65536 4102 0 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/23116/statm: 63879 47796 178 442 0 63433 0
[pid=23149] ppid=23116 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/23149/stat : 23149 (satsolver.sh) S 23116 23115 17323 0 -1 4202496 597 0 0 0 0 0 0 0 20 0 1 0 382689702 9367552 267 33554432000 4194304 5064252 140735995395264 140735995394176 245294065230 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/23149/statm: 2287 267 226 213 0 72 0
[pid=23150] ppid=23149 vsize=273476 CPUtime=1716.16 cores=1,3,5,7
/proc/23150/stat : 23150 (glucose) R 23149 23115 17323 0 -1 4202496 39711 0 0 0 171592 24 0 0 20 0 1 0 382689703 280039424 60682 33554432000 4194304 5208918 140735743352320 140735743350312 4229338 0 0 4096 0 0 0 0 17 5 0 0 139 0 0
/proc/23150/statm: 68369 60682 105 248 0 68118 0
Current children cumulated CPU time (s) 1800.08
Current children cumulated vsize (KiB) 547288
Sending SIGTERM to process tree (bottom up)
Solver just ended. Dumping a history of the last processes samples
Child status: 0
Real time (s): 1801.83
CPU time (s): 1800.13
CPU user time (s): 1796.73
CPU system time (s): 3.40048
CPU usage (%): 99.906
Max. virtual memory (cumulated for all children) (KiB): 727716
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1796.73
system time used= 3.40048
maximum resident set size= 443272
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 285872
page faults= 0
swaps= 0
block input operations= 0
block output operations= 487536
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 3604
involuntary context switches= 1933
runsolver used 3.49947 second user time and 9.49656 second system time
The end