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-3501159-1308043454/watcher-3501159-1308043454 -o /tmp/evaluation-result-3501159-1308043454/solver-3501159-1308043454 -C 1800 -W 1850 -M 7680 muser -comp -grp HOME/instance-3501159-1308043454.gcnf
running on 2 cores: 0,2
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): 1850 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 7864320 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 7915520 KiB
Current StackSize limit: 10240 KiB
[startup+0 s]
/proc/loadavg: 4.00 3.99 3.59 4/189 21034
/proc/meminfo: memFree=29753808/32951124 swapFree=67056676/67111528
[pid=21034] ppid=21032 vsize=6032 CPUtime=0.01 cores=0,2
/proc/21034/stat : 21034 (muser) R 21032 21034 20003 0 -1 4202496 999 0 0 0 1 0 0 0 25 0 1 0 915943370 6176768 950 33554432000 4194304 5696331 140733345353776 18446744073709551615 5068096 0 0 4096 24615 0 0 0 17 0 0 0 0
/proc/21034/statm: 1508 950 114 367 0 1138 0
[startup+0.097381 s]
/proc/loadavg: 4.00 3.99 3.59 4/189 21034
/proc/meminfo: memFree=29753808/32951124 swapFree=67056676/67111528
[pid=21034] ppid=21032 vsize=19904 CPUtime=0.09 cores=0,2
/proc/21034/stat : 21034 (muser) R 21032 21034 20003 0 -1 4202496 4914 0 0 0 9 0 0 0 25 0 1 0 915943370 20381696 4427 33554432000 4194304 5696331 140733345353776 18446744073709551615 4965206 0 0 4096 24615 0 0 0 17 0 0 0 0
/proc/21034/statm: 4976 4428 114 367 0 4606 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 19904
[startup+0.100375 s]
/proc/loadavg: 4.00 3.99 3.59 4/189 21034
/proc/meminfo: memFree=29753808/32951124 swapFree=67056676/67111528
[pid=21034] ppid=21032 vsize=20432 CPUtime=0.09 cores=0,2
/proc/21034/stat : 21034 (muser) R 21032 21034 20003 0 -1 4202496 5040 0 0 0 9 0 0 0 25 0 1 0 915943370 20922368 4553 33554432000 4194304 5696331 140733345353776 18446744073709551615 5068096 0 0 4096 24615 0 0 0 17 0 0 0 0
/proc/21034/statm: 5108 4554 114 367 0 4738 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 20432
[startup+0.300341 s]
/proc/loadavg: 4.00 3.99 3.59 4/189 21034
/proc/meminfo: memFree=29753808/32951124 swapFree=67056676/67111528
[pid=21034] ppid=21032 vsize=48944 CPUtime=0.29 cores=0,2
/proc/21034/stat : 21034 (muser) R 21032 21034 20003 0 -1 4202496 12720 0 0 0 28 1 0 0 25 0 1 0 915943370 50118656 11652 33554432000 4194304 5696331 140733345353776 18446744073709551615 4399955 0 0 4096 24615 0 0 0 17 0 0 0 0
/proc/21034/statm: 12236 11652 141 367 0 11866 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 48944
[startup+0.700269 s]
/proc/loadavg: 4.00 3.99 3.59 4/189 21034
/proc/meminfo: memFree=29753808/32951124 swapFree=67056676/67111528
[pid=21034] ppid=21032 vsize=51356 CPUtime=0.69 cores=0,2
/proc/21034/stat : 21034 (muser) R 21032 21034 20003 0 -1 4202496 13291 0 0 0 68 1 0 0 25 0 1 0 915943370 52588544 12223 33554432000 4194304 5696331 140733345353776 18446744073709551615 4393791 0 0 4096 24615 0 0 0 17 0 0 0 0
/proc/21034/statm: 12839 12223 141 367 0 12469 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 51356
[startup+1.50111 s]
/proc/loadavg: 4.00 3.99 3.59 6/190 21035
/proc/meminfo: memFree=29703604/32951124 swapFree=67056676/67111528
[pid=21034] ppid=21032 vsize=56636 CPUtime=1.49 cores=0,2
/proc/21034/stat : 21034 (muser) R 21032 21034 20003 0 -1 4202496 14650 0 0 0 148 1 0 0 25 0 1 0 915943370 57995264 13582 33554432000 4194304 5696331 140733345353776 18446744073709551615 4965206 0 0 4096 24615 0 0 0 17 0 0 0 0
/proc/21034/statm: 14159 13582 141 367 0 13789 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 56636
[startup+3.10085 s]
/proc/loadavg: 4.00 3.99 3.59 6/190 21035
/proc/meminfo: memFree=29695420/32951124 swapFree=67056676/67111528
[pid=21034] ppid=21032 vsize=68108 CPUtime=3.09 cores=0,2
/proc/21034/stat : 21034 (muser) R 21032 21034 20003 0 -1 4202496 17415 0 0 0 307 2 0 0 25 0 1 0 915943370 69742592 16347 33554432000 4194304 5696331 140733345353776 18446744073709551615 4399955 0 0 4096 24615 0 0 0 17 0 0 0 0
/proc/21034/statm: 17027 16347 141 367 0 16657 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 68108
[startup+6.30029 s]
/proc/loadavg: 4.00 3.99 3.59 6/190 21035
/proc/meminfo: memFree=29672540/32951124 swapFree=67056676/67111528
[pid=21034] ppid=21032 vsize=88104 CPUtime=6.3 cores=0,2
/proc/21034/stat : 21034 (muser) R 21032 21034 20003 0 -1 4202496 22533 0 0 0 627 3 0 0 25 0 1 0 915943370 90218496 21464 33554432000 4194304 5696331 140733345353776 18446744073709551615 4400263 0 0 4096 24615 0 0 0 17 0 0 0 0
/proc/21034/statm: 22026 21464 141 367 0 21656 0
Current children cumulated CPU time (s) 6.3
Current children cumulated vsize (KiB) 88104
[startup+12.7012 s]
/proc/loadavg: 4.00 3.99 3.60 6/190 21035
/proc/meminfo: memFree=29712132/32951124 swapFree=67056676/67111528
[pid=21034] ppid=21032 vsize=48240 CPUtime=12.69 cores=0,2
/proc/21034/stat : 21034 (muser) R 21032 21034 20003 0 -1 4202496 34254 0 0 0 1264 5 0 0 25 0 1 0 915943370 49397760 11604 33554432000 4194304 5696331 140733345353776 18446744073709551615 4400667 0 0 4096 24615 0 0 0 17 0 0 0 0
/proc/21034/statm: 12060 11604 142 367 0 11690 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 48240
[startup+25.5009 s]
/proc/loadavg: 4.00 3.99 3.60 6/190 21035
/proc/meminfo: memFree=29610064/32951124 swapFree=67056676/67111528
[pid=21034] ppid=21032 vsize=148732 CPUtime=25.49 cores=0,2
/proc/21034/stat : 21034 (muser) R 21032 21034 20003 0 -1 4202496 58970 0 0 0 2539 10 0 0 25 0 1 0 915943370 152301568 36319 33554432000 4194304 5696331 140733345353776 18446744073709551615 4417017 0 0 4096 24615 0 0 0 17 0 0 0 0
/proc/21034/statm: 37183 36319 142 367 0 36813 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 148732
[startup+51.1004 s]
/proc/loadavg: 4.00 3.99 3.61 6/190 21036
/proc/meminfo: memFree=29405532/32951124 swapFree=67056676/67111528
[pid=21034] ppid=21032 vsize=356000 CPUtime=51.09 cores=0,2
/proc/21034/stat : 21034 (muser) R 21032 21034 20003 0 -1 4202496 110700 0 0 0 5089 20 0 0 25 0 1 0 915943370 364544000 88049 33554432000 4194304 5696331 140733345353776 18446744073709551615 4380923 0 0 4096 24615 0 0 0 17 0 0 0 0
/proc/21034/statm: 89000 88049 142 367 0 88630 0
Current children cumulated CPU time (s) 51.09
Current children cumulated vsize (KiB) 356000
[startup+102.306 s]
/proc/loadavg: 4.00 3.99 3.63 6/190 21037
/proc/meminfo: memFree=29004736/32951124 swapFree=67056676/67111528
[pid=21034] ppid=21032 vsize=752168 CPUtime=102.3 cores=0,2
/proc/21034/stat : 21034 (muser) R 21032 21034 20003 0 -1 4202496 209576 0 0 0 10191 39 0 0 25 0 1 0 915943370 770220032 186925 33554432000 4194304 5696331 140733345353776 18446744073709551615 4401413 0 0 4096 24615 0 0 0 17 0 0 0 0
/proc/21034/statm: 188042 186926 142 367 0 187672 0
Current children cumulated CPU time (s) 102.3
Current children cumulated vsize (KiB) 752168
[startup+162.301 s]
/proc/loadavg: 4.00 3.99 3.65 6/190 21039
/proc/meminfo: memFree=29474784/32951124 swapFree=67056676/67111528
[pid=21034] ppid=21032 vsize=287828 CPUtime=162.29 cores=0,2
/proc/21034/stat : 21034 (muser) R 21032 21034 20003 0 -1 4202496 330124 0 0 0 16166 63 0 0 25 0 1 0 915943370 294735872 70728 33554432000 4194304 5696331 140733345353776 18446744073709551615 4965206 0 0 4096 24615 0 0 0 17 0 0 0 0
/proc/21034/statm: 71957 70728 142 367 0 71587 0
Current children cumulated CPU time (s) 162.29
Current children cumulated vsize (KiB) 287828
[startup+222.3 s]
/proc/loadavg: 4.00 3.99 3.67 6/190 21040
/proc/meminfo: memFree=29001304/32951124 swapFree=67056676/67111528
[pid=21034] ppid=21032 vsize=756904 CPUtime=222.3 cores=0,2
/proc/21034/stat : 21034 (muser) R 21032 21034 20003 0 -1 4202496 447450 0 0 0 22148 82 0 0 25 0 1 0 915943370 775069696 188054 33554432000 4194304 5696331 140733345353776 18446744073709551615 4402265 0 0 4096 24615 0 0 0 17 0 0 0 0
/proc/21034/statm: 189226 188054 142 367 0 188856 0
Current children cumulated CPU time (s) 222.3
Current children cumulated vsize (KiB) 756904
[startup+282.301 s]
/proc/loadavg: 4.00 3.99 3.68 6/190 21079
/proc/meminfo: memFree=29815828/32951124 swapFree=67056676/67111528
[pid=21034] ppid=21032 vsize=561292 CPUtime=282.3 cores=0,2
/proc/21034/stat : 21034 (muser) R 21032 21034 20003 0 -1 4202496 636217 0 0 0 28112 118 0 0 25 0 1 0 915943370 574763008 139642 33554432000 4194304 5696331 140733345353776 18446744073709551615 4402344 0 0 4096 24615 0 0 0 17 0 0 0 0
/proc/21034/statm: 140323 139642 148 367 0 139953 0
Current children cumulated CPU time (s) 282.3
Current children cumulated vsize (KiB) 561292
[startup+342.301 s]
/proc/loadavg: 4.11 4.02 3.71 6/190 21081
/proc/meminfo: memFree=28889388/32951124 swapFree=67056676/67111528
[pid=21034] ppid=21032 vsize=1481080 CPUtime=342.3 cores=0,2
/proc/21034/stat : 21034 (muser) R 21032 21034 20003 0 -1 4202496 866281 0 0 0 34075 155 0 0 25 0 1 0 915943370 1516625920 369516 33554432000 4194304 5696331 140733345353776 18446744073709551615 4965206 0 0 4096 24615 0 0 0 17 0 0 0 0
/proc/21034/statm: 370270 369516 148 367 0 369900 0
Current children cumulated CPU time (s) 342.3
Current children cumulated vsize (KiB) 1481080
[startup+402.301 s]
/proc/loadavg: 4.04 4.01 3.73 6/190 21082
/proc/meminfo: memFree=28281132/32951124 swapFree=67056676/67111528
[pid=21034] ppid=21032 vsize=2093120 CPUtime=402.3 cores=0,2
/proc/21034/stat : 21034 (muser) R 21032 21034 20003 0 -1 4202496 1019283 0 0 0 40053 177 0 0 25 0 1 0 915943370 2143354880 522431 33554432000 4194304 5696331 140733345353776 18446744073709551615 4394124 0 0 4096 24615 0 0 0 17 0 0 0 0
/proc/21034/statm: 523280 522431 148 367 0 522910 0
Current children cumulated CPU time (s) 402.3
Current children cumulated vsize (KiB) 2093120
[startup+462.301 s]
/proc/loadavg: 4.07 4.02 3.75 6/190 21084
/proc/meminfo: memFree=27721608/32951124 swapFree=67056676/67111528
[pid=21034] ppid=21032 vsize=2641140 CPUtime=462.3 cores=0,2
/proc/21034/stat : 21034 (muser) R 21032 21034 20003 0 -1 4202496 1155926 0 0 0 46037 193 0 0 25 0 1 0 915943370 2704527360 659032 33554432000 4194304 5696331 140733345353776 18446744073709551615 4402344 0 0 4096 24615 0 0 0 17 0 0 0 0
/proc/21034/statm: 660285 659032 148 367 0 659915 0
Current children cumulated CPU time (s) 462.3
Current children cumulated vsize (KiB) 2641140
[startup+522.3 s]
/proc/loadavg: 4.02 4.02 3.76 6/190 21085
/proc/meminfo: memFree=27721564/32951124 swapFree=67056676/67111528
[pid=21034] ppid=21032 vsize=2641140 CPUtime=522.3 cores=0,2
/proc/21034/stat : 21034 (muser) R 21032 21034 20003 0 -1 4202496 1155931 0 0 0 52037 193 0 0 25 0 1 0 915943370 2704527360 659037 33554432000 4194304 5696331 140733345353776 18446744073709551615 4402344 0 0 4096 24615 0 0 0 17 0 0 0 0
/proc/21034/statm: 660285 659037 148 367 0 659915 0
Current children cumulated CPU time (s) 522.3
Current children cumulated vsize (KiB) 2641140
[startup+582.301 s]
/proc/loadavg: 3.67 3.93 3.74 5/184 21111
/proc/meminfo: memFree=28009988/32951124 swapFree=67056676/67111528
[pid=21034] ppid=21032 vsize=2641140 CPUtime=582.31 cores=0,2
/proc/21034/stat : 21034 (muser) R 21032 21034 20003 0 -1 4202496 1155938 0 0 0 58037 194 0 0 25 0 1 0 915943370 2704527360 659044 33554432000 4194304 5696331 140733345353776 18446744073709551615 4403158 0 0 4096 24615 0 0 0 17 0 0 0 0
/proc/21034/statm: 660285 659044 148 367 0 659915 0
Current children cumulated CPU time (s) 582.31
Current children cumulated vsize (KiB) 2641140
[startup+642.3 s]
/proc/loadavg: 3.24 3.76 3.69 5/184 21113
/proc/meminfo: memFree=28010040/32951124 swapFree=67056676/67111528
[pid=21034] ppid=21032 vsize=2641140 CPUtime=642.32 cores=0,2
/proc/21034/stat : 21034 (muser) R 21032 21034 20003 0 -1 4202496 1155941 0 0 0 64038 194 0 0 25 0 1 0 915943370 2704527360 659047 33554432000 4194304 5696331 140733345353776 18446744073709551615 4402329 0 0 4096 24615 0 0 0 17 0 0 0 0
/proc/21034/statm: 660285 659047 149 367 0 659915 0
Current children cumulated CPU time (s) 642.32
Current children cumulated vsize (KiB) 2641140
[startup+702.301 s]
/proc/loadavg: 3.09 3.62 3.65 5/184 21114
/proc/meminfo: memFree=28009992/32951124 swapFree=67056676/67111528
[pid=21034] ppid=21032 vsize=2641140 CPUtime=702.31 cores=0,2
/proc/21034/stat : 21034 (muser) R 21032 21034 20003 0 -1 4202496 1155941 0 0 0 70037 194 0 0 25 0 1 0 915943370 2704527360 659047 33554432000 4194304 5696331 140733345353776 18446744073709551615 4403185 0 0 4096 24615 0 0 0 17 0 0 0 0
/proc/21034/statm: 660285 659047 149 367 0 659915 0
Current children cumulated CPU time (s) 702.31
Current children cumulated vsize (KiB) 2641140
[startup+762.306 s]
/proc/loadavg: 2.88 3.47 3.59 4/178 21140
/proc/meminfo: memFree=28294788/32951124 swapFree=67056676/67111528
[pid=21034] ppid=21032 vsize=2641140 CPUtime=762.32 cores=0,2
/proc/21034/stat : 21034 (muser) R 21032 21034 20003 0 -1 4202496 1155941 0 0 0 76038 194 0 0 25 0 1 0 915943370 2704527360 659047 33554432000 4194304 5696331 140733345353776 18446744073709551615 4402344 0 0 4096 24615 0 0 0 17 0 0 0 0
/proc/21034/statm: 660285 659047 149 367 0 659915 0
Current children cumulated CPU time (s) 762.32
Current children cumulated vsize (KiB) 2641140
[startup+822.301 s]
/proc/loadavg: 2.32 3.20 3.49 4/178 21141
/proc/meminfo: memFree=28295164/32951124 swapFree=67056676/67111528
[pid=21034] ppid=21032 vsize=2641140 CPUtime=822.31 cores=0,2
/proc/21034/stat : 21034 (muser) R 21032 21034 20003 0 -1 4202496 1155941 0 0 0 82037 194 0 0 25 0 1 0 915943370 2704527360 659047 33554432000 4194304 5696331 140733345353776 18446744073709551615 4402352 0 0 4096 24615 0 0 0 17 0 0 0 0
/proc/21034/statm: 660285 659047 149 367 0 659915 0
Current children cumulated CPU time (s) 822.31
Current children cumulated vsize (KiB) 2641140
[startup+882.301 s]
/proc/loadavg: 2.04 2.96 3.39 2/172 21167
/proc/meminfo: memFree=29026624/32951124 swapFree=67056676/67111528
[pid=21034] ppid=21032 vsize=2641140 CPUtime=882.31 cores=0,2
/proc/21034/stat : 21034 (muser) R 21032 21034 20003 0 -1 4202496 1155941 0 0 0 88037 194 0 0 25 0 1 0 915943370 2704527360 659047 33554432000 4194304 5696331 140733345353776 18446744073709551615 4413823 0 0 4096 24615 0 0 0 17 0 0 0 0
/proc/21034/statm: 660285 659047 149 367 0 659915 0
Current children cumulated CPU time (s) 882.31
Current children cumulated vsize (KiB) 2641140
[startup+942.301 s]
/proc/loadavg: 1.38 2.60 3.24 2/172 21169
/proc/meminfo: memFree=29026940/32951124 swapFree=67056676/67111528
[pid=21034] ppid=21032 vsize=2641140 CPUtime=942.32 cores=0,2
/proc/21034/stat : 21034 (muser) R 21032 21034 20003 0 -1 4202496 1155941 0 0 0 94037 195 0 0 25 0 1 0 915943370 2704527360 659047 33554432000 4194304 5696331 140733345353776 18446744073709551615 4380994 0 0 4096 24615 0 0 0 17 0 0 0 0
/proc/21034/statm: 660285 659047 149 367 0 659915 0
Current children cumulated CPU time (s) 942.32
Current children cumulated vsize (KiB) 2641140
[startup+1002.3 s]
/proc/loadavg: 1.22 2.32 3.10 2/172 21170
/proc/meminfo: memFree=29027160/32951124 swapFree=67056676/67111528
[pid=21034] ppid=21032 vsize=2641140 CPUtime=1002.31 cores=0,2
/proc/21034/stat : 21034 (muser) R 21032 21034 20003 0 -1 4202496 1155941 0 0 0 100036 195 0 0 25 0 1 0 915943370 2704527360 659047 33554432000 4194304 5696331 140733345353776 18446744073709551615 4381740 0 0 4096 24615 0 0 0 17 0 0 0 0
/proc/21034/statm: 660285 659047 149 367 0 659915 0
Current children cumulated CPU time (s) 1002.31
Current children cumulated vsize (KiB) 2641140
[startup+1062.3 s]
/proc/loadavg: 1.08 2.08 2.97 2/172 21172
/proc/meminfo: memFree=29027012/32951124 swapFree=67056676/67111528
[pid=21034] ppid=21032 vsize=2641140 CPUtime=1062.31 cores=0,2
/proc/21034/stat : 21034 (muser) R 21032 21034 20003 0 -1 4202496 1155941 0 0 0 106036 195 0 0 25 0 1 0 915943370 2704527360 659047 33554432000 4194304 5696331 140733345353776 18446744073709551615 4402344 0 0 4096 24615 0 0 0 17 0 0 0 0
/proc/21034/statm: 660285 659047 149 367 0 659915 0
Current children cumulated CPU time (s) 1062.31
Current children cumulated vsize (KiB) 2641140
[startup+1122.3 s]
/proc/loadavg: 1.03 1.88 2.84 2/172 21173
/proc/meminfo: memFree=29027232/32951124 swapFree=67056676/67111528
[pid=21034] ppid=21032 vsize=2641140 CPUtime=1122.32 cores=0,2
/proc/21034/stat : 21034 (muser) R 21032 21034 20003 0 -1 4202496 1155941 0 0 0 112036 196 0 0 25 0 1 0 915943370 2704527360 659047 33554432000 4194304 5696331 140733345353776 18446744073709551615 4413808 0 0 4096 24615 0 0 0 17 0 0 0 0
/proc/21034/statm: 660285 659047 149 367 0 659915 0
Current children cumulated CPU time (s) 1122.32
Current children cumulated vsize (KiB) 2641140
Solver just ended. Dumping a history of the last processes samples
[startup+1126.3 s]
/proc/loadavg: 1.02 1.87 2.83 2/172 21174
/proc/meminfo: memFree=29027232/32951124 swapFree=67056676/67111528
[pid=21034] ppid=21032 vsize=2641140 CPUtime=1126.32 cores=0,2
/proc/21034/stat : 21034 (muser) R 21032 21034 20003 0 -1 4202496 1155941 0 0 0 112436 196 0 0 25 0 1 0 915943370 2704527360 659047 33554432000 4194304 5696331 140733345353776 18446744073709551615 5069383 0 0 4096 24615 0 0 0 17 0 0 0 0
/proc/21034/statm: 660285 659047 149 367 0 659915 0
Current children cumulated CPU time (s) 1126.32
Current children cumulated vsize (KiB) 2641140
[startup+1139.1 s]
/proc/loadavg: 1.02 1.84 2.81 2/172 21174
/proc/meminfo: memFree=29027216/32951124 swapFree=67056676/67111528
[pid=21034] ppid=21032 vsize=2641140 CPUtime=1139.12 cores=0,2
/proc/21034/stat : 21034 (muser) R 21032 21034 20003 0 -1 4202496 1155941 0 0 0 113716 196 0 0 25 0 1 0 915943370 2704527360 659047 33554432000 4194304 5696331 140733345353776 18446744073709551615 4400263 0 0 4096 24615 0 0 0 17 0 0 0 0
/proc/21034/statm: 660285 659047 149 367 0 659915 0
Current children cumulated CPU time (s) 1139.12
Current children cumulated vsize (KiB) 2641140
[startup+1142.3 s]
/proc/loadavg: 1.02 1.82 2.80 2/172 21174
/proc/meminfo: memFree=29027216/32951124 swapFree=67056676/67111528
[pid=21034] ppid=21032 vsize=2641140 CPUtime=1142.32 cores=0,2
/proc/21034/stat : 21034 (muser) R 21032 21034 20003 0 -1 4202496 1155941 0 0 0 114036 196 0 0 25 0 1 0 915943370 2704527360 659047 33554432000 4194304 5696331 140733345353776 18446744073709551615 4400247 0 0 4096 24615 0 0 0 17 0 0 0 0
/proc/21034/statm: 660285 659047 149 367 0 659915 0
Current children cumulated CPU time (s) 1142.32
Current children cumulated vsize (KiB) 2641140
[startup+1145.5 s]
/proc/loadavg: 1.02 1.81 2.79 2/172 21174
/proc/meminfo: memFree=29027216/32951124 swapFree=67056676/67111528
[pid=21034] ppid=21032 vsize=2641140 CPUtime=1145.52 cores=0,2
/proc/21034/stat : 21034 (muser) R 21032 21034 20003 0 -1 4202496 1155941 0 0 0 114356 196 0 0 25 0 1 0 915943370 2704527360 659047 33554432000 4194304 5696331 140733345353776 18446744073709551615 4413823 0 0 4096 24615 0 0 0 17 0 0 0 0
/proc/21034/statm: 660285 659047 149 367 0 659915 0
Current children cumulated CPU time (s) 1145.52
Current children cumulated vsize (KiB) 2641140
[startup+1147.1 s]
/proc/loadavg: 1.02 1.81 2.79 2/172 21174
/proc/meminfo: memFree=29027216/32951124 swapFree=67056676/67111528
[pid=21034] ppid=21032 vsize=2641140 CPUtime=1147.12 cores=0,2
/proc/21034/stat : 21034 (muser) R 21032 21034 20003 0 -1 4202496 1155941 0 0 0 114516 196 0 0 25 0 1 0 915943370 2704527360 659047 33554432000 4194304 5696331 140733345353776 18446744073709551615 4400263 0 0 4096 24615 0 0 0 17 0 0 0 0
/proc/21034/statm: 660285 659047 149 367 0 659915 0
Current children cumulated CPU time (s) 1147.12
Current children cumulated vsize (KiB) 2641140
[startup+1147.9 s]
/proc/loadavg: 1.02 1.81 2.79 2/172 21174
/proc/meminfo: memFree=29027216/32951124 swapFree=67056676/67111528
[pid=21034] ppid=21032 vsize=2641140 CPUtime=1147.92 cores=0,2
/proc/21034/stat : 21034 (muser) R 21032 21034 20003 0 -1 4202496 1155941 0 0 0 114596 196 0 0 25 0 1 0 915943370 2704527360 659047 33554432000 4194304 5696331 140733345353776 18446744073709551615 4380994 0 0 4096 24615 0 0 0 17 0 0 0 0
/proc/21034/statm: 660285 659047 149 367 0 659915 0
Current children cumulated CPU time (s) 1147.92
Current children cumulated vsize (KiB) 2641140
[startup+1148.1 s]
/proc/loadavg: 1.02 1.81 2.79 2/172 21174
/proc/meminfo: memFree=29027216/32951124 swapFree=67056676/67111528
[pid=21034] ppid=21032 vsize=642388 CPUtime=1148.12 cores=0,2
/proc/21034/stat : 21034 (muser) R 21032 21034 20003 0 -1 4202496 1155943 0 0 0 114608 204 0 0 25 0 1 0 915943370 657805312 155958 33554432000 4194304 5696331 140733345353776 18446744073709551615 5252282 0 0 4096 24615 0 0 0 17 0 0 0 0
/proc/21034/statm: 160597 155446 151 367 0 160227 0
Current children cumulated CPU time (s) 1148.12
Current children cumulated vsize (KiB) 642388
Child status: 20
Real time (s): 1148.13
CPU time (s): 1148.16
CPU user time (s): 1146.08
CPU system time (s): 2.07468
CPU usage (%): 100.002
Max. virtual memory (cumulated for all children) (KiB): 2641140
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1146.08
system time used= 2.07468
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 1155943
page faults= 0
swaps= 0
block input operations= 0
block output operations= 0
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 4
involuntary context switches= 1941
runsolver used 1.89171 second user time and 4.02739 second system time
The end
Begin job on node136 at 2011-06-14 11:24:14
IDJOB=3501159
IDBENCH=90099
IDSOLVER=1998
FILE ID=node136/3501159-1308043454
RUNJOBID= node136-1308041268-20021
PBS_JOBID= 13564388
Free space on /tmp= 74048 MiB
SOLVER NAME= MUSer 2011-02-10
BENCH NAME= SAT11/gmus/belov/4pipe_1_ooo.gcnf
COMMAND LINE= muser -comp -grp BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-3501159-1308043454/watcher-3501159-1308043454 -o /tmp/evaluation-result-3501159-1308043454/solver-3501159-1308043454 -C 1800 -W 1850 -M 7680 muser -comp -grp HOME/instance-3501159-1308043454.gcnf
TIME LIMIT= 1800 seconds
MEMORY LIMIT= 7680 MiB
NBCORE= 2
MD5SUM BENCH= cba743d9f0585352692b1545e1fee5a4
RANDOM SEED=724738256
node136.alineos.net Linux 2.6.18-164.el5 #1 SMP Thu Sep 3 03:28:30 EDT 2009
/proc/cpuinfo:
processor : 0
vendor_id : GenuineIntel
cpu family : 6
model : 26
model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz
stepping : 5
cpu MHz : 2666.809
cache size : 8192 KB
physical id : 0
siblings : 4
core id : 0
cpu cores : 4
apicid : 0
fpu : yes
fpu_exception : yes
cpuid level : 11
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips : 5333.61
clflush size : 64
cache_alignment : 64
address sizes : 40 bits physical, 48 bits virtual
power management: [8]
processor : 1
vendor_id : GenuineIntel
cpu family : 6
model : 26
model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz
stepping : 5
cpu MHz : 2666.809
cache size : 8192 KB
physical id : 1
siblings : 4
core id : 0
cpu cores : 4
apicid : 16
fpu : yes
fpu_exception : yes
cpuid level : 11
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips : 5332.75
clflush size : 64
cache_alignment : 64
address sizes : 40 bits physical, 48 bits virtual
power management: [8]
processor : 2
vendor_id : GenuineIntel
cpu family : 6
model : 26
model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz
stepping : 5
cpu MHz : 2666.809
cache size : 8192 KB
physical id : 0
siblings : 4
core id : 1
cpu cores : 4
apicid : 2
fpu : yes
fpu_exception : yes
cpuid level : 11
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips : 5332.75
clflush size : 64
cache_alignment : 64
address sizes : 40 bits physical, 48 bits virtual
power management: [8]
processor : 3
vendor_id : GenuineIntel
cpu family : 6
model : 26
model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz
stepping : 5
cpu MHz : 2666.809
cache size : 8192 KB
physical id : 1
siblings : 4
core id : 1
cpu cores : 4
apicid : 18
fpu : yes
fpu_exception : yes
cpuid level : 11
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips : 5332.76
clflush size : 64
cache_alignment : 64
address sizes : 40 bits physical, 48 bits virtual
power management: [8]
processor : 4
vendor_id : GenuineIntel
cpu family : 6
model : 26
model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz
stepping : 5
cpu MHz : 2666.809
cache size : 8192 KB
physical id : 0
siblings : 4
core id : 2
cpu cores : 4
apicid : 4
fpu : yes
fpu_exception : yes
cpuid level : 11
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips : 5332.75
clflush size : 64
cache_alignment : 64
address sizes : 40 bits physical, 48 bits virtual
power management: [8]
processor : 5
vendor_id : GenuineIntel
cpu family : 6
model : 26
model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz
stepping : 5
cpu MHz : 2666.809
cache size : 8192 KB
physical id : 1
siblings : 4
core id : 2
cpu cores : 4
apicid : 20
fpu : yes
fpu_exception : yes
cpuid level : 11
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips : 5332.83
clflush size : 64
cache_alignment : 64
address sizes : 40 bits physical, 48 bits virtual
power management: [8]
processor : 6
vendor_id : GenuineIntel
cpu family : 6
model : 26
model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz
stepping : 5
cpu MHz : 2666.809
cache size : 8192 KB
physical id : 0
siblings : 4
core id : 3
cpu cores : 4
apicid : 6
fpu : yes
fpu_exception : yes
cpuid level : 11
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips : 5332.75
clflush size : 64
cache_alignment : 64
address sizes : 40 bits physical, 48 bits virtual
power management: [8]
processor : 7
vendor_id : GenuineIntel
cpu family : 6
model : 26
model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz
stepping : 5
cpu MHz : 2666.809
cache size : 8192 KB
physical id : 1
siblings : 4
core id : 3
cpu cores : 4
apicid : 22
fpu : yes
fpu_exception : yes
cpuid level : 11
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips : 5332.74
clflush size : 64
cache_alignment : 64
address sizes : 40 bits physical, 48 bits virtual
power management: [8]
/proc/meminfo:
MemTotal: 32951124 kB
MemFree: 29754352 kB
Buffers: 241804 kB
Cached: 819136 kB
SwapCached: 8544 kB
Active: 2296544 kB
Inactive: 687200 kB
HighTotal: 0 kB
HighFree: 0 kB
LowTotal: 32951124 kB
LowFree: 29754352 kB
SwapTotal: 67111528 kB
SwapFree: 67056676 kB
Dirty: 4760 kB
Writeback: 0 kB
AnonPages: 1920304 kB
Mapped: 15256 kB
Slab: 144684 kB
PageTables: 8648 kB
NFS_Unstable: 0 kB
Bounce: 0 kB
CommitLimit: 83587088 kB
Committed_AS: 2154868 kB
VmallocTotal: 34359738367 kB
VmallocUsed: 296008 kB
VmallocChunk: 34359440975 kB
HugePages_Total: 0
HugePages_Free: 0
HugePages_Rsvd: 0
Hugepagesize: 2048 kB
Free space on /tmp at the end= 74056 MiB
End job on node136 at 2011-06-14 11:43:22