Trace number 3377950

Some explanations

A solver is run under the control of another program named runsolver. runsolver is in charge of imposing the CPU time limit and the memory limit to the solver. It also monitors some information about the process. The trace of the execution of a solver is divided into four (or five) parts:
  1. SOLVER DATA
    This is the output of the solver (stdout and stderr).
    Note that some very long lines in this section may be truncated by your web browser ! In such a case, you may want to use the "Download as text" link to get the trace as a text file.

    When the --timestamp option is passed to the runsolver program, each line output by the solver is prepended with a timestamp which indicates at what time the line was output by the solver. Times are relative to the start of the program, given in seconds. The first timestamp (if present) is estimated CPU time. The last timestamp is wall clock time.

    As some 'v lines' may be very long (sometimes several megabytes), the 'v line' output by your solver may be split on several lines to help limit the size of the trace recorded in the database. In any case, the exact output of your solver is preserved in a trace file.
  2. VERIFIER DATA
    The output of the solver is piped to a verifier program which will search a value line "v " and, if found, will check that the given interpretation satisfies all constraints.
  3. CONVERSION SCRIPT DATA (Optionnal)
    When a conversion script is used, this section shows the messages that were output by the conversion script.
  4. WATCHER DATA
    This is the informations gathered by the runsolver program. It first prints the different limits. There's a first limit on CPU time set to X seconds (see the parameters in the trace). After this time has ellapsed, runsolver sends a SIGTERM and 2 seconds later a SIGKILL to the solver. For safety, there's also another limit set to X+30 seconds which will send a SIGXPU to the solver. The last limit is on the virtual memory used by the process (see the parameters in the trace).
    Every ten seconds, the runsolver process fetches the content of /proc/loadavg, /proc/pid/stat and /proc/pid/statm (see man proc) and prints it as raw data. This is only recorded in case we need to investigate the behaviour of a solver. The memory used by the solver (vsize) is also given every ten seconds.
    When the solver exits, runsolver prints some informations such as status and time. CPU usage is the ratio CPU Time/Real Time.
  5. LAUNCHER DATA
    These informations are related to the script which will launch the solver. The most important informations are the command line given to the solver, the md5sum of the different files and the dump of the /proc/cpuinfo and /proc/meminfo which provides some useful information on the computer.

Solver answer on this benchmark

Solver NameAnswerCPU timeWall clock time
borg-sat 11.03.02-seq-industrial (fixed)? (MO) 1275.99 1276.38

General information on the benchmark

Nameapplication/rintanen/SATPlanning/
blocks-blocks-36-0.180-SAT.cnf
MD5SUMf2d21cb304fcceb31bd67c9a8a75cb81
Bench CategoryAPPLICATION (applications instances)
Best result obtained on this benchmarkSAT
Best CPU time to get the best result obtained on this benchmark22.3236
Satisfiable
(Un)Satisfiability was proved
Number of variables733825
Number of clauses13169160
Sum of the clauses size28708560
Maximum clause length1334
Minimum clause length1
Number of clauses of size 11440
Number of clauses of size 212661920
Number of clauses of size 3479520
Number of clauses of size 40
Number of clauses of size 50
Number of clauses of size over 526280

Solver Data 

0.34/0.62	c INFO: loaded portfolio from HOME/etc/borg-mix+class.industrial.pickle
0.34/0.62	c INFO: solving HOME/instance-3377950-1305454099.cnf
0.34/0.62	c INFO: computing task features
52.71/53.08	c INFO: computed variable-clause graph statistics
54.23/54.53	c INFO: computed clause balance statistics
206.92/207.29	c INFO: computed variable balance statistics
340.42/340.75	c INFO: computed small-clause counts
350.82/351.13	c INFO: computed Horn-clause counts
977.44/977.71	c INFO: computed variable graph statistics
977.44/977.74	c INFO: collected features for HOME/instance-3377950-1305454099.cnf in 974.39 s
977.44/977.76	c INFO: running lingeling-276@0 for 97 with 1425 remaining (b = 0.80)
1077.73/1078.01	c INFO: running precosat-570@0 for 97 with 1325 remaining (b = 0.68)
1177.90/1178.26	c INFO: running precosat-570@99 for 97 with 1226 remaining (b = 0.59)
1273.13/1273.45	c INFO: running precosat-570@0 for 97 with 1131 remaining (b = 0.60)

Verifier Data 

ERROR: Unexpected answer ! (SATISFIABLE/UNSATISFIABLE expected)
Got answer: <no 's ' line found>

Watcher Data 

runsolver Copyright (C) 2010-2011 Olivier ROUSSEL

This is runsolver version 3.3.0 (svn: 961)

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-3377950-1305454099/watcher-3377950-1305454099 -o /tmp/evaluation-result-3377950-1305454099/solver-3377950-1305454099 -C 2400 -W 1300 -M 7680 python HOME/solve HOME/etc/borg-mix+class.industrial.pickle HOME/instance-3377950-1305454099.cnf -seed 458001408 -budget 2400 

running on 2 cores: 1,3

Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 2400 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 2430 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 1300 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.29 4.10 3.85 5/303 28800
/proc/meminfo: memFree=16100816/32951124 swapFree=61565116/67111528
[pid=28800] ppid=28798 vsize=15380 CPUtime=0 cores=1,3
/proc/28800/stat : 28800 (python) R 28798 28800 27642 0 -1 4202496 797 0 0 0 0 0 0 0 21 0 1 0 657008887 15749120 683 33554432000 4194304 5683644 140734981680592 18446744073709551615 246516877447 0 0 16781312 2 0 0 0 17 1 0 0 0
/proc/28800/statm: 3845 684 323 364 0 332 0

[startup+0.0735189 s]
/proc/loadavg: 4.29 4.10 3.85 5/303 28800
/proc/meminfo: memFree=16100816/32951124 swapFree=61565116/67111528
[pid=28800] ppid=28798 vsize=43812 CPUtime=0.03 cores=1,3
/proc/28800/stat : 28800 (python) R 28798 28800 27642 0 -1 4202496 1723 0 0 0 3 0 0 0 21 0 1 0 657008887 44863488 1547 33554432000 4194304 5683644 140734981680592 18446744073709551615 246516528221 0 0 16781312 2 0 0 0 17 1 0 0 0
/proc/28800/statm: 10953 1571 467 364 0 1218 0
Current children cumulated CPU time (s) 0.03
Current children cumulated vsize (KiB) 43812

[startup+0.100517 s]
/proc/loadavg: 4.29 4.10 3.85 5/303 28800
/proc/meminfo: memFree=16100816/32951124 swapFree=61565116/67111528
[pid=28800] ppid=28798 vsize=93956 CPUtime=0.05 cores=1,3
/proc/28800/stat : 28800 (python) R 28798 28800 27642 0 -1 4202496 2692 0 0 0 4 1 0 0 17 0 1 0 657008887 96210944 2406 33554432000 4194304 5683644 140734981680592 18446744073709551615 246516832256 0 2147483391 16781312 2 0 0 0 17 1 0 0 0
/proc/28800/statm: 23489 2406 764 364 0 1621 0
Current children cumulated CPU time (s) 0.05
Current children cumulated vsize (KiB) 93956

[startup+0.300503 s]
/proc/loadavg: 4.29 4.10 3.85 5/303 28800
/proc/meminfo: memFree=16100816/32951124 swapFree=61565116/67111528
[pid=28800] ppid=28798 vsize=135748 CPUtime=0.17 cores=1,3
/proc/28800/stat : 28800 (python) R 28798 28800 27642 0 -1 4202496 5968 934 1 0 13 4 0 0 18 0 1 0 657008887 139005952 4147 33554432000 4194304 5683644 140734981680592 18446744073709551615 246516830213 0 2147483391 16781312 2 0 0 0 17 1 0 0 0
/proc/28800/statm: 33937 4147 1032 364 0 3123 0
Current children cumulated CPU time (s) 0.17
Current children cumulated vsize (KiB) 135748

[startup+0.700413 s]
/proc/loadavg: 4.29 4.10 3.85 5/303 28800
/proc/meminfo: memFree=16100816/32951124 swapFree=61565116/67111528
[pid=28800] ppid=28798 vsize=518896 CPUtime=0.42 cores=1,3
/proc/28800/stat : 28800 (python) R 28798 28800 27642 0 -1 4202496 47915 934 1 0 27 15 0 0 17 0 1 0 657008887 531349504 45590 33554432000 4194304 5683644 140734981680592 18446744073709551615 246516834048 0 0 16781312 2 0 0 0 17 1 0 0 0
/proc/28800/statm: 129724 45614 1758 364 0 65648 0
Current children cumulated CPU time (s) 0.42
Current children cumulated vsize (KiB) 518896

[startup+1.59021 s]
/proc/loadavg: 4.29 4.10 3.85 5/303 28800
/proc/meminfo: memFree=16100816/32951124 swapFree=61565116/67111528
[pid=28800] ppid=28798 vsize=576524 CPUtime=1.32 cores=1,3
/proc/28800/stat : 28800 (python) R 28798 28800 27642 0 -1 4202496 83709 934 1 0 111 21 0 0 18 0 1 0 657008887 590360576 81384 33554432000 4194304 5683644 140734981680592 18446744073709551615 47826642997461 0 0 16781312 2 0 0 0 17 3 0 0 0
/proc/28800/statm: 144131 81384 1761 364 0 80055 0
Current children cumulated CPU time (s) 1.32
Current children cumulated vsize (KiB) 576524

[startup+3.10098 s]
/proc/loadavg: 4.43 4.13 3.86 5/304 28805
/proc/meminfo: memFree=15685784/32951124 swapFree=61565116/67111528
[pid=28800] ppid=28798 vsize=681080 CPUtime=2.82 cores=1,3
/proc/28800/stat : 28800 (python) R 28798 28800 27642 0 -1 4202496 108979 934 1 0 257 25 0 0 21 0 1 0 657008887 697425920 106654 33554432000 4194304 5683644 140734981680592 18446744073709551615 246516495045 0 0 16781312 2 0 0 0 17 1 0 0 0
/proc/28800/statm: 170270 106654 1761 364 0 106194 0
Current children cumulated CPU time (s) 2.82
Current children cumulated vsize (KiB) 681080

[startup+6.3004 s]
/proc/loadavg: 4.40 4.13 3.86 5/304 28805
/proc/meminfo: memFree=15468420/32951124 swapFree=61565116/67111528
[pid=28800] ppid=28798 vsize=896656 CPUtime=6.01 cores=1,3
/proc/28800/stat : 28800 (python) R 28798 28800 27642 0 -1 4202496 162726 934 1 0 569 32 0 0 25 0 1 0 657008887 918175744 160401 33554432000 4194304 5683644 140734981680592 18446744073709551615 246516495045 0 0 16781312 2 0 0 0 17 1 0 0 0
/proc/28800/statm: 224164 160402 1761 364 0 160088 0
Current children cumulated CPU time (s) 6.01
Current children cumulated vsize (KiB) 896656

[startup+12.7002 s]
/proc/loadavg: 4.44 4.15 3.86 5/304 28805
/proc/meminfo: memFree=15024116/32951124 swapFree=61565116/67111528
[pid=28800] ppid=28798 vsize=1348588 CPUtime=12.42 cores=1,3
/proc/28800/stat : 28800 (python) R 28798 28800 27642 0 -1 4202496 269827 934 1 0 1195 47 0 0 25 0 1 0 657008887 1380954112 267502 33554432000 4194304 5683644 140734981680592 18446744073709551615 246516495045 0 0 16781312 2 0 0 0 17 1 0 0 0
/proc/28800/statm: 337147 267504 1761 364 0 273071 0
Current children cumulated CPU time (s) 12.42
Current children cumulated vsize (KiB) 1348588

[startup+25.5009 s]
/proc/loadavg: 4.38 4.14 3.87 5/304 28806
/proc/meminfo: memFree=14227092/32951124 swapFree=61565116/67111528
[pid=28800] ppid=28798 vsize=2099240 CPUtime=25.22 cores=1,3
/proc/28800/stat : 28800 (python) R 28798 28800 27642 0 -1 4202496 458518 934 1 0 2454 68 0 0 25 0 1 0 657008887 2149621760 456193 33554432000 4194304 5683644 140734981680592 18446744073709551615 4436508 0 0 16781312 2 0 0 0 17 1 0 0 0
/proc/28800/statm: 524810 456193 1761 364 0 460734 0
Current children cumulated CPU time (s) 25.22
Current children cumulated vsize (KiB) 2099240

[startup+51.1002 s]
/proc/loadavg: 4.25 4.13 3.87 5/304 28806
/proc/meminfo: memFree=13976932/32951124 swapFree=61565116/67111528
[pid=28800] ppid=28798 vsize=2318816 CPUtime=50.81 cores=1,3
/proc/28800/stat : 28800 (python) R 28798 28800 27642 0 -1 4202496 1655103 934 1 0 4884 197 0 0 25 0 1 0 657008887 2374467584 517078 33554432000 4194304 5683644 140734981680592 18446744073709551615 47826472547937 0 0 16781312 2 0 0 0 17 1 0 0 0
/proc/28800/statm: 579704 517078 1815 364 0 515628 0
Current children cumulated CPU time (s) 50.81
Current children cumulated vsize (KiB) 2318816

[startup+102.301 s]
/proc/loadavg: 4.10 4.10 3.87 5/304 28808
/proc/meminfo: memFree=14007448/32951124 swapFree=61565116/67111528
[pid=28800] ppid=28798 vsize=2215928 CPUtime=102.02 cores=1,3
/proc/28800/stat : 28800 (python) R 28798 28800 27642 0 -1 4202496 1732281 934 1 0 9996 206 0 0 25 0 1 0 657008887 2269110272 491367 33554432000 4194304 5683644 140734981680592 18446744073709551615 47826472379409 0 0 16781312 2 0 0 0 17 1 0 0 0
/proc/28800/statm: 553982 491367 1826 364 0 489906 0
Current children cumulated CPU time (s) 102.02
Current children cumulated vsize (KiB) 2215928

[startup+162.301 s]
/proc/loadavg: 4.03 4.08 3.88 5/304 28809
/proc/meminfo: memFree=14011364/32951124 swapFree=61565116/67111528
[pid=28800] ppid=28798 vsize=2215928 CPUtime=162.03 cores=1,3
/proc/28800/stat : 28800 (python) R 28798 28800 27642 0 -1 4202496 1732281 934 1 0 15997 206 0 0 25 0 1 0 657008887 2269110272 491367 33554432000 4194304 5683644 140734981680592 18446744073709551615 246516530608 0 0 16781312 2 0 0 0 17 1 0 0 0
/proc/28800/statm: 553982 491367 1826 364 0 489906 0
Current children cumulated CPU time (s) 162.03
Current children cumulated vsize (KiB) 2215928

[startup+222.301 s]
/proc/loadavg: 4.10 4.09 3.90 5/304 28811
/proc/meminfo: memFree=13999660/32951124 swapFree=61565116/67111528
[pid=28800] ppid=28798 vsize=2215928 CPUtime=222.02 cores=1,3
/proc/28800/stat : 28800 (python) R 28798 28800 27642 0 -1 4202496 1732282 934 1 0 21996 206 0 0 25 0 1 0 657008887 2269110272 491368 33554432000 4194304 5683644 140734981680592 18446744073709551615 246516530608 0 0 16781312 2 0 0 0 17 1 0 0 0
/proc/28800/statm: 553982 491368 1827 364 0 489906 0
Current children cumulated CPU time (s) 222.02
Current children cumulated vsize (KiB) 2215928

[startup+282.31 s]
/proc/loadavg: 4.08 4.09 3.91 5/308 28819
/proc/meminfo: memFree=13858828/32951124 swapFree=61565116/67111528
[pid=28800] ppid=28798 vsize=2215928 CPUtime=282.03 cores=1,3
/proc/28800/stat : 28800 (python) R 28798 28800 27642 0 -1 4202496 1732282 934 1 0 27997 206 0 0 25 0 1 0 657008887 2269110272 491368 33554432000 4194304 5683644 140734981680592 18446744073709551615 246520242869 0 0 16781312 2 0 0 0 17 1 0 0 0
/proc/28800/statm: 553982 491368 1827 364 0 489906 0
Current children cumulated CPU time (s) 282.03
Current children cumulated vsize (KiB) 2215928

[startup+342.301 s]
/proc/loadavg: 4.10 4.09 3.91 5/308 28822
/proc/meminfo: memFree=13557864/32951124 swapFree=61565116/67111528
[pid=28800] ppid=28798 vsize=2524592 CPUtime=342.03 cores=1,3
/proc/28800/stat : 28800 (python) R 28798 28800 27642 0 -1 4202496 1902565 934 1 0 33981 222 0 0 25 0 1 0 657008887 2585182208 558763 33554432000 4194304 5683644 140734981680592 18446744073709551615 47826472547962 0 0 16781312 2 0 0 0 17 1 0 0 0
/proc/28800/statm: 631148 558765 1829 364 0 567072 0
Current children cumulated CPU time (s) 342.03
Current children cumulated vsize (KiB) 2524592

[startup+402.3 s]
/proc/loadavg: 4.07 4.08 3.92 5/312 28830
/proc/meminfo: memFree=13266768/32951124 swapFree=61565116/67111528
[pid=28800] ppid=28798 vsize=2215928 CPUtime=402.03 cores=1,3
/proc/28800/stat : 28800 (python) R 28798 28800 27642 0 -1 4202496 2478226 934 1 0 39923 280 0 0 25 0 1 0 657008887 2269110272 491374 33554432000 4194304 5683644 140734981680592 18446744073709551615 47826472134796 0 0 16781312 2 0 0 0 17 1 0 0 0
/proc/28800/statm: 553982 491374 1833 364 0 489906 0
Current children cumulated CPU time (s) 402.03
Current children cumulated vsize (KiB) 2215928

[startup+462.3 s]
/proc/loadavg: 4.08 4.08 3.93 5/315 28834
/proc/meminfo: memFree=13326968/32951124 swapFree=61565116/67111528
[pid=28800] ppid=28798 vsize=2215928 CPUtime=462.03 cores=1,3
/proc/28800/stat : 28800 (python) R 28798 28800 27642 0 -1 4202496 2478226 934 1 0 45923 280 0 0 25 0 1 0 657008887 2269110272 491374 33554432000 4194304 5683644 140734981680592 18446744073709551615 47826472134796 0 0 16781312 2 0 0 0 17 1 0 0 0
/proc/28800/statm: 553982 491374 1833 364 0 489906 0
Current children cumulated CPU time (s) 462.03
Current children cumulated vsize (KiB) 2215928

[startup+522.3 s]
/proc/loadavg: 4.28 4.14 3.95 5/315 28837
/proc/meminfo: memFree=13209916/32951124 swapFree=61565116/67111528
[pid=28800] ppid=28798 vsize=2215928 CPUtime=522.03 cores=1,3
/proc/28800/stat : 28800 (python) R 28798 28800 27642 0 -1 4202496 2478226 934 1 0 51923 280 0 0 25 0 1 0 657008887 2269110272 491374 33554432000 4194304 5683644 140734981680592 18446744073709551615 47826472134784 0 0 16781312 2 0 0 0 17 1 0 0 0
/proc/28800/statm: 553982 491374 1833 364 0 489906 0
Current children cumulated CPU time (s) 522.03
Current children cumulated vsize (KiB) 2215928

[startup+582.3 s]
/proc/loadavg: 4.23 4.14 3.96 5/320 28845
/proc/meminfo: memFree=13044332/32951124 swapFree=61565116/67111528
[pid=28800] ppid=28798 vsize=2215928 CPUtime=582.03 cores=1,3
/proc/28800/stat : 28800 (python) R 28798 28800 27642 0 -1 4202496 2478226 934 1 0 57923 280 0 0 25 0 1 0 657008887 2269110272 491374 33554432000 4194304 5683644 140734981680592 18446744073709551615 47826472134796 0 0 16781312 2 0 0 0 17 1 0 0 0
/proc/28800/statm: 553982 491374 1833 364 0 489906 0
Current children cumulated CPU time (s) 582.03
Current children cumulated vsize (KiB) 2215928

[startup+642.3 s]

################
# More data... #
################

/proc/28939/statm: 337866 273795 376 364 0 273784 0
[pid=28941] ppid=28939 vsize=344796 CPUtime=24.45 cores=1,3
/proc/28941/stat : 28941 (lingeling) R 28939 28941 28941 0 -1 4202496 139008 0 0 0 2419 26 0 0 25 0 1 0 657106665 353071104 85365 33554432000 4194304 4352236 140734165060016 18446744073709551615 4208899 0 0 16781312 17506 0 0 0 17 1 0 0 0
/proc/28941/statm: 86199 85365 126 39 0 85279 0
[pid=28800/tid=28940] ppid=28798 vsize=1361708 CPUtime=0 cores=1,3
/proc/28800/task/28940/stat : 28940 (python) S 28798 28800 27642 0 -1 4202560 32 934 0 0 0 0 0 0 25 0 2 0 657106665 1394388992 275290 33554432000 4194304 5683644 140734981680592 18446744073709551615 246528657841 0 0 16781312 2 18446604461804179712 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 1002.02
Current children cumulated vsize (KiB) 3057968

[startup+1062.3 s]
/proc/loadavg: 4.11 4.08 3.99 5/324 28943
/proc/meminfo: memFree=12210028/32951124 swapFree=61565116/67111528
[pid=28800] ppid=28798 vsize=1361708 CPUtime=977.52 cores=1,3
/proc/28800/stat : 28800 (python) S 28798 28800 27642 0 -1 4202496 2478512 934 1 0 97467 285 0 0 25 0 2 0 657008887 1394388992 275290 33554432000 4194304 5683644 140734981680592 18446744073709551615 246528660939 0 0 16781312 2 18446744073709551615 0 0 17 1 0 0 0
/proc/28800/statm: 340427 275290 1867 364 0 276345 0
[pid=28939] ppid=28800 vsize=1351464 CPUtime=0.18 cores=1,3
/proc/28939/stat : 28939 (python) S 28800 28800 27642 0 -1 4202560 924 0 0 0 9 9 0 0 18 0 1 0 657106663 1383899136 273795 33554432000 4194304 5683644 140734981680592 18446744073709551615 246516854287 0 0 16781312 514 8419602648671420676 0 0 17 1 0 0 0
/proc/28939/statm: 337866 273795 376 364 0 273784 0
[pid=28941] ppid=28939 vsize=344792 CPUtime=84.33 cores=1,3
/proc/28941/stat : 28941 (lingeling) R 28939 28941 28941 0 -1 4202496 139012 0 0 0 8407 26 0 0 25 0 1 0 657106665 353067008 85368 33554432000 4194304 4352236 140734165060016 18446744073709551615 4278664 0 0 16781312 17506 0 0 0 17 1 0 0 0
/proc/28941/statm: 86198 85368 129 39 0 85278 0
[pid=28800/tid=28940] ppid=28798 vsize=1361708 CPUtime=0 cores=1,3
/proc/28800/task/28940/stat : 28940 (python) S 28798 28800 27642 0 -1 4202560 32 934 0 0 0 0 0 0 25 0 2 0 657106665 1394388992 275290 33554432000 4194304 5683644 140734981680592 18446744073709551615 246528657841 0 0 16781312 2 18446604461804179712 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 1062.03
Current children cumulated vsize (KiB) 3057964

[startup+1122.3 s]
/proc/loadavg: 3.52 3.92 3.94 4/322 28970
/proc/meminfo: memFree=10573156/32951124 swapFree=61565116/67111528
[pid=28800] ppid=28798 vsize=1371964 CPUtime=977.54 cores=1,3
/proc/28800/stat : 28800 (python) S 28798 28800 27642 0 -1 4202496 2479334 934 1 0 97467 287 0 0 20 0 3 0 657008887 1404891136 275297 33554432000 4194304 5683644 140734981680592 18446744073709551615 246528660939 0 0 16781312 2 18446744073709551615 0 0 17 1 0 0 0
/proc/28800/statm: 342991 275297 1870 364 0 278906 0
[pid=28939] ppid=28800 vsize=1361708 CPUtime=0.22 cores=1,3
/proc/28939/stat : 28939 (python) S 28800 28800 27642 0 -1 4202560 1165 0 0 0 11 11 0 0 19 0 2 0 657106663 1394388992 273838 33554432000 4194304 5683644 140734981680592 18446744073709551615 246528660939 0 0 16781312 514 18446744073709551615 0 0 17 1 0 0 0
/proc/28939/statm: 340427 273838 414 364 0 276345 0
[pid=28941] ppid=28939 vsize=346556 CPUtime=99.99 cores=1,3
/proc/28941/stat : 28941 (lingeling) T 28939 28941 28941 0 -1 4202496 139524 0 0 0 9973 26 0 0 25 0 1 0 657106665 354873344 85809 33554432000 4194304 4352236 140734165060016 18446744073709551615 4231311 0 0 16781312 17506 18446744071562691360 0 0 17 3 0 0 0
/proc/28941/statm: 86639 85809 129 39 0 85719 0
[pid=28939/tid=28966] ppid=28800 vsize=1361708 CPUtime=0 cores=1,3
/proc/28939/task/28966/stat : 28966 (python) S 28800 28800 27642 0 -1 4202560 49 0 0 0 0 0 0 0 19 0 2 0 657116687 1394388992 273838 33554432000 4194304 5683644 140734981680592 18446744073709551615 246528657841 0 0 16781312 514 18446604465381126336 0 0 -1 3 0 0 0
[pid=28967] ppid=28800 vsize=1361720 CPUtime=0.09 cores=1,3
/proc/28967/stat : 28967 (python) S 28800 28800 27642 0 -1 4202560 904 0 0 0 4 5 0 0 18 0 1 0 657116688 1394401280 273793 33554432000 4194304 5683644 140734981680592 18446744073709551615 246516854342 0 0 16781312 514 8419602648671420680 0 0 17 1 0 0 0
/proc/28967/statm: 340430 273793 370 364 0 276345 0
[pid=28969] ppid=28967 vsize=1367732 CPUtime=44.16 cores=1,3
/proc/28969/stat : 28969 (precosat) R 28967 28969 28969 0 -1 4202496 346990 0 0 0 4368 48 0 0 25 0 1 0 657116690 1400557568 335104 33554432000 4194304 4890832 140735558934000 18446744073709551615 4246683 0 0 16781312 17442 0 0 0 17 1 0 0 0
/proc/28969/statm: 341933 335104 80 171 0 341760 0
[pid=28800/tid=28940] ppid=28798 vsize=1371964 CPUtime=0 cores=1,3
/proc/28800/task/28940/stat : 28940 (python) S 28798 28800 27642 0 -1 4202560 32 934 0 0 0 0 0 0 25 0 3 0 657106665 1404891136 275297 33554432000 4194304 5683644 140734981680592 18446744073709551615 246528657841 0 0 16781312 2 18446604461804179712 0 0 -1 1 0 0 0
[pid=28800/tid=28968] ppid=28798 vsize=1371964 CPUtime=0 cores=1,3
/proc/28800/task/28968/stat : 28968 (python) S 28798 28800 27642 0 -1 4202560 28 934 0 0 0 0 0 0 20 0 3 0 657116690 1404891136 275297 33554432000 4194304 5683644 140734981680592 18446744073709551615 246528657841 0 0 16781312 2 18446604461804179712 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 1122
Current children cumulated vsize (KiB) 5809680

[startup+1182.3 s]
/proc/loadavg: 2.66 3.61 3.83 3/311 28993
/proc/meminfo: memFree=11953804/32951124 swapFree=61565116/67111528
[pid=28800] ppid=28798 vsize=1371964 CPUtime=977.55 cores=1,3
/proc/28800/stat : 28800 (python) S 28798 28800 27642 0 -1 4202496 2479835 934 1 0 97468 287 0 0 18 0 3 0 657008887 1404891136 275297 33554432000 4194304 5683644 140734981680592 18446744073709551615 246528660939 0 0 16781312 2 18446744073709551615 0 0 17 1 0 0 0
/proc/28800/statm: 342991 275297 1870 364 0 278906 0
[pid=28939] ppid=28800 vsize=1361708 CPUtime=0.22 cores=1,3
/proc/28939/stat : 28939 (python) S 28800 28800 27642 0 -1 4202560 1165 0 0 0 11 11 0 0 19 0 2 0 657106663 1394388992 273838 33554432000 4194304 5683644 140734981680592 18446744073709551615 246528660939 0 0 16781312 514 18446744073709551615 0 0 17 1 0 0 0
/proc/28939/statm: 340427 273838 414 364 0 276345 0
[pid=28941] ppid=28939 vsize=346556 CPUtime=99.99 cores=1,3
/proc/28941/stat : 28941 (lingeling) T 28939 28941 28941 0 -1 4202496 139524 0 0 0 9973 26 0 0 25 0 1 0 657106665 354873344 85809 33554432000 4194304 4352236 140734165060016 18446744073709551615 4231311 0 0 16781312 17506 18446744071562691360 0 0 17 3 0 0 0
/proc/28941/statm: 86639 85809 129 39 0 85719 0
[pid=28939/tid=28966] ppid=28800 vsize=1361708 CPUtime=0 cores=1,3
/proc/28939/task/28966/stat : 28966 (python) S 28800 28800 27642 0 -1 4202560 49 0 0 0 0 0 0 0 19 0 2 0 657116687 1394388992 273838 33554432000 4194304 5683644 140734981680592 18446744073709551615 246528657841 0 0 16781312 514 18446604465381126336 0 0 -1 3 0 0 0
[pid=28967] ppid=28800 vsize=1361720 CPUtime=0.22 cores=1,3
/proc/28967/stat : 28967 (python) S 28800 28800 27642 0 -1 4202560 1091 0 0 0 11 11 0 0 18 0 2 0 657116688 1394401280 273823 33554432000 4194304 5683644 140734981680592 18446744073709551615 246516854342 0 0 16781312 514 18446744073709551615 0 0 17 1 0 0 0
/proc/28967/statm: 340430 273823 399 364 0 276345 0
[pid=28969] ppid=28967 vsize=1508824 CPUtime=104.02 cores=1,3
/proc/28969/stat : 28969 (precosat) R 28967 28969 28969 0 -1 4202496 416834 0 0 0 10347 55 0 0 25 0 1 0 657116690 1545035776 370548 33554432000 4194304 4890832 140735558934000 18446744073709551615 4238338 0 0 16781312 17442 0 0 0 17 1 0 0 0
/proc/28969/statm: 377206 370548 86 171 0 377033 0
[pid=28967/tid=28993] ppid=28800 vsize=1361720 CPUtime=0 cores=1,3
/proc/28967/task/28993/stat : 28993 (python) S 28800 28800 27642 0 -1 4202560 48 0 0 0 0 0 0 0 19 0 2 0 657126712 1394401280 273823 33554432000 4194304 5683644 140734981680592 18446744073709551615 246528657841 0 0 16781312 514 18446604459206485824 0 0 -1 3 0 0 0
[pid=28800/tid=28940] ppid=28798 vsize=1371964 CPUtime=0 cores=1,3
/proc/28800/task/28940/stat : 28940 (python) S 28798 28800 27642 0 -1 4202560 32 934 0 0 0 0 0 0 25 0 3 0 657106665 1404891136 275297 33554432000 4194304 5683644 140734981680592 18446744073709551615 246528657841 0 0 16781312 2 18446604461804179712 0 0 -1 1 0 0 0
[pid=28800/tid=28968] ppid=28798 vsize=1371964 CPUtime=0 cores=1,3
/proc/28800/task/28968/stat : 28968 (python) S 28798 28800 27642 0 -1 4202560 29 934 0 0 0 0 0 0 18 0 3 0 657116690 1404891136 275297 33554432000 4194304 5683644 140734981680592 18446744073709551615 246528657841 0 0 16781312 2 18446604461804179712 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 1182
Current children cumulated vsize (KiB) 5950772

[startup+1242.3 s]
/proc/loadavg: 1.83 3.22 3.68 2/293 29013
/proc/meminfo: memFree=12564404/32951124 swapFree=61565116/67111528
[pid=28800] ppid=28798 vsize=1371964 CPUtime=977.55 cores=1,3
/proc/28800/stat : 28800 (python) S 28798 28800 27642 0 -1 4202496 2479835 934 1 0 97468 287 0 0 18 0 3 0 657008887 1404891136 275297 33554432000 4194304 5683644 140734981680592 18446744073709551615 246528660939 0 0 16781312 2 18446744073709551615 0 0 17 1 0 0 0
/proc/28800/statm: 342991 275297 1870 364 0 278906 0
[pid=28939] ppid=28800 vsize=1361708 CPUtime=0.22 cores=1,3
/proc/28939/stat : 28939 (python) S 28800 28800 27642 0 -1 4202560 1165 0 0 0 11 11 0 0 19 0 2 0 657106663 1394388992 273838 33554432000 4194304 5683644 140734981680592 18446744073709551615 246528660939 0 0 16781312 514 18446744073709551615 0 0 17 1 0 0 0
/proc/28939/statm: 340427 273838 414 364 0 276345 0
[pid=28941] ppid=28939 vsize=346556 CPUtime=99.99 cores=1,3
/proc/28941/stat : 28941 (lingeling) T 28939 28941 28941 0 -1 4202496 139524 0 0 0 9973 26 0 0 25 0 1 0 657106665 354873344 85809 33554432000 4194304 4352236 140734165060016 18446744073709551615 4231311 0 0 16781312 17506 18446744071562691360 0 0 17 3 0 0 0
/proc/28941/statm: 86639 85809 129 39 0 85719 0
[pid=28939/tid=28966] ppid=28800 vsize=1361708 CPUtime=0 cores=1,3
/proc/28939/task/28966/stat : 28966 (python) S 28800 28800 27642 0 -1 4202560 49 0 0 0 0 0 0 0 19 0 2 0 657116687 1394388992 273838 33554432000 4194304 5683644 140734981680592 18446744073709551615 246528657841 0 0 16781312 514 18446604465381126336 0 0 -1 3 0 0 0
[pid=28967] ppid=28800 vsize=1361720 CPUtime=0.36 cores=1,3
/proc/28967/stat : 28967 (python) S 28800 28800 27642 0 -1 4202560 1118 0 0 0 19 17 0 0 18 0 2 0 657116688 1394401280 273823 33554432000 4194304 5683644 140734981680592 18446744073709551615 246516854342 0 0 16781312 514 18446744073709551615 0 0 17 1 0 0 0
/proc/28967/statm: 340430 273823 399 364 0 276345 0
[pid=28969] ppid=28967 vsize=1508824 CPUtime=163.9 cores=1,3
/proc/28969/stat : 28969 (precosat) R 28967 28969 28969 0 -1 4202496 425506 0 0 0 16334 56 0 0 25 0 1 0 657116690 1545035776 370620 33554432000 4194304 4890832 140735558934000 18446744073709551615 4274298 0 0 16781312 17442 0 0 0 17 1 0 0 0
/proc/28969/statm: 377206 370620 86 171 0 377033 0
[pid=28967/tid=28993] ppid=28800 vsize=1361720 CPUtime=0 cores=1,3
/proc/28967/task/28993/stat : 28993 (python) S 28800 28800 27642 0 -1 4202560 48 0 0 0 0 0 0 0 19 0 2 0 657126712 1394401280 273823 33554432000 4194304 5683644 140734981680592 18446744073709551615 246528657841 0 0 16781312 514 18446604459206485824 0 0 -1 3 0 0 0
[pid=28800/tid=28940] ppid=28798 vsize=1371964 CPUtime=0 cores=1,3
/proc/28800/task/28940/stat : 28940 (python) S 28798 28800 27642 0 -1 4202560 32 934 0 0 0 0 0 0 25 0 3 0 657106665 1404891136 275297 33554432000 4194304 5683644 140734981680592 18446744073709551615 246528657841 0 0 16781312 2 18446604461804179712 0 0 -1 1 0 0 0
[pid=28800/tid=28968] ppid=28798 vsize=1371964 CPUtime=0 cores=1,3
/proc/28800/task/28968/stat : 28968 (python) S 28798 28800 27642 0 -1 4202560 29 934 0 0 0 0 0 0 18 0 3 0 657116690 1404891136 275297 33554432000 4194304 5683644 140734981680592 18446744073709551615 246528657841 0 0 16781312 2 18446604461804179712 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 1242.02
Current children cumulated vsize (KiB) 5950772



Maximum VSize exceeded: sending SIGTERM then SIGKILL

[startup+1276.3 s]
/proc/loadavg: 1.46 2.97 3.58 2/296 29017
/proc/meminfo: memFree=12035016/32951124 swapFree=61565116/67111528
[pid=28800] ppid=28798 vsize=1382220 CPUtime=977.56 cores=1,3
/proc/28800/stat : 28800 (python) S 28798 28800 27642 0 -1 4202496 2480142 934 1 0 97468 288 0 0 19 0 4 0 657008887 1415393280 275303 33554432000 4194304 5683644 140734981680592 18446744073709551615 246528660939 0 0 16781312 2 18446744073709551615 0 0 17 1 0 0 0
/proc/28800/statm: 345555 275303 1872 364 0 281467 0
[pid=28939] ppid=28800 vsize=1361708 CPUtime=0.22 cores=1,3
/proc/28939/stat : 28939 (python) S 28800 28800 27642 0 -1 4202560 1165 0 0 0 11 11 0 0 19 0 2 0 657106663 1394388992 273838 33554432000 4194304 5683644 140734981680592 18446744073709551615 246528660939 0 0 16781312 514 18446744073709551615 0 0 17 1 0 0 0
/proc/28939/statm: 340427 273838 414 364 0 276345 0
[pid=28941] ppid=28939 vsize=346556 CPUtime=99.99 cores=1,3
/proc/28941/stat : 28941 (lingeling) T 28939 28941 28941 0 -1 4202496 139524 0 0 0 9973 26 0 0 25 0 1 0 657106665 354873344 85809 33554432000 4194304 4352236 140734165060016 18446744073709551615 4231311 0 0 16781312 17506 18446744071562691360 0 0 17 3 0 0 0
/proc/28941/statm: 86639 85809 129 39 0 85719 0
[pid=28939/tid=28966] ppid=28800 vsize=1361708 CPUtime=0 cores=1,3
/proc/28939/task/28966/stat : 28966 (python) S 28800 28800 27642 0 -1 4202560 49 0 0 0 0 0 0 0 19 0 2 0 657116687 1394388992 273838 33554432000 4194304 5683644 140734981680592 18446744073709551615 246528657841 0 0 16781312 514 18446604465381126336 0 0 -1 3 0 0 0
[pid=28967] ppid=28800 vsize=1361720 CPUtime=0.43 cores=1,3
/proc/28967/stat : 28967 (python) S 28800 28800 27642 0 -1 4202560 1132 0 0 0 23 20 0 0 18 0 2 0 657116688 1394401280 273823 33554432000 4194304 5683644 140734981680592 18446744073709551615 246528660939 0 0 16781312 514 18446744073709551615 0 0 17 1 0 0 0
/proc/28967/statm: 340430 273823 399 364 0 276345 0
[pid=28969] ppid=28967 vsize=1508824 CPUtime=194.97 cores=1,3
/proc/28969/stat : 28969 (precosat) T 28967 28969 28969 0 -1 4202496 425507 0 0 0 19441 56 0 0 25 0 1 0 657116690 1545035776 370621 33554432000 4194304 4890832 140735558934000 18446744073709551615 4229367 0 0 16781312 17442 18446744071562691360 0 0 17 1 0 0 0
/proc/28969/statm: 377206 370621 86 171 0 377033 0
[pid=28967/tid=28993] ppid=28800 vsize=1361720 CPUtime=0 cores=1,3
/proc/28967/task/28993/stat : 28993 (python) S 28800 28800 27642 0 -1 4202560 49 0 0 0 0 0 0 0 18 0 2 0 657126712 1394401280 273823 33554432000 4194304 5683644 140734981680592 18446744073709551615 246528657841 0 0 16781312 514 18446604459206485824 0 0 -1 3 0 0 0
[pid=29015] ppid=28800 vsize=1371976 CPUtime=0.01 cores=1,3
/proc/29015/stat : 29015 (python) S 28800 28800 27642 0 -1 4202560 742 0 0 0 0 1 0 0 18 0 1 0 657136233 1404903424 273774 33554432000 4194304 5683644 140734981680592 18446744073709551615 246516854342 0 0 16781312 514 17014502089721610504 0 0 17 1 0 0 0
/proc/29015/statm: 342994 273774 347 364 0 278906 0
[pid=29017] ppid=29015 vsize=540904 CPUtime=2.81 cores=1,3
/proc/29017/stat : 29017 (precosat) R 29015 29017 29017 0 -1 4202496 131910 0 0 0 262 19 0 0 25 0 1 0 657136234 553885696 131645 33554432000 4194304 4890832 140736572733184 18446744073709551615 4487008 0 0 16781312 17442 0 0 0 17 1 0 0 0
/proc/29017/statm: 135226 131645 65 171 0 135053 0
[pid=28800/tid=28940] ppid=28798 vsize=1382220 CPUtime=0 cores=1,3
/proc/28800/task/28940/stat : 28940 (python) S 28798 28800 27642 0 -1 4202560 32 934 0 0 0 0 0 0 25 0 4 0 657106665 1415393280 275303 33554432000 4194304 5683644 140734981680592 18446744073709551615 246528657841 0 0 16781312 2 18446604461804179712 0 0 -1 1 0 0 0
[pid=28800/tid=28968] ppid=28798 vsize=1382220 CPUtime=0 cores=1,3
/proc/28800/task/28968/stat : 28968 (python) S 28798 28800 27642 0 -1 4202560 29 934 0 0 0 0 0 0 18 0 4 0 657116690 1415393280 275303 33554432000 4194304 5683644 140734981680592 18446744073709551615 246528657841 0 0 16781312 2 18446604461804179712 0 0 -1 1 0 0 0
[pid=28800/tid=29016] ppid=28798 vsize=1382220 CPUtime=0 cores=1,3
/proc/28800/task/29016/stat : 29016 (python) S 28798 28800 27642 0 -1 4202560 27 934 0 0 0 0 0 0 20 0 4 0 657136234 1415393280 275303 33554432000 4194304 5683644 140734981680592 18446744073709551615 246528657841 0 0 16781312 2 18446604461804179712 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 1275.99
Current children cumulated vsize (KiB) 7873908

Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds

Solver just ended. Dumping a history of the last processes samples

Child ended because it received signal 15 (SIGTERM)

# WARNING:
# CPU time reported by wait4() is probably wrong !
# wait4(...,&childrusage) returns 28800 and gives
#  childrusage.ru_utime.tv_sec=974
#  childrusage.ru_utime.tv_usec=690824
#  childrusage.ru_stime.tv_sec=2
#  childrusage.ru_stime.tv_usec=922555
# CPU time returned by wait4() is 977.613
# while last known CPU time is 1275.99
#
# Solver probably didn't/couldn't wait for its children
# Using CPU time of the last sample as value...

Real time (s): 1276.38
CPU time (s): 1275.99
CPU user time (s): 1271.78
CPU system time (s): 4.21
CPU usage (%): 99.9698
Max. virtual memory (cumulated for all children) (KiB): 7873908

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 974.691
system time used= 2.92256
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 2481077
page faults= 1
swaps= 0
block input operations= 0
block output operations= 0
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 2842
involuntary context switches= 1469

runsolver used 3.48547 second user time and 8.26174 second system time

The end

Launcher Data 

Begin job on node134 at 2011-05-15 12:08:27
IDJOB=3377950
IDBENCH=82370
IDSOLVER=1858
FILE ID=node134/3377950-1305454099
RUNJOBID= node134-1305452698-28381
PBS_JOBID= 13324884
Free space on /tmp= 72948 MiB

SOLVER NAME= borg-sat 11.03.02-seq-industrial (fixed)
BENCH NAME= SAT11/application/rintanen/SATPlanning/blocks-blocks-36-0.180-SAT.cnf
COMMAND LINE= python DIR/solve DIR/etc/borg-mix+class.industrial.pickle BENCHNAME -seed RANDOMSEED -budget TIMEOUT
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-3377950-1305454099/watcher-3377950-1305454099 -o /tmp/evaluation-result-3377950-1305454099/solver-3377950-1305454099 -C 2400 -W 1300 -M 7680  python HOME/solve HOME/etc/borg-mix+class.industrial.pickle HOME/instance-3377950-1305454099.cnf -seed 458001408 -budget 2400

TIME LIMIT= 2400 seconds
MEMORY LIMIT= 7680 MiB
NBCORE= 2

MD5SUM BENCH= f2d21cb304fcceb31bd67c9a8a75cb81
RANDOM SEED=458001408

node134.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.831
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.66
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.831
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.67
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.831
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.83
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.831
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	: 7186.06
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.831
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.831
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.831
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.831
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.84
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management: [8]


/proc/meminfo:
MemTotal:     32951124 kB
MemFree:      16100972 kB
Buffers:        277484 kB
Cached:        6858552 kB
SwapCached:      13768 kB
Active:        7758024 kB
Inactive:      8829976 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:     32951124 kB
LowFree:      16100972 kB
SwapTotal:    67111528 kB
SwapFree:     61565116 kB
Dirty:          272932 kB
Writeback:           0 kB
AnonPages:     9446228 kB
Mapped:          19644 kB
Slab:           149236 kB
PageTables:      47964 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:  83587088 kB
Committed_AS: 45752224 kB
VmallocTotal: 34359738367 kB
VmallocUsed:     33868 kB
VmallocChunk: 34359703231 kB
HugePages_Total:     0
HugePages_Free:      0
HugePages_Rsvd:      0
Hugepagesize:     2048 kB

Free space on /tmp at the end= 73232 MiB
End job on node134 at 2011-05-15 12:29:45