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-3701815-1338073098/watcher-3701815-1338073098 -o /tmp/evaluation-result-3701815-1338073098/solver-3701815-1338073098 -C 1800 -W 1900 -M 15500 HOME/npSolver-pbo.sh HOME/instance-3701815-1338073098.opb 1774392060 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.03 2.06 2.01 3/179 15195
/proc/meminfo: memFree=29276784/32873648 swapFree=6864/6864
[pid=15195] ppid=15193 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/15195/stat : 15195 (npSolver-pbo.sh) S 15193 15195 11614 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 273435274 9367552 275 33554432000 4194304 5064252 140734504453696 140734504452608 270707353166 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/15195/statm: 2287 275 233 213 0 72 0
[startup+0.0424209 s]
/proc/loadavg: 2.03 2.06 2.01 3/179 15195
/proc/meminfo: memFree=29276784/32873648 swapFree=6864/6864
[pid=15195] ppid=15193 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/15195/stat : 15195 (npSolver-pbo.sh) S 15193 15195 11614 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 273435274 9367552 275 33554432000 4194304 5064252 140734504453696 140734504452608 270707353166 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/15195/statm: 2287 275 233 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148
[startup+0.100215 s]
/proc/loadavg: 2.03 2.06 2.01 3/179 15195
/proc/meminfo: memFree=29276784/32873648 swapFree=6864/6864
[pid=15195] ppid=15193 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/15195/stat : 15195 (npSolver-pbo.sh) S 15193 15195 11614 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 273435274 9367552 275 33554432000 4194304 5064252 140734504453696 140734504452608 270707353166 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/15195/statm: 2287 275 233 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148
[startup+0.300201 s]
/proc/loadavg: 2.03 2.06 2.01 3/179 15195
/proc/meminfo: memFree=29276784/32873648 swapFree=6864/6864
[pid=15195] ppid=15193 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/15195/stat : 15195 (npSolver-pbo.sh) S 15193 15195 11614 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 273435274 9367552 275 33554432000 4194304 5064252 140734504453696 140734504452608 270707353166 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/15195/statm: 2287 275 233 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148
[startup+0.700179 s]
/proc/loadavg: 2.03 2.06 2.01 3/179 15195
/proc/meminfo: memFree=29276784/32873648 swapFree=6864/6864
[pid=15195] ppid=15193 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/15195/stat : 15195 (npSolver-pbo.sh) S 15193 15195 11614 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 273435274 9367552 275 33554432000 4194304 5064252 140734504453696 140734504452608 270707353166 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/15195/statm: 2287 275 233 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148
[startup+1.5003 s]
/proc/loadavg: 2.03 2.06 2.01 3/181 15197
/proc/meminfo: memFree=29245632/32873648 swapFree=6864/6864
[pid=15195] ppid=15193 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/15195/stat : 15195 (npSolver-pbo.sh) S 15193 15195 11614 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 273435274 9367552 275 33554432000 4194304 5064252 140734504453696 140734504452608 270707353166 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/15195/statm: 2287 275 233 213 0 72 0
[pid=15196] ppid=15195 vsize=107456 CPUtime=1.49 cores=1,3,5,7
/proc/15196/stat : 15196 (npSolver-pbo) R 15195 15195 11614 0 -1 4202496 8371 0 0 0 146 3 0 0 20 0 1 0 273435274 110034944 18547 33554432000 4194304 5992684 140735404434432 140735404426504 4955499 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/15196/statm: 26864 18547 157 440 0 26420 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 116604
[startup+3.1003 s]
/proc/loadavg: 2.03 2.06 2.01 3/183 15199
/proc/meminfo: memFree=29098004/32873648 swapFree=6864/6864
[pid=15195] ppid=15193 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/15195/stat : 15195 (npSolver-pbo.sh) S 15193 15195 11614 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 273435274 9367552 275 33554432000 4194304 5064252 140734504453696 140734504452608 270707353166 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/15195/statm: 2287 275 233 213 0 72 0
[pid=15196] ppid=15195 vsize=107456 CPUtime=1.56 cores=1,3,5,7
/proc/15196/stat : 15196 (npSolver-pbo) S 15195 15195 11614 0 -1 4202496 8780 0 0 0 147 9 0 0 20 0 1 0 273435274 110034944 19578 33554432000 4194304 5992684 140735404434432 140735404428464 5175646 0 65536 4102 0 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/15196/statm: 26864 19578 164 440 0 26420 0
[pid=15198] ppid=15196 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/15198/stat : 15198 (cp2_pre.sh) S 15196 15195 11614 0 -1 4202496 609 0 0 0 0 0 0 0 20 0 1 0 273435431 9367552 277 33554432000 4194304 5064252 140733302622096 140733302620800 270707353166 0 65536 4100 65538 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/15198/statm: 2287 277 234 213 0 72 0
[pid=15199] ppid=15198 vsize=228916 CPUtime=1.51 cores=1,3,5,7
/proc/15199/stat : 15199 (coprocessor) R 15198 15195 11614 0 -1 4202496 34214 0 0 0 144 7 0 0 20 0 1 0 273435431 234409984 52117 33554432000 4194304 6586260 140735734421536 140735734417800 4496358 0 0 4096 8404994 0 0 0 17 1 0 0 0 0 0
/proc/15199/statm: 57229 52118 166 584 0 56641 0
Current children cumulated CPU time (s) 3.07
Current children cumulated vsize (KiB) 354668
[startup+6.3003 s]
/proc/loadavg: 2.11 2.07 2.02 3/183 15199
/proc/meminfo: memFree=28871128/32873648 swapFree=6864/6864
[pid=15195] ppid=15193 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/15195/stat : 15195 (npSolver-pbo.sh) S 15193 15195 11614 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 273435274 9367552 275 33554432000 4194304 5064252 140734504453696 140734504452608 270707353166 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/15195/statm: 2287 275 233 213 0 72 0
[pid=15196] ppid=15195 vsize=107456 CPUtime=1.56 cores=1,3,5,7
/proc/15196/stat : 15196 (npSolver-pbo) S 15195 15195 11614 0 -1 4202496 8780 0 0 0 147 9 0 0 20 0 1 0 273435274 110034944 19578 33554432000 4194304 5992684 140735404434432 140735404428464 5175646 0 65536 4102 0 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/15196/statm: 26864 19578 164 440 0 26420 0
[pid=15198] ppid=15196 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/15198/stat : 15198 (cp2_pre.sh) S 15196 15195 11614 0 -1 4202496 609 0 0 0 0 0 0 0 20 0 1 0 273435431 9367552 277 33554432000 4194304 5064252 140733302622096 140733302620800 270707353166 0 65536 4100 65538 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/15198/statm: 2287 277 234 213 0 72 0
[pid=15199] ppid=15198 vsize=291608 CPUtime=4.71 cores=1,3,5,7
/proc/15199/stat : 15199 (coprocessor) R 15198 15195 11614 0 -1 4202496 45637 0 0 0 458 13 0 0 20 0 1 0 273435431 298606592 70223 33554432000 4194304 6586260 140735734421536 140735734417288 5732496 0 0 4096 8404994 0 0 0 17 1 0 0 0 0 0
/proc/15199/statm: 72902 70223 198 584 0 72314 0
Current children cumulated CPU time (s) 6.27
Current children cumulated vsize (KiB) 417360
[startup+12.7003 s]
/proc/loadavg: 2.18 2.09 2.02 3/183 15202
/proc/meminfo: memFree=29036540/32873648 swapFree=6864/6864
[pid=15195] ppid=15193 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/15195/stat : 15195 (npSolver-pbo.sh) S 15193 15195 11614 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 273435274 9367552 275 33554432000 4194304 5064252 140734504453696 140734504452608 270707353166 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/15195/statm: 2287 275 233 213 0 72 0
[pid=15196] ppid=15195 vsize=107456 CPUtime=7.1 cores=1,3,5,7
/proc/15196/stat : 15196 (npSolver-pbo) S 15195 15195 11614 0 -1 4202496 8788 46541 0 0 147 9 536 18 20 0 1 0 273435274 110034944 19578 33554432000 4194304 5992684 140735404434432 140735404429552 5175646 0 65536 4102 0 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/15196/statm: 26864 19578 164 440 0 26420 0
[pid=15201] ppid=15196 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/15201/stat : 15201 (satsolver.sh) S 15196 15195 11614 0 -1 4202496 599 0 0 0 0 0 0 0 20 0 1 0 273435987 9367552 267 33554432000 4194304 5064252 140736931972112 140736931971024 270707353166 0 65536 4100 65538 18446744071579302229 0 0 17 7 0 0 0 0 0
/proc/15201/statm: 2287 267 226 213 0 72 0
[pid=15202] ppid=15201 vsize=151496 CPUtime=5.56 cores=1,3,5,7
/proc/15202/stat : 15202 (glucose) R 15201 15195 11614 0 -1 4202496 25880 0 0 0 552 4 0 0 20 0 1 0 273435987 155131904 31604 33554432000 4194304 5208918 140736586515632 140736586513384 4229319 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/15202/statm: 37874 31604 103 248 0 37623 0
Current children cumulated CPU time (s) 12.66
Current children cumulated vsize (KiB) 277248
[startup+25.5004 s]
/proc/loadavg: 2.14 2.08 2.02 3/183 15202
/proc/meminfo: memFree=29031560/32873648 swapFree=6864/6864
[pid=15195] ppid=15193 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/15195/stat : 15195 (npSolver-pbo.sh) S 15193 15195 11614 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 273435274 9367552 275 33554432000 4194304 5064252 140734504453696 140734504452608 270707353166 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/15195/statm: 2287 275 233 213 0 72 0
[pid=15196] ppid=15195 vsize=107456 CPUtime=7.1 cores=1,3,5,7
/proc/15196/stat : 15196 (npSolver-pbo) S 15195 15195 11614 0 -1 4202496 8788 46541 0 0 147 9 536 18 20 0 1 0 273435274 110034944 19578 33554432000 4194304 5992684 140735404434432 140735404429552 5175646 0 65536 4102 0 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/15196/statm: 26864 19578 164 440 0 26420 0
[pid=15201] ppid=15196 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/15201/stat : 15201 (satsolver.sh) S 15196 15195 11614 0 -1 4202496 599 0 0 0 0 0 0 0 20 0 1 0 273435987 9367552 267 33554432000 4194304 5064252 140736931972112 140736931971024 270707353166 0 65536 4100 65538 18446744071579302229 0 0 17 7 0 0 0 0 0
/proc/15201/statm: 2287 267 226 213 0 72 0
[pid=15202] ppid=15201 vsize=152712 CPUtime=18.36 cores=1,3,5,7
/proc/15202/stat : 15202 (glucose) R 15201 15195 11614 0 -1 4202496 26206 0 0 0 1832 4 0 0 20 0 1 0 273435987 156377088 32441 33554432000 4194304 5208918 140736586515632 140736586513592 4229344 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/15202/statm: 38178 32441 104 248 0 37927 0
Current children cumulated CPU time (s) 25.46
Current children cumulated vsize (KiB) 278464
[startup+51.1003 s]
/proc/loadavg: 2.09 2.08 2.02 3/183 15210
/proc/meminfo: memFree=28995412/32873648 swapFree=6864/6864
[pid=15195] ppid=15193 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/15195/stat : 15195 (npSolver-pbo.sh) S 15193 15195 11614 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 273435274 9367552 275 33554432000 4194304 5064252 140734504453696 140734504452608 270707353166 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/15195/statm: 2287 275 233 213 0 72 0
[pid=15196] ppid=15195 vsize=107460 CPUtime=39.83 cores=1,3,5,7
/proc/15196/stat : 15196 (npSolver-pbo) S 15195 15195 11614 0 -1 4202496 9826 80627 0 0 176 176 3598 33 20 0 1 0 273435274 110039040 19590 33554432000 4194304 5992684 140735404434432 140735404426752 5175646 0 65536 4102 0 18446744071579302229 0 0 17 3 0 0 12 0 0
/proc/15196/statm: 26865 19590 175 440 0 26421 0
[pid=15208] ppid=15196 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/15208/stat : 15208 (satsolver.sh) S 15196 15195 11614 0 -1 4202496 598 0 0 0 0 0 0 0 20 0 1 0 273439272 9367552 267 33554432000 4194304 5064252 140733383993152 140733383992064 270707353166 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/15208/statm: 2287 267 226 213 0 72 0
[pid=15209] ppid=15208 vsize=148924 CPUtime=11.11 cores=1,3,5,7
/proc/15209/stat : 15209 (glucose) R 15208 15195 11614 0 -1 4202496 23880 0 0 0 1105 6 0 0 20 0 1 0 273439272 152498176 31825 33554432000 4194304 5208918 140734906339856 140734906337704 4229319 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/15209/statm: 37231 31825 103 248 0 36980 0
Current children cumulated CPU time (s) 50.94
Current children cumulated vsize (KiB) 274680
[startup+102.3 s]
/proc/loadavg: 2.04 2.06 2.01 3/183 15210
/proc/meminfo: memFree=28969936/32873648 swapFree=6864/6864
[pid=15195] ppid=15193 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/15195/stat : 15195 (npSolver-pbo.sh) S 15193 15195 11614 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 273435274 9367552 275 33554432000 4194304 5064252 140734504453696 140734504452608 270707353166 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/15195/statm: 2287 275 233 213 0 72 0
[pid=15196] ppid=15195 vsize=107460 CPUtime=39.83 cores=1,3,5,7
/proc/15196/stat : 15196 (npSolver-pbo) S 15195 15195 11614 0 -1 4202496 9826 80627 0 0 176 176 3598 33 20 0 1 0 273435274 110039040 19590 33554432000 4194304 5992684 140735404434432 140735404426752 5175646 0 65536 4102 0 18446744071579302229 0 0 17 3 0 0 12 0 0
/proc/15196/statm: 26865 19590 175 440 0 26421 0
[pid=15208] ppid=15196 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/15208/stat : 15208 (satsolver.sh) S 15196 15195 11614 0 -1 4202496 598 0 0 0 0 0 0 0 20 0 1 0 273439272 9367552 267 33554432000 4194304 5064252 140733383993152 140733383992064 270707353166 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/15208/statm: 2287 267 226 213 0 72 0
[pid=15209] ppid=15208 vsize=167868 CPUtime=62.29 cores=1,3,5,7
/proc/15209/stat : 15209 (glucose) R 15208 15195 11614 0 -1 4202496 28243 0 0 0 6222 7 0 0 20 0 1 0 273439272 171896832 38350 33554432000 4194304 5208918 140734906339856 140734906337704 4212874 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/15209/statm: 41967 38350 104 248 0 41716 0
Current children cumulated CPU time (s) 102.12
Current children cumulated vsize (KiB) 293624
[startup+162.3 s]
/proc/loadavg: 2.01 2.05 2.01 3/182 15317
/proc/meminfo: memFree=28794444/32873648 swapFree=6864/6864
[pid=15195] ppid=15193 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/15195/stat : 15195 (npSolver-pbo.sh) S 15193 15195 11614 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 273435274 9367552 275 33554432000 4194304 5064252 140734504453696 140734504452608 270707353166 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/15195/statm: 2287 275 233 213 0 72 0
[pid=15196] ppid=15195 vsize=107460 CPUtime=39.83 cores=1,3,5,7
/proc/15196/stat : 15196 (npSolver-pbo) S 15195 15195 11614 0 -1 4202496 9826 80627 0 0 176 176 3598 33 20 0 1 0 273435274 110039040 19590 33554432000 4194304 5992684 140735404434432 140735404426752 5175646 0 65536 4102 0 18446744071579302229 0 0 17 3 0 0 12 0 0
/proc/15196/statm: 26865 19590 175 440 0 26421 0
[pid=15208] ppid=15196 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/15208/stat : 15208 (satsolver.sh) S 15196 15195 11614 0 -1 4202496 598 0 0 0 0 0 0 0 20 0 1 0 273439272 9367552 267 33554432000 4194304 5064252 140733383993152 140733383992064 270707353166 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/15208/statm: 2287 267 226 213 0 72 0
[pid=15209] ppid=15208 vsize=175496 CPUtime=122.27 cores=1,3,5,7
/proc/15209/stat : 15209 (glucose) R 15208 15195 11614 0 -1 4202496 30884 0 0 0 12218 9 0 0 20 0 1 0 273439272 179707904 40761 33554432000 4194304 5208918 140734906339856 140734906337704 4229365 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/15209/statm: 43874 40761 105 248 0 43623 0
Current children cumulated CPU time (s) 162.1
################
# More data... #
################
[startup+1362.3 s]
/proc/loadavg: 3.46 3.32 2.58 3/184 15458
/proc/meminfo: memFree=28987428/32873648 swapFree=6864/6864
[pid=15195] ppid=15193 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/15195/stat : 15195 (npSolver-pbo.sh) S 15193 15195 11614 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 273435274 9367552 275 33554432000 4194304 5064252 140734504453696 140734504452608 270707353166 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/15195/statm: 2287 275 233 213 0 72 0
[pid=15196] ppid=15195 vsize=107460 CPUtime=232.06 cores=1,3,5,7
/proc/15196/stat : 15196 (npSolver-pbo) S 15195 15195 11614 0 -1 4202496 11073 119110 0 0 178 176 22799 53 20 0 1 0 273435274 110039040 20222 33554432000 4194304 5992684 140735404434432 140735404426752 5175646 0 65536 4102 0 18446744071579302229 0 0 17 3 0 0 12 0 0
/proc/15196/statm: 26865 20222 175 440 0 26421 0
[pid=15348] ppid=15196 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/15348/stat : 15348 (satsolver.sh) S 15196 15195 11614 0 -1 4202496 598 0 0 0 0 0 0 0 20 0 1 0 273458500 9367552 267 33554432000 4194304 5064252 140737405740176 140737405739088 270707353166 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/15348/statm: 2287 267 226 213 0 72 0
[pid=15349] ppid=15348 vsize=180844 CPUtime=1129.84 cores=1,3,5,7
/proc/15349/stat : 15349 (glucose) R 15348 15195 11614 0 -1 4202496 36568 0 0 0 112969 15 0 0 20 0 1 0 273458500 185184256 40290 33554432000 4194304 5208918 140736659292752 140736659290600 4229888 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/15349/statm: 45211 40290 105 248 0 44960 0
Current children cumulated CPU time (s) 1361.9
Current children cumulated vsize (KiB) 306600
[startup+1422.3 s]
/proc/loadavg: 2.53 3.08 2.54 3/183 15458
/proc/meminfo: memFree=28978452/32873648 swapFree=6864/6864
[pid=15195] ppid=15193 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/15195/stat : 15195 (npSolver-pbo.sh) S 15193 15195 11614 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 273435274 9367552 275 33554432000 4194304 5064252 140734504453696 140734504452608 270707353166 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/15195/statm: 2287 275 233 213 0 72 0
[pid=15196] ppid=15195 vsize=107460 CPUtime=232.06 cores=1,3,5,7
/proc/15196/stat : 15196 (npSolver-pbo) S 15195 15195 11614 0 -1 4202496 11073 119110 0 0 178 176 22799 53 20 0 1 0 273435274 110039040 20222 33554432000 4194304 5992684 140735404434432 140735404426752 5175646 0 65536 4102 0 18446744071579302229 0 0 17 3 0 0 12 0 0
/proc/15196/statm: 26865 20222 175 440 0 26421 0
[pid=15348] ppid=15196 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/15348/stat : 15348 (satsolver.sh) S 15196 15195 11614 0 -1 4202496 598 0 0 0 0 0 0 0 20 0 1 0 273458500 9367552 267 33554432000 4194304 5064252 140737405740176 140737405739088 270707353166 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/15348/statm: 2287 267 226 213 0 72 0
[pid=15349] ppid=15348 vsize=181232 CPUtime=1189.83 cores=1,3,5,7
/proc/15349/stat : 15349 (glucose) R 15348 15195 11614 0 -1 4202496 37059 0 0 0 118967 16 0 0 20 0 1 0 273458500 185581568 39396 33554432000 4194304 5208918 140736659292752 140736659290840 4228997 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/15349/statm: 45308 39396 105 248 0 45057 0
Current children cumulated CPU time (s) 1421.89
Current children cumulated vsize (KiB) 306988
[startup+1482.3 s]
/proc/loadavg: 2.23 2.89 2.51 3/183 15458
/proc/meminfo: memFree=28956048/32873648 swapFree=6864/6864
[pid=15195] ppid=15193 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/15195/stat : 15195 (npSolver-pbo.sh) S 15193 15195 11614 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 273435274 9367552 275 33554432000 4194304 5064252 140734504453696 140734504452608 270707353166 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/15195/statm: 2287 275 233 213 0 72 0
[pid=15196] ppid=15195 vsize=107460 CPUtime=232.06 cores=1,3,5,7
/proc/15196/stat : 15196 (npSolver-pbo) S 15195 15195 11614 0 -1 4202496 11073 119110 0 0 178 176 22799 53 20 0 1 0 273435274 110039040 20222 33554432000 4194304 5992684 140735404434432 140735404426752 5175646 0 65536 4102 0 18446744071579302229 0 0 17 3 0 0 12 0 0
/proc/15196/statm: 26865 20222 175 440 0 26421 0
[pid=15348] ppid=15196 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/15348/stat : 15348 (satsolver.sh) S 15196 15195 11614 0 -1 4202496 598 0 0 0 0 0 0 0 20 0 1 0 273458500 9367552 267 33554432000 4194304 5064252 140737405740176 140737405739088 270707353166 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/15348/statm: 2287 267 226 213 0 72 0
[pid=15349] ppid=15348 vsize=181900 CPUtime=1249.82 cores=1,3,5,7
/proc/15349/stat : 15349 (glucose) R 15348 15195 11614 0 -1 4202496 37194 0 0 0 124966 16 0 0 20 0 1 0 273458500 186265600 40118 33554432000 4194304 5208918 140736659292752 140736659290600 4229319 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/15349/statm: 45475 40118 105 248 0 45224 0
Current children cumulated CPU time (s) 1481.88
Current children cumulated vsize (KiB) 307656
[startup+1542.3 s]
/proc/loadavg: 2.08 2.73 2.47 3/183 15458
/proc/meminfo: memFree=28949208/32873648 swapFree=6864/6864
[pid=15195] ppid=15193 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/15195/stat : 15195 (npSolver-pbo.sh) S 15193 15195 11614 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 273435274 9367552 275 33554432000 4194304 5064252 140734504453696 140734504452608 270707353166 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/15195/statm: 2287 275 233 213 0 72 0
[pid=15196] ppid=15195 vsize=107460 CPUtime=232.06 cores=1,3,5,7
/proc/15196/stat : 15196 (npSolver-pbo) S 15195 15195 11614 0 -1 4202496 11073 119110 0 0 178 176 22799 53 20 0 1 0 273435274 110039040 20222 33554432000 4194304 5992684 140735404434432 140735404426752 5175646 0 65536 4102 0 18446744071579302229 0 0 17 3 0 0 12 0 0
/proc/15196/statm: 26865 20222 175 440 0 26421 0
[pid=15348] ppid=15196 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/15348/stat : 15348 (satsolver.sh) S 15196 15195 11614 0 -1 4202496 598 0 0 0 0 0 0 0 20 0 1 0 273458500 9367552 267 33554432000 4194304 5064252 140737405740176 140737405739088 270707353166 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/15348/statm: 2287 267 226 213 0 72 0
[pid=15349] ppid=15348 vsize=182764 CPUtime=1309.81 cores=1,3,5,7
/proc/15349/stat : 15349 (glucose) R 15348 15195 11614 0 -1 4202496 37380 0 0 0 130965 16 0 0 20 0 1 0 273458500 187150336 41326 33554432000 4194304 5208918 140736659292752 140736659290600 4229365 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/15349/statm: 45691 41326 105 248 0 45440 0
Current children cumulated CPU time (s) 1541.87
Current children cumulated vsize (KiB) 308520
[startup+1602.3 s]
/proc/loadavg: 2.03 2.59 2.44 3/183 15459
/proc/meminfo: memFree=28943316/32873648 swapFree=6864/6864
[pid=15195] ppid=15193 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/15195/stat : 15195 (npSolver-pbo.sh) S 15193 15195 11614 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 273435274 9367552 275 33554432000 4194304 5064252 140734504453696 140734504452608 270707353166 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/15195/statm: 2287 275 233 213 0 72 0
[pid=15196] ppid=15195 vsize=107460 CPUtime=232.06 cores=1,3,5,7
/proc/15196/stat : 15196 (npSolver-pbo) S 15195 15195 11614 0 -1 4202496 11073 119110 0 0 178 176 22799 53 20 0 1 0 273435274 110039040 20222 33554432000 4194304 5992684 140735404434432 140735404426752 5175646 0 65536 4102 0 18446744071579302229 0 0 17 3 0 0 12 0 0
/proc/15196/statm: 26865 20222 175 440 0 26421 0
[pid=15348] ppid=15196 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/15348/stat : 15348 (satsolver.sh) S 15196 15195 11614 0 -1 4202496 598 0 0 0 0 0 0 0 20 0 1 0 273458500 9367552 267 33554432000 4194304 5064252 140737405740176 140737405739088 270707353166 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/15348/statm: 2287 267 226 213 0 72 0
[pid=15349] ppid=15348 vsize=182764 CPUtime=1369.8 cores=1,3,5,7
/proc/15349/stat : 15349 (glucose) R 15348 15195 11614 0 -1 4202496 37399 0 0 0 136964 16 0 0 20 0 1 0 273458500 187150336 42878 33554432000 4194304 5208918 140736659292752 140736659290600 4229319 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/15349/statm: 45691 42878 105 248 0 45440 0
Current children cumulated CPU time (s) 1601.86
Current children cumulated vsize (KiB) 308520
[startup+1662.3 s]
/proc/loadavg: 2.01 2.48 2.41 3/182 15459
/proc/meminfo: memFree=28956828/32873648 swapFree=6864/6864
[pid=15195] ppid=15193 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/15195/stat : 15195 (npSolver-pbo.sh) S 15193 15195 11614 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 273435274 9367552 275 33554432000 4194304 5064252 140734504453696 140734504452608 270707353166 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/15195/statm: 2287 275 233 213 0 72 0
[pid=15196] ppid=15195 vsize=107460 CPUtime=232.06 cores=1,3,5,7
/proc/15196/stat : 15196 (npSolver-pbo) S 15195 15195 11614 0 -1 4202496 11073 119110 0 0 178 176 22799 53 20 0 1 0 273435274 110039040 20222 33554432000 4194304 5992684 140735404434432 140735404426752 5175646 0 65536 4102 0 18446744071579302229 0 0 17 3 0 0 12 0 0
/proc/15196/statm: 26865 20222 175 440 0 26421 0
[pid=15348] ppid=15196 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/15348/stat : 15348 (satsolver.sh) S 15196 15195 11614 0 -1 4202496 598 0 0 0 0 0 0 0 20 0 1 0 273458500 9367552 267 33554432000 4194304 5064252 140737405740176 140737405739088 270707353166 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/15348/statm: 2287 267 226 213 0 72 0
[pid=15349] ppid=15348 vsize=183212 CPUtime=1429.79 cores=1,3,5,7
/proc/15349/stat : 15349 (glucose) R 15348 15195 11614 0 -1 4202496 38450 0 0 0 142962 17 0 0 20 0 1 0 273458500 187609088 39491 33554432000 4194304 5208918 140736659292752 140736659290840 4229311 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/15349/statm: 45803 39491 105 248 0 45552 0
Current children cumulated CPU time (s) 1661.85
Current children cumulated vsize (KiB) 308968
[startup+1722.31 s]
/proc/loadavg: 2.00 2.39 2.38 3/184 15461
/proc/meminfo: memFree=28949228/32873648 swapFree=6864/6864
[pid=15195] ppid=15193 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/15195/stat : 15195 (npSolver-pbo.sh) S 15193 15195 11614 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 273435274 9367552 275 33554432000 4194304 5064252 140734504453696 140734504452608 270707353166 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/15195/statm: 2287 275 233 213 0 72 0
[pid=15196] ppid=15195 vsize=107460 CPUtime=232.06 cores=1,3,5,7
/proc/15196/stat : 15196 (npSolver-pbo) S 15195 15195 11614 0 -1 4202496 11073 119110 0 0 178 176 22799 53 20 0 1 0 273435274 110039040 20222 33554432000 4194304 5992684 140735404434432 140735404426752 5175646 0 65536 4102 0 18446744071579302229 0 0 17 3 0 0 12 0 0
/proc/15196/statm: 26865 20222 175 440 0 26421 0
[pid=15348] ppid=15196 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/15348/stat : 15348 (satsolver.sh) S 15196 15195 11614 0 -1 4202496 598 0 0 0 0 0 0 0 20 0 1 0 273458500 9367552 267 33554432000 4194304 5064252 140737405740176 140737405739088 270707353166 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/15348/statm: 2287 267 226 213 0 72 0
[pid=15349] ppid=15348 vsize=185968 CPUtime=1489.78 cores=1,3,5,7
/proc/15349/stat : 15349 (glucose) R 15348 15195 11614 0 -1 4202496 38796 0 0 0 148961 17 0 0 20 0 1 0 273458500 190431232 41370 33554432000 4194304 5208918 140736659292752 140736659290584 4229365 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/15349/statm: 46492 41370 105 248 0 46241 0
Current children cumulated CPU time (s) 1721.84
Current children cumulated vsize (KiB) 311724
[startup+1782.3 s]
/proc/loadavg: 2.00 2.32 2.35 3/183 15461
/proc/meminfo: memFree=28897168/32873648 swapFree=6864/6864
[pid=15195] ppid=15193 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/15195/stat : 15195 (npSolver-pbo.sh) S 15193 15195 11614 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 273435274 9367552 275 33554432000 4194304 5064252 140734504453696 140734504452608 270707353166 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/15195/statm: 2287 275 233 213 0 72 0
[pid=15196] ppid=15195 vsize=107460 CPUtime=232.06 cores=1,3,5,7
/proc/15196/stat : 15196 (npSolver-pbo) S 15195 15195 11614 0 -1 4202496 11073 119110 0 0 178 176 22799 53 20 0 1 0 273435274 110039040 20222 33554432000 4194304 5992684 140735404434432 140735404426752 5175646 0 65536 4102 0 18446744071579302229 0 0 17 3 0 0 12 0 0
/proc/15196/statm: 26865 20222 175 440 0 26421 0
[pid=15348] ppid=15196 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/15348/stat : 15348 (satsolver.sh) S 15196 15195 11614 0 -1 4202496 598 0 0 0 0 0 0 0 20 0 1 0 273458500 9367552 267 33554432000 4194304 5064252 140737405740176 140737405739088 270707353166 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/15348/statm: 2287 267 226 213 0 72 0
[pid=15349] ppid=15348 vsize=185968 CPUtime=1549.78 cores=1,3,5,7
/proc/15349/stat : 15349 (glucose) R 15348 15195 11614 0 -1 4202496 38799 0 0 0 154960 18 0 0 20 0 1 0 273458500 190431232 42906 33554432000 4194304 5208918 140736659292752 140736659290584 4229748 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/15349/statm: 46492 42906 105 248 0 46241 0
Current children cumulated CPU time (s) 1781.84
Current children cumulated vsize (KiB) 311724
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+1800.5 s]
/proc/loadavg: 2.07 2.31 2.35 3/183 15461
/proc/meminfo: memFree=28911132/32873648 swapFree=6864/6864
[pid=15195] ppid=15193 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/15195/stat : 15195 (npSolver-pbo.sh) S 15193 15195 11614 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 273435274 9367552 275 33554432000 4194304 5064252 140734504453696 140734504452608 270707353166 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/15195/statm: 2287 275 233 213 0 72 0
[pid=15196] ppid=15195 vsize=107460 CPUtime=232.06 cores=1,3,5,7
/proc/15196/stat : 15196 (npSolver-pbo) S 15195 15195 11614 0 -1 4202496 11073 119110 0 0 178 176 22799 53 20 0 1 0 273435274 110039040 20222 33554432000 4194304 5992684 140735404434432 140735404426752 5175646 0 65536 4102 0 18446744071579302229 0 0 17 3 0 0 12 0 0
/proc/15196/statm: 26865 20222 175 440 0 26421 0
[pid=15348] ppid=15196 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/15348/stat : 15348 (satsolver.sh) S 15196 15195 11614 0 -1 4202496 598 0 0 0 0 0 0 0 20 0 1 0 273458500 9367552 267 33554432000 4194304 5064252 140737405740176 140737405739088 270707353166 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/15348/statm: 2287 267 226 213 0 72 0
[pid=15349] ppid=15348 vsize=185968 CPUtime=1567.98 cores=1,3,5,7
/proc/15349/stat : 15349 (glucose) R 15348 15195 11614 0 -1 4202496 39146 0 0 0 156780 18 0 0 20 0 1 0 273458500 190431232 39751 33554432000 4194304 5208918 140736659292752 140736659290840 4229365 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/15349/statm: 46492 39751 105 248 0 46241 0
Current children cumulated CPU time (s) 1800.04
Current children cumulated vsize (KiB) 311724
Sending SIGTERM to process tree (bottom up)
Solver just ended. Dumping a history of the last processes samples
Child status: 0
Real time (s): 1800.51
CPU time (s): 1800.08
CPU user time (s): 1797.58
CPU system time (s): 2.50062
CPU usage (%): 99.9758
Max. virtual memory (cumulated for all children) (KiB): 417360
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1797.58
system time used= 2.50062
maximum resident set size= 288896
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 170318
page faults= 0
swaps= 0
block input operations= 0
block output operations= 401968
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 1364
involuntary context switches= 1908
runsolver used 3.2685 second user time and 9.1906 second system time
The end