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-3749442-1339112629/watcher-3749442-1339112629 -o /tmp/evaluation-result-3749442-1339112629/solver-3749442-1339112629 -C 1800 -W 1900 -M 15500 HOME/npSolver-pbo.sh HOME/instance-3749442-1339112629.opb 1520425965 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: 0.99 1.01 1.24 3/175 26005
/proc/meminfo: memFree=28986980/32873648 swapFree=7120/7120
[pid=26003] ppid=26000 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/26003/stat : 26003 (npSolver-pbo.sh) S 26000 26003 24192 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 377390269 9367552 275 33554432000 4194304 5064252 140737296005472 140737296004384 219513775694 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/26003/statm: 2287 275 233 213 0 72 0
[startup+0.100929 s]
/proc/loadavg: 0.99 1.01 1.24 3/175 26005
/proc/meminfo: memFree=28986980/32873648 swapFree=7120/7120
[pid=26003] ppid=26000 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/26003/stat : 26003 (npSolver-pbo.sh) S 26000 26003 24192 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 377390269 9367552 275 33554432000 4194304 5064252 140737296005472 140737296004384 219513775694 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/26003/statm: 2287 275 233 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148
[startup+0.200183 s]
/proc/loadavg: 0.99 1.01 1.24 3/175 26005
/proc/meminfo: memFree=28986980/32873648 swapFree=7120/7120
[pid=26003] ppid=26000 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/26003/stat : 26003 (npSolver-pbo.sh) S 26000 26003 24192 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 377390269 9367552 275 33554432000 4194304 5064252 140737296005472 140737296004384 219513775694 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/26003/statm: 2287 275 233 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148
[startup+0.300149 s]
/proc/loadavg: 0.99 1.01 1.24 3/175 26005
/proc/meminfo: memFree=28986980/32873648 swapFree=7120/7120
[pid=26003] ppid=26000 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/26003/stat : 26003 (npSolver-pbo.sh) S 26000 26003 24192 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 377390269 9367552 275 33554432000 4194304 5064252 140737296005472 140737296004384 219513775694 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/26003/statm: 2287 275 233 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148
[startup+0.700114 s]
/proc/loadavg: 0.99 1.01 1.24 3/175 26005
/proc/meminfo: memFree=28986980/32873648 swapFree=7120/7120
[pid=26003] ppid=26000 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/26003/stat : 26003 (npSolver-pbo.sh) S 26000 26003 24192 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 377390269 9367552 275 33554432000 4194304 5064252 140737296005472 140737296004384 219513775694 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/26003/statm: 2287 275 233 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148
[startup+1.50033 s]
/proc/loadavg: 0.99 1.01 1.24 3/183 26019
/proc/meminfo: memFree=28963672/32873648 swapFree=7120/7120
[pid=26003] ppid=26000 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/26003/stat : 26003 (npSolver-pbo.sh) S 26000 26003 24192 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 377390269 9367552 275 33554432000 4194304 5064252 140737296005472 140737296004384 219513775694 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/26003/statm: 2287 275 233 213 0 72 0
[pid=26006] ppid=26003 vsize=6056 CPUtime=0.1 cores=0,2,4,6
/proc/26006/stat : 26006 (npSolver-pbo) S 26003 26003 24192 0 -1 4202496 2883 2283 0 0 4 0 6 0 20 0 1 0 377390269 6201344 1153 33554432000 4194304 6004724 140736593746416 140736593741552 5186782 0 65536 4102 0 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/26006/statm: 1514 1153 148 442 0 1068 0
[pid=26018] ppid=26006 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/26018/stat : 26018 (satsolver.sh) S 26006 26003 24192 0 -1 4202496 596 0 0 0 0 0 0 0 20 0 1 0 377390282 9367552 266 33554432000 4194304 5064252 140737103575792 140737103574704 219513775694 0 65536 4100 65538 18446744071579302229 0 0 17 2 0 0 0 0 0
/proc/26018/statm: 2287 266 226 213 0 72 0
[pid=26019] ppid=26018 vsize=15524 CPUtime=1.36 cores=0,2,4,6
/proc/26019/stat : 26019 (glucose) R 26018 26003 24192 0 -1 4202496 3931 0 0 0 135 1 0 0 20 0 1 0 377390282 15896576 3358 33554432000 4194304 5208918 140736523854176 140736523852024 4229517 0 0 4096 0 0 0 0 17 0 0 0 0 0 0
/proc/26019/statm: 3881 3358 103 248 0 3630 0
Current children cumulated CPU time (s) 1.46
Current children cumulated vsize (KiB) 39876
[startup+3.10038 s]
/proc/loadavg: 1.07 1.02 1.24 3/183 26019
/proc/meminfo: memFree=28946196/32873648 swapFree=7120/7120
[pid=26003] ppid=26000 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/26003/stat : 26003 (npSolver-pbo.sh) S 26000 26003 24192 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 377390269 9367552 275 33554432000 4194304 5064252 140737296005472 140737296004384 219513775694 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/26003/statm: 2287 275 233 213 0 72 0
[pid=26006] ppid=26003 vsize=6056 CPUtime=0.1 cores=0,2,4,6
/proc/26006/stat : 26006 (npSolver-pbo) S 26003 26003 24192 0 -1 4202496 2883 2283 0 0 4 0 6 0 20 0 1 0 377390269 6201344 1153 33554432000 4194304 6004724 140736593746416 140736593741552 5186782 0 65536 4102 0 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/26006/statm: 1514 1153 148 442 0 1068 0
[pid=26018] ppid=26006 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/26018/stat : 26018 (satsolver.sh) S 26006 26003 24192 0 -1 4202496 596 0 0 0 0 0 0 0 20 0 1 0 377390282 9367552 266 33554432000 4194304 5064252 140737103575792 140737103574704 219513775694 0 65536 4100 65538 18446744071579302229 0 0 17 2 0 0 0 0 0
/proc/26018/statm: 2287 266 226 213 0 72 0
[pid=26019] ppid=26018 vsize=34568 CPUtime=2.95 cores=0,2,4,6
/proc/26019/stat : 26019 (glucose) R 26018 26003 24192 0 -1 4202496 5565 0 0 0 293 2 0 0 20 0 1 0 377390282 35397632 6876 33554432000 4194304 5208918 140736523854176 140736523852120 4229528 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/26019/statm: 8642 6876 103 248 0 8391 0
Current children cumulated CPU time (s) 3.05
Current children cumulated vsize (KiB) 58920
[startup+6.30038 s]
/proc/loadavg: 1.07 1.02 1.24 3/183 26019
/proc/meminfo: memFree=28906612/32873648 swapFree=7120/7120
[pid=26003] ppid=26000 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/26003/stat : 26003 (npSolver-pbo.sh) S 26000 26003 24192 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 377390269 9367552 275 33554432000 4194304 5064252 140737296005472 140737296004384 219513775694 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/26003/statm: 2287 275 233 213 0 72 0
[pid=26006] ppid=26003 vsize=6056 CPUtime=0.1 cores=0,2,4,6
/proc/26006/stat : 26006 (npSolver-pbo) S 26003 26003 24192 0 -1 4202496 2883 2283 0 0 4 0 6 0 20 0 1 0 377390269 6201344 1153 33554432000 4194304 6004724 140736593746416 140736593741552 5186782 0 65536 4102 0 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/26006/statm: 1514 1153 148 442 0 1068 0
[pid=26018] ppid=26006 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/26018/stat : 26018 (satsolver.sh) S 26006 26003 24192 0 -1 4202496 596 0 0 0 0 0 0 0 20 0 1 0 377390282 9367552 266 33554432000 4194304 5064252 140737103575792 140737103574704 219513775694 0 65536 4100 65538 18446744071579302229 0 0 17 2 0 0 0 0 0
/proc/26018/statm: 2287 266 226 213 0 72 0
[pid=26019] ppid=26018 vsize=34568 CPUtime=6.14 cores=0,2,4,6
/proc/26019/stat : 26019 (glucose) R 26018 26003 24192 0 -1 4202496 6417 0 0 0 612 2 0 0 20 0 1 0 377390282 35397632 8267 33554432000 4194304 5208918 140736523854176 140736523852168 4211553 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/26019/statm: 8642 8267 103 248 0 8391 0
Current children cumulated CPU time (s) 6.24
Current children cumulated vsize (KiB) 58920
[startup+12.7004 s]
/proc/loadavg: 1.21 1.05 1.25 3/183 26019
/proc/meminfo: memFree=28916544/32873648 swapFree=7120/7120
[pid=26003] ppid=26000 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/26003/stat : 26003 (npSolver-pbo.sh) S 26000 26003 24192 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 377390269 9367552 275 33554432000 4194304 5064252 140737296005472 140737296004384 219513775694 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/26003/statm: 2287 275 233 213 0 72 0
[pid=26006] ppid=26003 vsize=6056 CPUtime=0.1 cores=0,2,4,6
/proc/26006/stat : 26006 (npSolver-pbo) S 26003 26003 24192 0 -1 4202496 2883 2283 0 0 4 0 6 0 20 0 1 0 377390269 6201344 1153 33554432000 4194304 6004724 140736593746416 140736593741552 5186782 0 65536 4102 0 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/26006/statm: 1514 1153 148 442 0 1068 0
[pid=26018] ppid=26006 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/26018/stat : 26018 (satsolver.sh) S 26006 26003 24192 0 -1 4202496 596 0 0 0 0 0 0 0 20 0 1 0 377390282 9367552 266 33554432000 4194304 5064252 140737103575792 140737103574704 219513775694 0 65536 4100 65538 18446744071579302229 0 0 17 2 0 0 0 0 0
/proc/26018/statm: 2287 266 226 213 0 72 0
[pid=26019] ppid=26018 vsize=64916 CPUtime=12.55 cores=0,2,4,6
/proc/26019/stat : 26019 (glucose) R 26018 26003 24192 0 -1 4202496 6680 0 0 0 1251 4 0 0 20 0 1 0 377390282 66473984 11485 33554432000 4194304 5208918 140736523854176 140736523852264 4229717 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/26019/statm: 16229 11485 103 248 0 15978 0
Current children cumulated CPU time (s) 12.65
Current children cumulated vsize (KiB) 89268
[startup+25.5066 s]
/proc/loadavg: 1.33 1.08 1.26 3/183 26067
/proc/meminfo: memFree=28822360/32873648 swapFree=7120/7120
[pid=26003] ppid=26000 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/26003/stat : 26003 (npSolver-pbo.sh) S 26000 26003 24192 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 377390269 9367552 275 33554432000 4194304 5064252 140737296005472 140737296004384 219513775694 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/26003/statm: 2287 275 233 213 0 72 0
[pid=26006] ppid=26003 vsize=6056 CPUtime=0.1 cores=0,2,4,6
/proc/26006/stat : 26006 (npSolver-pbo) S 26003 26003 24192 0 -1 4202496 2883 2283 0 0 4 0 6 0 20 0 1 0 377390269 6201344 1153 33554432000 4194304 6004724 140736593746416 140736593741552 5186782 0 65536 4102 0 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/26006/statm: 1514 1153 148 442 0 1068 0
[pid=26018] ppid=26006 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/26018/stat : 26018 (satsolver.sh) S 26006 26003 24192 0 -1 4202496 596 0 0 0 0 0 0 0 20 0 1 0 377390282 9367552 266 33554432000 4194304 5064252 140737103575792 140737103574704 219513775694 0 65536 4100 65538 18446744071579302229 0 0 17 2 0 0 0 0 0
/proc/26018/statm: 2287 266 226 213 0 72 0
[pid=26019] ppid=26018 vsize=145056 CPUtime=25.35 cores=0,2,4,6
/proc/26019/stat : 26019 (glucose) R 26018 26003 24192 0 -1 4202496 8072 0 0 0 2529 6 0 0 20 0 1 0 377390282 148537344 24956 33554432000 4194304 5208918 140736523854176 140736523852328 4229504 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/26019/statm: 36264 24956 103 248 0 36013 0
Current children cumulated CPU time (s) 25.45
Current children cumulated vsize (KiB) 169408
[startup+51.1004 s]
/proc/loadavg: 1.56 1.16 1.28 3/183 26067
/proc/meminfo: memFree=28770480/32873648 swapFree=7120/7120
[pid=26003] ppid=26000 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/26003/stat : 26003 (npSolver-pbo.sh) S 26000 26003 24192 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 377390269 9367552 275 33554432000 4194304 5064252 140737296005472 140737296004384 219513775694 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/26003/statm: 2287 275 233 213 0 72 0
[pid=26006] ppid=26003 vsize=6056 CPUtime=0.1 cores=0,2,4,6
/proc/26006/stat : 26006 (npSolver-pbo) S 26003 26003 24192 0 -1 4202496 2883 2283 0 0 4 0 6 0 20 0 1 0 377390269 6201344 1153 33554432000 4194304 6004724 140736593746416 140736593741552 5186782 0 65536 4102 0 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/26006/statm: 1514 1153 148 442 0 1068 0
[pid=26018] ppid=26006 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/26018/stat : 26018 (satsolver.sh) S 26006 26003 24192 0 -1 4202496 596 0 0 0 0 0 0 0 20 0 1 0 377390282 9367552 266 33554432000 4194304 5064252 140737103575792 140737103574704 219513775694 0 65536 4100 65538 18446744071579302229 0 0 17 2 0 0 0 0 0
/proc/26018/statm: 2287 266 226 213 0 72 0
[pid=26019] ppid=26018 vsize=145056 CPUtime=50.94 cores=0,2,4,6
/proc/26019/stat : 26019 (glucose) R 26018 26003 24192 0 -1 4202496 10180 0 0 0 5082 12 0 0 20 0 1 0 377390282 148537344 24957 33554432000 4194304 5208918 140736523854176 140736523852328 4229365 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/26019/statm: 36264 24957 103 248 0 36013 0
Current children cumulated CPU time (s) 51.04
Current children cumulated vsize (KiB) 169408
[startup+102.3 s]
/proc/loadavg: 1.81 1.28 1.31 3/183 26067
/proc/meminfo: memFree=28710688/32873648 swapFree=7120/7120
[pid=26003] ppid=26000 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/26003/stat : 26003 (npSolver-pbo.sh) S 26000 26003 24192 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 377390269 9367552 275 33554432000 4194304 5064252 140737296005472 140737296004384 219513775694 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/26003/statm: 2287 275 233 213 0 72 0
[pid=26006] ppid=26003 vsize=6056 CPUtime=0.1 cores=0,2,4,6
/proc/26006/stat : 26006 (npSolver-pbo) S 26003 26003 24192 0 -1 4202496 2883 2283 0 0 4 0 6 0 20 0 1 0 377390269 6201344 1153 33554432000 4194304 6004724 140736593746416 140736593741552 5186782 0 65536 4102 0 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/26006/statm: 1514 1153 148 442 0 1068 0
[pid=26018] ppid=26006 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/26018/stat : 26018 (satsolver.sh) S 26006 26003 24192 0 -1 4202496 596 0 0 0 0 0 0 0 20 0 1 0 377390282 9367552 266 33554432000 4194304 5064252 140737103575792 140737103574704 219513775694 0 65536 4100 65538 18446744071579302229 0 0 17 2 0 0 0 0 0
/proc/26018/statm: 2287 266 226 213 0 72 0
[pid=26019] ppid=26018 vsize=145056 CPUtime=102.13 cores=0,2,4,6
/proc/26019/stat : 26019 (glucose) R 26018 26003 24192 0 -1 4202496 15368 0 0 0 10191 22 0 0 20 0 1 0 377390282 148537344 30589 33554432000 4194304 5208918 140736523854176 140736523852328 4229528 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/26019/statm: 36264 30589 103 248 0 36013 0
Current children cumulated CPU time (s) 102.23
Current children cumulated vsize (KiB) 169408
[startup+162.3 s]
/proc/loadavg: 1.93 1.41 1.35 3/183 26067
/proc/meminfo: memFree=28670716/32873648 swapFree=7120/7120
[pid=26003] ppid=26000 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/26003/stat : 26003 (npSolver-pbo.sh) S 26000 26003 24192 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 377390269 9367552 275 33554432000 4194304 5064252 140737296005472 140737296004384 219513775694 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/26003/statm: 2287 275 233 213 0 72 0
[pid=26006] ppid=26003 vsize=6056 CPUtime=0.1 cores=0,2,4,6
/proc/26006/stat : 26006 (npSolver-pbo) S 26003 26003 24192 0 -1 4202496 2883 2283 0 0 4 0 6 0 20 0 1 0 377390269 6201344 1153 33554432000 4194304 6004724 140736593746416 140736593741552 5186782 0 65536 4102 0 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/26006/statm: 1514 1153 148 442 0 1068 0
[pid=26018] ppid=26006 vsize=9148 CPUtime=0 cores=0,2,4,6
################
# More data... #
################
/proc/26003/statm: 2287 275 233 213 0 72 0
[pid=26006] ppid=26003 vsize=6056 CPUtime=0.1 cores=0,2,4,6
/proc/26006/stat : 26006 (npSolver-pbo) S 26003 26003 24192 0 -1 4202496 2883 2283 0 0 4 0 6 0 20 0 1 0 377390269 6201344 1153 33554432000 4194304 6004724 140736593746416 140736593741552 5186782 0 65536 4102 0 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/26006/statm: 1514 1153 148 442 0 1068 0
[pid=26018] ppid=26006 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/26018/stat : 26018 (satsolver.sh) S 26006 26003 24192 0 -1 4202496 596 0 0 0 0 0 0 0 20 0 1 0 377390282 9367552 266 33554432000 4194304 5064252 140737103575792 140737103574704 219513775694 0 65536 4100 65538 18446744071579302229 0 0 17 2 0 0 0 0 0
/proc/26018/statm: 2287 266 226 213 0 72 0
[pid=26019] ppid=26018 vsize=276532 CPUtime=522.05 cores=0,2,4,6
/proc/26019/stat : 26019 (glucose) R 26018 26003 24192 0 -1 4202496 34622 0 0 0 52138 67 0 0 20 0 1 0 377390282 283168768 50984 33554432000 4194304 5208918 140736523854176 140736523852328 4229391 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/26019/statm: 69133 50984 103 248 0 68882 0
Current children cumulated CPU time (s) 522.15
Current children cumulated vsize (KiB) 300884
Solver just ended. Dumping a history of the last processes samples
[startup+537.7 s]
/proc/loadavg: 2.00 1.83 1.56 3/183 26071
/proc/meminfo: memFree=28679860/32873648 swapFree=7120/7120
[pid=26003] ppid=26000 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/26003/stat : 26003 (npSolver-pbo.sh) S 26000 26003 24192 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 377390269 9367552 275 33554432000 4194304 5064252 140737296005472 140737296004384 219513775694 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/26003/statm: 2287 275 233 213 0 72 0
[pid=26006] ppid=26003 vsize=6056 CPUtime=0.1 cores=0,2,4,6
/proc/26006/stat : 26006 (npSolver-pbo) S 26003 26003 24192 0 -1 4202496 2883 2283 0 0 4 0 6 0 20 0 1 0 377390269 6201344 1153 33554432000 4194304 6004724 140736593746416 140736593741552 5186782 0 65536 4102 0 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/26006/statm: 1514 1153 148 442 0 1068 0
[pid=26018] ppid=26006 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/26018/stat : 26018 (satsolver.sh) S 26006 26003 24192 0 -1 4202496 596 0 0 0 0 0 0 0 20 0 1 0 377390282 9367552 266 33554432000 4194304 5064252 140737103575792 140737103574704 219513775694 0 65536 4100 65538 18446744071579302229 0 0 17 2 0 0 0 0 0
/proc/26018/statm: 2287 266 226 213 0 72 0
[pid=26019] ppid=26018 vsize=195144 CPUtime=537.45 cores=0,2,4,6
/proc/26019/stat : 26019 (glucose) R 26018 26003 24192 0 -1 4202496 35605 0 0 0 53674 71 0 0 20 0 1 0 377390282 199827456 35456 33554432000 4194304 5208918 140736523854176 140736523852328 4211584 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/26019/statm: 48786 35456 103 248 0 48535 0
Current children cumulated CPU time (s) 537.55
Current children cumulated vsize (KiB) 219496
[startup+550.5 s]
/proc/loadavg: 2.00 1.84 1.56 3/183 26071
/proc/meminfo: memFree=28601356/32873648 swapFree=7120/7120
[pid=26003] ppid=26000 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/26003/stat : 26003 (npSolver-pbo.sh) S 26000 26003 24192 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 377390269 9367552 275 33554432000 4194304 5064252 140737296005472 140737296004384 219513775694 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/26003/statm: 2287 275 233 213 0 72 0
[pid=26006] ppid=26003 vsize=6056 CPUtime=0.1 cores=0,2,4,6
/proc/26006/stat : 26006 (npSolver-pbo) S 26003 26003 24192 0 -1 4202496 2883 2283 0 0 4 0 6 0 20 0 1 0 377390269 6201344 1153 33554432000 4194304 6004724 140736593746416 140736593741552 5186782 0 65536 4102 0 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/26006/statm: 1514 1153 148 442 0 1068 0
[pid=26018] ppid=26006 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/26018/stat : 26018 (satsolver.sh) S 26006 26003 24192 0 -1 4202496 596 0 0 0 0 0 0 0 20 0 1 0 377390282 9367552 266 33554432000 4194304 5064252 140737103575792 140737103574704 219513775694 0 65536 4100 65538 18446744071579302229 0 0 17 2 0 0 0 0 0
/proc/26018/statm: 2287 266 226 213 0 72 0
[pid=26019] ppid=26018 vsize=195144 CPUtime=550.25 cores=0,2,4,6
/proc/26019/stat : 26019 (glucose) R 26018 26003 24192 0 -1 4202496 35621 0 0 0 54954 71 0 0 20 0 1 0 377390282 199827456 43648 33554432000 4194304 5208918 140736523854176 140736523852328 4229532 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/26019/statm: 48786 43648 103 248 0 48535 0
Current children cumulated CPU time (s) 550.35
Current children cumulated vsize (KiB) 219496
[startup+556.9 s]
/proc/loadavg: 2.00 1.84 1.56 3/183 26071
/proc/meminfo: memFree=28573676/32873648 swapFree=7120/7120
[pid=26003] ppid=26000 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/26003/stat : 26003 (npSolver-pbo.sh) S 26000 26003 24192 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 377390269 9367552 275 33554432000 4194304 5064252 140737296005472 140737296004384 219513775694 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/26003/statm: 2287 275 233 213 0 72 0
[pid=26006] ppid=26003 vsize=6056 CPUtime=0.1 cores=0,2,4,6
/proc/26006/stat : 26006 (npSolver-pbo) S 26003 26003 24192 0 -1 4202496 2883 2283 0 0 4 0 6 0 20 0 1 0 377390269 6201344 1153 33554432000 4194304 6004724 140736593746416 140736593741552 5186782 0 65536 4102 0 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/26006/statm: 1514 1153 148 442 0 1068 0
[pid=26018] ppid=26006 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/26018/stat : 26018 (satsolver.sh) S 26006 26003 24192 0 -1 4202496 596 0 0 0 0 0 0 0 20 0 1 0 377390282 9367552 266 33554432000 4194304 5064252 140737103575792 140737103574704 219513775694 0 65536 4100 65538 18446744071579302229 0 0 17 2 0 0 0 0 0
/proc/26018/statm: 2287 266 226 213 0 72 0
[pid=26019] ppid=26018 vsize=276532 CPUtime=556.65 cores=0,2,4,6
/proc/26019/stat : 26019 (glucose) R 26018 26003 24192 0 -1 4202496 36310 0 0 0 55593 72 0 0 20 0 1 0 377390282 283168768 47400 33554432000 4194304 5208918 140736523854176 140736523852328 4229504 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/26019/statm: 69133 47400 103 248 0 68882 0
Current children cumulated CPU time (s) 556.75
Current children cumulated vsize (KiB) 300884
[startup+560.107 s]
/proc/loadavg: 2.00 1.84 1.57 4/183 26071
/proc/meminfo: memFree=28563436/32873648 swapFree=7120/7120
[pid=26003] ppid=26000 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/26003/stat : 26003 (npSolver-pbo.sh) S 26000 26003 24192 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 377390269 9367552 275 33554432000 4194304 5064252 140737296005472 140737296004384 219513775694 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/26003/statm: 2287 275 233 213 0 72 0
[pid=26006] ppid=26003 vsize=6056 CPUtime=0.1 cores=0,2,4,6
/proc/26006/stat : 26006 (npSolver-pbo) S 26003 26003 24192 0 -1 4202496 2883 2283 0 0 4 0 6 0 20 0 1 0 377390269 6201344 1153 33554432000 4194304 6004724 140736593746416 140736593741552 5186782 0 65536 4102 0 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/26006/statm: 1514 1153 148 442 0 1068 0
[pid=26018] ppid=26006 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/26018/stat : 26018 (satsolver.sh) S 26006 26003 24192 0 -1 4202496 596 0 0 0 0 0 0 0 20 0 1 0 377390282 9367552 266 33554432000 4194304 5064252 140737103575792 140737103574704 219513775694 0 65536 4100 65538 18446744071579302229 0 0 17 2 0 0 0 0 0
/proc/26018/statm: 2287 266 226 213 0 72 0
[pid=26019] ppid=26018 vsize=276532 CPUtime=559.85 cores=0,2,4,6
/proc/26019/stat : 26019 (glucose) R 26018 26003 24192 0 -1 4202496 36313 0 0 0 55913 72 0 0 20 0 1 0 377390282 283168768 48936 33554432000 4194304 5208918 140736523854176 140736523852328 4229374 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/26019/statm: 69133 48936 103 248 0 68882 0
Current children cumulated CPU time (s) 559.95
Current children cumulated vsize (KiB) 300884
[startup+561.7 s]
/proc/loadavg: 2.00 1.84 1.57 3/183 26071
/proc/meminfo: memFree=28559340/32873648 swapFree=7120/7120
[pid=26003] ppid=26000 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/26003/stat : 26003 (npSolver-pbo.sh) S 26000 26003 24192 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 377390269 9367552 275 33554432000 4194304 5064252 140737296005472 140737296004384 219513775694 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/26003/statm: 2287 275 233 213 0 72 0
[pid=26006] ppid=26003 vsize=6056 CPUtime=0.1 cores=0,2,4,6
/proc/26006/stat : 26006 (npSolver-pbo) S 26003 26003 24192 0 -1 4202496 2883 2283 0 0 4 0 6 0 20 0 1 0 377390269 6201344 1153 33554432000 4194304 6004724 140736593746416 140736593741552 5186782 0 65536 4102 0 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/26006/statm: 1514 1153 148 442 0 1068 0
[pid=26018] ppid=26006 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/26018/stat : 26018 (satsolver.sh) S 26006 26003 24192 0 -1 4202496 596 0 0 0 0 0 0 0 20 0 1 0 377390282 9367552 266 33554432000 4194304 5064252 140737103575792 140737103574704 219513775694 0 65536 4100 65538 18446744071579302229 0 0 17 2 0 0 0 0 0
/proc/26018/statm: 2287 266 226 213 0 72 0
[pid=26019] ppid=26018 vsize=276532 CPUtime=561.45 cores=0,2,4,6
/proc/26019/stat : 26019 (glucose) R 26018 26003 24192 0 -1 4202496 36314 0 0 0 56073 72 0 0 20 0 1 0 377390282 283168768 49448 33554432000 4194304 5208918 140736523854176 140736523852328 4229365 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/26019/statm: 69133 49448 103 248 0 68882 0
Current children cumulated CPU time (s) 561.55
Current children cumulated vsize (KiB) 300884
[startup+562.5 s]
/proc/loadavg: 2.00 1.84 1.57 3/183 26071
/proc/meminfo: memFree=28555244/32873648 swapFree=7120/7120
[pid=26003] ppid=26000 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/26003/stat : 26003 (npSolver-pbo.sh) S 26000 26003 24192 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 377390269 9367552 275 33554432000 4194304 5064252 140737296005472 140737296004384 219513775694 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/26003/statm: 2287 275 233 213 0 72 0
[pid=26006] ppid=26003 vsize=6056 CPUtime=0.1 cores=0,2,4,6
/proc/26006/stat : 26006 (npSolver-pbo) S 26003 26003 24192 0 -1 4202496 2883 2283 0 0 4 0 6 0 20 0 1 0 377390269 6201344 1153 33554432000 4194304 6004724 140736593746416 140736593741552 5186782 0 65536 4102 0 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/26006/statm: 1514 1153 148 442 0 1068 0
[pid=26018] ppid=26006 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/26018/stat : 26018 (satsolver.sh) S 26006 26003 24192 0 -1 4202496 596 0 0 0 0 0 0 0 20 0 1 0 377390282 9367552 266 33554432000 4194304 5064252 140737103575792 140737103574704 219513775694 0 65536 4100 65538 18446744071579302229 0 0 17 2 0 0 0 0 0
/proc/26018/statm: 2287 266 226 213 0 72 0
[pid=26019] ppid=26018 vsize=276532 CPUtime=562.25 cores=0,2,4,6
/proc/26019/stat : 26019 (glucose) R 26018 26003 24192 0 -1 4202496 36314 0 0 0 56153 72 0 0 20 0 1 0 377390282 283168768 49448 33554432000 4194304 5208918 140736523854176 140736523852328 4229528 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/26019/statm: 69133 49448 103 248 0 68882 0
Current children cumulated CPU time (s) 562.35
Current children cumulated vsize (KiB) 300884
[startup+563.3 s]
/proc/loadavg: 2.00 1.84 1.57 3/183 26071
/proc/meminfo: memFree=28551148/32873648 swapFree=7120/7120
[pid=26003] ppid=26000 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/26003/stat : 26003 (npSolver-pbo.sh) S 26000 26003 24192 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 377390269 9367552 275 33554432000 4194304 5064252 140737296005472 140737296004384 219513775694 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/26003/statm: 2287 275 233 213 0 72 0
[pid=26006] ppid=26003 vsize=6056 CPUtime=0.1 cores=0,2,4,6
/proc/26006/stat : 26006 (npSolver-pbo) S 26003 26003 24192 0 -1 4202496 2883 2283 0 0 4 0 6 0 20 0 1 0 377390269 6201344 1153 33554432000 4194304 6004724 140736593746416 140736593741552 5186782 0 65536 4102 0 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/26006/statm: 1514 1153 148 442 0 1068 0
[pid=26018] ppid=26006 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/26018/stat : 26018 (satsolver.sh) S 26006 26003 24192 0 -1 4202496 596 0 0 0 0 0 0 0 20 0 1 0 377390282 9367552 266 33554432000 4194304 5064252 140737103575792 140737103574704 219513775694 0 65536 4100 65538 18446744071579302229 0 0 17 2 0 0 0 0 0
/proc/26018/statm: 2287 266 226 213 0 72 0
[pid=26019] ppid=26018 vsize=276532 CPUtime=563.05 cores=0,2,4,6
/proc/26019/stat : 26019 (glucose) R 26018 26003 24192 0 -1 4202496 36315 0 0 0 56233 72 0 0 20 0 1 0 377390282 283168768 49960 33554432000 4194304 5208918 140736523854176 140736523852328 4229512 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/26019/statm: 69133 49960 103 248 0 68882 0
Current children cumulated CPU time (s) 563.15
Current children cumulated vsize (KiB) 300884
[startup+563.7 s]
/proc/loadavg: 2.00 1.84 1.57 3/183 26071
/proc/meminfo: memFree=28551148/32873648 swapFree=7120/7120
[pid=26003] ppid=26000 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/26003/stat : 26003 (npSolver-pbo.sh) S 26000 26003 24192 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 377390269 9367552 275 33554432000 4194304 5064252 140737296005472 140737296004384 219513775694 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/26003/statm: 2287 275 233 213 0 72 0
[pid=26006] ppid=26003 vsize=6056 CPUtime=0.1 cores=0,2,4,6
/proc/26006/stat : 26006 (npSolver-pbo) S 26003 26003 24192 0 -1 4202496 2883 2283 0 0 4 0 6 0 20 0 1 0 377390269 6201344 1153 33554432000 4194304 6004724 140736593746416 140736593741552 5186782 0 65536 4102 0 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/26006/statm: 1514 1153 148 442 0 1068 0
[pid=26018] ppid=26006 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/26018/stat : 26018 (satsolver.sh) S 26006 26003 24192 0 -1 4202496 596 0 0 0 0 0 0 0 20 0 1 0 377390282 9367552 266 33554432000 4194304 5064252 140737103575792 140737103574704 219513775694 0 65536 4100 65538 18446744071579302229 0 0 17 2 0 0 0 0 0
/proc/26018/statm: 2287 266 226 213 0 72 0
[pid=26019] ppid=26018 vsize=276532 CPUtime=563.45 cores=0,2,4,6
/proc/26019/stat : 26019 (glucose) R 26018 26003 24192 0 -1 4202496 36315 0 0 0 56273 72 0 0 20 0 1 0 377390282 283168768 49960 33554432000 4194304 5208918 140736523854176 140736523852328 4229528 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/26019/statm: 69133 49960 103 248 0 68882 0
Current children cumulated CPU time (s) 563.55
Current children cumulated vsize (KiB) 300884
[startup+563.8 s]
/proc/loadavg: 2.00 1.84 1.57 3/183 26071
/proc/meminfo: memFree=28551148/32873648 swapFree=7120/7120
[pid=26003] ppid=26000 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/26003/stat : 26003 (npSolver-pbo.sh) S 26000 26003 24192 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 377390269 9367552 275 33554432000 4194304 5064252 140737296005472 140737296004384 219513775694 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/26003/statm: 2287 275 233 213 0 72 0
[pid=26006] ppid=26003 vsize=6056 CPUtime=563.66 cores=0,2,4,6
/proc/26006/stat : 26006 (npSolver-pbo) R 26003 26003 24192 0 -1 4202496 2950 40959 0 0 6 0 56286 74 20 0 1 0 377390269 6201344 1158 33554432000 4194304 6004724 140736593746416 140736593740792 4490912 0 0 4096 0 0 0 0 17 0 0 0 0 0 0
/proc/26006/statm: 1514 1158 153 442 0 1068 0
Current children cumulated CPU time (s) 563.66
Current children cumulated vsize (KiB) 15204
Child status: 0
Real time (s): 563.807
CPU time (s): 563.69
CPU user time (s): 562.934
CPU system time (s): 0.755885
CPU usage (%): 99.9793
Max. virtual memory (cumulated for all children) (KiB): 381024
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 562.934
system time used= 0.755885
maximum resident set size= 290420
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 44749
page faults= 0
swaps= 0
block input operations= 0
block output operations= 1544
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 61
involuntary context switches= 639
runsolver used 0.901862 second user time and 3.69444 second system time
The end