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-3750017-1339176000/watcher-3750017-1339176000 -o /tmp/evaluation-result-3750017-1339176000/solver-3750017-1339176000 -C 1800 -W 1900 -M 15500 HOME/npSolver-pbo.sh HOME/instance-3750017-1339176000.opb 1167293495 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.92 1.98 1.99 3/179 4736
/proc/meminfo: memFree=22713924/32873648 swapFree=7372/7372
[pid=4736] ppid=4734 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/4736/stat : 4736 (npSolver-pbo.sh) S 4734 4736 4063 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 383725893 9367552 275 33554432000 4194304 5064252 140734879131920 140734879130832 259112199758 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/4736/statm: 2287 275 233 213 0 72 0
[startup+0.082732 s]
/proc/loadavg: 1.92 1.98 1.99 3/179 4736
/proc/meminfo: memFree=22713924/32873648 swapFree=7372/7372
[pid=4736] ppid=4734 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/4736/stat : 4736 (npSolver-pbo.sh) S 4734 4736 4063 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 383725893 9367552 275 33554432000 4194304 5064252 140734879131920 140734879130832 259112199758 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/4736/statm: 2287 275 233 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148
[startup+0.100264 s]
/proc/loadavg: 1.92 1.98 1.99 3/179 4736
/proc/meminfo: memFree=22713924/32873648 swapFree=7372/7372
[pid=4736] ppid=4734 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/4736/stat : 4736 (npSolver-pbo.sh) S 4734 4736 4063 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 383725893 9367552 275 33554432000 4194304 5064252 140734879131920 140734879130832 259112199758 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/4736/statm: 2287 275 233 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148
[startup+0.300759 s]
/proc/loadavg: 1.92 1.98 1.99 3/179 4736
/proc/meminfo: memFree=22713924/32873648 swapFree=7372/7372
[pid=4736] ppid=4734 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/4736/stat : 4736 (npSolver-pbo.sh) S 4734 4736 4063 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 383725893 9367552 275 33554432000 4194304 5064252 140734879131920 140734879130832 259112199758 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/4736/statm: 2287 275 233 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148
[startup+0.700243 s]
/proc/loadavg: 1.92 1.98 1.99 3/179 4736
/proc/meminfo: memFree=22713924/32873648 swapFree=7372/7372
[pid=4736] ppid=4734 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/4736/stat : 4736 (npSolver-pbo.sh) S 4734 4736 4063 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 383725893 9367552 275 33554432000 4194304 5064252 140734879131920 140734879130832 259112199758 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/4736/statm: 2287 275 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.92 1.98 1.99 3/184 4743
/proc/meminfo: memFree=22622320/32873648 swapFree=7372/7372
[pid=4736] ppid=4734 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/4736/stat : 4736 (npSolver-pbo.sh) S 4734 4736 4063 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 383725893 9367552 275 33554432000 4194304 5064252 140734879131920 140734879130832 259112199758 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/4736/statm: 2287 275 233 213 0 72 0
[pid=4737] ppid=4736 vsize=59844 CPUtime=0.85 cores=1,3,5,7
/proc/4737/stat : 4737 (npSolver-pbo) S 4736 4736 4063 0 -1 4202496 17110 0 0 0 78 7 0 0 20 0 1 0 383725893 61280256 12527 33554432000 4194304 6004724 140734634284576 140734634278624 5186782 0 65536 4102 0 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/4737/statm: 14961 12527 162 442 0 14515 0
[pid=4742] ppid=4737 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/4742/stat : 4742 (cp2_pre.sh) S 4737 4736 4063 0 -1 4202496 608 0 0 0 0 0 0 0 20 0 1 0 383725979 9367552 276 33554432000 4194304 5064252 140736835656528 140736835655232 259112199758 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/4742/statm: 2287 276 234 213 0 72 0
[pid=4743] ppid=4742 vsize=112328 CPUtime=0.63 cores=1,3,5,7
/proc/4743/stat : 4743 (coprocessor) R 4742 4736 4063 0 -1 4202496 19996 0 0 0 60 3 0 0 20 0 1 0 383725979 115023872 25388 33554432000 4194304 6586260 140736542677776 140736835655256 5511711 0 0 4096 8404994 0 0 0 17 5 0 0 0 0 0
/proc/4743/statm: 28082 25389 166 584 0 27494 0
Current children cumulated CPU time (s) 1.48
Current children cumulated vsize (KiB) 190468
[startup+3.1004 s]
/proc/loadavg: 1.92 1.98 1.99 3/184 4743
/proc/meminfo: memFree=22514464/32873648 swapFree=7372/7372
[pid=4736] ppid=4734 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/4736/stat : 4736 (npSolver-pbo.sh) S 4734 4736 4063 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 383725893 9367552 275 33554432000 4194304 5064252 140734879131920 140734879130832 259112199758 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/4736/statm: 2287 275 233 213 0 72 0
[pid=4737] ppid=4736 vsize=59844 CPUtime=0.85 cores=1,3,5,7
/proc/4737/stat : 4737 (npSolver-pbo) S 4736 4736 4063 0 -1 4202496 17110 0 0 0 78 7 0 0 20 0 1 0 383725893 61280256 12527 33554432000 4194304 6004724 140734634284576 140734634278624 5186782 0 65536 4102 0 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/4737/statm: 14961 12527 162 442 0 14515 0
[pid=4742] ppid=4737 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/4742/stat : 4742 (cp2_pre.sh) S 4737 4736 4063 0 -1 4202496 608 0 0 0 0 0 0 0 20 0 1 0 383725979 9367552 276 33554432000 4194304 5064252 140736835656528 140736835655232 259112199758 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/4742/statm: 2287 276 234 213 0 72 0
[pid=4743] ppid=4742 vsize=152320 CPUtime=2.11 cores=1,3,5,7
/proc/4743/stat : 4743 (coprocessor) R 4742 4736 4063 0 -1 4202496 28203 0 0 0 198 13 0 0 20 0 1 0 383725979 155975680 36686 33554432000 4194304 6586260 140736542677776 140736542673400 5732496 0 0 4096 8404994 0 0 0 17 5 0 0 12 0 0
/proc/4743/statm: 38080 36686 204 584 0 37492 0
Current children cumulated CPU time (s) 2.96
Current children cumulated vsize (KiB) 230460
[startup+6.30022 s]
/proc/loadavg: 1.93 1.98 1.99 3/184 4746
/proc/meminfo: memFree=22601280/32873648 swapFree=7372/7372
[pid=4736] ppid=4734 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/4736/stat : 4736 (npSolver-pbo.sh) S 4734 4736 4063 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 383725893 9367552 275 33554432000 4194304 5064252 140734879131920 140734879130832 259112199758 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/4736/statm: 2287 275 233 213 0 72 0
[pid=4737] ppid=4736 vsize=59848 CPUtime=6.16 cores=1,3,5,7
/proc/4737/stat : 4737 (npSolver-pbo) R 4736 4736 4063 0 -1 4202496 18544 46098 0 0 91 26 479 20 20 0 1 0 383725893 61284352 12535 33554432000 4194304 6004724 140734634284576 140734634278776 5190832 0 0 4096 0 0 0 0 17 1 0 0 0 0 0
/proc/4737/statm: 14962 12535 169 442 0 14516 0
Current children cumulated CPU time (s) 6.16
Current children cumulated vsize (KiB) 68996
[startup+12.7012 s]
/proc/loadavg: 1.93 1.98 1.99 3/184 4753
/proc/meminfo: memFree=22575192/32873648 swapFree=7372/7372
[pid=4736] ppid=4734 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/4736/stat : 4736 (npSolver-pbo.sh) S 4734 4736 4063 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 383725893 9367552 275 33554432000 4194304 5064252 140734879131920 140734879130832 259112199758 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/4736/statm: 2287 275 233 213 0 72 0
[pid=4737] ppid=4736 vsize=63944 CPUtime=6.79 cores=1,3,5,7
/proc/4737/stat : 4737 (npSolver-pbo) S 4736 4736 4063 0 -1 4202496 20523 46615 0 0 105 73 479 22 20 0 1 0 383725893 65478656 13434 33554432000 4194304 6004724 140734634284576 140734634276928 5186782 0 65536 4102 0 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/4737/statm: 15986 13434 175 442 0 15540 0
[pid=4752] ppid=4737 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/4752/stat : 4752 (satsolver.sh) S 4737 4736 4063 0 -1 4202496 597 0 0 0 0 0 0 0 20 0 1 0 383726586 9367552 267 33554432000 4194304 5064252 140737329234928 140737329233840 259112199758 0 65536 4100 65538 18446744071579302229 0 0 17 7 0 0 0 0 0
/proc/4752/statm: 2287 267 226 213 0 72 0
[pid=4753] ppid=4752 vsize=73044 CPUtime=5.75 cores=1,3,5,7
/proc/4753/stat : 4753 (glucose) R 4752 4736 4063 0 -1 4202496 14749 0 0 0 573 2 0 0 20 0 1 0 383726587 74797056 15077 33554432000 4194304 5208918 140735414166048 140735414163880 4229251 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/4753/statm: 18261 15077 103 248 0 18010 0
Current children cumulated CPU time (s) 12.54
Current children cumulated vsize (KiB) 155284
[startup+25.5004 s]
/proc/loadavg: 1.95 1.98 1.99 3/184 4753
/proc/meminfo: memFree=22574952/32873648 swapFree=7372/7372
[pid=4736] ppid=4734 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/4736/stat : 4736 (npSolver-pbo.sh) S 4734 4736 4063 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 383725893 9367552 275 33554432000 4194304 5064252 140734879131920 140734879130832 259112199758 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/4736/statm: 2287 275 233 213 0 72 0
[pid=4737] ppid=4736 vsize=63944 CPUtime=6.79 cores=1,3,5,7
/proc/4737/stat : 4737 (npSolver-pbo) S 4736 4736 4063 0 -1 4202496 20523 46615 0 0 105 73 479 22 20 0 1 0 383725893 65478656 13434 33554432000 4194304 6004724 140734634284576 140734634276928 5186782 0 65536 4102 0 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/4737/statm: 15986 13434 175 442 0 15540 0
[pid=4752] ppid=4737 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/4752/stat : 4752 (satsolver.sh) S 4737 4736 4063 0 -1 4202496 597 0 0 0 0 0 0 0 20 0 1 0 383726586 9367552 267 33554432000 4194304 5064252 140737329234928 140737329233840 259112199758 0 65536 4100 65538 18446744071579302229 0 0 17 7 0 0 0 0 0
/proc/4752/statm: 2287 267 226 213 0 72 0
[pid=4753] ppid=4752 vsize=73044 CPUtime=18.55 cores=1,3,5,7
/proc/4753/stat : 4753 (glucose) R 4752 4736 4063 0 -1 4202496 14758 0 0 0 1853 2 0 0 20 0 1 0 383726587 74797056 15084 33554432000 4194304 5208918 140735414166048 140735414163880 4229565 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/4753/statm: 18261 15084 103 248 0 18010 0
Current children cumulated CPU time (s) 25.34
Current children cumulated vsize (KiB) 155284
[startup+51.1004 s]
/proc/loadavg: 1.96 1.98 1.99 3/184 4754
/proc/meminfo: memFree=22574260/32873648 swapFree=7372/7372
[pid=4736] ppid=4734 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/4736/stat : 4736 (npSolver-pbo.sh) S 4734 4736 4063 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 383725893 9367552 275 33554432000 4194304 5064252 140734879131920 140734879130832 259112199758 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/4736/statm: 2287 275 233 213 0 72 0
[pid=4737] ppid=4736 vsize=63944 CPUtime=6.79 cores=1,3,5,7
/proc/4737/stat : 4737 (npSolver-pbo) S 4736 4736 4063 0 -1 4202496 20523 46615 0 0 105 73 479 22 20 0 1 0 383725893 65478656 13434 33554432000 4194304 6004724 140734634284576 140734634276928 5186782 0 65536 4102 0 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/4737/statm: 15986 13434 175 442 0 15540 0
[pid=4752] ppid=4737 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/4752/stat : 4752 (satsolver.sh) S 4737 4736 4063 0 -1 4202496 597 0 0 0 0 0 0 0 20 0 1 0 383726586 9367552 267 33554432000 4194304 5064252 140737329234928 140737329233840 259112199758 0 65536 4100 65538 18446744071579302229 0 0 17 7 0 0 0 0 0
/proc/4752/statm: 2287 267 226 213 0 72 0
[pid=4753] ppid=4752 vsize=66736 CPUtime=44.15 cores=1,3,5,7
/proc/4753/stat : 4753 (glucose) R 4752 4736 4063 0 -1 4202496 15764 0 0 0 4412 3 0 0 20 0 1 0 383726587 68337664 15291 33554432000 4194304 5208918 140735414166048 140735414162424 4205640 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/4753/statm: 16684 15291 105 248 0 16433 0
Current children cumulated CPU time (s) 50.94
Current children cumulated vsize (KiB) 148976
[startup+102.307 s]
/proc/loadavg: 1.98 1.98 1.99 3/183 4799
/proc/meminfo: memFree=28374140/32873648 swapFree=7372/7372
[pid=4736] ppid=4734 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/4736/stat : 4736 (npSolver-pbo.sh) S 4734 4736 4063 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 383725893 9367552 275 33554432000 4194304 5064252 140734879131920 140734879130832 259112199758 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/4736/statm: 2287 275 233 213 0 72 0
[pid=4737] ppid=4736 vsize=63944 CPUtime=6.79 cores=1,3,5,7
/proc/4737/stat : 4737 (npSolver-pbo) S 4736 4736 4063 0 -1 4202496 20523 46615 0 0 105 73 479 22 20 0 1 0 383725893 65478656 13434 33554432000 4194304 6004724 140734634284576 140734634276928 5186782 0 65536 4102 0 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/4737/statm: 15986 13434 175 442 0 15540 0
[pid=4752] ppid=4737 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/4752/stat : 4752 (satsolver.sh) S 4737 4736 4063 0 -1 4202496 597 0 0 0 0 0 0 0 20 0 1 0 383726586 9367552 267 33554432000 4194304 5064252 140737329234928 140737329233840 259112199758 0 65536 4100 65538 18446744071579302229 0 0 17 7 0 0 0 0 0
/proc/4752/statm: 2287 267 226 213 0 72 0
[pid=4753] ppid=4752 vsize=127088 CPUtime=95.34 cores=1,3,5,7
/proc/4753/stat : 4753 (glucose) R 4752 4736 4063 0 -1 4202496 20232 0 0 0 9528 6 0 0 20 0 1 0 383726587 130138112 29333 33554432000 4194304 5208918 140735414166048 140735414162424 4229456 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/4753/statm: 31772 29333 105 248 0 31521 0
Current children cumulated CPU time (s) 102.13
Current children cumulated vsize (KiB) 209328
[startup+162.3 s]
/proc/loadavg: 2.06 2.00 2.00 3/183 4799
/proc/meminfo: memFree=28348000/32873648 swapFree=7372/7372
[pid=4736] ppid=4734 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/4736/stat : 4736 (npSolver-pbo.sh) S 4734 4736 4063 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 383725893 9367552 275 33554432000 4194304 5064252 140734879131920 140734879130832 259112199758 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/4736/statm: 2287 275 233 213 0 72 0
[pid=4737] ppid=4736 vsize=63944 CPUtime=6.79 cores=1,3,5,7
/proc/4737/stat : 4737 (npSolver-pbo) S 4736 4736 4063 0 -1 4202496 20523 46615 0 0 105 73 479 22 20 0 1 0 383725893 65478656 13434 33554432000 4194304 6004724 140734634284576 140734634276928 5186782 0 65536 4102 0 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/4737/statm: 15986 13434 175 442 0 15540 0
[pid=4752] ppid=4737 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/4752/stat : 4752 (satsolver.sh) S 4737 4736 4063 0 -1 4202496 597 0 0 0 0 0 0 0 20 0 1 0 383726586 9367552 267 33554432000 4194304 5064252 140737329234928 140737329233840 259112199758 0 65536 4100 65538 18446744071579302229 0 0 17 7 0 0 0 0 0
/proc/4752/statm: 2287 267 226 213 0 72 0
[pid=4753] ppid=4752 vsize=157732 CPUtime=155.31 cores=1,3,5,7
/proc/4753/stat : 4753 (glucose) R 4752 4736 4063 0 -1 4202496 22177 0 0 0 15523 8 0 0 20 0 1 0 383726587 161517568 33776 33554432000 4194304 5208918 140735414166048 140735414164040 4222322 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/4753/statm: 39433 33776 105 248 0 39182 0
Current children cumulated CPU time (s) 162.1
################
# More data... #
################
[startup+1422.31 s]
/proc/loadavg: 2.00 2.00 2.00 3/183 4817
/proc/meminfo: memFree=28305884/32873648 swapFree=7372/7372
[pid=4736] ppid=4734 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/4736/stat : 4736 (npSolver-pbo.sh) S 4734 4736 4063 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 383725893 9367552 275 33554432000 4194304 5064252 140734879131920 140734879130832 259112199758 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/4736/statm: 2287 275 233 213 0 72 0
[pid=4737] ppid=4736 vsize=63944 CPUtime=162.82 cores=1,3,5,7
/proc/4737/stat : 4737 (npSolver-pbo) S 4736 4736 4063 0 -1 4202496 22523 73457 0 0 111 74 16063 34 20 0 1 0 383725893 65478656 13435 33554432000 4194304 6004724 140734634284576 140734634276928 5186782 0 65536 4102 0 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/4737/statm: 15986 13435 176 442 0 15540 0
[pid=4805] ppid=4737 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/4805/stat : 4805 (satsolver.sh) S 4737 4736 4063 0 -1 4202496 597 0 0 0 0 0 0 0 20 0 1 0 383742193 9367552 267 33554432000 4194304 5064252 140736526632048 140736526630960 259112199758 0 65536 4100 65538 18446744071579302229 0 0 17 7 0 0 0 0 0
/proc/4805/statm: 2287 267 226 213 0 72 0
[pid=4806] ppid=4805 vsize=175924 CPUtime=1259.08 cores=1,3,5,7
/proc/4806/stat : 4806 (glucose) R 4805 4736 4063 0 -1 4202496 58475 0 0 0 125839 69 0 0 20 0 1 0 383742193 180146176 37859 33554432000 4194304 5208918 140733455746672 140733455743048 4229319 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/4806/statm: 43981 37859 105 248 0 43730 0
Current children cumulated CPU time (s) 1421.9
Current children cumulated vsize (KiB) 258164
[startup+1482.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/183 4817
/proc/meminfo: memFree=28315304/32873648 swapFree=7372/7372
[pid=4736] ppid=4734 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/4736/stat : 4736 (npSolver-pbo.sh) S 4734 4736 4063 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 383725893 9367552 275 33554432000 4194304 5064252 140734879131920 140734879130832 259112199758 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/4736/statm: 2287 275 233 213 0 72 0
[pid=4737] ppid=4736 vsize=63944 CPUtime=162.82 cores=1,3,5,7
/proc/4737/stat : 4737 (npSolver-pbo) S 4736 4736 4063 0 -1 4202496 22523 73457 0 0 111 74 16063 34 20 0 1 0 383725893 65478656 13435 33554432000 4194304 6004724 140734634284576 140734634276928 5186782 0 65536 4102 0 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/4737/statm: 15986 13435 176 442 0 15540 0
[pid=4805] ppid=4737 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/4805/stat : 4805 (satsolver.sh) S 4737 4736 4063 0 -1 4202496 597 0 0 0 0 0 0 0 20 0 1 0 383742193 9367552 267 33554432000 4194304 5064252 140736526632048 140736526630960 259112199758 0 65536 4100 65538 18446744071579302229 0 0 17 7 0 0 0 0 0
/proc/4805/statm: 2287 267 226 213 0 72 0
[pid=4806] ppid=4805 vsize=145932 CPUtime=1319.06 cores=1,3,5,7
/proc/4806/stat : 4806 (glucose) R 4805 4736 4063 0 -1 4202496 59512 0 0 0 131835 71 0 0 20 0 1 0 383742193 149434368 34991 33554432000 4194304 5208918 140733455746672 140733455744760 4231508 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/4806/statm: 36483 34991 105 248 0 36232 0
Current children cumulated CPU time (s) 1481.88
Current children cumulated vsize (KiB) 228172
[startup+1542.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/183 4817
/proc/meminfo: memFree=28268272/32873648 swapFree=7372/7372
[pid=4736] ppid=4734 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/4736/stat : 4736 (npSolver-pbo.sh) S 4734 4736 4063 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 383725893 9367552 275 33554432000 4194304 5064252 140734879131920 140734879130832 259112199758 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/4736/statm: 2287 275 233 213 0 72 0
[pid=4737] ppid=4736 vsize=63944 CPUtime=162.82 cores=1,3,5,7
/proc/4737/stat : 4737 (npSolver-pbo) S 4736 4736 4063 0 -1 4202496 22523 73457 0 0 111 74 16063 34 20 0 1 0 383725893 65478656 13435 33554432000 4194304 6004724 140734634284576 140734634276928 5186782 0 65536 4102 0 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/4737/statm: 15986 13435 176 442 0 15540 0
[pid=4805] ppid=4737 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/4805/stat : 4805 (satsolver.sh) S 4737 4736 4063 0 -1 4202496 597 0 0 0 0 0 0 0 20 0 1 0 383742193 9367552 267 33554432000 4194304 5064252 140736526632048 140736526630960 259112199758 0 65536 4100 65538 18446744071579302229 0 0 17 7 0 0 0 0 0
/proc/4805/statm: 2287 267 226 213 0 72 0
[pid=4806] ppid=4805 vsize=227252 CPUtime=1379.04 cores=1,3,5,7
/proc/4806/stat : 4806 (glucose) R 4805 4736 4063 0 -1 4202496 60420 0 0 0 137832 72 0 0 20 0 1 0 383742193 232706048 46107 33554432000 4194304 5208918 140733455746672 140733455744520 4229021 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/4806/statm: 56813 46107 105 248 0 56562 0
Current children cumulated CPU time (s) 1541.86
Current children cumulated vsize (KiB) 309492
[startup+1602.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/183 4818
/proc/meminfo: memFree=28268460/32873648 swapFree=7372/7372
[pid=4736] ppid=4734 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/4736/stat : 4736 (npSolver-pbo.sh) S 4734 4736 4063 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 383725893 9367552 275 33554432000 4194304 5064252 140734879131920 140734879130832 259112199758 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/4736/statm: 2287 275 233 213 0 72 0
[pid=4737] ppid=4736 vsize=63944 CPUtime=162.82 cores=1,3,5,7
/proc/4737/stat : 4737 (npSolver-pbo) S 4736 4736 4063 0 -1 4202496 22523 73457 0 0 111 74 16063 34 20 0 1 0 383725893 65478656 13435 33554432000 4194304 6004724 140734634284576 140734634276928 5186782 0 65536 4102 0 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/4737/statm: 15986 13435 176 442 0 15540 0
[pid=4805] ppid=4737 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/4805/stat : 4805 (satsolver.sh) S 4737 4736 4063 0 -1 4202496 597 0 0 0 0 0 0 0 20 0 1 0 383742193 9367552 267 33554432000 4194304 5064252 140736526632048 140736526630960 259112199758 0 65536 4100 65538 18446744071579302229 0 0 17 7 0 0 0 0 0
/proc/4805/statm: 2287 267 226 213 0 72 0
[pid=4806] ppid=4805 vsize=231128 CPUtime=1439.04 cores=1,3,5,7
/proc/4806/stat : 4806 (glucose) R 4805 4736 4063 0 -1 4202496 62217 0 0 0 143829 75 0 0 20 0 1 0 383742193 236675072 45015 33554432000 4194304 5208918 140733455746672 140733455743048 4211553 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/4806/statm: 57782 45015 105 248 0 57531 0
Current children cumulated CPU time (s) 1601.86
Current children cumulated vsize (KiB) 313368
[startup+1662.3 s]
/proc/loadavg: 2.08 2.02 2.01 3/183 4818
/proc/meminfo: memFree=28274556/32873648 swapFree=7372/7372
[pid=4736] ppid=4734 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/4736/stat : 4736 (npSolver-pbo.sh) S 4734 4736 4063 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 383725893 9367552 275 33554432000 4194304 5064252 140734879131920 140734879130832 259112199758 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/4736/statm: 2287 275 233 213 0 72 0
[pid=4737] ppid=4736 vsize=63944 CPUtime=162.82 cores=1,3,5,7
/proc/4737/stat : 4737 (npSolver-pbo) S 4736 4736 4063 0 -1 4202496 22523 73457 0 0 111 74 16063 34 20 0 1 0 383725893 65478656 13435 33554432000 4194304 6004724 140734634284576 140734634276928 5186782 0 65536 4102 0 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/4737/statm: 15986 13435 176 442 0 15540 0
[pid=4805] ppid=4737 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/4805/stat : 4805 (satsolver.sh) S 4737 4736 4063 0 -1 4202496 597 0 0 0 0 0 0 0 20 0 1 0 383742193 9367552 267 33554432000 4194304 5064252 140736526632048 140736526630960 259112199758 0 65536 4100 65538 18446744071579302229 0 0 17 7 0 0 0 0 0
/proc/4805/statm: 2287 267 226 213 0 72 0
[pid=4806] ppid=4805 vsize=181040 CPUtime=1499.02 cores=1,3,5,7
/proc/4806/stat : 4806 (glucose) R 4805 4736 4063 0 -1 4202496 63313 0 0 0 149824 78 0 0 20 0 1 0 383742193 185384960 42176 33554432000 4194304 5208918 140733455746672 140733455743048 4229338 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/4806/statm: 45260 42176 105 248 0 45009 0
Current children cumulated CPU time (s) 1661.84
Current children cumulated vsize (KiB) 263280
[startup+1722.3 s]
/proc/loadavg: 2.03 2.01 2.00 3/183 4818
/proc/meminfo: memFree=28288940/32873648 swapFree=7372/7372
[pid=4736] ppid=4734 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/4736/stat : 4736 (npSolver-pbo.sh) S 4734 4736 4063 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 383725893 9367552 275 33554432000 4194304 5064252 140734879131920 140734879130832 259112199758 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/4736/statm: 2287 275 233 213 0 72 0
[pid=4737] ppid=4736 vsize=63944 CPUtime=162.82 cores=1,3,5,7
/proc/4737/stat : 4737 (npSolver-pbo) S 4736 4736 4063 0 -1 4202496 22523 73457 0 0 111 74 16063 34 20 0 1 0 383725893 65478656 13435 33554432000 4194304 6004724 140734634284576 140734634276928 5186782 0 65536 4102 0 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/4737/statm: 15986 13435 176 442 0 15540 0
[pid=4805] ppid=4737 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/4805/stat : 4805 (satsolver.sh) S 4737 4736 4063 0 -1 4202496 597 0 0 0 0 0 0 0 20 0 1 0 383742193 9367552 267 33554432000 4194304 5064252 140736526632048 140736526630960 259112199758 0 65536 4100 65538 18446744071579302229 0 0 17 7 0 0 0 0 0
/proc/4805/statm: 2287 267 226 213 0 72 0
[pid=4806] ppid=4805 vsize=181208 CPUtime=1559.01 cores=1,3,5,7
/proc/4806/stat : 4806 (glucose) R 4805 4736 4063 0 -1 4202496 64150 0 0 0 155820 81 0 0 20 0 1 0 383742193 185556992 38078 33554432000 4194304 5208918 140733455746672 140733455744760 4229251 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/4806/statm: 45302 38078 105 248 0 45051 0
Current children cumulated CPU time (s) 1721.83
Current children cumulated vsize (KiB) 263448
[startup+1782.3 s]
/proc/loadavg: 2.09 2.02 2.01 3/183 4818
/proc/meminfo: memFree=28246788/32873648 swapFree=7372/7372
[pid=4736] ppid=4734 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/4736/stat : 4736 (npSolver-pbo.sh) S 4734 4736 4063 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 383725893 9367552 275 33554432000 4194304 5064252 140734879131920 140734879130832 259112199758 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/4736/statm: 2287 275 233 213 0 72 0
[pid=4737] ppid=4736 vsize=63944 CPUtime=162.82 cores=1,3,5,7
/proc/4737/stat : 4737 (npSolver-pbo) S 4736 4736 4063 0 -1 4202496 22523 73457 0 0 111 74 16063 34 20 0 1 0 383725893 65478656 13435 33554432000 4194304 6004724 140734634284576 140734634276928 5186782 0 65536 4102 0 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/4737/statm: 15986 13435 176 442 0 15540 0
[pid=4805] ppid=4737 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/4805/stat : 4805 (satsolver.sh) S 4737 4736 4063 0 -1 4202496 597 0 0 0 0 0 0 0 20 0 1 0 383742193 9367552 267 33554432000 4194304 5064252 140736526632048 140736526630960 259112199758 0 65536 4100 65538 18446744071579302229 0 0 17 7 0 0 0 0 0
/proc/4805/statm: 2287 267 226 213 0 72 0
[pid=4806] ppid=4805 vsize=231884 CPUtime=1619 cores=1,3,5,7
/proc/4806/stat : 4806 (glucose) R 4805 4736 4063 0 -1 4202496 64619 0 0 0 161818 82 0 0 20 0 1 0 383742193 237449216 48253 33554432000 4194304 5208918 140733455746672 140733455744520 4211656 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/4806/statm: 57971 48253 105 248 0 57720 0
Current children cumulated CPU time (s) 1781.82
Current children cumulated vsize (KiB) 314124
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+1800.5 s]
/proc/loadavg: 2.06 2.02 2.00 3/186 4821
/proc/meminfo: memFree=28285612/32873648 swapFree=7372/7372
[pid=4736] ppid=4734 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/4736/stat : 4736 (npSolver-pbo.sh) S 4734 4736 4063 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 383725893 9367552 275 33554432000 4194304 5064252 140734879131920 140734879130832 259112199758 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/4736/statm: 2287 275 233 213 0 72 0
[pid=4737] ppid=4736 vsize=63944 CPUtime=162.82 cores=1,3,5,7
/proc/4737/stat : 4737 (npSolver-pbo) S 4736 4736 4063 0 -1 4202496 22523 73457 0 0 111 74 16063 34 20 0 1 0 383725893 65478656 13435 33554432000 4194304 6004724 140734634284576 140734634276928 5186782 0 65536 4102 0 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/4737/statm: 15986 13435 176 442 0 15540 0
[pid=4805] ppid=4737 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/4805/stat : 4805 (satsolver.sh) S 4737 4736 4063 0 -1 4202496 597 0 0 0 0 0 0 0 20 0 1 0 383742193 9367552 267 33554432000 4194304 5064252 140736526632048 140736526630960 259112199758 0 65536 4100 65538 18446744071579302229 0 0 17 7 0 0 0 0 0
/proc/4805/statm: 2287 267 226 213 0 72 0
[pid=4806] ppid=4805 vsize=182104 CPUtime=1637.21 cores=1,3,5,7
/proc/4806/stat : 4806 (glucose) R 4805 4736 4063 0 -1 4202496 65157 0 0 0 163637 84 0 0 20 0 1 0 383742193 186474496 38280 33554432000 4194304 5208918 140733455746672 140733455744760 4229319 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/4806/statm: 45526 38280 105 248 0 45275 0
Current children cumulated CPU time (s) 1800.03
Current children cumulated vsize (KiB) 264344
Sending SIGTERM to process tree (bottom up)
Solver just ended. Dumping a history of the last processes samples
[startup+1800.5 s]
/proc/loadavg: 2.06 2.02 2.00 3/186 4821
/proc/meminfo: memFree=28285612/32873648 swapFree=7372/7372
[pid=4736] ppid=4734 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/4736/stat : 4736 (npSolver-pbo.sh) S 4734 4736 4063 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 383725893 9367552 275 33554432000 4194304 5064252 140734879131920 140734879130832 259112199758 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/4736/statm: 2287 275 233 213 0 72 0
[pid=4737] ppid=4736 vsize=63944 CPUtime=162.82 cores=1,3,5,7
/proc/4737/stat : 4737 (npSolver-pbo) S 4736 4736 4063 0 -1 4202496 22523 73457 0 0 111 74 16063 34 20 0 1 0 383725893 65478656 13435 33554432000 4194304 6004724 140734634284576 140734634276928 5186782 0 65536 4102 0 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/4737/statm: 15986 13435 176 442 0 15540 0
[pid=4805] ppid=4737 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/4805/stat : 4805 (satsolver.sh) S 4737 4736 4063 0 -1 4202496 597 0 0 0 0 0 0 0 20 0 1 0 383742193 9367552 267 33554432000 4194304 5064252 140736526632048 140736526630960 259112199758 0 65536 4100 65538 18446744071579302229 0 0 17 7 0 0 0 0 0
/proc/4805/statm: 2287 267 226 213 0 72 0
[pid=4806] ppid=4805 vsize=182104 CPUtime=1637.21 cores=1,3,5,7
/proc/4806/stat : 4806 (glucose) R 4805 4736 4063 0 -1 4202496 65157 0 0 0 163637 84 0 0 20 0 1 0 383742193 186474496 38280 33554432000 4194304 5208918 140733455746672 140733455744760 4229319 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/4806/statm: 45526 38280 105 248 0 45275 0
Current children cumulated CPU time (s) 1800.03
Current children cumulated vsize (KiB) 264344
Child status: 0
Real time (s): 1800.51
CPU time (s): 1800.05
CPU user time (s): 1798.12
CPU system time (s): 1.93071
CPU usage (%): 99.9745
Max. virtual memory (cumulated for all children) (KiB): 394572
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1798.12
system time used= 1.93071
maximum resident set size= 254084
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 162126
page faults= 0
swaps= 0
block input operations= 0
block output operations= 146576
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 425
involuntary context switches= 2010
runsolver used 3.2955 second user time and 8.96364 second system time
The end