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-3701728-1338078018/watcher-3701728-1338078018 -o /tmp/evaluation-result-3701728-1338078018/solver-3701728-1338078018 -C 1800 -W 1900 -M 15500 HOME/npSolver-pbo.sh HOME/instance-3701728-1338078018.opb 174845953 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.03 2.03 2.00 3/180 15869
/proc/meminfo: memFree=29185156/32873648 swapFree=6864/6864
[pid=15869] ppid=15867 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/15869/stat : 15869 (npSolver-pbo.sh) S 15867 15869 11614 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 273927278 9367552 275 33554432000 4194304 5064252 140734900794832 140734900793744 270707353166 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/15869/statm: 2287 275 233 213 0 72 0
[startup+0.088021 s]
/proc/loadavg: 2.03 2.03 2.00 3/180 15869
/proc/meminfo: memFree=29185156/32873648 swapFree=6864/6864
[pid=15869] ppid=15867 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/15869/stat : 15869 (npSolver-pbo.sh) S 15867 15869 11614 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 273927278 9367552 275 33554432000 4194304 5064252 140734900794832 140734900793744 270707353166 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/15869/statm: 2287 275 233 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148
[startup+0.100225 s]
/proc/loadavg: 2.03 2.03 2.00 3/180 15869
/proc/meminfo: memFree=29185156/32873648 swapFree=6864/6864
[pid=15869] ppid=15867 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/15869/stat : 15869 (npSolver-pbo.sh) S 15867 15869 11614 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 273927278 9367552 275 33554432000 4194304 5064252 140734900794832 140734900793744 270707353166 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/15869/statm: 2287 275 233 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148
[startup+0.300268 s]
/proc/loadavg: 2.03 2.03 2.00 3/180 15869
/proc/meminfo: memFree=29185156/32873648 swapFree=6864/6864
[pid=15869] ppid=15867 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/15869/stat : 15869 (npSolver-pbo.sh) S 15867 15869 11614 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 273927278 9367552 275 33554432000 4194304 5064252 140734900794832 140734900793744 270707353166 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/15869/statm: 2287 275 233 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148
[startup+0.700237 s]
/proc/loadavg: 2.03 2.03 2.00 3/180 15869
/proc/meminfo: memFree=29185156/32873648 swapFree=6864/6864
[pid=15869] ppid=15867 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/15869/stat : 15869 (npSolver-pbo.sh) S 15867 15869 11614 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 273927278 9367552 275 33554432000 4194304 5064252 140734900794832 140734900793744 270707353166 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/15869/statm: 2287 275 233 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148
[startup+1.50026 s]
/proc/loadavg: 2.03 2.03 2.00 3/184 15883
/proc/meminfo: memFree=29169880/32873648 swapFree=6864/6864
[pid=15869] ppid=15867 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/15869/stat : 15869 (npSolver-pbo.sh) S 15867 15869 11614 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 273927278 9367552 275 33554432000 4194304 5064252 140734900794832 140734900793744 270707353166 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/15869/statm: 2287 275 233 213 0 72 0
[pid=15870] ppid=15869 vsize=6452 CPUtime=0.63 cores=0,2,4,6
/proc/15870/stat : 15870 (npSolver-pbo) S 15869 15869 11614 0 -1 4202496 2154 13023 0 0 6 7 44 6 20 0 1 0 273927279 6606848 1079 33554432000 4194304 5992684 140734843984640 140734843976960 5175646 0 65536 4102 0 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/15870/statm: 1613 1079 179 440 0 1169 0
[pid=15882] ppid=15870 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/15882/stat : 15882 (satsolver.sh) S 15870 15869 11614 0 -1 4202496 596 0 0 0 0 0 0 0 20 0 1 0 273927343 9367552 266 33554432000 4194304 5064252 140733938081728 140733938080640 270707353166 0 65536 4100 65538 18446744071579302229 0 0 17 6 0 0 0 0 0
/proc/15882/statm: 2287 266 226 213 0 72 0
[pid=15883] ppid=15882 vsize=11700 CPUtime=0.84 cores=0,2,4,6
/proc/15883/stat : 15883 (glucose) R 15882 15869 11614 0 -1 4202496 3161 0 0 0 84 0 0 0 20 0 1 0 273927344 11980800 2491 33554432000 4194304 5208918 140736748496224 140736748494072 4205227 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/15883/statm: 2925 2491 104 248 0 2674 0
Current children cumulated CPU time (s) 1.47
Current children cumulated vsize (KiB) 36448
[startup+3.10026 s]
/proc/loadavg: 2.03 2.03 2.00 3/184 15883
/proc/meminfo: memFree=29168516/32873648 swapFree=6864/6864
[pid=15869] ppid=15867 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/15869/stat : 15869 (npSolver-pbo.sh) S 15867 15869 11614 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 273927278 9367552 275 33554432000 4194304 5064252 140734900794832 140734900793744 270707353166 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/15869/statm: 2287 275 233 213 0 72 0
[pid=15870] ppid=15869 vsize=6452 CPUtime=0.63 cores=0,2,4,6
/proc/15870/stat : 15870 (npSolver-pbo) S 15869 15869 11614 0 -1 4202496 2154 13023 0 0 6 7 44 6 20 0 1 0 273927279 6606848 1079 33554432000 4194304 5992684 140734843984640 140734843976960 5175646 0 65536 4102 0 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/15870/statm: 1613 1079 179 440 0 1169 0
[pid=15882] ppid=15870 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/15882/stat : 15882 (satsolver.sh) S 15870 15869 11614 0 -1 4202496 596 0 0 0 0 0 0 0 20 0 1 0 273927343 9367552 266 33554432000 4194304 5064252 140733938081728 140733938080640 270707353166 0 65536 4100 65538 18446744071579302229 0 0 17 6 0 0 0 0 0
/proc/15882/statm: 2287 266 226 213 0 72 0
[pid=15883] ppid=15882 vsize=14796 CPUtime=2.44 cores=0,2,4,6
/proc/15883/stat : 15883 (glucose) R 15882 15869 11614 0 -1 4202496 3955 0 0 0 244 0 0 0 20 0 1 0 273927344 15151104 3242 33554432000 4194304 5208918 140736748496224 140736748492600 4229039 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/15883/statm: 3699 3242 104 248 0 3448 0
Current children cumulated CPU time (s) 3.07
Current children cumulated vsize (KiB) 39544
[startup+6.30027 s]
/proc/loadavg: 2.19 2.06 2.01 3/184 15883
/proc/meminfo: memFree=29160700/32873648 swapFree=6864/6864
[pid=15869] ppid=15867 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/15869/stat : 15869 (npSolver-pbo.sh) S 15867 15869 11614 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 273927278 9367552 275 33554432000 4194304 5064252 140734900794832 140734900793744 270707353166 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/15869/statm: 2287 275 233 213 0 72 0
[pid=15870] ppid=15869 vsize=6452 CPUtime=0.63 cores=0,2,4,6
/proc/15870/stat : 15870 (npSolver-pbo) S 15869 15869 11614 0 -1 4202496 2154 13023 0 0 6 7 44 6 20 0 1 0 273927279 6606848 1079 33554432000 4194304 5992684 140734843984640 140734843976960 5175646 0 65536 4102 0 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/15870/statm: 1613 1079 179 440 0 1169 0
[pid=15882] ppid=15870 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/15882/stat : 15882 (satsolver.sh) S 15870 15869 11614 0 -1 4202496 596 0 0 0 0 0 0 0 20 0 1 0 273927343 9367552 266 33554432000 4194304 5064252 140733938081728 140733938080640 270707353166 0 65536 4100 65538 18446744071579302229 0 0 17 6 0 0 0 0 0
/proc/15882/statm: 2287 266 226 213 0 72 0
[pid=15883] ppid=15882 vsize=19148 CPUtime=5.63 cores=0,2,4,6
/proc/15883/stat : 15883 (glucose) R 15882 15869 11614 0 -1 4202496 4608 0 0 0 563 0 0 0 20 0 1 0 273927344 19607552 4396 33554432000 4194304 5208918 140736748496224 140736748492536 4213228 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/15883/statm: 4787 4396 104 248 0 4536 0
Current children cumulated CPU time (s) 6.26
Current children cumulated vsize (KiB) 43896
[startup+12.7003 s]
/proc/loadavg: 2.17 2.06 2.01 3/183 15883
/proc/meminfo: memFree=29151492/32873648 swapFree=6864/6864
[pid=15869] ppid=15867 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/15869/stat : 15869 (npSolver-pbo.sh) S 15867 15869 11614 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 273927278 9367552 275 33554432000 4194304 5064252 140734900794832 140734900793744 270707353166 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/15869/statm: 2287 275 233 213 0 72 0
[pid=15870] ppid=15869 vsize=6452 CPUtime=0.63 cores=0,2,4,6
/proc/15870/stat : 15870 (npSolver-pbo) S 15869 15869 11614 0 -1 4202496 2154 13023 0 0 6 7 44 6 20 0 1 0 273927279 6606848 1079 33554432000 4194304 5992684 140734843984640 140734843976960 5175646 0 65536 4102 0 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/15870/statm: 1613 1079 179 440 0 1169 0
[pid=15882] ppid=15870 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/15882/stat : 15882 (satsolver.sh) S 15870 15869 11614 0 -1 4202496 596 0 0 0 0 0 0 0 20 0 1 0 273927343 9367552 266 33554432000 4194304 5064252 140733938081728 140733938080640 270707353166 0 65536 4100 65538 18446744071579302229 0 0 17 6 0 0 0 0 0
/proc/15882/statm: 2287 266 226 213 0 72 0
[pid=15883] ppid=15882 vsize=22080 CPUtime=12.04 cores=0,2,4,6
/proc/15883/stat : 15883 (glucose) R 15882 15869 11614 0 -1 4202496 5409 0 0 0 1203 1 0 0 20 0 1 0 273927344 22609920 5119 33554432000 4194304 5208918 140736748496224 140736748494088 4229365 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/15883/statm: 5520 5119 104 248 0 5269 0
Current children cumulated CPU time (s) 12.67
Current children cumulated vsize (KiB) 46828
[startup+25.5004 s]
/proc/loadavg: 2.13 2.06 2.01 3/184 15884
/proc/meminfo: memFree=29190464/32873648 swapFree=6864/6864
[pid=15869] ppid=15867 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/15869/stat : 15869 (npSolver-pbo.sh) S 15867 15869 11614 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 273927278 9367552 275 33554432000 4194304 5064252 140734900794832 140734900793744 270707353166 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/15869/statm: 2287 275 233 213 0 72 0
[pid=15870] ppid=15869 vsize=6452 CPUtime=0.63 cores=0,2,4,6
/proc/15870/stat : 15870 (npSolver-pbo) S 15869 15869 11614 0 -1 4202496 2154 13023 0 0 6 7 44 6 20 0 1 0 273927279 6606848 1079 33554432000 4194304 5992684 140734843984640 140734843976960 5175646 0 65536 4102 0 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/15870/statm: 1613 1079 179 440 0 1169 0
[pid=15882] ppid=15870 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/15882/stat : 15882 (satsolver.sh) S 15870 15869 11614 0 -1 4202496 596 0 0 0 0 0 0 0 20 0 1 0 273927343 9367552 266 33554432000 4194304 5064252 140733938081728 140733938080640 270707353166 0 65536 4100 65538 18446744071579302229 0 0 17 6 0 0 0 0 0
/proc/15882/statm: 2287 266 226 213 0 72 0
[pid=15883] ppid=15882 vsize=38220 CPUtime=24.83 cores=0,2,4,6
/proc/15883/stat : 15883 (glucose) R 15882 15869 11614 0 -1 4202496 6303 0 0 0 2482 1 0 0 20 0 1 0 273927344 39137280 8657 33554432000 4194304 5208918 140736748496224 140736748491992 4229021 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/15883/statm: 9555 8657 104 248 0 9304 0
Current children cumulated CPU time (s) 25.46
Current children cumulated vsize (KiB) 62968
[startup+51.1003 s]
/proc/loadavg: 2.22 2.08 2.02 3/183 15884
/proc/meminfo: memFree=29140748/32873648 swapFree=6864/6864
[pid=15869] ppid=15867 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/15869/stat : 15869 (npSolver-pbo.sh) S 15867 15869 11614 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 273927278 9367552 275 33554432000 4194304 5064252 140734900794832 140734900793744 270707353166 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/15869/statm: 2287 275 233 213 0 72 0
[pid=15870] ppid=15869 vsize=6452 CPUtime=0.63 cores=0,2,4,6
/proc/15870/stat : 15870 (npSolver-pbo) S 15869 15869 11614 0 -1 4202496 2154 13023 0 0 6 7 44 6 20 0 1 0 273927279 6606848 1079 33554432000 4194304 5992684 140734843984640 140734843976960 5175646 0 65536 4102 0 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/15870/statm: 1613 1079 179 440 0 1169 0
[pid=15882] ppid=15870 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/15882/stat : 15882 (satsolver.sh) S 15870 15869 11614 0 -1 4202496 596 0 0 0 0 0 0 0 20 0 1 0 273927343 9367552 266 33554432000 4194304 5064252 140733938081728 140733938080640 270707353166 0 65536 4100 65538 18446744071579302229 0 0 17 6 0 0 0 0 0
/proc/15882/statm: 2287 266 226 213 0 72 0
[pid=15883] ppid=15882 vsize=45400 CPUtime=50.42 cores=0,2,4,6
/proc/15883/stat : 15883 (glucose) R 15882 15869 11614 0 -1 4202496 6563 0 0 0 5041 1 0 0 20 0 1 0 273927344 46489600 10938 33554432000 4194304 5208918 140736748496224 140736748492536 4211834 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/15883/statm: 11350 10938 104 248 0 11099 0
Current children cumulated CPU time (s) 51.05
Current children cumulated vsize (KiB) 70148
[startup+102.307 s]
/proc/loadavg: 2.10 2.07 2.01 3/183 15884
/proc/meminfo: memFree=29129976/32873648 swapFree=6864/6864
[pid=15869] ppid=15867 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/15869/stat : 15869 (npSolver-pbo.sh) S 15867 15869 11614 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 273927278 9367552 275 33554432000 4194304 5064252 140734900794832 140734900793744 270707353166 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/15869/statm: 2287 275 233 213 0 72 0
[pid=15870] ppid=15869 vsize=6452 CPUtime=0.63 cores=0,2,4,6
/proc/15870/stat : 15870 (npSolver-pbo) S 15869 15869 11614 0 -1 4202496 2154 13023 0 0 6 7 44 6 20 0 1 0 273927279 6606848 1079 33554432000 4194304 5992684 140734843984640 140734843976960 5175646 0 65536 4102 0 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/15870/statm: 1613 1079 179 440 0 1169 0
[pid=15882] ppid=15870 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/15882/stat : 15882 (satsolver.sh) S 15870 15869 11614 0 -1 4202496 596 0 0 0 0 0 0 0 20 0 1 0 273927343 9367552 266 33554432000 4194304 5064252 140733938081728 140733938080640 270707353166 0 65536 4100 65538 18446744071579302229 0 0 17 6 0 0 0 0 0
/proc/15882/statm: 2287 266 226 213 0 72 0
[pid=15883] ppid=15882 vsize=58680 CPUtime=101.62 cores=0,2,4,6
/proc/15883/stat : 15883 (glucose) R 15882 15869 11614 0 -1 4202496 7239 0 0 0 10160 2 0 0 20 0 1 0 273927344 60088320 13966 33554432000 4194304 5208918 140736748496224 140736748494168 4229365 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/15883/statm: 14670 13966 104 248 0 14419 0
Current children cumulated CPU time (s) 102.25
Current children cumulated vsize (KiB) 83428
[startup+162.3 s]
/proc/loadavg: 2.03 2.05 2.01 3/183 15891
/proc/meminfo: memFree=29124224/32873648 swapFree=6864/6864
[pid=15869] ppid=15867 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/15869/stat : 15869 (npSolver-pbo.sh) S 15867 15869 11614 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 273927278 9367552 275 33554432000 4194304 5064252 140734900794832 140734900793744 270707353166 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/15869/statm: 2287 275 233 213 0 72 0
[pid=15870] ppid=15869 vsize=6452 CPUtime=120.08 cores=0,2,4,6
/proc/15870/stat : 15870 (npSolver-pbo) S 15869 15869 11614 0 -1 4202496 2377 24750 0 0 6 7 11985 10 20 0 1 0 273927279 6606848 1079 33554432000 4194304 5992684 140734843984640 140734843976960 5175646 0 65536 4102 0 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/15870/statm: 1613 1079 179 440 0 1169 0
[pid=15890] ppid=15870 vsize=9148 CPUtime=0 cores=0,2,4,6
################
# More data... #
################
[startup+1362.3 s]
/proc/loadavg: 2.01 2.01 2.00 3/183 16038
/proc/meminfo: memFree=28950552/32873648 swapFree=6864/6864
[pid=15869] ppid=15867 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/15869/stat : 15869 (npSolver-pbo.sh) S 15867 15869 11614 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 273927278 9367552 275 33554432000 4194304 5064252 140734900794832 140734900793744 270707353166 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/15869/statm: 2287 275 233 213 0 72 0
[pid=15870] ppid=15869 vsize=6452 CPUtime=120.08 cores=0,2,4,6
/proc/15870/stat : 15870 (npSolver-pbo) S 15869 15869 11614 0 -1 4202496 2377 24750 0 0 6 7 11985 10 20 0 1 0 273927279 6606848 1079 33554432000 4194304 5992684 140734843984640 140734843976960 5175646 0 65536 4102 0 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/15870/statm: 1613 1079 179 440 0 1169 0
[pid=15890] ppid=15870 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/15890/stat : 15890 (satsolver.sh) S 15870 15869 11614 0 -1 4202496 597 0 0 0 0 0 0 0 20 0 1 0 273939292 9367552 266 33554432000 4194304 5064252 140734444301184 140734444300096 270707353166 0 65536 4100 65538 18446744071579302229 0 0 17 6 0 0 0 0 0
/proc/15890/statm: 2287 266 226 213 0 72 0
[pid=15891] ppid=15890 vsize=225120 CPUtime=1241.96 cores=0,2,4,6
/proc/15891/stat : 15891 (glucose) R 15890 15869 11614 0 -1 4202496 20868 0 0 0 124164 32 0 0 20 0 1 0 273939292 230522880 52359 33554432000 4194304 5208918 140734530465280 140734530461592 4228982 0 0 4096 0 0 0 0 17 0 0 0 0 0 0
/proc/15891/statm: 56280 52359 104 248 0 56029 0
Current children cumulated CPU time (s) 1362.04
Current children cumulated vsize (KiB) 249868
[startup+1422.31 s]
/proc/loadavg: 2.00 2.00 2.00 3/183 16038
/proc/meminfo: memFree=28966880/32873648 swapFree=6864/6864
[pid=15869] ppid=15867 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/15869/stat : 15869 (npSolver-pbo.sh) S 15867 15869 11614 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 273927278 9367552 275 33554432000 4194304 5064252 140734900794832 140734900793744 270707353166 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/15869/statm: 2287 275 233 213 0 72 0
[pid=15870] ppid=15869 vsize=6452 CPUtime=120.08 cores=0,2,4,6
/proc/15870/stat : 15870 (npSolver-pbo) S 15869 15869 11614 0 -1 4202496 2377 24750 0 0 6 7 11985 10 20 0 1 0 273927279 6606848 1079 33554432000 4194304 5992684 140734843984640 140734843976960 5175646 0 65536 4102 0 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/15870/statm: 1613 1079 179 440 0 1169 0
[pid=15890] ppid=15870 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/15890/stat : 15890 (satsolver.sh) S 15870 15869 11614 0 -1 4202496 597 0 0 0 0 0 0 0 20 0 1 0 273939292 9367552 266 33554432000 4194304 5064252 140734444301184 140734444300096 270707353166 0 65536 4100 65538 18446744071579302229 0 0 17 6 0 0 0 0 0
/proc/15890/statm: 2287 266 226 213 0 72 0
[pid=15891] ppid=15890 vsize=194300 CPUtime=1301.96 cores=0,2,4,6
/proc/15891/stat : 15891 (glucose) R 15890 15869 11614 0 -1 4202496 21764 0 0 0 130162 34 0 0 20 0 1 0 273939292 198963200 47684 33554432000 4194304 5208918 140734530465280 140734530461656 4228997 0 0 4096 0 0 0 0 17 0 0 0 0 0 0
/proc/15891/statm: 48575 47684 104 248 0 48324 0
Current children cumulated CPU time (s) 1422.04
Current children cumulated vsize (KiB) 219048
[startup+1482.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/183 16038
/proc/meminfo: memFree=28944236/32873648 swapFree=6864/6864
[pid=15869] ppid=15867 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/15869/stat : 15869 (npSolver-pbo.sh) S 15867 15869 11614 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 273927278 9367552 275 33554432000 4194304 5064252 140734900794832 140734900793744 270707353166 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/15869/statm: 2287 275 233 213 0 72 0
[pid=15870] ppid=15869 vsize=6452 CPUtime=120.08 cores=0,2,4,6
/proc/15870/stat : 15870 (npSolver-pbo) S 15869 15869 11614 0 -1 4202496 2377 24750 0 0 6 7 11985 10 20 0 1 0 273927279 6606848 1079 33554432000 4194304 5992684 140734843984640 140734843976960 5175646 0 65536 4102 0 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/15870/statm: 1613 1079 179 440 0 1169 0
[pid=15890] ppid=15870 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/15890/stat : 15890 (satsolver.sh) S 15870 15869 11614 0 -1 4202496 597 0 0 0 0 0 0 0 20 0 1 0 273939292 9367552 266 33554432000 4194304 5064252 140734444301184 140734444300096 270707353166 0 65536 4100 65538 18446744071579302229 0 0 17 6 0 0 0 0 0
/proc/15890/statm: 2287 266 226 213 0 72 0
[pid=15891] ppid=15890 vsize=194300 CPUtime=1361.93 cores=0,2,4,6
/proc/15891/stat : 15891 (glucose) R 15890 15869 11614 0 -1 4202496 23268 0 0 0 136156 37 0 0 20 0 1 0 273939292 198963200 44612 33554432000 4194304 5208918 140734530465280 140734530463272 4229311 0 0 4096 0 0 0 0 17 0 0 0 0 0 0
/proc/15891/statm: 48575 44612 104 248 0 48324 0
Current children cumulated CPU time (s) 1482.01
Current children cumulated vsize (KiB) 219048
[startup+1542.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/182 16038
/proc/meminfo: memFree=29014312/32873648 swapFree=6864/6864
[pid=15869] ppid=15867 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/15869/stat : 15869 (npSolver-pbo.sh) S 15867 15869 11614 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 273927278 9367552 275 33554432000 4194304 5064252 140734900794832 140734900793744 270707353166 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/15869/statm: 2287 275 233 213 0 72 0
[pid=15870] ppid=15869 vsize=6452 CPUtime=120.08 cores=0,2,4,6
/proc/15870/stat : 15870 (npSolver-pbo) S 15869 15869 11614 0 -1 4202496 2377 24750 0 0 6 7 11985 10 20 0 1 0 273927279 6606848 1079 33554432000 4194304 5992684 140734843984640 140734843976960 5175646 0 65536 4102 0 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/15870/statm: 1613 1079 179 440 0 1169 0
[pid=15890] ppid=15870 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/15890/stat : 15890 (satsolver.sh) S 15870 15869 11614 0 -1 4202496 597 0 0 0 0 0 0 0 20 0 1 0 273939292 9367552 266 33554432000 4194304 5064252 140734444301184 140734444300096 270707353166 0 65536 4100 65538 18446744071579302229 0 0 17 6 0 0 0 0 0
/proc/15890/statm: 2287 266 226 213 0 72 0
[pid=15891] ppid=15890 vsize=144980 CPUtime=1421.92 cores=0,2,4,6
/proc/15891/stat : 15891 (glucose) R 15890 15869 11614 0 -1 4202496 24037 0 0 0 142153 39 0 0 20 0 1 0 273939292 148459520 35862 33554432000 4194304 5208918 140734530465280 140734530463368 4229251 0 0 4096 0 0 0 0 17 0 0 0 0 0 0
/proc/15891/statm: 36245 35862 104 248 0 35994 0
Current children cumulated CPU time (s) 1542
Current children cumulated vsize (KiB) 169728
[startup+1602.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/183 16039
/proc/meminfo: memFree=28890452/32873648 swapFree=6864/6864
[pid=15869] ppid=15867 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/15869/stat : 15869 (npSolver-pbo.sh) S 15867 15869 11614 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 273927278 9367552 275 33554432000 4194304 5064252 140734900794832 140734900793744 270707353166 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/15869/statm: 2287 275 233 213 0 72 0
[pid=15870] ppid=15869 vsize=6452 CPUtime=120.08 cores=0,2,4,6
/proc/15870/stat : 15870 (npSolver-pbo) S 15869 15869 11614 0 -1 4202496 2377 24750 0 0 6 7 11985 10 20 0 1 0 273927279 6606848 1079 33554432000 4194304 5992684 140734843984640 140734843976960 5175646 0 65536 4102 0 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/15870/statm: 1613 1079 179 440 0 1169 0
[pid=15890] ppid=15870 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/15890/stat : 15890 (satsolver.sh) S 15870 15869 11614 0 -1 4202496 597 0 0 0 0 0 0 0 20 0 1 0 273939292 9367552 266 33554432000 4194304 5064252 140734444301184 140734444300096 270707353166 0 65536 4100 65538 18446744071579302229 0 0 17 6 0 0 0 0 0
/proc/15890/statm: 2287 266 226 213 0 72 0
[pid=15891] ppid=15890 vsize=275208 CPUtime=1481.91 cores=0,2,4,6
/proc/15891/stat : 15891 (glucose) R 15890 15869 11614 0 -1 4202496 25445 0 0 0 148150 41 0 0 20 0 1 0 273939292 281812992 56155 33554432000 4194304 5208918 140734530465280 140734530463432 4229738 0 0 4096 0 0 0 0 17 0 0 0 0 0 0
/proc/15891/statm: 68802 56155 104 248 0 68551 0
Current children cumulated CPU time (s) 1601.99
Current children cumulated vsize (KiB) 299956
[startup+1662.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/183 16039
/proc/meminfo: memFree=28898464/32873648 swapFree=6864/6864
[pid=15869] ppid=15867 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/15869/stat : 15869 (npSolver-pbo.sh) S 15867 15869 11614 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 273927278 9367552 275 33554432000 4194304 5064252 140734900794832 140734900793744 270707353166 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/15869/statm: 2287 275 233 213 0 72 0
[pid=15870] ppid=15869 vsize=6452 CPUtime=120.08 cores=0,2,4,6
/proc/15870/stat : 15870 (npSolver-pbo) S 15869 15869 11614 0 -1 4202496 2377 24750 0 0 6 7 11985 10 20 0 1 0 273927279 6606848 1079 33554432000 4194304 5992684 140734843984640 140734843976960 5175646 0 65536 4102 0 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/15870/statm: 1613 1079 179 440 0 1169 0
[pid=15890] ppid=15870 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/15890/stat : 15890 (satsolver.sh) S 15870 15869 11614 0 -1 4202496 597 0 0 0 0 0 0 0 20 0 1 0 273939292 9367552 266 33554432000 4194304 5064252 140734444301184 140734444300096 270707353166 0 65536 4100 65538 18446744071579302229 0 0 17 6 0 0 0 0 0
/proc/15890/statm: 2287 266 226 213 0 72 0
[pid=15891] ppid=15890 vsize=225120 CPUtime=1541.9 cores=0,2,4,6
/proc/15891/stat : 15891 (glucose) R 15890 15869 11614 0 -1 4202496 26506 0 0 0 154147 43 0 0 20 0 1 0 273939292 230522880 55725 33554432000 4194304 5208918 140734530465280 140734530461656 4229365 0 0 4096 0 0 0 0 17 0 0 0 0 0 0
/proc/15891/statm: 56280 55725 104 248 0 56029 0
Current children cumulated CPU time (s) 1661.98
Current children cumulated vsize (KiB) 249868
[startup+1722.3 s]
/proc/loadavg: 2.07 2.02 2.00 3/183 16039
/proc/meminfo: memFree=28954504/32873648 swapFree=6864/6864
[pid=15869] ppid=15867 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/15869/stat : 15869 (npSolver-pbo.sh) S 15867 15869 11614 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 273927278 9367552 275 33554432000 4194304 5064252 140734900794832 140734900793744 270707353166 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/15869/statm: 2287 275 233 213 0 72 0
[pid=15870] ppid=15869 vsize=6452 CPUtime=120.08 cores=0,2,4,6
/proc/15870/stat : 15870 (npSolver-pbo) S 15869 15869 11614 0 -1 4202496 2377 24750 0 0 6 7 11985 10 20 0 1 0 273927279 6606848 1079 33554432000 4194304 5992684 140734843984640 140734843976960 5175646 0 65536 4102 0 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/15870/statm: 1613 1079 179 440 0 1169 0
[pid=15890] ppid=15870 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/15890/stat : 15890 (satsolver.sh) S 15870 15869 11614 0 -1 4202496 597 0 0 0 0 0 0 0 20 0 1 0 273939292 9367552 266 33554432000 4194304 5064252 140734444301184 140734444300096 270707353166 0 65536 4100 65538 18446744071579302229 0 0 17 6 0 0 0 0 0
/proc/15890/statm: 2287 266 226 213 0 72 0
[pid=15891] ppid=15890 vsize=225120 CPUtime=1601.89 cores=0,2,4,6
/proc/15891/stat : 15891 (glucose) R 15890 15869 11614 0 -1 4202496 27702 0 0 0 160144 45 0 0 20 0 1 0 273939292 230522880 50823 33554432000 4194304 5208918 140734530465280 140734530461656 4229365 0 0 4096 0 0 0 0 17 0 0 0 0 0 0
/proc/15891/statm: 56280 50823 104 248 0 56029 0
Current children cumulated CPU time (s) 1721.97
Current children cumulated vsize (KiB) 249868
[startup+1782.3 s]
/proc/loadavg: 2.02 2.01 2.00 3/183 16039
/proc/meminfo: memFree=28894008/32873648 swapFree=6864/6864
[pid=15869] ppid=15867 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/15869/stat : 15869 (npSolver-pbo.sh) S 15867 15869 11614 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 273927278 9367552 275 33554432000 4194304 5064252 140734900794832 140734900793744 270707353166 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/15869/statm: 2287 275 233 213 0 72 0
[pid=15870] ppid=15869 vsize=6452 CPUtime=120.08 cores=0,2,4,6
/proc/15870/stat : 15870 (npSolver-pbo) S 15869 15869 11614 0 -1 4202496 2377 24750 0 0 6 7 11985 10 20 0 1 0 273927279 6606848 1079 33554432000 4194304 5992684 140734843984640 140734843976960 5175646 0 65536 4102 0 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/15870/statm: 1613 1079 179 440 0 1169 0
[pid=15890] ppid=15870 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/15890/stat : 15890 (satsolver.sh) S 15870 15869 11614 0 -1 4202496 597 0 0 0 0 0 0 0 20 0 1 0 273939292 9367552 266 33554432000 4194304 5064252 140734444301184 140734444300096 270707353166 0 65536 4100 65538 18446744071579302229 0 0 17 6 0 0 0 0 0
/proc/15890/statm: 2287 266 226 213 0 72 0
[pid=15891] ppid=15890 vsize=275208 CPUtime=1661.88 cores=0,2,4,6
/proc/15891/stat : 15891 (glucose) R 15890 15869 11614 0 -1 4202496 28558 0 0 0 166142 46 0 0 20 0 1 0 273939292 281812992 63412 33554432000 4194304 5208918 140734530465280 140734530461656 4229307 0 0 4096 0 0 0 0 17 0 0 0 0 0 0
/proc/15891/statm: 68802 63412 104 248 0 68551 0
Current children cumulated CPU time (s) 1781.96
Current children cumulated vsize (KiB) 299956
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+1800.4 s]
/proc/loadavg: 2.02 2.01 2.00 4/184 16042
/proc/meminfo: memFree=28958856/32873648 swapFree=6864/6864
[pid=15869] ppid=15867 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/15869/stat : 15869 (npSolver-pbo.sh) S 15867 15869 11614 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 273927278 9367552 275 33554432000 4194304 5064252 140734900794832 140734900793744 270707353166 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/15869/statm: 2287 275 233 213 0 72 0
[pid=15870] ppid=15869 vsize=6452 CPUtime=120.08 cores=0,2,4,6
/proc/15870/stat : 15870 (npSolver-pbo) S 15869 15869 11614 0 -1 4202496 2377 24750 0 0 6 7 11985 10 20 0 1 0 273927279 6606848 1079 33554432000 4194304 5992684 140734843984640 140734843976960 5175646 0 65536 4102 0 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/15870/statm: 1613 1079 179 440 0 1169 0
[pid=15890] ppid=15870 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/15890/stat : 15890 (satsolver.sh) S 15870 15869 11614 0 -1 4202496 597 0 0 0 0 0 0 0 20 0 1 0 273939292 9367552 266 33554432000 4194304 5064252 140734444301184 140734444300096 270707353166 0 65536 4100 65538 18446744071579302229 0 0 17 6 0 0 0 0 0
/proc/15890/statm: 2287 266 226 213 0 72 0
[pid=15891] ppid=15890 vsize=194300 CPUtime=1679.98 cores=0,2,4,6
/proc/15891/stat : 15891 (glucose) R 15890 15869 11614 0 -1 4202496 28628 0 0 0 167951 47 0 0 20 0 1 0 273939292 198963200 46148 33554432000 4194304 5208918 140734530465280 140734530461592 4229748 0 0 4096 0 0 0 0 17 0 0 0 0 0 0
/proc/15891/statm: 48575 46148 104 248 0 48324 0
Current children cumulated CPU time (s) 1800.06
Current children cumulated vsize (KiB) 219048
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.41
CPU time (s): 1800.11
CPU user time (s): 1799.45
CPU system time (s): 0.659899
CPU usage (%): 99.9832
Max. virtual memory (cumulated for all children) (KiB): 299956
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1799.45
system time used= 0.659899
maximum resident set size= 261840
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 56744
page faults= 0
swaps= 0
block input operations= 0
block output operations= 13336
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 108
involuntary context switches= 2390
runsolver used 5.32019 second user time and 8.80266 second system time
The end