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-3701369-1338068025/watcher-3701369-1338068025 -o /tmp/evaluation-result-3701369-1338068025/solver-3701369-1338068025 -C 1800 -W 1900 -M 15500 HOME/npSolver-pbo.sh HOME/instance-3701369-1338068025.opb 1004162997 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: 1.95 2.00 1.99 3/179 13178
/proc/meminfo: memFree=31115620/32873844 swapFree=6080/6080
[pid=13178] ppid=13176 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/13178/stat : 13178 (npSolver-pbo.sh) S 13176 13178 11113 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 272927099 9367552 275 33554432000 4194304 5064252 140733860689520 140733860688432 248790017614 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/13178/statm: 2287 275 233 213 0 72 0
[startup+0.07585 s]
/proc/loadavg: 1.95 2.00 1.99 3/179 13178
/proc/meminfo: memFree=31115620/32873844 swapFree=6080/6080
[pid=13178] ppid=13176 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/13178/stat : 13178 (npSolver-pbo.sh) S 13176 13178 11113 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 272927099 9367552 275 33554432000 4194304 5064252 140733860689520 140733860688432 248790017614 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/13178/statm: 2287 275 233 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148
[startup+0.100364 s]
/proc/loadavg: 1.95 2.00 1.99 3/179 13178
/proc/meminfo: memFree=31115620/32873844 swapFree=6080/6080
[pid=13178] ppid=13176 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/13178/stat : 13178 (npSolver-pbo.sh) S 13176 13178 11113 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 272927099 9367552 275 33554432000 4194304 5064252 140733860689520 140733860688432 248790017614 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/13178/statm: 2287 275 233 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148
[startup+0.300312 s]
/proc/loadavg: 1.95 2.00 1.99 3/179 13178
/proc/meminfo: memFree=31115620/32873844 swapFree=6080/6080
[pid=13178] ppid=13176 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/13178/stat : 13178 (npSolver-pbo.sh) S 13176 13178 11113 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 272927099 9367552 275 33554432000 4194304 5064252 140733860689520 140733860688432 248790017614 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/13178/statm: 2287 275 233 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148
[startup+0.70031 s]
/proc/loadavg: 1.95 2.00 1.99 3/179 13178
/proc/meminfo: memFree=31115620/32873844 swapFree=6080/6080
[pid=13178] ppid=13176 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/13178/stat : 13178 (npSolver-pbo.sh) S 13176 13178 11113 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 272927099 9367552 275 33554432000 4194304 5064252 140733860689520 140733860688432 248790017614 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/13178/statm: 2287 275 233 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148
[startup+1.50024 s]
/proc/loadavg: 1.95 2.00 1.99 3/181 13180
/proc/meminfo: memFree=31048788/32873844 swapFree=6080/6080
[pid=13178] ppid=13176 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/13178/stat : 13178 (npSolver-pbo.sh) S 13176 13178 11113 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 272927099 9367552 275 33554432000 4194304 5064252 140733860689520 140733860688432 248790017614 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/13178/statm: 2287 275 233 213 0 72 0
[pid=13179] ppid=13178 vsize=72008 CPUtime=1.09 cores=1,3,5,7
/proc/13179/stat : 13179 (npSolver-pbo) S 13178 13178 11113 0 -1 4202496 15711 0 0 0 100 9 0 0 20 0 1 0 272927099 73736192 17362 33554432000 4194304 5992684 140734146485904 140734146479936 5175646 0 65536 4102 0 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/13179/statm: 18002 17362 164 440 0 17558 0
Current children cumulated CPU time (s) 1.09
Current children cumulated vsize (KiB) 81156
[startup+3.10044 s]
/proc/loadavg: 1.95 2.00 1.99 3/183 13182
/proc/meminfo: memFree=30781260/32873844 swapFree=6080/6080
[pid=13178] ppid=13176 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/13178/stat : 13178 (npSolver-pbo.sh) S 13176 13178 11113 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 272927099 9367552 275 33554432000 4194304 5064252 140733860689520 140733860688432 248790017614 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/13178/statm: 2287 275 233 213 0 72 0
[pid=13179] ppid=13178 vsize=72008 CPUtime=1.09 cores=1,3,5,7
/proc/13179/stat : 13179 (npSolver-pbo) S 13178 13178 11113 0 -1 4202496 15711 0 0 0 100 9 0 0 20 0 1 0 272927099 73736192 17362 33554432000 4194304 5992684 140734146485904 140734146479936 5175646 0 65536 4102 0 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/13179/statm: 18002 17362 164 440 0 17558 0
[pid=13181] ppid=13179 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/13181/stat : 13181 (cp2_pre.sh) S 13179 13178 11113 0 -1 4202496 608 0 0 0 0 0 0 0 20 0 1 0 272927208 9367552 277 33554432000 4194304 5064252 140734263933472 140734263932176 248790017614 0 65536 4100 65538 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/13181/statm: 2287 277 234 213 0 72 0
[pid=13182] ppid=13181 vsize=290756 CPUtime=1.98 cores=1,3,5,7
/proc/13182/stat : 13182 (coprocessor) R 13181 13178 11113 0 -1 4202496 35989 0 0 0 189 9 0 0 20 0 1 0 272927209 297734144 65162 33554432000 4194304 6586260 140736815277344 140736815273608 5511711 0 0 4096 8404994 0 0 0 17 1 0 0 0 0 0
/proc/13182/statm: 72689 65162 166 584 0 72101 0
Current children cumulated CPU time (s) 3.07
Current children cumulated vsize (KiB) 381060
[startup+6.30046 s]
/proc/loadavg: 1.95 2.00 1.99 3/183 13182
/proc/meminfo: memFree=30664152/32873844 swapFree=6080/6080
[pid=13178] ppid=13176 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/13178/stat : 13178 (npSolver-pbo.sh) S 13176 13178 11113 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 272927099 9367552 275 33554432000 4194304 5064252 140733860689520 140733860688432 248790017614 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/13178/statm: 2287 275 233 213 0 72 0
[pid=13179] ppid=13178 vsize=72008 CPUtime=1.09 cores=1,3,5,7
/proc/13179/stat : 13179 (npSolver-pbo) S 13178 13178 11113 0 -1 4202496 15711 0 0 0 100 9 0 0 20 0 1 0 272927099 73736192 17362 33554432000 4194304 5992684 140734146485904 140734146479936 5175646 0 65536 4102 0 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/13179/statm: 18002 17362 164 440 0 17558 0
[pid=13181] ppid=13179 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/13181/stat : 13181 (cp2_pre.sh) S 13179 13178 11113 0 -1 4202496 608 0 0 0 0 0 0 0 20 0 1 0 272927208 9367552 277 33554432000 4194304 5064252 140734263933472 140734263932176 248790017614 0 65536 4100 65538 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/13181/statm: 2287 277 234 213 0 72 0
[pid=13182] ppid=13181 vsize=357532 CPUtime=5.18 cores=1,3,5,7
/proc/13182/stat : 13182 (coprocessor) R 13181 13178 11113 0 -1 4202496 47088 0 0 0 506 12 0 0 20 0 1 0 272927209 366112768 87503 33554432000 4194304 6586260 140736815277344 140736815272600 4683293 0 0 4096 8404994 0 0 0 17 1 0 0 0 0 0
/proc/13182/statm: 89383 87503 191 584 0 88795 0
Current children cumulated CPU time (s) 6.27
Current children cumulated vsize (KiB) 447836
[startup+12.7004 s]
/proc/loadavg: 1.95 2.00 1.99 3/183 13182
/proc/meminfo: memFree=30660740/32873844 swapFree=6080/6080
[pid=13178] ppid=13176 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/13178/stat : 13178 (npSolver-pbo.sh) S 13176 13178 11113 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 272927099 9367552 275 33554432000 4194304 5064252 140733860689520 140733860688432 248790017614 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/13178/statm: 2287 275 233 213 0 72 0
[pid=13179] ppid=13178 vsize=72008 CPUtime=1.09 cores=1,3,5,7
/proc/13179/stat : 13179 (npSolver-pbo) S 13178 13178 11113 0 -1 4202496 15711 0 0 0 100 9 0 0 20 0 1 0 272927099 73736192 17362 33554432000 4194304 5992684 140734146485904 140734146479936 5175646 0 65536 4102 0 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/13179/statm: 18002 17362 164 440 0 17558 0
[pid=13181] ppid=13179 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/13181/stat : 13181 (cp2_pre.sh) S 13179 13178 11113 0 -1 4202496 608 0 0 0 0 0 0 0 20 0 1 0 272927208 9367552 277 33554432000 4194304 5064252 140734263933472 140734263932176 248790017614 0 65536 4100 65538 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/13181/statm: 2287 277 234 213 0 72 0
[pid=13182] ppid=13181 vsize=357532 CPUtime=11.58 cores=1,3,5,7
/proc/13182/stat : 13182 (coprocessor) R 13181 13178 11113 0 -1 4202496 47110 0 0 0 1146 12 0 0 20 0 1 0 272927209 366112768 87525 33554432000 4194304 6586260 140736815277344 140736815272600 4683532 0 0 4096 8404994 0 0 0 17 1 0 0 0 0 0
/proc/13182/statm: 89383 87525 191 584 0 88795 0
Current children cumulated CPU time (s) 12.67
Current children cumulated vsize (KiB) 447836
[startup+25.5005 s]
/proc/loadavg: 1.96 2.00 1.99 3/183 13185
/proc/meminfo: memFree=30858908/32873844 swapFree=6080/6080
[pid=13178] ppid=13176 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/13178/stat : 13178 (npSolver-pbo.sh) S 13176 13178 11113 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 272927099 9367552 275 33554432000 4194304 5064252 140733860689520 140733860688432 248790017614 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/13178/statm: 2287 275 233 213 0 72 0
[pid=13179] ppid=13178 vsize=72008 CPUtime=19.6 cores=1,3,5,7
/proc/13179/stat : 13179 (npSolver-pbo) S 13178 13178 11113 0 -1 4202496 15718 48511 0 0 100 9 1830 21 20 0 1 0 272927099 73736192 17362 33554432000 4194304 5992684 140734146485904 140734146481024 5175646 0 65536 4102 0 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/13179/statm: 18002 17362 164 440 0 17558 0
[pid=13184] ppid=13179 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/13184/stat : 13184 (satsolver.sh) S 13179 13178 11113 0 -1 4202496 596 0 0 0 0 0 0 0 20 0 1 0 272929061 9367552 266 33554432000 4194304 5064252 140736547916912 140736547915824 248790017614 0 65536 4100 65538 18446744071579302229 0 0 17 7 0 0 0 0 0
/proc/13184/statm: 2287 266 226 213 0 72 0
[pid=13185] ppid=13184 vsize=173168 CPUtime=5.86 cores=1,3,5,7
/proc/13185/stat : 13185 (glucose) R 13184 13178 11113 0 -1 4202496 31093 0 0 0 578 8 0 0 20 0 1 0 272929062 177324032 38557 33554432000 4194304 5208918 140736534490224 140736534488072 4229296 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/13185/statm: 43292 38557 103 248 0 43041 0
Current children cumulated CPU time (s) 25.46
Current children cumulated vsize (KiB) 263472
[startup+51.1005 s]
/proc/loadavg: 1.97 2.00 1.99 3/183 13185
/proc/meminfo: memFree=30854380/32873844 swapFree=6080/6080
[pid=13178] ppid=13176 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/13178/stat : 13178 (npSolver-pbo.sh) S 13176 13178 11113 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 272927099 9367552 275 33554432000 4194304 5064252 140733860689520 140733860688432 248790017614 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/13178/statm: 2287 275 233 213 0 72 0
[pid=13179] ppid=13178 vsize=72008 CPUtime=19.6 cores=1,3,5,7
/proc/13179/stat : 13179 (npSolver-pbo) S 13178 13178 11113 0 -1 4202496 15718 48511 0 0 100 9 1830 21 20 0 1 0 272927099 73736192 17362 33554432000 4194304 5992684 140734146485904 140734146481024 5175646 0 65536 4102 0 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/13179/statm: 18002 17362 164 440 0 17558 0
[pid=13184] ppid=13179 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/13184/stat : 13184 (satsolver.sh) S 13179 13178 11113 0 -1 4202496 596 0 0 0 0 0 0 0 20 0 1 0 272929061 9367552 266 33554432000 4194304 5064252 140736547916912 140736547915824 248790017614 0 65536 4100 65538 18446744071579302229 0 0 17 7 0 0 0 0 0
/proc/13184/statm: 2287 266 226 213 0 72 0
[pid=13185] ppid=13184 vsize=192940 CPUtime=31.46 cores=1,3,5,7
/proc/13185/stat : 13185 (glucose) R 13184 13178 11113 0 -1 4202496 31754 0 0 0 3138 8 0 0 20 0 1 0 272929062 197570560 39217 33554432000 4194304 5208918 140736534490224 140736534488072 4228997 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/13185/statm: 48235 39217 103 248 0 47984 0
Current children cumulated CPU time (s) 51.06
Current children cumulated vsize (KiB) 283244
[startup+102.307 s]
/proc/loadavg: 1.99 2.00 1.99 3/183 13186
/proc/meminfo: memFree=30841924/32873844 swapFree=6080/6080
[pid=13178] ppid=13176 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/13178/stat : 13178 (npSolver-pbo.sh) S 13176 13178 11113 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 272927099 9367552 275 33554432000 4194304 5064252 140733860689520 140733860688432 248790017614 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/13178/statm: 2287 275 233 213 0 72 0
[pid=13179] ppid=13178 vsize=72008 CPUtime=19.6 cores=1,3,5,7
/proc/13179/stat : 13179 (npSolver-pbo) S 13178 13178 11113 0 -1 4202496 15718 48511 0 0 100 9 1830 21 20 0 1 0 272927099 73736192 17362 33554432000 4194304 5992684 140734146485904 140734146481024 5175646 0 65536 4102 0 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/13179/statm: 18002 17362 164 440 0 17558 0
[pid=13184] ppid=13179 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/13184/stat : 13184 (satsolver.sh) S 13179 13178 11113 0 -1 4202496 596 0 0 0 0 0 0 0 20 0 1 0 272929061 9367552 266 33554432000 4194304 5064252 140736547916912 140736547915824 248790017614 0 65536 4100 65538 18446744071579302229 0 0 17 7 0 0 0 0 0
/proc/13184/statm: 2287 266 226 213 0 72 0
[pid=13185] ppid=13184 vsize=193348 CPUtime=82.63 cores=1,3,5,7
/proc/13185/stat : 13185 (glucose) R 13184 13178 11113 0 -1 4202496 31965 0 0 0 8255 8 0 0 20 0 1 0 272929062 197988352 40802 33554432000 4194304 5208918 140736534490224 140736534488184 4229319 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/13185/statm: 48337 40802 103 248 0 48086 0
Current children cumulated CPU time (s) 102.23
Current children cumulated vsize (KiB) 283652
[startup+162.3 s]
/proc/loadavg: 1.99 2.00 1.99 3/183 13186
/proc/meminfo: memFree=30831180/32873844 swapFree=6080/6080
[pid=13178] ppid=13176 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/13178/stat : 13178 (npSolver-pbo.sh) S 13176 13178 11113 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 272927099 9367552 275 33554432000 4194304 5064252 140733860689520 140733860688432 248790017614 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/13178/statm: 2287 275 233 213 0 72 0
[pid=13179] ppid=13178 vsize=72008 CPUtime=19.6 cores=1,3,5,7
/proc/13179/stat : 13179 (npSolver-pbo) S 13178 13178 11113 0 -1 4202496 15718 48511 0 0 100 9 1830 21 20 0 1 0 272927099 73736192 17362 33554432000 4194304 5992684 140734146485904 140734146481024 5175646 0 65536 4102 0 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/13179/statm: 18002 17362 164 440 0 17558 0
[pid=13184] ppid=13179 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/13184/stat : 13184 (satsolver.sh) S 13179 13178 11113 0 -1 4202496 596 0 0 0 0 0 0 0 20 0 1 0 272929061 9367552 266 33554432000 4194304 5064252 140736547916912 140736547915824 248790017614 0 65536 4100 65538 18446744071579302229 0 0 17 7 0 0 0 0 0
/proc/13184/statm: 2287 266 226 213 0 72 0
[pid=13185] ppid=13184 vsize=193816 CPUtime=142.6 cores=1,3,5,7
/proc/13185/stat : 13185 (glucose) R 13184 13178 11113 0 -1 4202496 32078 0 0 0 14252 8 0 0 20 0 1 0 272929062 198467584 41913 33554432000 4194304 5208918 140736534490224 140736534487896 4229319 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/13185/statm: 48454 41913 103 248 0 48203 0
Current children cumulated CPU time (s) 162.2
################
# More data... #
################
[startup+1362.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/183 13280
/proc/meminfo: memFree=31008740/32873844 swapFree=6080/6080
[pid=13178] ppid=13176 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/13178/stat : 13178 (npSolver-pbo.sh) S 13176 13178 11113 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 272927099 9367552 275 33554432000 4194304 5064252 140733860689520 140733860688432 248790017614 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/13178/statm: 2287 275 233 213 0 72 0
[pid=13179] ppid=13178 vsize=72008 CPUtime=19.6 cores=1,3,5,7
/proc/13179/stat : 13179 (npSolver-pbo) S 13178 13178 11113 0 -1 4202496 15718 48511 0 0 100 9 1830 21 20 0 1 0 272927099 73736192 17362 33554432000 4194304 5992684 140734146485904 140734146481024 5175646 0 65536 4102 0 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/13179/statm: 18002 17362 164 440 0 17558 0
[pid=13184] ppid=13179 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/13184/stat : 13184 (satsolver.sh) S 13179 13178 11113 0 -1 4202496 596 0 0 0 0 0 0 0 20 0 1 0 272929061 9367552 266 33554432000 4194304 5064252 140736547916912 140736547915824 248790017614 0 65536 4100 65538 18446744071579302229 0 0 17 7 0 0 0 0 0
/proc/13184/statm: 2287 266 226 213 0 72 0
[pid=13185] ppid=13184 vsize=195692 CPUtime=1342.4 cores=1,3,5,7
/proc/13185/stat : 13185 (glucose) R 13184 13178 11113 0 -1 4202496 36688 0 0 0 134223 17 0 0 20 0 1 0 272929062 200388608 44730 33554432000 4194304 5208918 140736534490224 140736534488312 4229319 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/13185/statm: 48923 44730 104 248 0 48672 0
Current children cumulated CPU time (s) 1362
Current children cumulated vsize (KiB) 285996
[startup+1422.31 s]
/proc/loadavg: 2.00 2.00 2.00 3/183 13280
/proc/meminfo: memFree=31005992/32873844 swapFree=6080/6080
[pid=13178] ppid=13176 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/13178/stat : 13178 (npSolver-pbo.sh) S 13176 13178 11113 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 272927099 9367552 275 33554432000 4194304 5064252 140733860689520 140733860688432 248790017614 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/13178/statm: 2287 275 233 213 0 72 0
[pid=13179] ppid=13178 vsize=72008 CPUtime=19.6 cores=1,3,5,7
/proc/13179/stat : 13179 (npSolver-pbo) S 13178 13178 11113 0 -1 4202496 15718 48511 0 0 100 9 1830 21 20 0 1 0 272927099 73736192 17362 33554432000 4194304 5992684 140734146485904 140734146481024 5175646 0 65536 4102 0 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/13179/statm: 18002 17362 164 440 0 17558 0
[pid=13184] ppid=13179 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/13184/stat : 13184 (satsolver.sh) S 13179 13178 11113 0 -1 4202496 596 0 0 0 0 0 0 0 20 0 1 0 272929061 9367552 266 33554432000 4194304 5064252 140736547916912 140736547915824 248790017614 0 65536 4100 65538 18446744071579302229 0 0 17 7 0 0 0 0 0
/proc/13184/statm: 2287 266 226 213 0 72 0
[pid=13185] ppid=13184 vsize=195880 CPUtime=1402.4 cores=1,3,5,7
/proc/13185/stat : 13185 (glucose) R 13184 13178 11113 0 -1 4202496 36748 0 0 0 140223 17 0 0 20 0 1 0 272929062 200581120 45300 33554432000 4194304 5208918 140736534490224 140736534488072 4229319 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/13185/statm: 48970 45300 104 248 0 48719 0
Current children cumulated CPU time (s) 1422
Current children cumulated vsize (KiB) 286184
[startup+1482.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/183 13280
/proc/meminfo: memFree=30999788/32873844 swapFree=6080/6080
[pid=13178] ppid=13176 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/13178/stat : 13178 (npSolver-pbo.sh) S 13176 13178 11113 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 272927099 9367552 275 33554432000 4194304 5064252 140733860689520 140733860688432 248790017614 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/13178/statm: 2287 275 233 213 0 72 0
[pid=13179] ppid=13178 vsize=72008 CPUtime=19.6 cores=1,3,5,7
/proc/13179/stat : 13179 (npSolver-pbo) S 13178 13178 11113 0 -1 4202496 15718 48511 0 0 100 9 1830 21 20 0 1 0 272927099 73736192 17362 33554432000 4194304 5992684 140734146485904 140734146481024 5175646 0 65536 4102 0 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/13179/statm: 18002 17362 164 440 0 17558 0
[pid=13184] ppid=13179 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/13184/stat : 13184 (satsolver.sh) S 13179 13178 11113 0 -1 4202496 596 0 0 0 0 0 0 0 20 0 1 0 272929061 9367552 266 33554432000 4194304 5064252 140736547916912 140736547915824 248790017614 0 65536 4100 65538 18446744071579302229 0 0 17 7 0 0 0 0 0
/proc/13184/statm: 2287 266 226 213 0 72 0
[pid=13185] ppid=13184 vsize=226700 CPUtime=1462.39 cores=1,3,5,7
/proc/13185/stat : 13185 (glucose) R 13184 13178 11113 0 -1 4202496 37301 0 0 0 146221 18 0 0 20 0 1 0 272929062 232140800 46360 33554432000 4194304 5208918 140736534490224 140736534488376 4229319 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/13185/statm: 56675 46360 104 248 0 56424 0
Current children cumulated CPU time (s) 1481.99
Current children cumulated vsize (KiB) 317004
[startup+1542.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/183 13287
/proc/meminfo: memFree=31045960/32873844 swapFree=6080/6080
[pid=13178] ppid=13176 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/13178/stat : 13178 (npSolver-pbo.sh) S 13176 13178 11113 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 272927099 9367552 275 33554432000 4194304 5064252 140733860689520 140733860688432 248790017614 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/13178/statm: 2287 275 233 213 0 72 0
[pid=13179] ppid=13178 vsize=72008 CPUtime=19.6 cores=1,3,5,7
/proc/13179/stat : 13179 (npSolver-pbo) S 13178 13178 11113 0 -1 4202496 15718 48511 0 0 100 9 1830 21 20 0 1 0 272927099 73736192 17362 33554432000 4194304 5992684 140734146485904 140734146481024 5175646 0 65536 4102 0 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/13179/statm: 18002 17362 164 440 0 17558 0
[pid=13184] ppid=13179 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/13184/stat : 13184 (satsolver.sh) S 13179 13178 11113 0 -1 4202496 596 0 0 0 0 0 0 0 20 0 1 0 272929061 9367552 266 33554432000 4194304 5064252 140736547916912 140736547915824 248790017614 0 65536 4100 65538 18446744071579302229 0 0 17 7 0 0 0 0 0
/proc/13184/statm: 2287 266 226 213 0 72 0
[pid=13185] ppid=13184 vsize=226956 CPUtime=1522.37 cores=1,3,5,7
/proc/13185/stat : 13185 (glucose) R 13184 13178 11113 0 -1 4202496 37374 0 0 0 152219 18 0 0 20 0 1 0 272929062 232402944 47440 33554432000 4194304 5208918 140736534490224 140736534488072 4205139 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/13185/statm: 56739 47440 104 248 0 56488 0
Current children cumulated CPU time (s) 1541.97
Current children cumulated vsize (KiB) 317260
[startup+1602.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/184 13290
/proc/meminfo: memFree=31032344/32873844 swapFree=6080/6080
[pid=13178] ppid=13176 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/13178/stat : 13178 (npSolver-pbo.sh) S 13176 13178 11113 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 272927099 9367552 275 33554432000 4194304 5064252 140733860689520 140733860688432 248790017614 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/13178/statm: 2287 275 233 213 0 72 0
[pid=13179] ppid=13178 vsize=72008 CPUtime=19.6 cores=1,3,5,7
/proc/13179/stat : 13179 (npSolver-pbo) S 13178 13178 11113 0 -1 4202496 15718 48511 0 0 100 9 1830 21 20 0 1 0 272927099 73736192 17362 33554432000 4194304 5992684 140734146485904 140734146481024 5175646 0 65536 4102 0 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/13179/statm: 18002 17362 164 440 0 17558 0
[pid=13184] ppid=13179 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/13184/stat : 13184 (satsolver.sh) S 13179 13178 11113 0 -1 4202496 596 0 0 0 0 0 0 0 20 0 1 0 272929061 9367552 266 33554432000 4194304 5064252 140736547916912 140736547915824 248790017614 0 65536 4100 65538 18446744071579302229 0 0 17 7 0 0 0 0 0
/proc/13184/statm: 2287 266 226 213 0 72 0
[pid=13185] ppid=13184 vsize=196456 CPUtime=1582.36 cores=1,3,5,7
/proc/13185/stat : 13185 (glucose) R 13184 13178 11113 0 -1 4202496 37808 0 0 0 158217 19 0 0 20 0 1 0 272929062 201170944 45385 33554432000 4194304 5208918 140736534490224 140736534488312 4228997 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/13185/statm: 49114 45385 104 248 0 48863 0
Current children cumulated CPU time (s) 1601.96
Current children cumulated vsize (KiB) 286760
[startup+1662.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/184 13314
/proc/meminfo: memFree=31001288/32873844 swapFree=6080/6080
[pid=13178] ppid=13176 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/13178/stat : 13178 (npSolver-pbo.sh) S 13176 13178 11113 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 272927099 9367552 275 33554432000 4194304 5064252 140733860689520 140733860688432 248790017614 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/13178/statm: 2287 275 233 213 0 72 0
[pid=13179] ppid=13178 vsize=72008 CPUtime=19.6 cores=1,3,5,7
/proc/13179/stat : 13179 (npSolver-pbo) S 13178 13178 11113 0 -1 4202496 15718 48511 0 0 100 9 1830 21 20 0 1 0 272927099 73736192 17362 33554432000 4194304 5992684 140734146485904 140734146481024 5175646 0 65536 4102 0 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/13179/statm: 18002 17362 164 440 0 17558 0
[pid=13184] ppid=13179 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/13184/stat : 13184 (satsolver.sh) S 13179 13178 11113 0 -1 4202496 596 0 0 0 0 0 0 0 20 0 1 0 272929061 9367552 266 33554432000 4194304 5064252 140736547916912 140736547915824 248790017614 0 65536 4100 65538 18446744071579302229 0 0 17 7 0 0 0 0 0
/proc/13184/statm: 2287 266 226 213 0 72 0
[pid=13185] ppid=13184 vsize=227276 CPUtime=1642.35 cores=1,3,5,7
/proc/13185/stat : 13185 (glucose) R 13184 13178 11113 0 -1 4202496 38360 0 0 0 164216 19 0 0 20 0 1 0 272929062 232730624 45932 33554432000 4194304 5208918 140736534490224 140736534488376 4229365 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/13185/statm: 56819 45932 104 248 0 56568 0
Current children cumulated CPU time (s) 1661.95
Current children cumulated vsize (KiB) 317580
[startup+1722.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/183 13314
/proc/meminfo: memFree=30997256/32873844 swapFree=6080/6080
[pid=13178] ppid=13176 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/13178/stat : 13178 (npSolver-pbo.sh) S 13176 13178 11113 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 272927099 9367552 275 33554432000 4194304 5064252 140733860689520 140733860688432 248790017614 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/13178/statm: 2287 275 233 213 0 72 0
[pid=13179] ppid=13178 vsize=72008 CPUtime=19.6 cores=1,3,5,7
/proc/13179/stat : 13179 (npSolver-pbo) S 13178 13178 11113 0 -1 4202496 15718 48511 0 0 100 9 1830 21 20 0 1 0 272927099 73736192 17362 33554432000 4194304 5992684 140734146485904 140734146481024 5175646 0 65536 4102 0 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/13179/statm: 18002 17362 164 440 0 17558 0
[pid=13184] ppid=13179 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/13184/stat : 13184 (satsolver.sh) S 13179 13178 11113 0 -1 4202496 596 0 0 0 0 0 0 0 20 0 1 0 272929061 9367552 266 33554432000 4194304 5064252 140736547916912 140736547915824 248790017614 0 65536 4100 65538 18446744071579302229 0 0 17 7 0 0 0 0 0
/proc/13184/statm: 2287 266 226 213 0 72 0
[pid=13185] ppid=13184 vsize=227276 CPUtime=1702.35 cores=1,3,5,7
/proc/13185/stat : 13185 (glucose) R 13184 13178 11113 0 -1 4202496 38394 0 0 0 170215 20 0 0 20 0 1 0 272929062 232730624 46988 33554432000 4194304 5208918 140736534490224 140736534488376 4228997 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/13185/statm: 56819 46988 104 248 0 56568 0
Current children cumulated CPU time (s) 1721.95
Current children cumulated vsize (KiB) 317580
[startup+1782.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/183 13314
/proc/meminfo: memFree=30992744/32873844 swapFree=6080/6080
[pid=13178] ppid=13176 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/13178/stat : 13178 (npSolver-pbo.sh) S 13176 13178 11113 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 272927099 9367552 275 33554432000 4194304 5064252 140733860689520 140733860688432 248790017614 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/13178/statm: 2287 275 233 213 0 72 0
[pid=13179] ppid=13178 vsize=72008 CPUtime=19.6 cores=1,3,5,7
/proc/13179/stat : 13179 (npSolver-pbo) S 13178 13178 11113 0 -1 4202496 15718 48511 0 0 100 9 1830 21 20 0 1 0 272927099 73736192 17362 33554432000 4194304 5992684 140734146485904 140734146481024 5175646 0 65536 4102 0 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/13179/statm: 18002 17362 164 440 0 17558 0
[pid=13184] ppid=13179 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/13184/stat : 13184 (satsolver.sh) S 13179 13178 11113 0 -1 4202496 596 0 0 0 0 0 0 0 20 0 1 0 272929061 9367552 266 33554432000 4194304 5064252 140736547916912 140736547915824 248790017614 0 65536 4100 65538 18446744071579302229 0 0 17 7 0 0 0 0 0
/proc/13184/statm: 2287 266 226 213 0 72 0
[pid=13185] ppid=13184 vsize=227464 CPUtime=1762.33 cores=1,3,5,7
/proc/13185/stat : 13185 (glucose) R 13184 13178 11113 0 -1 4202496 38443 0 0 0 176213 20 0 0 20 0 1 0 272929062 232923136 48048 33554432000 4194304 5208918 140736534490224 140736534488072 4229365 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/13185/statm: 56866 48048 104 248 0 56615 0
Current children cumulated CPU time (s) 1781.93
Current children cumulated vsize (KiB) 317768
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+1800.4 s]
/proc/loadavg: 2.00 2.00 2.00 3/183 13314
/proc/meminfo: memFree=31004656/32873844 swapFree=6080/6080
[pid=13178] ppid=13176 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/13178/stat : 13178 (npSolver-pbo.sh) S 13176 13178 11113 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 272927099 9367552 275 33554432000 4194304 5064252 140733860689520 140733860688432 248790017614 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/13178/statm: 2287 275 233 213 0 72 0
[pid=13179] ppid=13178 vsize=72008 CPUtime=19.6 cores=1,3,5,7
/proc/13179/stat : 13179 (npSolver-pbo) S 13178 13178 11113 0 -1 4202496 15718 48511 0 0 100 9 1830 21 20 0 1 0 272927099 73736192 17362 33554432000 4194304 5992684 140734146485904 140734146481024 5175646 0 65536 4102 0 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/13179/statm: 18002 17362 164 440 0 17558 0
[pid=13184] ppid=13179 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/13184/stat : 13184 (satsolver.sh) S 13179 13178 11113 0 -1 4202496 596 0 0 0 0 0 0 0 20 0 1 0 272929061 9367552 266 33554432000 4194304 5064252 140736547916912 140736547915824 248790017614 0 65536 4100 65538 18446744071579302229 0 0 17 7 0 0 0 0 0
/proc/13184/statm: 2287 266 226 213 0 72 0
[pid=13185] ppid=13184 vsize=196644 CPUtime=1780.43 cores=1,3,5,7
/proc/13185/stat : 13185 (glucose) R 13184 13178 11113 0 -1 4202496 38823 0 0 0 178022 21 0 0 20 0 1 0 272929062 201363456 44914 33554432000 4194304 5208918 140736534490224 140736534488312 4229365 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/13185/statm: 49161 44914 104 248 0 48910 0
Current children cumulated CPU time (s) 1800.03
Current children cumulated vsize (KiB) 286948
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.07
CPU user time (s): 1799.54
CPU system time (s): 0.528919
CPU usage (%): 99.9806
Max. virtual memory (cumulated for all children) (KiB): 447840
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1799.54
system time used= 0.528919
maximum resident set size= 362304
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 104042
page faults= 0
swaps= 0
block input operations= 0
block output operations= 125448
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 125
involuntary context switches= 3304
runsolver used 2.91456 second user time and 8.5617 second system time
The end