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-3749412-1339123231/watcher-3749412-1339123231 -o /tmp/evaluation-result-3749412-1339123231/solver-3749412-1339123231 -C 1800 -W 1900 -M 15500 HOME/npSolver-pbo.sh HOME/instance-3749412-1339123231.opb 38740327 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.07 2.06 2.01 3/180 30373
/proc/meminfo: memFree=28815520/32873648 swapFree=7112/7112
[pid=30373] ppid=30371 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/30373/stat : 30373 (npSolver-pbo.sh) S 30371 30373 25783 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 378449044 9367552 275 33554432000 4194304 5064252 140735000131744 140735000130656 242167211598 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/30373/statm: 2287 275 233 213 0 72 0
[startup+0.0152569 s]
/proc/loadavg: 2.07 2.06 2.01 3/180 30373
/proc/meminfo: memFree=28815520/32873648 swapFree=7112/7112
[pid=30373] ppid=30371 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/30373/stat : 30373 (npSolver-pbo.sh) S 30371 30373 25783 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 378449044 9367552 275 33554432000 4194304 5064252 140735000131744 140735000130656 242167211598 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/30373/statm: 2287 275 233 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148
[startup+0.100236 s]
/proc/loadavg: 2.07 2.06 2.01 3/180 30373
/proc/meminfo: memFree=28815520/32873648 swapFree=7112/7112
[pid=30373] ppid=30371 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/30373/stat : 30373 (npSolver-pbo.sh) S 30371 30373 25783 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 378449044 9367552 275 33554432000 4194304 5064252 140735000131744 140735000130656 242167211598 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/30373/statm: 2287 275 233 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148
[startup+0.300177 s]
/proc/loadavg: 2.07 2.06 2.01 3/180 30373
/proc/meminfo: memFree=28815520/32873648 swapFree=7112/7112
[pid=30373] ppid=30371 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/30373/stat : 30373 (npSolver-pbo.sh) S 30371 30373 25783 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 378449044 9367552 275 33554432000 4194304 5064252 140735000131744 140735000130656 242167211598 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/30373/statm: 2287 275 233 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148
[startup+0.700182 s]
/proc/loadavg: 2.07 2.06 2.01 3/180 30373
/proc/meminfo: memFree=28815520/32873648 swapFree=7112/7112
[pid=30373] ppid=30371 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/30373/stat : 30373 (npSolver-pbo.sh) S 30371 30373 25783 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 378449044 9367552 275 33554432000 4194304 5064252 140735000131744 140735000130656 242167211598 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/30373/statm: 2287 275 233 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148
[startup+1.50022 s]
/proc/loadavg: 2.07 2.06 2.01 3/184 30380
/proc/meminfo: memFree=28807304/32873648 swapFree=7112/7112
[pid=30373] ppid=30371 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/30373/stat : 30373 (npSolver-pbo.sh) S 30371 30373 25783 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 378449044 9367552 275 33554432000 4194304 5064252 140735000131744 140735000130656 242167211598 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/30373/statm: 2287 275 233 213 0 72 0
[pid=30374] ppid=30373 vsize=5488 CPUtime=0.84 cores=1,3,5,7
/proc/30374/stat : 30374 (npSolver-pbo) S 30373 30373 25783 0 -1 4202496 10999 3740 0 0 61 3 20 0 20 0 1 0 378449044 5619712 1027 33554432000 4194304 6004724 140737398310464 140737398305600 5186782 0 65536 4102 0 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/30374/statm: 1372 1027 162 442 0 926 0
[pid=30379] ppid=30374 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/30379/stat : 30379 (satsolver.sh) S 30374 30373 25783 0 -1 4202496 596 0 0 0 0 0 0 0 20 0 1 0 378449131 9367552 266 33554432000 4194304 5064252 140736777333776 140736777332688 242167211598 0 65536 4100 65538 18446744071579302229 0 0 17 7 0 0 0 0 0
/proc/30379/statm: 2287 266 226 213 0 72 0
[pid=30380] ppid=30379 vsize=7296 CPUtime=0.62 cores=1,3,5,7
/proc/30380/stat : 30380 (glucose) R 30379 30373 25783 0 -1 4202496 1874 0 0 0 62 0 0 0 20 0 1 0 378449131 7471104 1399 33554432000 4194304 5208918 140735336234240 140735336232200 4229725 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/30380/statm: 1824 1399 104 248 0 1573 0
Current children cumulated CPU time (s) 1.46
Current children cumulated vsize (KiB) 31080
[startup+3.10021 s]
/proc/loadavg: 2.07 2.06 2.01 3/184 30380
/proc/meminfo: memFree=28805684/32873648 swapFree=7112/7112
[pid=30373] ppid=30371 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/30373/stat : 30373 (npSolver-pbo.sh) S 30371 30373 25783 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 378449044 9367552 275 33554432000 4194304 5064252 140735000131744 140735000130656 242167211598 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/30373/statm: 2287 275 233 213 0 72 0
[pid=30374] ppid=30373 vsize=5488 CPUtime=0.84 cores=1,3,5,7
/proc/30374/stat : 30374 (npSolver-pbo) S 30373 30373 25783 0 -1 4202496 10999 3740 0 0 61 3 20 0 20 0 1 0 378449044 5619712 1027 33554432000 4194304 6004724 140737398310464 140737398305600 5186782 0 65536 4102 0 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/30374/statm: 1372 1027 162 442 0 926 0
[pid=30379] ppid=30374 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/30379/stat : 30379 (satsolver.sh) S 30374 30373 25783 0 -1 4202496 596 0 0 0 0 0 0 0 20 0 1 0 378449131 9367552 266 33554432000 4194304 5064252 140736777333776 140736777332688 242167211598 0 65536 4100 65538 18446744071579302229 0 0 17 7 0 0 0 0 0
/proc/30379/statm: 2287 266 226 213 0 72 0
[pid=30380] ppid=30379 vsize=12128 CPUtime=2.22 cores=1,3,5,7
/proc/30380/stat : 30380 (glucose) R 30379 30373 25783 0 -1 4202496 3139 0 0 0 222 0 0 0 20 0 1 0 378449131 12419072 2577 33554432000 4194304 5208918 140735336234240 140735336232184 4229021 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/30380/statm: 3032 2577 104 248 0 2781 0
Current children cumulated CPU time (s) 3.06
Current children cumulated vsize (KiB) 35912
[startup+6.30036 s]
/proc/loadavg: 2.07 2.06 2.01 3/184 30380
/proc/meminfo: memFree=28799264/32873648 swapFree=7112/7112
[pid=30373] ppid=30371 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/30373/stat : 30373 (npSolver-pbo.sh) S 30371 30373 25783 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 378449044 9367552 275 33554432000 4194304 5064252 140735000131744 140735000130656 242167211598 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/30373/statm: 2287 275 233 213 0 72 0
[pid=30374] ppid=30373 vsize=5488 CPUtime=0.84 cores=1,3,5,7
/proc/30374/stat : 30374 (npSolver-pbo) S 30373 30373 25783 0 -1 4202496 10999 3740 0 0 61 3 20 0 20 0 1 0 378449044 5619712 1027 33554432000 4194304 6004724 140737398310464 140737398305600 5186782 0 65536 4102 0 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/30374/statm: 1372 1027 162 442 0 926 0
[pid=30379] ppid=30374 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/30379/stat : 30379 (satsolver.sh) S 30374 30373 25783 0 -1 4202496 596 0 0 0 0 0 0 0 20 0 1 0 378449131 9367552 266 33554432000 4194304 5064252 140736777333776 140736777332688 242167211598 0 65536 4100 65538 18446744071579302229 0 0 17 7 0 0 0 0 0
/proc/30379/statm: 2287 266 226 213 0 72 0
[pid=30380] ppid=30379 vsize=13800 CPUtime=5.42 cores=1,3,5,7
/proc/30380/stat : 30380 (glucose) R 30379 30373 25783 0 -1 4202496 3688 0 0 0 542 0 0 0 20 0 1 0 378449131 14131200 3086 33554432000 4194304 5208918 140735336234240 140735336230552 4229720 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/30380/statm: 3450 3086 104 248 0 3199 0
Current children cumulated CPU time (s) 6.26
Current children cumulated vsize (KiB) 37584
[startup+12.7004 s]
/proc/loadavg: 2.06 2.06 2.01 3/184 30380
/proc/meminfo: memFree=28792512/32873648 swapFree=7112/7112
[pid=30373] ppid=30371 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/30373/stat : 30373 (npSolver-pbo.sh) S 30371 30373 25783 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 378449044 9367552 275 33554432000 4194304 5064252 140735000131744 140735000130656 242167211598 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/30373/statm: 2287 275 233 213 0 72 0
[pid=30374] ppid=30373 vsize=5488 CPUtime=0.84 cores=1,3,5,7
/proc/30374/stat : 30374 (npSolver-pbo) S 30373 30373 25783 0 -1 4202496 10999 3740 0 0 61 3 20 0 20 0 1 0 378449044 5619712 1027 33554432000 4194304 6004724 140737398310464 140737398305600 5186782 0 65536 4102 0 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/30374/statm: 1372 1027 162 442 0 926 0
[pid=30379] ppid=30374 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/30379/stat : 30379 (satsolver.sh) S 30374 30373 25783 0 -1 4202496 596 0 0 0 0 0 0 0 20 0 1 0 378449131 9367552 266 33554432000 4194304 5064252 140736777333776 140736777332688 242167211598 0 65536 4100 65538 18446744071579302229 0 0 17 7 0 0 0 0 0
/proc/30379/statm: 2287 266 226 213 0 72 0
[pid=30380] ppid=30379 vsize=23620 CPUtime=11.81 cores=1,3,5,7
/proc/30380/stat : 30380 (glucose) R 30379 30373 25783 0 -1 4202496 5314 0 0 0 1181 0 0 0 20 0 1 0 378449131 24186880 4703 33554432000 4194304 5208918 140735336234240 140735336230616 4229365 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/30380/statm: 5905 4703 104 248 0 5654 0
Current children cumulated CPU time (s) 12.65
Current children cumulated vsize (KiB) 47404
[startup+25.5003 s]
/proc/loadavg: 2.05 2.06 2.01 3/184 30380
/proc/meminfo: memFree=28792848/32873648 swapFree=7112/7112
[pid=30373] ppid=30371 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/30373/stat : 30373 (npSolver-pbo.sh) S 30371 30373 25783 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 378449044 9367552 275 33554432000 4194304 5064252 140735000131744 140735000130656 242167211598 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/30373/statm: 2287 275 233 213 0 72 0
[pid=30374] ppid=30373 vsize=5488 CPUtime=0.84 cores=1,3,5,7
/proc/30374/stat : 30374 (npSolver-pbo) S 30373 30373 25783 0 -1 4202496 10999 3740 0 0 61 3 20 0 20 0 1 0 378449044 5619712 1027 33554432000 4194304 6004724 140737398310464 140737398305600 5186782 0 65536 4102 0 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/30374/statm: 1372 1027 162 442 0 926 0
[pid=30379] ppid=30374 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/30379/stat : 30379 (satsolver.sh) S 30374 30373 25783 0 -1 4202496 596 0 0 0 0 0 0 0 20 0 1 0 378449131 9367552 266 33554432000 4194304 5064252 140736777333776 140736777332688 242167211598 0 65536 4100 65538 18446744071579302229 0 0 17 7 0 0 0 0 0
/proc/30379/statm: 2287 266 226 213 0 72 0
[pid=30380] ppid=30379 vsize=23620 CPUtime=24.61 cores=1,3,5,7
/proc/30380/stat : 30380 (glucose) R 30379 30373 25783 0 -1 4202496 7327 0 0 0 2460 1 0 0 20 0 1 0 378449131 24186880 4704 33554432000 4194304 5208918 140735336234240 140735336232184 4229319 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/30380/statm: 5905 4704 104 248 0 5654 0
Current children cumulated CPU time (s) 25.45
Current children cumulated vsize (KiB) 47404
[startup+51.1003 s]
/proc/loadavg: 2.03 2.05 2.01 3/183 30380
/proc/meminfo: memFree=28758988/32873648 swapFree=7112/7112
[pid=30373] ppid=30371 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/30373/stat : 30373 (npSolver-pbo.sh) S 30371 30373 25783 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 378449044 9367552 275 33554432000 4194304 5064252 140735000131744 140735000130656 242167211598 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/30373/statm: 2287 275 233 213 0 72 0
[pid=30374] ppid=30373 vsize=5488 CPUtime=0.84 cores=1,3,5,7
/proc/30374/stat : 30374 (npSolver-pbo) S 30373 30373 25783 0 -1 4202496 10999 3740 0 0 61 3 20 0 20 0 1 0 378449044 5619712 1027 33554432000 4194304 6004724 140737398310464 140737398305600 5186782 0 65536 4102 0 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/30374/statm: 1372 1027 162 442 0 926 0
[pid=30379] ppid=30374 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/30379/stat : 30379 (satsolver.sh) S 30374 30373 25783 0 -1 4202496 596 0 0 0 0 0 0 0 20 0 1 0 378449131 9367552 266 33554432000 4194304 5064252 140736777333776 140736777332688 242167211598 0 65536 4100 65538 18446744071579302229 0 0 17 7 0 0 0 0 0
/proc/30379/statm: 2287 266 226 213 0 72 0
[pid=30380] ppid=30379 vsize=53932 CPUtime=50.21 cores=1,3,5,7
/proc/30380/stat : 30380 (glucose) R 30379 30373 25783 0 -1 4202496 8830 0 0 0 5019 2 0 0 20 0 1 0 378449131 55226368 10037 33554432000 4194304 5208918 140735336234240 140735336230616 4229296 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/30380/statm: 13483 10037 104 248 0 13232 0
Current children cumulated CPU time (s) 51.05
Current children cumulated vsize (KiB) 77716
[startup+102.307 s]
/proc/loadavg: 2.01 2.04 2.00 3/183 30381
/proc/meminfo: memFree=28745964/32873648 swapFree=7112/7112
[pid=30373] ppid=30371 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/30373/stat : 30373 (npSolver-pbo.sh) S 30371 30373 25783 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 378449044 9367552 275 33554432000 4194304 5064252 140735000131744 140735000130656 242167211598 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/30373/statm: 2287 275 233 213 0 72 0
[pid=30374] ppid=30373 vsize=5488 CPUtime=0.84 cores=1,3,5,7
/proc/30374/stat : 30374 (npSolver-pbo) S 30373 30373 25783 0 -1 4202496 10999 3740 0 0 61 3 20 0 20 0 1 0 378449044 5619712 1027 33554432000 4194304 6004724 140737398310464 140737398305600 5186782 0 65536 4102 0 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/30374/statm: 1372 1027 162 442 0 926 0
[pid=30379] ppid=30374 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/30379/stat : 30379 (satsolver.sh) S 30374 30373 25783 0 -1 4202496 596 0 0 0 0 0 0 0 20 0 1 0 378449131 9367552 266 33554432000 4194304 5064252 140736777333776 140736777332688 242167211598 0 65536 4100 65538 18446744071579302229 0 0 17 7 0 0 0 0 0
/proc/30379/statm: 2287 266 226 213 0 72 0
[pid=30380] ppid=30379 vsize=53932 CPUtime=101.41 cores=1,3,5,7
/proc/30380/stat : 30380 (glucose) R 30379 30373 25783 0 -1 4202496 9358 0 0 0 10139 2 0 0 20 0 1 0 378449131 55226368 13107 33554432000 4194304 5208918 140735336234240 140735336230616 4229326 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/30380/statm: 13483 13107 104 248 0 13232 0
Current children cumulated CPU time (s) 102.25
Current children cumulated vsize (KiB) 77716
[startup+162.3 s]
/proc/loadavg: 2.00 2.03 2.00 3/183 30429
/proc/meminfo: memFree=28786696/32873648 swapFree=7112/7112
[pid=30373] ppid=30371 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/30373/stat : 30373 (npSolver-pbo.sh) S 30371 30373 25783 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 378449044 9367552 275 33554432000 4194304 5064252 140735000131744 140735000130656 242167211598 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/30373/statm: 2287 275 233 213 0 72 0
[pid=30374] ppid=30373 vsize=5488 CPUtime=0.84 cores=1,3,5,7
/proc/30374/stat : 30374 (npSolver-pbo) S 30373 30373 25783 0 -1 4202496 10999 3740 0 0 61 3 20 0 20 0 1 0 378449044 5619712 1027 33554432000 4194304 6004724 140737398310464 140737398305600 5186782 0 65536 4102 0 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/30374/statm: 1372 1027 162 442 0 926 0
[pid=30379] ppid=30374 vsize=9148 CPUtime=0 cores=1,3,5,7
################
# More data... #
################
[startup+1362.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/183 30510
/proc/meminfo: memFree=28627408/32873648 swapFree=7112/7112
[pid=30373] ppid=30371 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/30373/stat : 30373 (npSolver-pbo.sh) S 30371 30373 25783 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 378449044 9367552 275 33554432000 4194304 5064252 140735000131744 140735000130656 242167211598 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/30373/statm: 2287 275 233 213 0 72 0
[pid=30374] ppid=30373 vsize=5488 CPUtime=0.84 cores=1,3,5,7
/proc/30374/stat : 30374 (npSolver-pbo) S 30373 30373 25783 0 -1 4202496 10999 3740 0 0 61 3 20 0 20 0 1 0 378449044 5619712 1027 33554432000 4194304 6004724 140737398310464 140737398305600 5186782 0 65536 4102 0 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/30374/statm: 1372 1027 162 442 0 926 0
[pid=30379] ppid=30374 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/30379/stat : 30379 (satsolver.sh) S 30374 30373 25783 0 -1 4202496 596 0 0 0 0 0 0 0 20 0 1 0 378449131 9367552 266 33554432000 4194304 5064252 140736777333776 140736777332688 242167211598 0 65536 4100 65538 18446744071579302229 0 0 17 7 0 0 0 0 0
/proc/30379/statm: 2287 266 226 213 0 72 0
[pid=30380] ppid=30379 vsize=85792 CPUtime=1361.2 cores=1,3,5,7
/proc/30380/stat : 30380 (glucose) R 30379 30373 25783 0 -1 4202496 25823 0 0 0 136080 40 0 0 20 0 1 0 378449131 87851008 21089 33554432000 4194304 5208918 140735336234240 140735336232328 4211744 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/30380/statm: 21448 21089 104 248 0 21197 0
Current children cumulated CPU time (s) 1362.04
Current children cumulated vsize (KiB) 109576
[startup+1422.31 s]
/proc/loadavg: 2.00 2.00 2.00 3/183 30510
/proc/meminfo: memFree=28554424/32873648 swapFree=7112/7112
[pid=30373] ppid=30371 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/30373/stat : 30373 (npSolver-pbo.sh) S 30371 30373 25783 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 378449044 9367552 275 33554432000 4194304 5064252 140735000131744 140735000130656 242167211598 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/30373/statm: 2287 275 233 213 0 72 0
[pid=30374] ppid=30373 vsize=5488 CPUtime=0.84 cores=1,3,5,7
/proc/30374/stat : 30374 (npSolver-pbo) S 30373 30373 25783 0 -1 4202496 10999 3740 0 0 61 3 20 0 20 0 1 0 378449044 5619712 1027 33554432000 4194304 6004724 140737398310464 140737398305600 5186782 0 65536 4102 0 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/30374/statm: 1372 1027 162 442 0 926 0
[pid=30379] ppid=30374 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/30379/stat : 30379 (satsolver.sh) S 30374 30373 25783 0 -1 4202496 596 0 0 0 0 0 0 0 20 0 1 0 378449131 9367552 266 33554432000 4194304 5064252 140736777333776 140736777332688 242167211598 0 65536 4100 65538 18446744071579302229 0 0 17 7 0 0 0 0 0
/proc/30379/statm: 2287 266 226 213 0 72 0
[pid=30380] ppid=30379 vsize=135112 CPUtime=1421.2 cores=1,3,5,7
/proc/30380/stat : 30380 (glucose) R 30379 30373 25783 0 -1 4202496 26856 0 0 0 142078 42 0 0 20 0 1 0 378449131 138354688 30503 33554432000 4194304 5208918 140735336234240 140735336232232 4229365 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/30380/statm: 33778 30503 104 248 0 33527 0
Current children cumulated CPU time (s) 1422.04
Current children cumulated vsize (KiB) 158896
[startup+1482.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/183 30510
/proc/meminfo: memFree=28603288/32873648 swapFree=7112/7112
[pid=30373] ppid=30371 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/30373/stat : 30373 (npSolver-pbo.sh) S 30371 30373 25783 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 378449044 9367552 275 33554432000 4194304 5064252 140735000131744 140735000130656 242167211598 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/30373/statm: 2287 275 233 213 0 72 0
[pid=30374] ppid=30373 vsize=5488 CPUtime=0.84 cores=1,3,5,7
/proc/30374/stat : 30374 (npSolver-pbo) S 30373 30373 25783 0 -1 4202496 10999 3740 0 0 61 3 20 0 20 0 1 0 378449044 5619712 1027 33554432000 4194304 6004724 140737398310464 140737398305600 5186782 0 65536 4102 0 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/30374/statm: 1372 1027 162 442 0 926 0
[pid=30379] ppid=30374 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/30379/stat : 30379 (satsolver.sh) S 30374 30373 25783 0 -1 4202496 596 0 0 0 0 0 0 0 20 0 1 0 378449131 9367552 266 33554432000 4194304 5064252 140736777333776 140736777332688 242167211598 0 65536 4100 65538 18446744071579302229 0 0 17 7 0 0 0 0 0
/proc/30379/statm: 2287 266 226 213 0 72 0
[pid=30380] ppid=30379 vsize=165932 CPUtime=1481.18 cores=1,3,5,7
/proc/30380/stat : 30380 (glucose) R 30379 30373 25783 0 -1 4202496 28116 0 0 0 148074 44 0 0 20 0 1 0 378449131 169914368 33508 33554432000 4194304 5208918 140735336234240 140735336232392 4229770 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/30380/statm: 41483 33508 104 248 0 41232 0
Current children cumulated CPU time (s) 1482.02
Current children cumulated vsize (KiB) 189716
[startup+1542.3 s]
/proc/loadavg: 2.03 2.01 2.00 3/183 30510
/proc/meminfo: memFree=28541552/32873648 swapFree=7112/7112
[pid=30373] ppid=30371 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/30373/stat : 30373 (npSolver-pbo.sh) S 30371 30373 25783 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 378449044 9367552 275 33554432000 4194304 5064252 140735000131744 140735000130656 242167211598 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/30373/statm: 2287 275 233 213 0 72 0
[pid=30374] ppid=30373 vsize=5488 CPUtime=0.84 cores=1,3,5,7
/proc/30374/stat : 30374 (npSolver-pbo) S 30373 30373 25783 0 -1 4202496 10999 3740 0 0 61 3 20 0 20 0 1 0 378449044 5619712 1027 33554432000 4194304 6004724 140737398310464 140737398305600 5186782 0 65536 4102 0 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/30374/statm: 1372 1027 162 442 0 926 0
[pid=30379] ppid=30374 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/30379/stat : 30379 (satsolver.sh) S 30374 30373 25783 0 -1 4202496 596 0 0 0 0 0 0 0 20 0 1 0 378449131 9367552 266 33554432000 4194304 5064252 140736777333776 140736777332688 242167211598 0 65536 4100 65538 18446744071579302229 0 0 17 7 0 0 0 0 0
/proc/30379/statm: 2287 266 226 213 0 72 0
[pid=30380] ppid=30379 vsize=165932 CPUtime=1541.16 cores=1,3,5,7
/proc/30380/stat : 30380 (glucose) R 30379 30373 25783 0 -1 4202496 29089 0 0 0 154070 46 0 0 20 0 1 0 378449131 169914368 35690 33554432000 4194304 5208918 140735336234240 140735336230616 4211599 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/30380/statm: 41483 35690 104 248 0 41232 0
Current children cumulated CPU time (s) 1542
Current children cumulated vsize (KiB) 189716
[startup+1602.3 s]
/proc/loadavg: 2.01 2.01 2.00 3/183 30511
/proc/meminfo: memFree=28595184/32873648 swapFree=7112/7112
[pid=30373] ppid=30371 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/30373/stat : 30373 (npSolver-pbo.sh) S 30371 30373 25783 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 378449044 9367552 275 33554432000 4194304 5064252 140735000131744 140735000130656 242167211598 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/30373/statm: 2287 275 233 213 0 72 0
[pid=30374] ppid=30373 vsize=5488 CPUtime=0.84 cores=1,3,5,7
/proc/30374/stat : 30374 (npSolver-pbo) S 30373 30373 25783 0 -1 4202496 10999 3740 0 0 61 3 20 0 20 0 1 0 378449044 5619712 1027 33554432000 4194304 6004724 140737398310464 140737398305600 5186782 0 65536 4102 0 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/30374/statm: 1372 1027 162 442 0 926 0
[pid=30379] ppid=30374 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/30379/stat : 30379 (satsolver.sh) S 30374 30373 25783 0 -1 4202496 596 0 0 0 0 0 0 0 20 0 1 0 378449131 9367552 266 33554432000 4194304 5064252 140736777333776 140736777332688 242167211598 0 65536 4100 65538 18446744071579302229 0 0 17 7 0 0 0 0 0
/proc/30379/statm: 2287 266 226 213 0 72 0
[pid=30380] ppid=30379 vsize=165932 CPUtime=1601.15 cores=1,3,5,7
/proc/30380/stat : 30380 (glucose) R 30379 30373 25783 0 -1 4202496 29904 0 0 0 160067 48 0 0 20 0 1 0 378449131 169914368 36714 33554432000 4194304 5208918 140735336234240 140735336230616 4229365 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/30380/statm: 41483 36714 104 248 0 41232 0
Current children cumulated CPU time (s) 1601.99
Current children cumulated vsize (KiB) 189716
[startup+1662.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/183 30511
/proc/meminfo: memFree=28606440/32873648 swapFree=7112/7112
[pid=30373] ppid=30371 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/30373/stat : 30373 (npSolver-pbo.sh) S 30371 30373 25783 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 378449044 9367552 275 33554432000 4194304 5064252 140735000131744 140735000130656 242167211598 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/30373/statm: 2287 275 233 213 0 72 0
[pid=30374] ppid=30373 vsize=5488 CPUtime=0.84 cores=1,3,5,7
/proc/30374/stat : 30374 (npSolver-pbo) S 30373 30373 25783 0 -1 4202496 10999 3740 0 0 61 3 20 0 20 0 1 0 378449044 5619712 1027 33554432000 4194304 6004724 140737398310464 140737398305600 5186782 0 65536 4102 0 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/30374/statm: 1372 1027 162 442 0 926 0
[pid=30379] ppid=30374 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/30379/stat : 30379 (satsolver.sh) S 30374 30373 25783 0 -1 4202496 596 0 0 0 0 0 0 0 20 0 1 0 378449131 9367552 266 33554432000 4194304 5064252 140736777333776 140736777332688 242167211598 0 65536 4100 65538 18446744071579302229 0 0 17 7 0 0 0 0 0
/proc/30379/statm: 2287 266 226 213 0 72 0
[pid=30380] ppid=30379 vsize=165932 CPUtime=1661.15 cores=1,3,5,7
/proc/30380/stat : 30380 (glucose) R 30379 30373 25783 0 -1 4202496 30725 0 0 0 166065 50 0 0 20 0 1 0 378449131 169914368 35690 33554432000 4194304 5208918 140735336234240 140735336232392 4229296 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/30380/statm: 41483 35690 104 248 0 41232 0
Current children cumulated CPU time (s) 1661.99
Current children cumulated vsize (KiB) 189716
[startup+1722.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/183 30511
/proc/meminfo: memFree=28551712/32873648 swapFree=7112/7112
[pid=30373] ppid=30371 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/30373/stat : 30373 (npSolver-pbo.sh) S 30371 30373 25783 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 378449044 9367552 275 33554432000 4194304 5064252 140735000131744 140735000130656 242167211598 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/30373/statm: 2287 275 233 213 0 72 0
[pid=30374] ppid=30373 vsize=5488 CPUtime=0.84 cores=1,3,5,7
/proc/30374/stat : 30374 (npSolver-pbo) S 30373 30373 25783 0 -1 4202496 10999 3740 0 0 61 3 20 0 20 0 1 0 378449044 5619712 1027 33554432000 4194304 6004724 140737398310464 140737398305600 5186782 0 65536 4102 0 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/30374/statm: 1372 1027 162 442 0 926 0
[pid=30379] ppid=30374 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/30379/stat : 30379 (satsolver.sh) S 30374 30373 25783 0 -1 4202496 596 0 0 0 0 0 0 0 20 0 1 0 378449131 9367552 266 33554432000 4194304 5064252 140736777333776 140736777332688 242167211598 0 65536 4100 65538 18446744071579302229 0 0 17 7 0 0 0 0 0
/proc/30379/statm: 2287 266 226 213 0 72 0
[pid=30380] ppid=30379 vsize=165932 CPUtime=1721.13 cores=1,3,5,7
/proc/30380/stat : 30380 (glucose) R 30379 30373 25783 0 -1 4202496 31549 0 0 0 172061 52 0 0 20 0 1 0 378449131 169914368 37226 33554432000 4194304 5208918 140735336234240 140735336232392 4229770 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/30380/statm: 41483 37226 104 248 0 41232 0
Current children cumulated CPU time (s) 1721.97
Current children cumulated vsize (KiB) 189716
[startup+1782.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/184 30514
/proc/meminfo: memFree=28511028/32873648 swapFree=7112/7112
[pid=30373] ppid=30371 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/30373/stat : 30373 (npSolver-pbo.sh) S 30371 30373 25783 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 378449044 9367552 275 33554432000 4194304 5064252 140735000131744 140735000130656 242167211598 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/30373/statm: 2287 275 233 213 0 72 0
[pid=30374] ppid=30373 vsize=5488 CPUtime=0.84 cores=1,3,5,7
/proc/30374/stat : 30374 (npSolver-pbo) S 30373 30373 25783 0 -1 4202496 10999 3740 0 0 61 3 20 0 20 0 1 0 378449044 5619712 1027 33554432000 4194304 6004724 140737398310464 140737398305600 5186782 0 65536 4102 0 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/30374/statm: 1372 1027 162 442 0 926 0
[pid=30379] ppid=30374 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/30379/stat : 30379 (satsolver.sh) S 30374 30373 25783 0 -1 4202496 596 0 0 0 0 0 0 0 20 0 1 0 378449131 9367552 266 33554432000 4194304 5064252 140736777333776 140736777332688 242167211598 0 65536 4100 65538 18446744071579302229 0 0 17 7 0 0 0 0 0
/proc/30379/statm: 2287 266 226 213 0 72 0
[pid=30380] ppid=30379 vsize=165932 CPUtime=1781.13 cores=1,3,5,7
/proc/30380/stat : 30380 (glucose) R 30379 30373 25783 0 -1 4202496 32370 0 0 0 178059 54 0 0 20 0 1 0 378449131 169914368 34666 33554432000 4194304 5208918 140735336234240 140735336232392 4229365 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/30380/statm: 41483 34666 104 248 0 41232 0
Current children cumulated CPU time (s) 1781.97
Current children cumulated vsize (KiB) 189716
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+1800.4 s]
/proc/loadavg: 2.00 2.00 2.00 3/184 30514
/proc/meminfo: memFree=28652224/32873648 swapFree=7112/7112
[pid=30373] ppid=30371 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/30373/stat : 30373 (npSolver-pbo.sh) S 30371 30373 25783 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 378449044 9367552 275 33554432000 4194304 5064252 140735000131744 140735000130656 242167211598 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/30373/statm: 2287 275 233 213 0 72 0
[pid=30374] ppid=30373 vsize=5488 CPUtime=0.84 cores=1,3,5,7
/proc/30374/stat : 30374 (npSolver-pbo) S 30373 30373 25783 0 -1 4202496 10999 3740 0 0 61 3 20 0 20 0 1 0 378449044 5619712 1027 33554432000 4194304 6004724 140737398310464 140737398305600 5186782 0 65536 4102 0 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/30374/statm: 1372 1027 162 442 0 926 0
[pid=30379] ppid=30374 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/30379/stat : 30379 (satsolver.sh) S 30374 30373 25783 0 -1 4202496 596 0 0 0 0 0 0 0 20 0 1 0 378449131 9367552 266 33554432000 4194304 5064252 140736777333776 140736777332688 242167211598 0 65536 4100 65538 18446744071579302229 0 0 17 7 0 0 0 0 0
/proc/30379/statm: 2287 266 226 213 0 72 0
[pid=30380] ppid=30379 vsize=85792 CPUtime=1799.22 cores=1,3,5,7
/proc/30380/stat : 30380 (glucose) R 30379 30373 25783 0 -1 4202496 32376 0 0 0 179868 54 0 0 20 0 1 0 378449131 87851008 21089 33554432000 4194304 5208918 140735336234240 140735336232328 4229039 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/30380/statm: 21448 21089 104 248 0 21197 0
Current children cumulated CPU time (s) 1800.06
Current children cumulated vsize (KiB) 109576
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.1
CPU user time (s): 1799.51
CPU system time (s): 0.595909
CPU usage (%): 99.983
Max. virtual memory (cumulated for all children) (KiB): 189716
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1799.51
system time used= 0.595909
maximum resident set size= 157096
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 48106
page faults= 0
swaps= 0
block input operations= 0
block output operations= 4320
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 47
involuntary context switches= 1879
runsolver used 3.09753 second user time and 8.46671 second system time
The end