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-3501035-1308041451/watcher-3501035-1308041451 -o /tmp/evaluation-result-3501035-1308041451/solver-3501035-1308041451 -C 1800 -W 1850 -M 7680 muser -comp -grp HOME/instance-3501035-1308041451.gcnf
running on 2 cores: 1,3
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: 3.84 1.80 0.69 4/189 10451
/proc/meminfo: memFree=30549612/32951124 swapFree=67051728/67111528
[pid=10451] ppid=10449 vsize=4524 CPUtime=0 cores=1,3
/proc/10451/stat : 10451 (muser) R 10449 10451 9930 0 -1 4202496 632 0 0 0 0 0 0 0 25 0 1 0 915743097 4632576 584 33554432000 4194304 5696331 140733447209104 18446744073709551615 4965206 0 0 4096 24615 0 0 0 17 1 0 0 0
/proc/10451/statm: 1164 585 114 367 0 794 0
[startup+0.0757569 s]
/proc/loadavg: 3.84 1.80 0.69 4/189 10451
/proc/meminfo: memFree=30549612/32951124 swapFree=67051728/67111528
[pid=10451] ppid=10449 vsize=16740 CPUtime=0.07 cores=1,3
/proc/10451/stat : 10451 (muser) R 10449 10451 9930 0 -1 4202496 4113 0 0 0 7 0 0 0 25 0 1 0 915743097 17141760 3628 33554432000 4194304 5696331 140733447209104 18446744073709551615 4965206 0 0 4096 24615 0 0 0 17 1 0 0 0
/proc/10451/statm: 4185 3630 114 367 0 3815 0
Current children cumulated CPU time (s) 0.07
Current children cumulated vsize (KiB) 16740
[startup+0.100753 s]
/proc/loadavg: 3.84 1.80 0.69 4/189 10451
/proc/meminfo: memFree=30549612/32951124 swapFree=67051728/67111528
[pid=10451] ppid=10449 vsize=22020 CPUtime=0.09 cores=1,3
/proc/10451/stat : 10451 (muser) R 10449 10451 9930 0 -1 4202496 5443 0 0 0 9 0 0 0 25 0 1 0 915743097 22548480 4957 33554432000 4194304 5696331 140733447209104 18446744073709551615 4965206 0 0 4096 24615 0 0 0 17 1 0 0 0
/proc/10451/statm: 5538 4959 114 367 0 5168 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 22020
[startup+0.300718 s]
/proc/loadavg: 3.84 1.80 0.69 4/189 10451
/proc/meminfo: memFree=30549612/32951124 swapFree=67051728/67111528
[pid=10451] ppid=10449 vsize=53676 CPUtime=0.29 cores=1,3
/proc/10451/stat : 10451 (muser) R 10449 10451 9930 0 -1 4202496 13886 0 0 0 28 1 0 0 25 0 1 0 915743097 54964224 12819 33554432000 4194304 5696331 140733447209104 18446744073709551615 4399955 0 0 4096 24615 0 0 0 17 1 0 0 0
/proc/10451/statm: 13419 12819 141 367 0 13049 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 53676
[startup+0.700642 s]
/proc/loadavg: 3.84 1.80 0.69 4/189 10451
/proc/meminfo: memFree=30549612/32951124 swapFree=67051728/67111528
[pid=10451] ppid=10449 vsize=56432 CPUtime=0.69 cores=1,3
/proc/10451/stat : 10451 (muser) R 10449 10451 9930 0 -1 4202496 14538 0 0 0 68 1 0 0 25 0 1 0 915743097 57786368 13471 33554432000 4194304 5696331 140733447209104 18446744073709551615 4416995 0 0 4096 24615 0 0 0 17 1 0 0 0
/proc/10451/statm: 14108 13471 141 367 0 13738 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 56432
[startup+1.5005 s]
/proc/loadavg: 3.85 1.83 0.71 5/190 10452
/proc/meminfo: memFree=30494136/32951124 swapFree=67051728/67111528
[pid=10451] ppid=10449 vsize=62240 CPUtime=1.49 cores=1,3
/proc/10451/stat : 10451 (muser) R 10449 10451 9930 0 -1 4202496 16029 0 0 0 148 1 0 0 25 0 1 0 915743097 63733760 14962 33554432000 4194304 5696331 140733447209104 18446744073709551615 4399971 0 0 4096 24615 0 0 0 17 1 0 0 0
/proc/10451/statm: 15560 14962 141 367 0 15190 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 62240
[startup+3.10021 s]
/proc/loadavg: 3.85 1.83 0.71 5/190 10452
/proc/meminfo: memFree=30485460/32951124 swapFree=67051728/67111528
[pid=10451] ppid=10449 vsize=73632 CPUtime=3.09 cores=1,3
/proc/10451/stat : 10451 (muser) R 10449 10451 9930 0 -1 4202496 18783 0 0 0 307 2 0 0 25 0 1 0 915743097 75399168 17716 33554432000 4194304 5696331 140733447209104 18446744073709551615 4399955 0 0 4096 24615 0 0 0 17 1 0 0 0
/proc/10451/statm: 18408 17716 141 367 0 18038 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 73632
[startup+6.30063 s]
/proc/loadavg: 3.85 1.83 0.71 5/190 10452
/proc/meminfo: memFree=30462824/32951124 swapFree=67051728/67111528
[pid=10451] ppid=10449 vsize=95368 CPUtime=6.29 cores=1,3
/proc/10451/stat : 10451 (muser) R 10449 10451 9930 0 -1 4202496 24306 0 0 0 626 3 0 0 25 0 1 0 915743097 97656832 23239 33554432000 4194304 5696331 140733447209104 18446744073709551615 4965206 0 0 4096 24615 0 0 0 17 1 0 0 0
/proc/10451/statm: 23842 23239 141 367 0 23472 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 95368
[startup+12.7005 s]
/proc/loadavg: 3.87 1.91 0.75 5/190 10452
/proc/meminfo: memFree=30417308/32951124 swapFree=67051728/67111528
[pid=10451] ppid=10449 vsize=139672 CPUtime=12.7 cores=1,3
/proc/10451/stat : 10451 (muser) R 10449 10451 9930 0 -1 4202496 35322 0 0 0 1263 7 0 0 25 0 1 0 915743097 143024128 34255 33554432000 4194304 5696331 140733447209104 18446744073709551615 4380810 0 0 4096 24615 0 0 0 17 1 0 0 0
/proc/10451/statm: 34918 34255 141 367 0 34548 0
Current children cumulated CPU time (s) 12.7
Current children cumulated vsize (KiB) 139672
[startup+25.5011 s]
/proc/loadavg: 3.89 1.97 0.78 5/190 10452
/proc/meminfo: memFree=30325828/32951124 swapFree=67051728/67111528
[pid=10451] ppid=10449 vsize=228936 CPUtime=25.49 cores=1,3
/proc/10451/stat : 10451 (muser) R 10449 10451 9930 0 -1 4202496 57517 0 0 0 2537 12 0 0 25 0 1 0 915743097 234430464 56450 33554432000 4194304 5696331 140733447209104 18446744073709551615 4402296 0 0 4096 24615 0 0 0 17 1 0 0 0
/proc/10451/statm: 57234 56450 141 367 0 56864 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 228936
[startup+51.1005 s]
/proc/loadavg: 3.93 2.17 0.88 5/190 10453
/proc/meminfo: memFree=30355120/32951124 swapFree=67051728/67111528
[pid=10451] ppid=10449 vsize=202540 CPUtime=51.09 cores=1,3
/proc/10451/stat : 10451 (muser) R 10449 10451 9930 0 -1 4202496 108697 0 0 0 5086 23 0 0 25 0 1 0 915743097 207400960 49928 33554432000 4194304 5696331 140733447209104 18446744073709551615 4399964 0 0 4096 24615 0 0 0 17 1 0 0 0
/proc/10451/statm: 50635 49928 142 367 0 50265 0
Current children cumulated CPU time (s) 51.09
Current children cumulated vsize (KiB) 202540
[startup+102.306 s]
/proc/loadavg: 3.97 2.45 1.04 5/190 10454
/proc/meminfo: memFree=29916760/32951124 swapFree=67051728/67111528
[pid=10451] ppid=10449 vsize=640692 CPUtime=102.3 cores=1,3
/proc/10451/stat : 10451 (muser) R 10449 10451 9930 0 -1 4202496 216917 0 0 0 10188 42 0 0 25 0 1 0 915743097 656068608 158146 33554432000 4194304 5696331 140733447209104 18446744073709551615 4400914 0 0 4096 24615 0 0 0 17 1 0 0 0
/proc/10451/statm: 160173 158146 142 367 0 159803 0
Current children cumulated CPU time (s) 102.3
Current children cumulated vsize (KiB) 640692
[startup+162.3 s]
/proc/loadavg: 3.99 2.73 1.22 5/190 10493
/proc/meminfo: memFree=29572504/32951124 swapFree=67051728/67111528
[pid=10451] ppid=10449 vsize=1131280 CPUtime=162.29 cores=1,3
/proc/10451/stat : 10451 (muser) R 10449 10451 9930 0 -1 4202496 337589 0 0 0 16162 67 0 0 25 0 1 0 915743097 1158430720 278818 33554432000 4194304 5696331 140733447209104 18446744073709551615 4399955 0 0 4096 24615 0 0 0 17 1 0 0 0
/proc/10451/statm: 282820 278819 142 367 0 282450 0
Current children cumulated CPU time (s) 162.29
Current children cumulated vsize (KiB) 1131280
[startup+222.3 s]
/proc/loadavg: 3.99 2.96 1.39 5/190 10495
/proc/meminfo: memFree=28881784/32951124 swapFree=67051728/67111528
[pid=10451] ppid=10449 vsize=1626492 CPUtime=222.3 cores=1,3
/proc/10451/stat : 10451 (muser) R 10449 10451 9930 0 -1 4202496 463033 0 0 0 22136 94 0 0 25 0 1 0 915743097 1665527808 404262 33554432000 4194304 5696331 140733447209104 18446744073709551615 4392566 0 0 4096 24615 0 0 0 17 1 0 0 0
/proc/10451/statm: 406623 404262 142 367 0 406253 0
Current children cumulated CPU time (s) 222.3
Current children cumulated vsize (KiB) 1626492
[startup+282.3 s]
/proc/loadavg: 3.99 3.14 1.56 5/190 10496
/proc/meminfo: memFree=28438936/32951124 swapFree=67051728/67111528
[pid=10451] ppid=10449 vsize=2063284 CPUtime=282.3 cores=1,3
/proc/10451/stat : 10451 (muser) R 10449 10451 9930 0 -1 4202496 574030 0 0 0 28116 114 0 0 25 0 1 0 915743097 2112802816 515259 33554432000 4194304 5696331 140733447209104 18446744073709551615 4401310 0 0 4096 24615 0 0 0 17 1 0 0 0
/proc/10451/statm: 515821 515259 142 367 0 515451 0
Current children cumulated CPU time (s) 282.3
Current children cumulated vsize (KiB) 2063284
[startup+342.301 s]
/proc/loadavg: 4.07 3.31 1.71 5/190 10535
/proc/meminfo: memFree=30008228/32951124 swapFree=67051728/67111528
[pid=10451] ppid=10449 vsize=391408 CPUtime=342.3 cores=1,3
/proc/10451/stat : 10451 (muser) R 10449 10451 9930 0 -1 4202496 687402 0 0 0 34086 144 0 0 25 0 1 0 915743097 400801792 96824 33554432000 4194304 5696331 140733447209104 18446744073709551615 4399955 0 0 4096 24615 0 0 0 17 1 0 0 0
/proc/10451/statm: 97852 96824 142 367 0 97482 0
Current children cumulated CPU time (s) 342.3
Current children cumulated vsize (KiB) 391408
[startup+402.301 s]
/proc/loadavg: 4.09 3.45 1.86 5/190 10536
/proc/meminfo: memFree=29844632/32951124 swapFree=67051728/67111528
[pid=10451] ppid=10449 vsize=570488 CPUtime=402.31 cores=1,3
/proc/10451/stat : 10451 (muser) R 10449 10451 9930 0 -1 4202496 890935 0 0 0 40048 183 0 0 25 0 1 0 915743097 584179712 141993 33554432000 4194304 5696331 140733447209104 18446744073709551615 4402813 0 0 4096 24615 0 0 0 17 1 0 0 0
/proc/10451/statm: 142622 141993 148 367 0 142252 0
Current children cumulated CPU time (s) 402.31
Current children cumulated vsize (KiB) 570488
[startup+462.301 s]
/proc/loadavg: 4.03 3.55 1.99 5/190 10538
/proc/meminfo: memFree=28741600/32951124 swapFree=67051728/67111528
[pid=10451] ppid=10449 vsize=1657860 CPUtime=462.3 cores=1,3
/proc/10451/stat : 10451 (muser) R 10449 10451 9930 0 -1 4202496 1162967 0 0 0 46005 225 0 0 25 0 1 0 915743097 1697648640 413755 33554432000 4194304 5696331 140733447209104 18446744073709551615 4402907 0 0 4096 24615 0 0 0 17 1 0 0 0
/proc/10451/statm: 414465 413755 148 367 0 414095 0
Current children cumulated CPU time (s) 462.3
Current children cumulated vsize (KiB) 1657860
[startup+522.301 s]
/proc/loadavg: 4.01 3.63 2.11 5/190 10577
/proc/meminfo: memFree=27954436/32951124 swapFree=67051728/67111528
[pid=10451] ppid=10449 vsize=2271032 CPUtime=522.31 cores=1,3
/proc/10451/stat : 10451 (muser) R 10449 10451 9930 0 -1 4202496 1316482 0 0 0 51984 247 0 0 25 0 1 0 915743097 2325536768 567152 33554432000 4194304 5696331 140733447209104 18446744073709551615 4400768 0 0 4096 24615 0 0 0 17 1 0 0 0
/proc/10451/statm: 567758 567152 148 367 0 567388 0
Current children cumulated CPU time (s) 522.31
Current children cumulated vsize (KiB) 2271032
[startup+582.301 s]
/proc/loadavg: 4.00 3.69 2.23 5/190 10578
/proc/meminfo: memFree=27665064/32951124 swapFree=67051728/67111528
[pid=10451] ppid=10449 vsize=2538800 CPUtime=582.31 cores=1,3
/proc/10451/stat : 10451 (muser) R 10449 10451 9930 0 -1 4202496 1383139 0 0 0 57972 259 0 0 25 0 1 0 915743097 2599731200 633777 33554432000 4194304 5696331 140733447209104 18446744073709551615 4400346 0 0 4096 24615 0 0 0 17 1 0 0 0
/proc/10451/statm: 634700 633777 149 367 0 634330 0
Current children cumulated CPU time (s) 582.31
Current children cumulated vsize (KiB) 2538800
[startup+642.301 s]
/proc/loadavg: 4.04 3.76 2.34 5/190 10589
/proc/meminfo: memFree=27664204/32951124 swapFree=67051728/67111528
[pid=10451] ppid=10449 vsize=2538800 CPUtime=642.32 cores=1,3
/proc/10451/stat : 10451 (muser) R 10449 10451 9930 0 -1 4202496 1383141 0 0 0 63973 259 0 0 25 0 1 0 915743097 2599731200 633778 33554432000 4194304 5696331 140733447209104 18446744073709551615 4402344 0 0 4096 24615 0 0 0 17 1 0 0 0
/proc/10451/statm: 634700 633778 148 367 0 634330 0
Current children cumulated CPU time (s) 642.32
Current children cumulated vsize (KiB) 2538800
[startup+702.301 s]
/proc/loadavg: 4.01 3.80 2.44 5/190 10590
/proc/meminfo: memFree=27664156/32951124 swapFree=67051728/67111528
[pid=10451] ppid=10449 vsize=2538800 CPUtime=702.31 cores=1,3
/proc/10451/stat : 10451 (muser) R 10449 10451 9930 0 -1 4202496 1383141 0 0 0 69972 259 0 0 25 0 1 0 915743097 2599731200 633778 33554432000 4194304 5696331 140733447209104 18446744073709551615 4393150 0 0 4096 24615 0 0 0 17 1 0 0 0
/proc/10451/statm: 634700 633778 148 367 0 634330 0
Current children cumulated CPU time (s) 702.31
Current children cumulated vsize (KiB) 2538800
[startup+762.307 s]
/proc/loadavg: 4.08 3.85 2.54 5/190 10666
/proc/meminfo: memFree=27639252/32951124 swapFree=67051728/67111528
[pid=10451] ppid=10449 vsize=2673544 CPUtime=762.32 cores=1,3
/proc/10451/stat : 10451 (muser) R 10449 10451 9930 0 -1 4202496 1417085 0 0 0 75969 263 0 0 25 0 1 0 915743097 2737709056 667700 33554432000 4194304 5696331 140733447209104 18446744073709551615 4400263 0 0 4096 24615 0 0 0 17 1 0 0 0
/proc/10451/statm: 668386 667700 149 367 0 668016 0
Current children cumulated CPU time (s) 762.32
Current children cumulated vsize (KiB) 2673544
[startup+822.3 s]
/proc/loadavg: 4.11 3.89 2.63 5/190 10671
/proc/meminfo: memFree=27524076/32951124 swapFree=67051728/67111528
[pid=10451] ppid=10449 vsize=2673544 CPUtime=822.32 cores=1,3
/proc/10451/stat : 10451 (muser) R 10449 10451 9930 0 -1 4202496 1417085 0 0 0 81968 264 0 0 25 0 1 0 915743097 2737709056 667700 33554432000 4194304 5696331 140733447209104 18446744073709551615 4413823 0 0 4096 24615 0 0 0 17 1 0 0 0
/proc/10451/statm: 668386 667700 149 367 0 668016 0
Current children cumulated CPU time (s) 822.32
Current children cumulated vsize (KiB) 2673544
[startup+882.3 s]
/proc/loadavg: 4.04 3.91 2.72 5/190 10672
/proc/meminfo: memFree=27043104/32951124 swapFree=67051728/67111528
[pid=10451] ppid=10449 vsize=2673544 CPUtime=882.32 cores=1,3
/proc/10451/stat : 10451 (muser) R 10449 10451 9930 0 -1 4202496 1417085 0 0 0 87967 265 0 0 25 0 1 0 915743097 2737709056 667700 33554432000 4194304 5696331 140733447209104 18446744073709551615 4380994 0 0 4096 24615 0 0 0 17 1 0 0 0
/proc/10451/statm: 668386 667700 149 367 0 668016 0
Current children cumulated CPU time (s) 882.32
Current children cumulated vsize (KiB) 2673544
[startup+942.3 s]
/proc/loadavg: 4.01 3.92 2.79 5/190 10711
/proc/meminfo: memFree=28094208/32951124 swapFree=67051728/67111528
[pid=10451] ppid=10449 vsize=2673544 CPUtime=942.32 cores=1,3
/proc/10451/stat : 10451 (muser) R 10449 10451 9930 0 -1 4202496 1417085 0 0 0 93967 265 0 0 25 0 1 0 915743097 2737709056 667700 33554432000 4194304 5696331 140733447209104 18446744073709551615 4381740 0 0 4096 24615 0 0 0 17 1 0 0 0
/proc/10451/statm: 668386 667700 149 367 0 668016 0
Current children cumulated CPU time (s) 942.32
Current children cumulated vsize (KiB) 2673544
[startup+1002.3 s]
/proc/loadavg: 4.04 3.95 2.87 5/190 10712
/proc/meminfo: memFree=27615156/32951124 swapFree=67051728/67111528
[pid=10451] ppid=10449 vsize=2673544 CPUtime=1002.32 cores=1,3
/proc/10451/stat : 10451 (muser) R 10449 10451 9930 0 -1 4202496 1417085 0 0 0 99967 265 0 0 25 0 1 0 915743097 2737709056 667700 33554432000 4194304 5696331 140733447209104 18446744073709551615 4403192 0 0 4096 24615 0 0 0 17 1 0 0 0
/proc/10451/statm: 668386 667700 149 367 0 668016 0
Current children cumulated CPU time (s) 1002.32
Current children cumulated vsize (KiB) 2673544
[startup+1062.3 s]
/proc/loadavg: 4.01 3.95 2.94 5/190 10788
/proc/meminfo: memFree=28074884/32951124 swapFree=67051728/67111528
[pid=10451] ppid=10449 vsize=2673544 CPUtime=1062.32 cores=1,3
/proc/10451/stat : 10451 (muser) R 10449 10451 9930 0 -1 4202496 1417085 0 0 0 105965 267 0 0 25 0 1 0 915743097 2737709056 667700 33554432000 4194304 5696331 140733447209104 18446744073709551615 4413823 0 0 4096 24615 0 0 0 17 1 0 0 0
/proc/10451/statm: 668386 667700 149 367 0 668016 0
Current children cumulated CPU time (s) 1062.32
Current children cumulated vsize (KiB) 2673544
Solver just ended. Dumping a history of the last processes samples
[startup+1068.7 s]
/proc/loadavg: 4.09 3.97 2.95 5/190 10788
/proc/meminfo: memFree=27901280/32951124 swapFree=67051728/67111528
[pid=10451] ppid=10449 vsize=2673544 CPUtime=1068.72 cores=1,3
/proc/10451/stat : 10451 (muser) R 10449 10451 9930 0 -1 4202496 1417085 0 0 0 106605 267 0 0 25 0 1 0 915743097 2737709056 667700 33554432000 4194304 5696331 140733447209104 18446744073709551615 4400263 0 0 4096 24615 0 0 0 17 1 0 0 0
/proc/10451/statm: 668386 667700 149 367 0 668016 0
Current children cumulated CPU time (s) 1068.72
Current children cumulated vsize (KiB) 2673544
[startup+1075.1 s]
/proc/loadavg: 4.08 3.97 2.96 5/190 10788
/proc/meminfo: memFree=27767604/32951124 swapFree=67051728/67111528
[pid=10451] ppid=10449 vsize=2673544 CPUtime=1075.12 cores=1,3
/proc/10451/stat : 10451 (muser) R 10449 10451 9930 0 -1 4202496 1417085 0 0 0 107245 267 0 0 25 0 1 0 915743097 2737709056 667700 33554432000 4194304 5696331 140733447209104 18446744073709551615 4402559 0 0 4096 24615 0 0 0 17 1 0 0 0
/proc/10451/statm: 668386 667700 149 367 0 668016 0
Current children cumulated CPU time (s) 1075.12
Current children cumulated vsize (KiB) 2673544
[startup+1078.3 s]
/proc/loadavg: 4.08 3.97 2.96 5/190 10788
/proc/meminfo: memFree=27698536/32951124 swapFree=67051728/67111528
[pid=10451] ppid=10449 vsize=2673544 CPUtime=1078.32 cores=1,3
/proc/10451/stat : 10451 (muser) R 10449 10451 9930 0 -1 4202496 1417085 0 0 0 107565 267 0 0 25 0 1 0 915743097 2737709056 667700 33554432000 4194304 5696331 140733447209104 18446744073709551615 4400263 0 0 4096 24615 0 0 0 17 1 0 0 0
/proc/10451/statm: 668386 667700 149 367 0 668016 0
Current children cumulated CPU time (s) 1078.32
Current children cumulated vsize (KiB) 2673544
[startup+1079.11 s]
/proc/loadavg: 4.08 3.97 2.96 5/190 10788
/proc/meminfo: memFree=27682788/32951124 swapFree=67051728/67111528
[pid=10451] ppid=10449 vsize=2673544 CPUtime=1079.13 cores=1,3
/proc/10451/stat : 10451 (muser) R 10449 10451 9930 0 -1 4202496 1417085 0 0 0 107646 267 0 0 25 0 1 0 915743097 2737709056 667700 33554432000 4194304 5696331 140733447209104 18446744073709551615 4402344 0 0 4096 24615 0 0 0 17 1 0 0 0
/proc/10451/statm: 668386 667700 149 367 0 668016 0
Current children cumulated CPU time (s) 1079.13
Current children cumulated vsize (KiB) 2673544
[startup+1079.5 s]
/proc/loadavg: 4.08 3.97 2.96 5/190 10788
/proc/meminfo: memFree=27682788/32951124 swapFree=67051728/67111528
[pid=10451] ppid=10449 vsize=2673544 CPUtime=1079.52 cores=1,3
/proc/10451/stat : 10451 (muser) R 10449 10451 9930 0 -1 4202496 1417085 0 0 0 107685 267 0 0 25 0 1 0 915743097 2737709056 667700 33554432000 4194304 5696331 140733447209104 18446744073709551615 4380994 0 0 4096 24615 0 0 0 17 1 0 0 0
/proc/10451/statm: 668386 667700 149 367 0 668016 0
Current children cumulated CPU time (s) 1079.52
Current children cumulated vsize (KiB) 2673544
[startup+1079.9 s]
/proc/loadavg: 4.08 3.97 2.96 5/190 10788
/proc/meminfo: memFree=27682788/32951124 swapFree=67051728/67111528
[pid=10451] ppid=10449 vsize=2559092 CPUtime=1079.92 cores=1,3
/proc/10451/stat : 10451 (muser) R 10449 10451 9930 0 -1 4202496 1417087 0 0 0 107722 270 0 0 25 0 1 0 915743097 2620510208 508083 33554432000 4194304 5696331 140733447209104 18446744073709551615 5252282 0 0 4096 24615 0 0 0 17 1 0 0 0
/proc/10451/statm: 639773 508025 151 367 0 639403 0
Current children cumulated CPU time (s) 1079.92
Current children cumulated vsize (KiB) 2559092
Child status: 20
Real time (s): 1079.98
CPU time (s): 1080.01
CPU user time (s): 1077.23
CPU system time (s): 2.78158
CPU usage (%): 100.003
Max. virtual memory (cumulated for all children) (KiB): 2673544
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1077.23
system time used= 2.78158
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 1417087
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= 3312
runsolver used 1.73174 second user time and 4.16137 second system time
The end
Begin job on node138 at 2011-06-14 10:50:51
IDJOB=3501035
IDBENCH=89975
IDSOLVER=1998
FILE ID=node138/3501035-1308041451
RUNJOBID= node138-1308041268-9950
PBS_JOBID= 13564386
Free space on /tmp= 74144 MiB
SOLVER NAME= MUSer 2011-02-10
BENCH NAME= SAT11/gmus/belov/4pipe_3_ooo.gcnf
COMMAND LINE= muser -comp -grp BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-3501035-1308041451/watcher-3501035-1308041451 -o /tmp/evaluation-result-3501035-1308041451/solver-3501035-1308041451 -C 1800 -W 1850 -M 7680 muser -comp -grp HOME/instance-3501035-1308041451.gcnf
TIME LIMIT= 1800 seconds
MEMORY LIMIT= 7680 MiB
NBCORE= 2
MD5SUM BENCH= c9d2ae8cc2921e0e6398cfa06bd7c2ea
RANDOM SEED=1531615897
node138.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.854
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.70
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.854
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.854
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.82
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.854
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.75
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.854
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.80
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.854
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.75
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.854
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.82
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.854
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.75
clflush size : 64
cache_alignment : 64
address sizes : 40 bits physical, 48 bits virtual
power management: [8]
/proc/meminfo:
MemTotal: 32951124 kB
MemFree: 30550032 kB
Buffers: 193700 kB
Cached: 1030032 kB
SwapCached: 13160 kB
Active: 1242312 kB
Inactive: 944620 kB
HighTotal: 0 kB
HighFree: 0 kB
LowTotal: 32951124 kB
LowFree: 30550032 kB
SwapTotal: 67111528 kB
SwapFree: 67051728 kB
Dirty: 11520 kB
Writeback: 0 kB
AnonPages: 960824 kB
Mapped: 11272 kB
Slab: 146732 kB
PageTables: 6844 kB
NFS_Unstable: 0 kB
Bounce: 0 kB
CommitLimit: 83587088 kB
Committed_AS: 1198360 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= 74148 MiB
End job on node138 at 2011-06-14 11:08:51