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-3700956-1338141284/watcher-3700956-1338141284 -o /tmp/evaluation-result-3700956-1338141284/solver-3700956-1338141284 -C 1800 -W 1900 -M 15500 HOME/npSolver-pbo.sh HOME/instance-3700956-1338141284.opb 123023066 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: 1.97 1.98 1.99 2/179 23502
/proc/meminfo: memFree=29389996/32873648 swapFree=7116/7116
[pid=23502] ppid=23500 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/23502/stat : 23502 (npSolver-pbo.sh) S 23500 23502 21157 0 -1 4202496 356 0 0 0 0 0 0 0 20 0 1 0 280255759 9367552 274 33554432000 4194304 5064252 140734206656224 140734206655136 219513775694 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/23502/statm: 2287 274 233 213 0 72 0
[startup+0.0973981 s]
/proc/loadavg: 1.97 1.98 1.99 2/179 23502
/proc/meminfo: memFree=29389996/32873648 swapFree=7116/7116
[pid=23502] ppid=23500 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/23502/stat : 23502 (npSolver-pbo.sh) S 23500 23502 21157 0 -1 4202496 356 0 0 0 0 0 0 0 20 0 1 0 280255759 9367552 274 33554432000 4194304 5064252 140734206656224 140734206655136 219513775694 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/23502/statm: 2287 274 233 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148
[startup+0.100182 s]
/proc/loadavg: 1.97 1.98 1.99 2/179 23502
/proc/meminfo: memFree=29389996/32873648 swapFree=7116/7116
[pid=23502] ppid=23500 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/23502/stat : 23502 (npSolver-pbo.sh) S 23500 23502 21157 0 -1 4202496 356 0 0 0 0 0 0 0 20 0 1 0 280255759 9367552 274 33554432000 4194304 5064252 140734206656224 140734206655136 219513775694 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/23502/statm: 2287 274 233 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148
[startup+0.30017 s]
/proc/loadavg: 1.97 1.98 1.99 2/179 23502
/proc/meminfo: memFree=29389996/32873648 swapFree=7116/7116
[pid=23502] ppid=23500 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/23502/stat : 23502 (npSolver-pbo.sh) S 23500 23502 21157 0 -1 4202496 356 0 0 0 0 0 0 0 20 0 1 0 280255759 9367552 274 33554432000 4194304 5064252 140734206656224 140734206655136 219513775694 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/23502/statm: 2287 274 233 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148
[startup+0.700121 s]
/proc/loadavg: 1.97 1.98 1.99 2/179 23502
/proc/meminfo: memFree=29389996/32873648 swapFree=7116/7116
[pid=23502] ppid=23500 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/23502/stat : 23502 (npSolver-pbo.sh) S 23500 23502 21157 0 -1 4202496 356 0 0 0 0 0 0 0 20 0 1 0 280255759 9367552 274 33554432000 4194304 5064252 140734206656224 140734206655136 219513775694 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/23502/statm: 2287 274 233 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148
[startup+1.50034 s]
/proc/loadavg: 1.97 1.98 1.99 3/183 23509
/proc/meminfo: memFree=29372060/32873648 swapFree=7116/7116
[pid=23502] ppid=23500 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/23502/stat : 23502 (npSolver-pbo.sh) S 23500 23502 21157 0 -1 4202496 356 0 0 0 0 0 0 0 20 0 1 0 280255759 9367552 274 33554432000 4194304 5064252 140734206656224 140734206655136 219513775694 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/23502/statm: 2287 274 233 213 0 72 0
[pid=23503] ppid=23502 vsize=6244 CPUtime=0.34 cores=0,2,4,6
/proc/23503/stat : 23503 (npSolver-pbo) S 23502 23502 21157 0 -1 4202496 2249 6266 0 0 6 0 26 2 20 0 1 0 280255759 6393856 1230 33554432000 4194304 5992684 140737123193136 140737123188256 5175646 0 65536 4102 0 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/23503/statm: 1561 1230 166 440 0 1117 0
[pid=23508] ppid=23503 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/23508/stat : 23508 (satsolver.sh) S 23503 23502 21157 0 -1 4202496 595 0 0 0 0 0 0 0 20 0 1 0 280255795 9367552 266 33554432000 4194304 5064252 140735137320816 140735137319728 219513775694 0 65536 4100 65538 18446744071579302229 0 0 17 2 0 0 0 0 0
/proc/23508/statm: 2287 266 226 213 0 72 0
[pid=23509] ppid=23508 vsize=14452 CPUtime=1.12 cores=0,2,4,6
/proc/23509/stat : 23509 (glucose) R 23508 23502 21157 0 -1 4202496 2767 0 0 0 112 0 0 0 20 0 1 0 280255795 14798848 3082 33554432000 4194304 5208918 140735451631248 140735451629096 4229319 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/23509/statm: 3613 3082 103 248 0 3362 0
Current children cumulated CPU time (s) 1.46
Current children cumulated vsize (KiB) 38992
[startup+3.10029 s]
/proc/loadavg: 1.97 1.98 1.99 3/183 23516
/proc/meminfo: memFree=29340236/32873648 swapFree=7116/7116
[pid=23502] ppid=23500 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/23502/stat : 23502 (npSolver-pbo.sh) S 23500 23502 21157 0 -1 4202496 356 0 0 0 0 0 0 0 20 0 1 0 280255759 9367552 274 33554432000 4194304 5064252 140734206656224 140734206655136 219513775694 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/23502/statm: 2287 274 233 213 0 72 0
[pid=23503] ppid=23502 vsize=17436 CPUtime=3.02 cores=0,2,4,6
/proc/23503/stat : 23503 (npSolver-pbo) S 23502 23502 21157 0 -1 4202496 5036 20420 0 0 19 12 266 5 20 0 1 0 280255759 17854464 3917 33554432000 4194304 5992684 140737123193136 140737123184944 5175646 0 65536 4102 0 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/23503/statm: 4359 3917 182 440 0 3915 0
Current children cumulated CPU time (s) 3.02
Current children cumulated vsize (KiB) 26584
[startup+6.30041 s]
/proc/loadavg: 1.97 1.98 1.99 3/183 23530
/proc/meminfo: memFree=29330516/32873648 swapFree=7116/7116
[pid=23502] ppid=23500 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/23502/stat : 23502 (npSolver-pbo.sh) S 23500 23502 21157 0 -1 4202496 356 0 0 0 0 0 0 0 20 0 1 0 280255759 9367552 274 33554432000 4194304 5064252 140734206656224 140734206655136 219513775694 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/23502/statm: 2287 274 233 213 0 72 0
[pid=23503] ppid=23502 vsize=23468 CPUtime=4.91 cores=0,2,4,6
/proc/23503/stat : 23503 (npSolver-pbo) S 23502 23502 21157 0 -1 4202496 9696 33990 0 0 38 15 425 13 20 0 1 0 280255759 24031232 4895 33554432000 4194304 5992684 140737123193136 140737123185456 5175646 0 65536 4102 0 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/23503/statm: 5867 4895 183 440 0 5423 0
[pid=23529] ppid=23503 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/23529/stat : 23529 (satsolver.sh) S 23503 23502 21157 0 -1 4202496 598 0 0 0 0 0 0 0 20 0 1 0 280256271 9367552 267 33554432000 4194304 5064252 140733435977568 140733435976480 219513775694 0 65536 4100 65538 18446744071579302229 0 0 17 6 0 0 0 0 0
/proc/23529/statm: 2287 267 226 213 0 72 0
[pid=23530] ppid=23529 vsize=27832 CPUtime=1.16 cores=0,2,4,6
/proc/23530/stat : 23530 (glucose) R 23529 23502 21157 0 -1 4202496 6710 0 0 0 115 1 0 0 20 0 1 0 280256271 28499968 5823 33554432000 4194304 5208918 140736709755456 140736709753304 4229296 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/23530/statm: 6958 5823 104 248 0 6707 0
Current children cumulated CPU time (s) 6.07
Current children cumulated vsize (KiB) 69596
[startup+12.7004 s]
/proc/loadavg: 1.97 1.98 1.99 3/183 23537
/proc/meminfo: memFree=29332292/32873648 swapFree=7116/7116
[pid=23502] ppid=23500 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/23502/stat : 23502 (npSolver-pbo.sh) S 23500 23502 21157 0 -1 4202496 356 0 0 0 0 0 0 0 20 0 1 0 280255759 9367552 274 33554432000 4194304 5064252 140734206656224 140734206655136 219513775694 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/23502/statm: 2287 274 233 213 0 72 0
[pid=23503] ppid=23502 vsize=15212 CPUtime=6.88 cores=0,2,4,6
/proc/23503/stat : 23503 (npSolver-pbo) S 23502 23502 21157 0 -1 4202496 11589 44258 0 0 45 16 609 18 20 0 1 0 280255759 15577088 3432 33554432000 4194304 5992684 140737123193136 140737123185456 5175646 0 65536 4102 0 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/23503/statm: 3803 3432 183 440 0 3359 0
[pid=23536] ppid=23503 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/23536/stat : 23536 (satsolver.sh) S 23503 23502 21157 0 -1 4202496 598 0 0 0 0 0 0 0 20 0 1 0 280256468 9367552 267 33554432000 4194304 5064252 140734084979168 140734084978080 219513775694 0 65536 4100 65538 18446744071579302229 0 0 17 6 0 0 0 0 0
/proc/23536/statm: 2287 267 226 213 0 72 0
[pid=23537] ppid=23536 vsize=30292 CPUtime=5.59 cores=0,2,4,6
/proc/23537/stat : 23537 (glucose) R 23536 23502 21157 0 -1 4202496 5657 0 0 0 558 1 0 0 20 0 1 0 280256469 31019008 6041 33554432000 4194304 5208918 140736762197760 140736762195704 4229251 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/23537/statm: 7573 6041 104 248 0 7322 0
Current children cumulated CPU time (s) 12.47
Current children cumulated vsize (KiB) 63800
[startup+25.5004 s]
/proc/loadavg: 1.98 1.98 1.99 3/183 23537
/proc/meminfo: memFree=29327216/32873648 swapFree=7116/7116
[pid=23502] ppid=23500 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/23502/stat : 23502 (npSolver-pbo.sh) S 23500 23502 21157 0 -1 4202496 356 0 0 0 0 0 0 0 20 0 1 0 280255759 9367552 274 33554432000 4194304 5064252 140734206656224 140734206655136 219513775694 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/23502/statm: 2287 274 233 213 0 72 0
[pid=23503] ppid=23502 vsize=15212 CPUtime=6.88 cores=0,2,4,6
/proc/23503/stat : 23503 (npSolver-pbo) S 23502 23502 21157 0 -1 4202496 11589 44258 0 0 45 16 609 18 20 0 1 0 280255759 15577088 3432 33554432000 4194304 5992684 140737123193136 140737123185456 5175646 0 65536 4102 0 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/23503/statm: 3803 3432 183 440 0 3359 0
[pid=23536] ppid=23503 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/23536/stat : 23536 (satsolver.sh) S 23503 23502 21157 0 -1 4202496 598 0 0 0 0 0 0 0 20 0 1 0 280256468 9367552 267 33554432000 4194304 5064252 140734084979168 140734084978080 219513775694 0 65536 4100 65538 18446744071579302229 0 0 17 6 0 0 0 0 0
/proc/23536/statm: 2287 267 226 213 0 72 0
[pid=23537] ppid=23536 vsize=33364 CPUtime=18.38 cores=0,2,4,6
/proc/23537/stat : 23537 (glucose) R 23536 23502 21157 0 -1 4202496 5964 0 0 0 1837 1 0 0 20 0 1 0 280256469 34164736 7336 33554432000 4194304 5208918 140736762197760 140736762195624 4211488 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/23537/statm: 8341 7336 105 248 0 8090 0
Current children cumulated CPU time (s) 25.26
Current children cumulated vsize (KiB) 66872
[startup+51.1004 s]
/proc/loadavg: 1.99 1.98 1.99 3/183 23537
/proc/meminfo: memFree=29322804/32873648 swapFree=7116/7116
[pid=23502] ppid=23500 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/23502/stat : 23502 (npSolver-pbo.sh) S 23500 23502 21157 0 -1 4202496 356 0 0 0 0 0 0 0 20 0 1 0 280255759 9367552 274 33554432000 4194304 5064252 140734206656224 140734206655136 219513775694 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/23502/statm: 2287 274 233 213 0 72 0
[pid=23503] ppid=23502 vsize=15212 CPUtime=6.88 cores=0,2,4,6
/proc/23503/stat : 23503 (npSolver-pbo) S 23502 23502 21157 0 -1 4202496 11589 44258 0 0 45 16 609 18 20 0 1 0 280255759 15577088 3432 33554432000 4194304 5992684 140737123193136 140737123185456 5175646 0 65536 4102 0 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/23503/statm: 3803 3432 183 440 0 3359 0
[pid=23536] ppid=23503 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/23536/stat : 23536 (satsolver.sh) S 23503 23502 21157 0 -1 4202496 598 0 0 0 0 0 0 0 20 0 1 0 280256468 9367552 267 33554432000 4194304 5064252 140734084979168 140734084978080 219513775694 0 65536 4100 65538 18446744071579302229 0 0 17 6 0 0 0 0 0
/proc/23536/statm: 2287 267 226 213 0 72 0
[pid=23537] ppid=23536 vsize=33364 CPUtime=43.99 cores=0,2,4,6
/proc/23537/stat : 23537 (glucose) R 23536 23502 21157 0 -1 4202496 6835 0 0 0 4397 2 0 0 20 0 1 0 280256469 34164736 7948 33554432000 4194304 5208918 140736762197760 140736762195848 4229344 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/23537/statm: 8341 7948 105 248 0 8090 0
Current children cumulated CPU time (s) 50.87
Current children cumulated vsize (KiB) 66872
[startup+102.307 s]
/proc/loadavg: 1.99 1.98 1.99 3/183 23538
/proc/meminfo: memFree=29310756/32873648 swapFree=7116/7116
[pid=23502] ppid=23500 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/23502/stat : 23502 (npSolver-pbo.sh) S 23500 23502 21157 0 -1 4202496 356 0 0 0 0 0 0 0 20 0 1 0 280255759 9367552 274 33554432000 4194304 5064252 140734206656224 140734206655136 219513775694 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/23502/statm: 2287 274 233 213 0 72 0
[pid=23503] ppid=23502 vsize=15212 CPUtime=6.88 cores=0,2,4,6
/proc/23503/stat : 23503 (npSolver-pbo) S 23502 23502 21157 0 -1 4202496 11589 44258 0 0 45 16 609 18 20 0 1 0 280255759 15577088 3432 33554432000 4194304 5992684 140737123193136 140737123185456 5175646 0 65536 4102 0 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/23503/statm: 3803 3432 183 440 0 3359 0
[pid=23536] ppid=23503 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/23536/stat : 23536 (satsolver.sh) S 23503 23502 21157 0 -1 4202496 598 0 0 0 0 0 0 0 20 0 1 0 280256468 9367552 267 33554432000 4194304 5064252 140734084979168 140734084978080 219513775694 0 65536 4100 65538 18446744071579302229 0 0 17 6 0 0 0 0 0
/proc/23536/statm: 2287 267 226 213 0 72 0
[pid=23537] ppid=23536 vsize=44856 CPUtime=95.18 cores=0,2,4,6
/proc/23537/stat : 23537 (glucose) R 23536 23502 21157 0 -1 4202496 7163 0 0 0 9516 2 0 0 20 0 1 0 280256469 45932544 10838 33554432000 4194304 5208918 140736762197760 140736762195704 4228975 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/23537/statm: 11214 10838 105 248 0 10963 0
Current children cumulated CPU time (s) 102.06
Current children cumulated vsize (KiB) 78364
[startup+162.3 s]
/proc/loadavg: 1.99 1.98 1.99 3/183 23538
/proc/meminfo: memFree=29303928/32873648 swapFree=7116/7116
[pid=23502] ppid=23500 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/23502/stat : 23502 (npSolver-pbo.sh) S 23500 23502 21157 0 -1 4202496 356 0 0 0 0 0 0 0 20 0 1 0 280255759 9367552 274 33554432000 4194304 5064252 140734206656224 140734206655136 219513775694 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/23502/statm: 2287 274 233 213 0 72 0
[pid=23503] ppid=23502 vsize=15212 CPUtime=6.88 cores=0,2,4,6
/proc/23503/stat : 23503 (npSolver-pbo) S 23502 23502 21157 0 -1 4202496 11589 44258 0 0 45 16 609 18 20 0 1 0 280255759 15577088 3432 33554432000 4194304 5992684 140737123193136 140737123185456 5175646 0 65536 4102 0 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/23503/statm: 3803 3432 183 440 0 3359 0
[pid=23536] ppid=23503 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/23536/stat : 23536 (satsolver.sh) S 23503 23502 21157 0 -1 4202496 598 0 0 0 0 0 0 0 20 0 1 0 280256468 9367552 267 33554432000 4194304 5064252 140734084979168 140734084978080 219513775694 0 65536 4100 65538 18446744071579302229 0 0 17 6 0 0 0 0 0
/proc/23536/statm: 2287 267 226 213 0 72 0
[pid=23537] ppid=23536 vsize=52040 CPUtime=155.16 cores=0,2,4,6
/proc/23537/stat : 23537 (glucose) R 23536 23502 21157 0 -1 4202496 7951 0 0 0 15514 2 0 0 20 0 1 0 280256469 53288960 12607 33554432000 4194304 5208918 140736762197760 140736762194072 4212432 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/23537/statm: 13010 12607 105 248 0 12759 0
Current children cumulated CPU time (s) 162.04
################
# More data... #
################
[startup+1362.3 s]
/proc/loadavg: 2.01 2.00 2.00 3/183 23571
/proc/meminfo: memFree=29262016/32873648 swapFree=7116/7116
[pid=23502] ppid=23500 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/23502/stat : 23502 (npSolver-pbo.sh) S 23500 23502 21157 0 -1 4202496 356 0 0 0 0 0 0 0 20 0 1 0 280255759 9367552 274 33554432000 4194304 5064252 140734206656224 140734206655136 219513775694 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/23502/statm: 2287 274 233 213 0 72 0
[pid=23503] ppid=23502 vsize=15212 CPUtime=6.88 cores=0,2,4,6
/proc/23503/stat : 23503 (npSolver-pbo) S 23502 23502 21157 0 -1 4202496 11589 44258 0 0 45 16 609 18 20 0 1 0 280255759 15577088 3432 33554432000 4194304 5992684 140737123193136 140737123185456 5175646 0 65536 4102 0 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/23503/statm: 3803 3432 183 440 0 3359 0
[pid=23536] ppid=23503 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/23536/stat : 23536 (satsolver.sh) S 23503 23502 21157 0 -1 4202496 598 0 0 0 0 0 0 0 20 0 1 0 280256468 9367552 267 33554432000 4194304 5064252 140734084979168 140734084978080 219513775694 0 65536 4100 65538 18446744071579302229 0 0 17 6 0 0 0 0 0
/proc/23536/statm: 2287 267 226 213 0 72 0
[pid=23537] ppid=23536 vsize=117976 CPUtime=1354.98 cores=0,2,4,6
/proc/23537/stat : 23537 (glucose) R 23536 23502 21157 0 -1 4202496 12703 0 0 0 135492 6 0 0 20 0 1 0 280256469 120807424 23472 33554432000 4194304 5208918 140736762197760 140736762195704 4229748 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/23537/statm: 29494 23472 105 248 0 29243 0
Current children cumulated CPU time (s) 1361.86
Current children cumulated vsize (KiB) 151484
[startup+1422.31 s]
/proc/loadavg: 2.00 2.00 2.00 3/183 23571
/proc/meminfo: memFree=29292524/32873648 swapFree=7116/7116
[pid=23502] ppid=23500 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/23502/stat : 23502 (npSolver-pbo.sh) S 23500 23502 21157 0 -1 4202496 356 0 0 0 0 0 0 0 20 0 1 0 280255759 9367552 274 33554432000 4194304 5064252 140734206656224 140734206655136 219513775694 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/23502/statm: 2287 274 233 213 0 72 0
[pid=23503] ppid=23502 vsize=15212 CPUtime=6.88 cores=0,2,4,6
/proc/23503/stat : 23503 (npSolver-pbo) S 23502 23502 21157 0 -1 4202496 11589 44258 0 0 45 16 609 18 20 0 1 0 280255759 15577088 3432 33554432000 4194304 5992684 140737123193136 140737123185456 5175646 0 65536 4102 0 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/23503/statm: 3803 3432 183 440 0 3359 0
[pid=23536] ppid=23503 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/23536/stat : 23536 (satsolver.sh) S 23503 23502 21157 0 -1 4202496 598 0 0 0 0 0 0 0 20 0 1 0 280256468 9367552 267 33554432000 4194304 5064252 140734084979168 140734084978080 219513775694 0 65536 4100 65538 18446744071579302229 0 0 17 6 0 0 0 0 0
/proc/23536/statm: 2287 267 226 213 0 72 0
[pid=23537] ppid=23536 vsize=68800 CPUtime=1414.97 cores=0,2,4,6
/proc/23537/stat : 23537 (glucose) R 23536 23502 21157 0 -1 4202496 12729 0 0 0 141491 6 0 0 20 0 1 0 280256469 70451200 14256 33554432000 4194304 5208918 140736762197760 140736762195704 4229374 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/23537/statm: 17200 14256 105 248 0 16949 0
Current children cumulated CPU time (s) 1421.85
Current children cumulated vsize (KiB) 102308
[startup+1482.3 s]
/proc/loadavg: 2.08 2.03 2.01 3/183 23571
/proc/meminfo: memFree=29268668/32873648 swapFree=7116/7116
[pid=23502] ppid=23500 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/23502/stat : 23502 (npSolver-pbo.sh) S 23500 23502 21157 0 -1 4202496 356 0 0 0 0 0 0 0 20 0 1 0 280255759 9367552 274 33554432000 4194304 5064252 140734206656224 140734206655136 219513775694 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/23502/statm: 2287 274 233 213 0 72 0
[pid=23503] ppid=23502 vsize=15212 CPUtime=6.88 cores=0,2,4,6
/proc/23503/stat : 23503 (npSolver-pbo) S 23502 23502 21157 0 -1 4202496 11589 44258 0 0 45 16 609 18 20 0 1 0 280255759 15577088 3432 33554432000 4194304 5992684 140737123193136 140737123185456 5175646 0 65536 4102 0 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/23503/statm: 3803 3432 183 440 0 3359 0
[pid=23536] ppid=23503 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/23536/stat : 23536 (satsolver.sh) S 23503 23502 21157 0 -1 4202496 598 0 0 0 0 0 0 0 20 0 1 0 280256468 9367552 267 33554432000 4194304 5064252 140734084979168 140734084978080 219513775694 0 65536 4100 65538 18446744071579302229 0 0 17 6 0 0 0 0 0
/proc/23536/statm: 2287 267 226 213 0 72 0
[pid=23537] ppid=23536 vsize=87656 CPUtime=1474.95 cores=0,2,4,6
/proc/23537/stat : 23537 (glucose) R 23536 23502 21157 0 -1 4202496 13235 0 0 0 147489 6 0 0 20 0 1 0 280256469 89759744 19324 33554432000 4194304 5208918 140736762197760 140736762195704 4229296 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/23537/statm: 21914 19324 105 248 0 21663 0
Current children cumulated CPU time (s) 1481.83
Current children cumulated vsize (KiB) 121164
[startup+1542.3 s]
/proc/loadavg: 2.12 2.05 2.01 3/184 23574
/proc/meminfo: memFree=29263224/32873648 swapFree=7116/7116
[pid=23502] ppid=23500 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/23502/stat : 23502 (npSolver-pbo.sh) S 23500 23502 21157 0 -1 4202496 356 0 0 0 0 0 0 0 20 0 1 0 280255759 9367552 274 33554432000 4194304 5064252 140734206656224 140734206655136 219513775694 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/23502/statm: 2287 274 233 213 0 72 0
[pid=23503] ppid=23502 vsize=15212 CPUtime=6.88 cores=0,2,4,6
/proc/23503/stat : 23503 (npSolver-pbo) S 23502 23502 21157 0 -1 4202496 11589 44258 0 0 45 16 609 18 20 0 1 0 280255759 15577088 3432 33554432000 4194304 5992684 140737123193136 140737123185456 5175646 0 65536 4102 0 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/23503/statm: 3803 3432 183 440 0 3359 0
[pid=23536] ppid=23503 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/23536/stat : 23536 (satsolver.sh) S 23503 23502 21157 0 -1 4202496 598 0 0 0 0 0 0 0 20 0 1 0 280256468 9367552 267 33554432000 4194304 5064252 140734084979168 140734084978080 219513775694 0 65536 4100 65538 18446744071579302229 0 0 17 6 0 0 0 0 0
/proc/23536/statm: 2287 267 226 213 0 72 0
[pid=23537] ppid=23536 vsize=87656 CPUtime=1534.95 cores=0,2,4,6
/proc/23537/stat : 23537 (glucose) R 23536 23502 21157 0 -1 4202496 13356 0 0 0 153489 6 0 0 20 0 1 0 280256469 89759744 21026 33554432000 4194304 5208918 140736762197760 140736762195704 4229319 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/23537/statm: 21914 21026 105 248 0 21663 0
Current children cumulated CPU time (s) 1541.83
Current children cumulated vsize (KiB) 121164
[startup+1602.3 s]
/proc/loadavg: 2.08 2.05 2.01 3/183 23574
/proc/meminfo: memFree=29260060/32873648 swapFree=7116/7116
[pid=23502] ppid=23500 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/23502/stat : 23502 (npSolver-pbo.sh) S 23500 23502 21157 0 -1 4202496 356 0 0 0 0 0 0 0 20 0 1 0 280255759 9367552 274 33554432000 4194304 5064252 140734206656224 140734206655136 219513775694 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/23502/statm: 2287 274 233 213 0 72 0
[pid=23503] ppid=23502 vsize=15212 CPUtime=6.88 cores=0,2,4,6
/proc/23503/stat : 23503 (npSolver-pbo) S 23502 23502 21157 0 -1 4202496 11589 44258 0 0 45 16 609 18 20 0 1 0 280255759 15577088 3432 33554432000 4194304 5992684 140737123193136 140737123185456 5175646 0 65536 4102 0 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/23503/statm: 3803 3432 183 440 0 3359 0
[pid=23536] ppid=23503 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/23536/stat : 23536 (satsolver.sh) S 23503 23502 21157 0 -1 4202496 598 0 0 0 0 0 0 0 20 0 1 0 280256468 9367552 267 33554432000 4194304 5064252 140734084979168 140734084978080 219513775694 0 65536 4100 65538 18446744071579302229 0 0 17 6 0 0 0 0 0
/proc/23536/statm: 2287 267 226 213 0 72 0
[pid=23537] ppid=23536 vsize=87656 CPUtime=1594.94 cores=0,2,4,6
/proc/23537/stat : 23537 (glucose) R 23536 23502 21157 0 -1 4202496 13356 0 0 0 159488 6 0 0 20 0 1 0 280256469 89759744 21026 33554432000 4194304 5208918 140736762197760 140736762195704 4205238 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/23537/statm: 21914 21026 105 248 0 21663 0
Current children cumulated CPU time (s) 1601.82
Current children cumulated vsize (KiB) 121164
[startup+1662.3 s]
/proc/loadavg: 2.03 2.04 2.00 3/183 23575
/proc/meminfo: memFree=29262048/32873648 swapFree=7116/7116
[pid=23502] ppid=23500 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/23502/stat : 23502 (npSolver-pbo.sh) S 23500 23502 21157 0 -1 4202496 356 0 0 0 0 0 0 0 20 0 1 0 280255759 9367552 274 33554432000 4194304 5064252 140734206656224 140734206655136 219513775694 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/23502/statm: 2287 274 233 213 0 72 0
[pid=23503] ppid=23502 vsize=15212 CPUtime=6.88 cores=0,2,4,6
/proc/23503/stat : 23503 (npSolver-pbo) S 23502 23502 21157 0 -1 4202496 11589 44258 0 0 45 16 609 18 20 0 1 0 280255759 15577088 3432 33554432000 4194304 5992684 140737123193136 140737123185456 5175646 0 65536 4102 0 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/23503/statm: 3803 3432 183 440 0 3359 0
[pid=23536] ppid=23503 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/23536/stat : 23536 (satsolver.sh) S 23503 23502 21157 0 -1 4202496 598 0 0 0 0 0 0 0 20 0 1 0 280256468 9367552 267 33554432000 4194304 5064252 140734084979168 140734084978080 219513775694 0 65536 4100 65538 18446744071579302229 0 0 17 6 0 0 0 0 0
/proc/23536/statm: 2287 267 226 213 0 72 0
[pid=23537] ppid=23536 vsize=87656 CPUtime=1654.93 cores=0,2,4,6
/proc/23537/stat : 23537 (glucose) R 23536 23502 21157 0 -1 4202496 13356 0 0 0 165487 6 0 0 20 0 1 0 280256469 89759744 21026 33554432000 4194304 5208918 140736762197760 140736762195704 4212883 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/23537/statm: 21914 21026 105 248 0 21663 0
Current children cumulated CPU time (s) 1661.81
Current children cumulated vsize (KiB) 121164
[startup+1722.3 s]
/proc/loadavg: 2.08 2.05 2.00 3/183 23575
/proc/meminfo: memFree=29265912/32873648 swapFree=7116/7116
[pid=23502] ppid=23500 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/23502/stat : 23502 (npSolver-pbo.sh) S 23500 23502 21157 0 -1 4202496 356 0 0 0 0 0 0 0 20 0 1 0 280255759 9367552 274 33554432000 4194304 5064252 140734206656224 140734206655136 219513775694 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/23502/statm: 2287 274 233 213 0 72 0
[pid=23503] ppid=23502 vsize=15212 CPUtime=6.88 cores=0,2,4,6
/proc/23503/stat : 23503 (npSolver-pbo) S 23502 23502 21157 0 -1 4202496 11589 44258 0 0 45 16 609 18 20 0 1 0 280255759 15577088 3432 33554432000 4194304 5992684 140737123193136 140737123185456 5175646 0 65536 4102 0 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/23503/statm: 3803 3432 183 440 0 3359 0
[pid=23536] ppid=23503 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/23536/stat : 23536 (satsolver.sh) S 23503 23502 21157 0 -1 4202496 598 0 0 0 0 0 0 0 20 0 1 0 280256468 9367552 267 33554432000 4194304 5064252 140734084979168 140734084978080 219513775694 0 65536 4100 65538 18446744071579302229 0 0 17 6 0 0 0 0 0
/proc/23536/statm: 2287 267 226 213 0 72 0
[pid=23537] ppid=23536 vsize=87656 CPUtime=1714.92 cores=0,2,4,6
/proc/23537/stat : 23537 (glucose) R 23536 23502 21157 0 -1 4202496 13356 0 0 0 171486 6 0 0 20 0 1 0 280256469 89759744 21026 33554432000 4194304 5208918 140736762197760 140736762195704 4228997 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/23537/statm: 21914 21026 105 248 0 21663 0
Current children cumulated CPU time (s) 1721.8
Current children cumulated vsize (KiB) 121164
[startup+1782.3 s]
/proc/loadavg: 2.13 2.07 2.01 3/183 23620
/proc/meminfo: memFree=29317056/32873648 swapFree=7116/7116
[pid=23502] ppid=23500 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/23502/stat : 23502 (npSolver-pbo.sh) S 23500 23502 21157 0 -1 4202496 356 0 0 0 0 0 0 0 20 0 1 0 280255759 9367552 274 33554432000 4194304 5064252 140734206656224 140734206655136 219513775694 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/23502/statm: 2287 274 233 213 0 72 0
[pid=23503] ppid=23502 vsize=15212 CPUtime=6.88 cores=0,2,4,6
/proc/23503/stat : 23503 (npSolver-pbo) S 23502 23502 21157 0 -1 4202496 11589 44258 0 0 45 16 609 18 20 0 1 0 280255759 15577088 3432 33554432000 4194304 5992684 140737123193136 140737123185456 5175646 0 65536 4102 0 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/23503/statm: 3803 3432 183 440 0 3359 0
[pid=23536] ppid=23503 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/23536/stat : 23536 (satsolver.sh) S 23503 23502 21157 0 -1 4202496 598 0 0 0 0 0 0 0 20 0 1 0 280256468 9367552 267 33554432000 4194304 5064252 140734084979168 140734084978080 219513775694 0 65536 4100 65538 18446744071579302229 0 0 17 6 0 0 0 0 0
/proc/23536/statm: 2287 267 226 213 0 72 0
[pid=23537] ppid=23536 vsize=87656 CPUtime=1774.91 cores=0,2,4,6
/proc/23537/stat : 23537 (glucose) R 23536 23502 21157 0 -1 4202496 13357 0 0 0 177485 6 0 0 20 0 1 0 280256469 89759744 21538 33554432000 4194304 5208918 140736762197760 140736762194136 4229469 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/23537/statm: 21914 21538 105 248 0 21663 0
Current children cumulated CPU time (s) 1781.79
Current children cumulated vsize (KiB) 121164
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+1800.6 s]
/proc/loadavg: 2.09 2.06 2.01 3/183 23620
/proc/meminfo: memFree=29281192/32873648 swapFree=7116/7116
[pid=23502] ppid=23500 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/23502/stat : 23502 (npSolver-pbo.sh) S 23500 23502 21157 0 -1 4202496 356 0 0 0 0 0 0 0 20 0 1 0 280255759 9367552 274 33554432000 4194304 5064252 140734206656224 140734206655136 219513775694 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/23502/statm: 2287 274 233 213 0 72 0
[pid=23503] ppid=23502 vsize=15212 CPUtime=6.88 cores=0,2,4,6
/proc/23503/stat : 23503 (npSolver-pbo) S 23502 23502 21157 0 -1 4202496 11589 44258 0 0 45 16 609 18 20 0 1 0 280255759 15577088 3432 33554432000 4194304 5992684 140737123193136 140737123185456 5175646 0 65536 4102 0 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/23503/statm: 3803 3432 183 440 0 3359 0
[pid=23536] ppid=23503 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/23536/stat : 23536 (satsolver.sh) S 23503 23502 21157 0 -1 4202496 598 0 0 0 0 0 0 0 20 0 1 0 280256468 9367552 267 33554432000 4194304 5064252 140734084979168 140734084978080 219513775694 0 65536 4100 65538 18446744071579302229 0 0 17 6 0 0 0 0 0
/proc/23536/statm: 2287 267 226 213 0 72 0
[pid=23537] ppid=23536 vsize=87656 CPUtime=1793.22 cores=0,2,4,6
/proc/23537/stat : 23537 (glucose) R 23536 23502 21157 0 -1 4202496 13357 0 0 0 179316 6 0 0 20 0 1 0 280256469 89759744 21538 33554432000 4194304 5208918 140736762197760 140736762194136 4228997 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/23537/statm: 21914 21538 105 248 0 21663 0
Current children cumulated CPU time (s) 1800.1
Current children cumulated vsize (KiB) 121164
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.62
CPU time (s): 1800.14
CPU user time (s): 1799.72
CPU system time (s): 0.426935
CPU usage (%): 99.9737
Max. virtual memory (cumulated for all children) (KiB): 151484
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1799.72
system time used= 0.426935
maximum resident set size= 95936
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 70194
page faults= 0
swaps= 0
block input operations= 0
block output operations= 66176
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 372
involuntary context switches= 2237
runsolver used 3.75643 second user time and 9.34458 second system time
The end