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-3700929-1338136561/watcher-3700929-1338136561 -o /tmp/evaluation-result-3700929-1338136561/solver-3700929-1338136561 -C 1800 -W 1900 -M 15500 HOME/npSolver-pbo.sh HOME/instance-3700929-1338136561.opb 253994189 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: 2.93 2.33 2.17 3/180 26008
/proc/meminfo: memFree=27795928/32873648 swapFree=7104/7104
[pid=26008] ppid=26006 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/26008/stat : 26008 (npSolver-pbo.sh) S 26006 26008 23788 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 279781534 9367552 275 33554432000 4194304 5064252 140734193015440 140734193014352 214537233998 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/26008/statm: 2287 275 233 213 0 72 0
[startup+0.0414461 s]
/proc/loadavg: 2.93 2.33 2.17 3/180 26008
/proc/meminfo: memFree=27795928/32873648 swapFree=7104/7104
[pid=26008] ppid=26006 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/26008/stat : 26008 (npSolver-pbo.sh) S 26006 26008 23788 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 279781534 9367552 275 33554432000 4194304 5064252 140734193015440 140734193014352 214537233998 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/26008/statm: 2287 275 233 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148
[startup+0.100144 s]
/proc/loadavg: 2.93 2.33 2.17 3/180 26008
/proc/meminfo: memFree=27795928/32873648 swapFree=7104/7104
[pid=26008] ppid=26006 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/26008/stat : 26008 (npSolver-pbo.sh) S 26006 26008 23788 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 279781534 9367552 275 33554432000 4194304 5064252 140734193015440 140734193014352 214537233998 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/26008/statm: 2287 275 233 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148
[startup+0.300151 s]
/proc/loadavg: 2.93 2.33 2.17 3/180 26008
/proc/meminfo: memFree=27795928/32873648 swapFree=7104/7104
[pid=26008] ppid=26006 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/26008/stat : 26008 (npSolver-pbo.sh) S 26006 26008 23788 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 279781534 9367552 275 33554432000 4194304 5064252 140734193015440 140734193014352 214537233998 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/26008/statm: 2287 275 233 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148
[startup+0.700178 s]
/proc/loadavg: 2.93 2.33 2.17 3/180 26008
/proc/meminfo: memFree=27795928/32873648 swapFree=7104/7104
[pid=26008] ppid=26006 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/26008/stat : 26008 (npSolver-pbo.sh) S 26006 26008 23788 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 279781534 9367552 275 33554432000 4194304 5064252 140734193015440 140734193014352 214537233998 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/26008/statm: 2287 275 233 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148
[startup+1.50019 s]
/proc/loadavg: 2.93 2.33 2.17 3/184 26012
/proc/meminfo: memFree=27697836/32873648 swapFree=7104/7104
[pid=26008] ppid=26006 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/26008/stat : 26008 (npSolver-pbo.sh) S 26006 26008 23788 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 279781534 9367552 275 33554432000 4194304 5064252 140734193015440 140734193014352 214537233998 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/26008/statm: 2287 275 233 213 0 72 0
[pid=26009] ppid=26008 vsize=18076 CPUtime=1.48 cores=0,2,4,6
/proc/26009/stat : 26009 (npSolver-pbo) R 26008 26008 23788 0 -1 4202496 4881 29666 0 0 20 15 98 15 20 0 1 0 279781534 18509824 3842 33554432000 4194304 5992684 140736299835984 140736299830168 5179696 0 0 4096 0 0 0 0 17 4 0 0 0 0 0
/proc/26009/statm: 4519 3842 179 440 0 4075 0
Current children cumulated CPU time (s) 1.48
Current children cumulated vsize (KiB) 27224
[startup+3.10022 s]
/proc/loadavg: 2.93 2.33 2.17 3/182 26020
/proc/meminfo: memFree=27729884/32873648 swapFree=7104/7104
[pid=26008] ppid=26006 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/26008/stat : 26008 (npSolver-pbo.sh) S 26006 26008 23788 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 279781534 9367552 275 33554432000 4194304 5064252 140734193015440 140734193014352 214537233998 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/26008/statm: 2287 275 233 213 0 72 0
[pid=26009] ppid=26008 vsize=94712 CPUtime=2.38 cores=0,2,4,6
/proc/26009/stat : 26009 (npSolver-pbo) S 26008 26008 23788 0 -1 4202496 9816 30182 0 0 87 37 98 16 20 0 1 0 279781534 96985088 18038 33554432000 4194304 5992684 140736299835984 140736299828304 5175646 0 65536 4102 0 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/26009/statm: 23678 18038 189 440 0 23234 0
Current children cumulated CPU time (s) 2.38
Current children cumulated vsize (KiB) 103860
heavy processes:
[startup+6.30029 s]
/proc/loadavg: 2.85 2.33 2.17 3/184 26022
/proc/meminfo: memFree=27532948/32873648 swapFree=7104/7104
[pid=26008] ppid=26006 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/26008/stat : 26008 (npSolver-pbo.sh) S 26006 26008 23788 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 279781534 9367552 275 33554432000 4194304 5064252 140734193015440 140734193014352 214537233998 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/26008/statm: 2287 275 233 213 0 72 0
[pid=26009] ppid=26008 vsize=94712 CPUtime=2.38 cores=0,2,4,6
/proc/26009/stat : 26009 (npSolver-pbo) S 26008 26008 23788 0 -1 4202496 9816 30182 0 0 87 37 98 16 20 0 1 0 279781534 96985088 18038 33554432000 4194304 5992684 140736299835984 140736299828304 5175646 0 65536 4102 0 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/26009/statm: 23678 18038 189 440 0 23234 0
[pid=26021] ppid=26009 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/26021/stat : 26021 (satsolver.sh) S 26009 26008 23788 0 -1 4202496 597 0 0 0 0 0 0 0 20 0 1 0 279781774 9367552 266 33554432000 4194304 5064252 140733604581616 140733604580528 214537233998 0 65536 4100 65538 18446744071579302229 0 0 17 2 0 0 0 0 0
/proc/26021/statm: 2287 266 226 213 0 72 0
[pid=26022] ppid=26021 vsize=150388 CPUtime=3.87 cores=0,2,4,6
/proc/26022/stat : 26022 (glucose) R 26021 26008 23788 0 -1 4202496 27986 0 0 0 380 7 0 0 20 0 1 0 279781774 153997312 33465 33554432000 4194304 5208918 140736219478912 140736219476584 4228997 0 0 4096 0 0 0 0 17 0 0 0 0 0 0
/proc/26022/statm: 37597 33465 104 248 0 37346 0
Current children cumulated CPU time (s) 6.25
Current children cumulated vsize (KiB) 263396
[startup+12.7004 s]
/proc/loadavg: 2.78 2.32 2.17 3/184 26029
/proc/meminfo: memFree=27610720/32873648 swapFree=7104/7104
[pid=26008] ppid=26006 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/26008/stat : 26008 (npSolver-pbo.sh) S 26006 26008 23788 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 279781534 9367552 275 33554432000 4194304 5064252 140734193015440 140734193014352 214537233998 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/26008/statm: 2287 275 233 213 0 72 0
[pid=26009] ppid=26008 vsize=52216 CPUtime=9.48 cores=0,2,4,6
/proc/26009/stat : 26009 (npSolver-pbo) S 26008 26008 23788 0 -1 4202496 15303 65239 0 0 130 43 732 43 20 0 1 0 279781534 53469184 12054 33554432000 4194304 5992684 140736299835984 140736299828304 5175646 0 65536 4102 0 18446744071579302229 0 0 17 2 0 0 0 0 0
/proc/26009/statm: 13054 12054 189 440 0 12610 0
[pid=26028] ppid=26009 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/26028/stat : 26028 (satsolver.sh) S 26009 26008 23788 0 -1 4202496 599 0 0 0 0 0 0 0 20 0 1 0 279782484 9367552 267 33554432000 4194304 5064252 140735062971840 140735062970752 214537233998 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/26028/statm: 2287 267 226 213 0 72 0
[pid=26029] ppid=26028 vsize=114048 CPUtime=3.18 cores=0,2,4,6
/proc/26029/stat : 26029 (glucose) R 26028 26008 23788 0 -1 4202496 22283 0 0 0 313 5 0 0 20 0 1 0 279782484 116785152 24263 33554432000 4194304 5208918 140735348021392 140735348019240 4229850 0 0 4096 0 0 0 0 17 4 0 0 0 0 0
/proc/26029/statm: 28512 24263 104 248 0 28261 0
Current children cumulated CPU time (s) 12.66
Current children cumulated vsize (KiB) 184560
[startup+25.5003 s]
/proc/loadavg: 2.61 2.31 2.16 3/184 26029
/proc/meminfo: memFree=27607208/32873648 swapFree=7104/7104
[pid=26008] ppid=26006 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/26008/stat : 26008 (npSolver-pbo.sh) S 26006 26008 23788 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 279781534 9367552 275 33554432000 4194304 5064252 140734193015440 140734193014352 214537233998 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/26008/statm: 2287 275 233 213 0 72 0
[pid=26009] ppid=26008 vsize=52216 CPUtime=9.48 cores=0,2,4,6
/proc/26009/stat : 26009 (npSolver-pbo) S 26008 26008 23788 0 -1 4202496 15303 65239 0 0 130 43 732 43 20 0 1 0 279781534 53469184 12054 33554432000 4194304 5992684 140736299835984 140736299828304 5175646 0 65536 4102 0 18446744071579302229 0 0 17 2 0 0 0 0 0
/proc/26009/statm: 13054 12054 189 440 0 12610 0
[pid=26028] ppid=26009 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/26028/stat : 26028 (satsolver.sh) S 26009 26008 23788 0 -1 4202496 599 0 0 0 0 0 0 0 20 0 1 0 279782484 9367552 267 33554432000 4194304 5064252 140735062971840 140735062970752 214537233998 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/26028/statm: 2287 267 226 213 0 72 0
[pid=26029] ppid=26028 vsize=117304 CPUtime=15.98 cores=0,2,4,6
/proc/26029/stat : 26029 (glucose) R 26028 26008 23788 0 -1 4202496 23224 0 0 0 1592 6 0 0 20 0 1 0 279782484 120119296 26131 33554432000 4194304 5208918 140735348021392 140735348019224 4211744 0 0 4096 0 0 0 0 17 4 0 0 0 0 0
/proc/26029/statm: 29326 26131 104 248 0 29075 0
Current children cumulated CPU time (s) 25.46
Current children cumulated vsize (KiB) 187816
[startup+51.1003 s]
/proc/loadavg: 2.40 2.28 2.16 3/184 26029
/proc/meminfo: memFree=27549036/32873648 swapFree=7104/7104
[pid=26008] ppid=26006 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/26008/stat : 26008 (npSolver-pbo.sh) S 26006 26008 23788 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 279781534 9367552 275 33554432000 4194304 5064252 140734193015440 140734193014352 214537233998 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/26008/statm: 2287 275 233 213 0 72 0
[pid=26009] ppid=26008 vsize=52216 CPUtime=9.48 cores=0,2,4,6
/proc/26009/stat : 26009 (npSolver-pbo) S 26008 26008 23788 0 -1 4202496 15303 65239 0 0 130 43 732 43 20 0 1 0 279781534 53469184 12054 33554432000 4194304 5992684 140736299835984 140736299828304 5175646 0 65536 4102 0 18446744071579302229 0 0 17 2 0 0 0 0 0
/proc/26009/statm: 13054 12054 189 440 0 12610 0
[pid=26028] ppid=26009 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/26028/stat : 26028 (satsolver.sh) S 26009 26008 23788 0 -1 4202496 599 0 0 0 0 0 0 0 20 0 1 0 279782484 9367552 267 33554432000 4194304 5064252 140735062971840 140735062970752 214537233998 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/26028/statm: 2287 267 226 213 0 72 0
[pid=26029] ppid=26028 vsize=176996 CPUtime=41.57 cores=0,2,4,6
/proc/26029/stat : 26029 (glucose) R 26028 26008 23788 0 -1 4202496 24252 0 0 0 4150 7 0 0 20 0 1 0 279782484 181243904 40294 33554432000 4194304 5208918 140735348021392 140735348019256 4213234 0 0 4096 0 0 0 0 17 4 0 0 0 0 0
/proc/26029/statm: 44249 40294 105 248 0 43998 0
Current children cumulated CPU time (s) 51.05
Current children cumulated vsize (KiB) 247508
[startup+102.307 s]
/proc/loadavg: 2.17 2.24 2.15 3/183 26030
/proc/meminfo: memFree=27508432/32873648 swapFree=7104/7104
[pid=26008] ppid=26006 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/26008/stat : 26008 (npSolver-pbo.sh) S 26006 26008 23788 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 279781534 9367552 275 33554432000 4194304 5064252 140734193015440 140734193014352 214537233998 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/26008/statm: 2287 275 233 213 0 72 0
[pid=26009] ppid=26008 vsize=52216 CPUtime=9.48 cores=0,2,4,6
/proc/26009/stat : 26009 (npSolver-pbo) S 26008 26008 23788 0 -1 4202496 15303 65239 0 0 130 43 732 43 20 0 1 0 279781534 53469184 12054 33554432000 4194304 5992684 140736299835984 140736299828304 5175646 0 65536 4102 0 18446744071579302229 0 0 17 2 0 0 0 0 0
/proc/26009/statm: 13054 12054 189 440 0 12610 0
[pid=26028] ppid=26009 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/26028/stat : 26028 (satsolver.sh) S 26009 26008 23788 0 -1 4202496 599 0 0 0 0 0 0 0 20 0 1 0 279782484 9367552 267 33554432000 4194304 5064252 140735062971840 140735062970752 214537233998 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/26028/statm: 2287 267 226 213 0 72 0
[pid=26029] ppid=26028 vsize=195968 CPUtime=92.76 cores=0,2,4,6
/proc/26029/stat : 26029 (glucose) R 26028 26008 23788 0 -1 4202496 26248 0 0 0 9266 10 0 0 20 0 1 0 279782484 200671232 44016 33554432000 4194304 5208918 140735348021392 140735348017768 4229251 0 0 4096 0 0 0 0 17 4 0 0 0 0 0
/proc/26029/statm: 48992 44016 105 248 0 48741 0
Current children cumulated CPU time (s) 102.24
Current children cumulated vsize (KiB) 266480
[startup+162.3 s]
/proc/loadavg: 2.06 2.19 2.14 3/183 26030
/proc/meminfo: memFree=27543912/32873648 swapFree=7104/7104
[pid=26008] ppid=26006 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/26008/stat : 26008 (npSolver-pbo.sh) S 26006 26008 23788 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 279781534 9367552 275 33554432000 4194304 5064252 140734193015440 140734193014352 214537233998 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/26008/statm: 2287 275 233 213 0 72 0
[pid=26009] ppid=26008 vsize=52216 CPUtime=9.48 cores=0,2,4,6
/proc/26009/stat : 26009 (npSolver-pbo) S 26008 26008 23788 0 -1 4202496 15303 65239 0 0 130 43 732 43 20 0 1 0 279781534 53469184 12054 33554432000 4194304 5992684 140736299835984 140736299828304 5175646 0 65536 4102 0 18446744071579302229 0 0 17 2 0 0 0 0 0
/proc/26009/statm: 13054 12054 189 440 0 12610 0
[pid=26028] ppid=26009 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/26028/stat : 26028 (satsolver.sh) S 26009 26008 23788 0 -1 4202496 599 0 0 0 0 0 0 0 20 0 1 0 279782484 9367552 267 33554432000 4194304 5064252 140735062971840 140735062970752 214537233998 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/26028/statm: 2287 267 226 213 0 72 0
[pid=26029] ppid=26028 vsize=146648 CPUtime=152.74 cores=0,2,4,6
/proc/26029/stat : 26029 (glucose) R 26028 26008 23788 0 -1 4202496 27615 0 0 0 15263 11 0 0 20 0 1 0 279782484 150167552 34476 33554432000 4194304 5208918 140735348021392 140735348019480 4211632 0 0 4096 0 0 0 0 17 4 0 0 0 0 0
/proc/26029/statm: 36662 34476 105 248 0 36411 0
Current children cumulated CPU time (s) 162.22
Current children cumulated vsize (KiB) 217160
[startup+222.3 s]
/proc/loadavg: 2.02 2.15 2.12 3/183 26030
/proc/meminfo: memFree=27535600/32873648 swapFree=7104/7104
################
# More data... #
################
/proc/26041/stat : 26041 (glucose) R 26040 26008 23788 0 -1 4202496 33406 0 0 0 88267 22 0 0 20 0 1 0 279829458 215232512 45499 33554432000 4194304 5208918 140735518665840 140735518663992 4211632 0 0 4096 0 0 0 0 17 4 0 0 0 0 0
/proc/26041/statm: 52547 45499 105 248 0 52296 0
Current children cumulated CPU time (s) 1362
Current children cumulated vsize (KiB) 313208
[startup+1422.31 s]
/proc/loadavg: 2.05 2.04 2.02 3/183 26106
/proc/meminfo: memFree=27220020/32873648 swapFree=7104/7104
[pid=26008] ppid=26006 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/26008/stat : 26008 (npSolver-pbo.sh) S 26006 26008 23788 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 279781534 9367552 275 33554432000 4194304 5064252 140734193015440 140734193014352 214537233998 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/26008/statm: 2287 275 233 213 0 72 0
[pid=26009] ppid=26008 vsize=84724 CPUtime=479.11 cores=0,2,4,6
/proc/26009/stat : 26009 (npSolver-pbo) S 26008 26008 23788 0 -1 4202496 19501 104902 0 0 168 47 47619 77 20 0 1 0 279781534 86757376 19125 33554432000 4194304 5992684 140736299835984 140736299828304 5175646 0 65536 4102 0 18446744071579302229 0 0 17 2 0 0 0 0 0
/proc/26009/statm: 21181 19125 189 440 0 20737 0
[pid=26040] ppid=26009 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/26040/stat : 26040 (satsolver.sh) S 26009 26008 23788 0 -1 4202496 598 0 0 0 0 0 0 0 20 0 1 0 279829457 9367552 267 33554432000 4194304 5064252 140733471697488 140733471696400 214537233998 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/26040/statm: 2287 267 226 213 0 72 0
[pid=26041] ppid=26040 vsize=210188 CPUtime=942.89 cores=0,2,4,6
/proc/26041/stat : 26041 (glucose) R 26040 26008 23788 0 -1 4202496 34452 0 0 0 94265 24 0 0 20 0 1 0 279829458 215232512 44475 33554432000 4194304 5208918 140735518665840 140735518663992 4212881 0 0 4096 0 0 0 0 17 4 0 0 0 0 0
/proc/26041/statm: 52547 44475 105 248 0 52296 0
Current children cumulated CPU time (s) 1422
Current children cumulated vsize (KiB) 313208
[startup+1482.3 s]
/proc/loadavg: 2.05 2.05 2.02 3/184 26109
/proc/meminfo: memFree=27195660/32873648 swapFree=7104/7104
[pid=26008] ppid=26006 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/26008/stat : 26008 (npSolver-pbo.sh) S 26006 26008 23788 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 279781534 9367552 275 33554432000 4194304 5064252 140734193015440 140734193014352 214537233998 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/26008/statm: 2287 275 233 213 0 72 0
[pid=26009] ppid=26008 vsize=84724 CPUtime=479.11 cores=0,2,4,6
/proc/26009/stat : 26009 (npSolver-pbo) S 26008 26008 23788 0 -1 4202496 19501 104902 0 0 168 47 47619 77 20 0 1 0 279781534 86757376 19125 33554432000 4194304 5992684 140736299835984 140736299828304 5175646 0 65536 4102 0 18446744071579302229 0 0 17 2 0 0 0 0 0
/proc/26009/statm: 21181 19125 189 440 0 20737 0
[pid=26040] ppid=26009 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/26040/stat : 26040 (satsolver.sh) S 26009 26008 23788 0 -1 4202496 598 0 0 0 0 0 0 0 20 0 1 0 279829457 9367552 267 33554432000 4194304 5064252 140733471697488 140733471696400 214537233998 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/26040/statm: 2287 267 226 213 0 72 0
[pid=26041] ppid=26040 vsize=260276 CPUtime=1002.87 cores=0,2,4,6
/proc/26041/stat : 26041 (glucose) R 26040 26008 23788 0 -1 4202496 34769 0 0 0 100262 25 0 0 20 0 1 0 279829458 266522624 52456 33554432000 4194304 5208918 140735518665840 140735518663992 4229365 0 0 4096 0 0 0 0 17 4 0 0 0 0 0
/proc/26041/statm: 65069 52456 105 248 0 64818 0
Current children cumulated CPU time (s) 1481.98
Current children cumulated vsize (KiB) 363296
[startup+1542.3 s]
/proc/loadavg: 2.02 2.04 2.01 3/184 26132
/proc/meminfo: memFree=27205740/32873648 swapFree=7104/7104
[pid=26008] ppid=26006 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/26008/stat : 26008 (npSolver-pbo.sh) S 26006 26008 23788 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 279781534 9367552 275 33554432000 4194304 5064252 140734193015440 140734193014352 214537233998 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/26008/statm: 2287 275 233 213 0 72 0
[pid=26009] ppid=26008 vsize=84724 CPUtime=479.11 cores=0,2,4,6
/proc/26009/stat : 26009 (npSolver-pbo) S 26008 26008 23788 0 -1 4202496 19501 104902 0 0 168 47 47619 77 20 0 1 0 279781534 86757376 19125 33554432000 4194304 5992684 140736299835984 140736299828304 5175646 0 65536 4102 0 18446744071579302229 0 0 17 2 0 0 0 0 0
/proc/26009/statm: 21181 19125 189 440 0 20737 0
[pid=26040] ppid=26009 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/26040/stat : 26040 (satsolver.sh) S 26009 26008 23788 0 -1 4202496 598 0 0 0 0 0 0 0 20 0 1 0 279829457 9367552 267 33554432000 4194304 5064252 140733471697488 140733471696400 214537233998 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/26040/statm: 2287 267 226 213 0 72 0
[pid=26041] ppid=26040 vsize=210188 CPUtime=1062.86 cores=0,2,4,6
/proc/26041/stat : 26041 (glucose) R 26040 26008 23788 0 -1 4202496 35799 0 0 0 106259 27 0 0 20 0 1 0 279829458 215232512 48059 33554432000 4194304 5208918 140735518665840 140735518662216 4211897 0 0 4096 0 0 0 0 17 4 0 0 0 0 0
/proc/26041/statm: 52547 48059 105 248 0 52296 0
Current children cumulated CPU time (s) 1541.97
Current children cumulated vsize (KiB) 313208
[startup+1602.3 s]
/proc/loadavg: 2.00 2.03 2.01 3/183 26132
/proc/meminfo: memFree=27215552/32873648 swapFree=7104/7104
[pid=26008] ppid=26006 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/26008/stat : 26008 (npSolver-pbo.sh) S 26006 26008 23788 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 279781534 9367552 275 33554432000 4194304 5064252 140734193015440 140734193014352 214537233998 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/26008/statm: 2287 275 233 213 0 72 0
[pid=26009] ppid=26008 vsize=84724 CPUtime=479.11 cores=0,2,4,6
/proc/26009/stat : 26009 (npSolver-pbo) S 26008 26008 23788 0 -1 4202496 19501 104902 0 0 168 47 47619 77 20 0 1 0 279781534 86757376 19125 33554432000 4194304 5992684 140736299835984 140736299828304 5175646 0 65536 4102 0 18446744071579302229 0 0 17 2 0 0 0 0 0
/proc/26009/statm: 21181 19125 189 440 0 20737 0
[pid=26040] ppid=26009 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/26040/stat : 26040 (satsolver.sh) S 26009 26008 23788 0 -1 4202496 598 0 0 0 0 0 0 0 20 0 1 0 279829457 9367552 267 33554432000 4194304 5064252 140733471697488 140733471696400 214537233998 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/26040/statm: 2287 267 226 213 0 72 0
[pid=26041] ppid=26040 vsize=210188 CPUtime=1122.86 cores=0,2,4,6
/proc/26041/stat : 26041 (glucose) R 26040 26008 23788 0 -1 4202496 37132 0 0 0 112256 30 0 0 20 0 1 0 279829458 215232512 43963 33554432000 4194304 5208918 140735518665840 140735518663992 4229365 0 0 4096 0 0 0 0 17 4 0 0 0 0 0
/proc/26041/statm: 52547 43963 105 248 0 52296 0
Current children cumulated CPU time (s) 1601.97
Current children cumulated vsize (KiB) 313208
[startup+1662.3 s]
/proc/loadavg: 2.00 2.02 2.00 3/183 26133
/proc/meminfo: memFree=27185872/32873648 swapFree=7104/7104
[pid=26008] ppid=26006 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/26008/stat : 26008 (npSolver-pbo.sh) S 26006 26008 23788 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 279781534 9367552 275 33554432000 4194304 5064252 140734193015440 140734193014352 214537233998 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/26008/statm: 2287 275 233 213 0 72 0
[pid=26009] ppid=26008 vsize=84724 CPUtime=479.11 cores=0,2,4,6
/proc/26009/stat : 26009 (npSolver-pbo) S 26008 26008 23788 0 -1 4202496 19501 104902 0 0 168 47 47619 77 20 0 1 0 279781534 86757376 19125 33554432000 4194304 5992684 140736299835984 140736299828304 5175646 0 65536 4102 0 18446744071579302229 0 0 17 2 0 0 0 0 0
/proc/26009/statm: 21181 19125 189 440 0 20737 0
[pid=26040] ppid=26009 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/26040/stat : 26040 (satsolver.sh) S 26009 26008 23788 0 -1 4202496 598 0 0 0 0 0 0 0 20 0 1 0 279829457 9367552 267 33554432000 4194304 5064252 140733471697488 140733471696400 214537233998 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/26040/statm: 2287 267 226 213 0 72 0
[pid=26041] ppid=26040 vsize=260276 CPUtime=1182.85 cores=0,2,4,6
/proc/26041/stat : 26041 (glucose) R 26040 26008 23788 0 -1 4202496 37452 0 0 0 118254 31 0 0 20 0 1 0 279829458 266522624 52456 33554432000 4194304 5208918 140735518665840 140735518663992 4229338 0 0 4096 0 0 0 0 17 4 0 0 0 0 0
/proc/26041/statm: 65069 52456 105 248 0 64818 0
Current children cumulated CPU time (s) 1661.96
Current children cumulated vsize (KiB) 363296
[startup+1722.3 s]
/proc/loadavg: 2.00 2.02 2.00 3/183 26133
/proc/meminfo: memFree=27190772/32873648 swapFree=7104/7104
[pid=26008] ppid=26006 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/26008/stat : 26008 (npSolver-pbo.sh) S 26006 26008 23788 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 279781534 9367552 275 33554432000 4194304 5064252 140734193015440 140734193014352 214537233998 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/26008/statm: 2287 275 233 213 0 72 0
[pid=26009] ppid=26008 vsize=84724 CPUtime=479.11 cores=0,2,4,6
/proc/26009/stat : 26009 (npSolver-pbo) S 26008 26008 23788 0 -1 4202496 19501 104902 0 0 168 47 47619 77 20 0 1 0 279781534 86757376 19125 33554432000 4194304 5992684 140736299835984 140736299828304 5175646 0 65536 4102 0 18446744071579302229 0 0 17 2 0 0 0 0 0
/proc/26009/statm: 21181 19125 189 440 0 20737 0
[pid=26040] ppid=26009 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/26040/stat : 26040 (satsolver.sh) S 26009 26008 23788 0 -1 4202496 598 0 0 0 0 0 0 0 20 0 1 0 279829457 9367552 267 33554432000 4194304 5064252 140733471697488 140733471696400 214537233998 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/26040/statm: 2287 267 226 213 0 72 0
[pid=26041] ppid=26040 vsize=210188 CPUtime=1242.84 cores=0,2,4,6
/proc/26041/stat : 26041 (glucose) R 26040 26008 23788 0 -1 4202496 38493 0 0 0 124251 33 0 0 20 0 1 0 279829458 215232512 48571 33554432000 4194304 5208918 140735518665840 140735518662216 4229296 0 0 4096 0 0 0 0 17 4 0 0 0 0 0
/proc/26041/statm: 52547 48571 105 248 0 52296 0
Current children cumulated CPU time (s) 1721.95
Current children cumulated vsize (KiB) 313208
[startup+1782.3 s]
/proc/loadavg: 2.00 2.01 2.00 3/183 26133
/proc/meminfo: memFree=27221048/32873648 swapFree=7104/7104
[pid=26008] ppid=26006 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/26008/stat : 26008 (npSolver-pbo.sh) S 26006 26008 23788 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 279781534 9367552 275 33554432000 4194304 5064252 140734193015440 140734193014352 214537233998 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/26008/statm: 2287 275 233 213 0 72 0
[pid=26009] ppid=26008 vsize=84724 CPUtime=479.11 cores=0,2,4,6
/proc/26009/stat : 26009 (npSolver-pbo) S 26008 26008 23788 0 -1 4202496 19501 104902 0 0 168 47 47619 77 20 0 1 0 279781534 86757376 19125 33554432000 4194304 5992684 140736299835984 140736299828304 5175646 0 65536 4102 0 18446744071579302229 0 0 17 2 0 0 0 0 0
/proc/26009/statm: 21181 19125 189 440 0 20737 0
[pid=26040] ppid=26009 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/26040/stat : 26040 (satsolver.sh) S 26009 26008 23788 0 -1 4202496 598 0 0 0 0 0 0 0 20 0 1 0 279829457 9367552 267 33554432000 4194304 5064252 140733471697488 140733471696400 214537233998 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/26040/statm: 2287 267 226 213 0 72 0
[pid=26041] ppid=26040 vsize=179368 CPUtime=1302.82 cores=0,2,4,6
/proc/26041/stat : 26041 (glucose) R 26040 26008 23788 0 -1 4202496 39247 0 0 0 130247 35 0 0 20 0 1 0 279829458 183672832 42872 33554432000 4194304 5208918 140735518665840 140735518663928 4211553 0 0 4096 0 0 0 0 17 4 0 0 0 0 0
/proc/26041/statm: 44842 42872 105 248 0 44591 0
Current children cumulated CPU time (s) 1781.93
Current children cumulated vsize (KiB) 282388
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+1800.4 s]
/proc/loadavg: 2.00 2.01 2.00 3/183 26133
/proc/meminfo: memFree=27180440/32873648 swapFree=7104/7104
[pid=26008] ppid=26006 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/26008/stat : 26008 (npSolver-pbo.sh) S 26006 26008 23788 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 279781534 9367552 275 33554432000 4194304 5064252 140734193015440 140734193014352 214537233998 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/26008/statm: 2287 275 233 213 0 72 0
[pid=26009] ppid=26008 vsize=84724 CPUtime=479.11 cores=0,2,4,6
/proc/26009/stat : 26009 (npSolver-pbo) S 26008 26008 23788 0 -1 4202496 19501 104902 0 0 168 47 47619 77 20 0 1 0 279781534 86757376 19125 33554432000 4194304 5992684 140736299835984 140736299828304 5175646 0 65536 4102 0 18446744071579302229 0 0 17 2 0 0 0 0 0
/proc/26009/statm: 21181 19125 189 440 0 20737 0
[pid=26040] ppid=26009 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/26040/stat : 26040 (satsolver.sh) S 26009 26008 23788 0 -1 4202496 598 0 0 0 0 0 0 0 20 0 1 0 279829457 9367552 267 33554432000 4194304 5064252 140733471697488 140733471696400 214537233998 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/26040/statm: 2287 267 226 213 0 72 0
[pid=26041] ppid=26040 vsize=210188 CPUtime=1320.93 cores=0,2,4,6
/proc/26041/stat : 26041 (glucose) R 26040 26008 23788 0 -1 4202496 39833 0 0 0 132057 36 0 0 20 0 1 0 279829458 215232512 45499 33554432000 4194304 5208918 140735518665840 140735518663992 4229780 0 0 4096 0 0 0 0 17 4 0 0 0 0 0
/proc/26041/statm: 52547 45499 105 248 0 52296 0
Current children cumulated CPU time (s) 1800.04
Current children cumulated vsize (KiB) 313208
Sending SIGTERM to process tree (bottom up)
Solver just ended. Dumping a history of the last processes samples
Child status: 0
# WARNING:
# CPU time reported by wait4() is probably wrong !
# wait4(...,&childrusage) returns 26008 and gives
# childrusage.ru_utime.tv_sec=477
# childrusage.ru_utime.tv_usec=879351
# childrusage.ru_stime.tv_sec=1
# childrusage.ru_stime.tv_usec=264807
# CPU time returned by wait4() is 479.144
# while last known CPU time is 1800.04
#
# Solver probably didn't/couldn't wait for its children
# Using CPU time of the last sample as value...
Real time (s): 1800.41
CPU time (s): 1800.04
CPU user time (s): 1798.44
CPU system time (s): 1.6
CPU usage (%): 99.9792
Max. virtual memory (cumulated for all children) (KiB): 412616
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 477.879
system time used= 1.26481
maximum resident set size= 235884
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 125382
page faults= 0
swaps= 0
block input operations= 0
block output operations= 266336
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 1319
involuntary context switches= 606
runsolver used 3.78842 second user time and 9.13361 second system time
The end