Trace number 3724481

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
toysat 2012-06-01? (TO) 1800.08 1800.51

General information on the benchmark

Name/DEC-SMALLINT-LIN/sroussel/ShortestPathTate/
normalized-TateBritain_K103.opb
MD5SUM34d84c84a6977bf98000135522032f88
Bench CategoryDEC-SMALLINT-LIN (no optimisation, small integers, linear constraints)
Best result obtained on this benchmarkSAT
Best value of the objective obtained on this benchmark0
Best CPU time to get the best result obtained on this benchmark170.657
Has Objective FunctionNO
Satisfiable
(Un)Satisfiability was proved
Best value of the objective function
Optimality of the best value was proved
Number of variables7004
Total number of constraints7212
Number of constraints which are clauses7109
Number of constraints which are cardinality constraints (but not clauses)103
Number of constraints which are nor clauses,nor cardinality constraints0
Minimum length of a constraint1
Maximum length of a constraint103
Number of terms in the objective function 0
Biggest coefficient in the objective function 0
Number of bits for the biggest coefficient in the objective function 0
Sum of the numbers in the objective function 0
Number of bits of the sum of numbers in the objective function 0
Biggest number in a constraint 1
Number of bits of the biggest number in a constraint 1
Biggest sum of numbers in a constraint 104
Number of bits of the biggest sum of numbers7
Number of products (including duplicates)0
Sum of products size (including duplicates)0
Number of different products0
Sum of products size0

Solver Data 

0.19/0.28	c 2012-06-02T15:36:56+0200
0.19/0.28	c arch = x86_64
0.19/0.28	c os = linux
0.19/0.28	c compiler = ghc 7.4
0.19/0.28	c packages:
0.19/0.28	c   OptDir-0.0.1
0.19/0.28	c   array-0.4.0.0
0.19/0.28	c   base-4.5.0.0
0.19/0.28	c   bytestring-0.9.2.1
0.19/0.28	c   containers-0.4.2.1
0.19/0.28	c   deepseq-1.3.0.0
0.19/0.28	c   mtl-2.1.1
0.19/0.28	c   old_locale-1.0.0.4
0.19/0.28	c   parse_dimacs-1.2
0.19/0.28	c   parsec-3.1.2
0.19/0.28	c   queue-0.1.2
0.19/0.28	c   stm-2.3
0.19/0.28	c   time-1.4
0.19/0.28	c command line = ["+RTS","-K1G","-RTS","--pb","HOME/instance-3724481-1338644216.opb"]
0.19/0.28	c #vars 7004
0.19/0.28	c #constraints 7212
0.19/0.28	c Solving starts ...
39.28/39.36	c learnt constraints deletion: 17125 -> 8563
60.98/61.06	c learnt constraints deletion: 17234 -> 8617
101.37/101.48	c learnt constraints deletion: 15616 -> 7808
119.35/119.47	c learnt constraints deletion: 17732 -> 8867
136.44/136.50	c learnt constraints deletion: 17482 -> 8742
154.94/155.05	c learnt constraints deletion: 19259 -> 9640
179.23/179.35	c learnt constraints deletion: 18753 -> 9377
211.71/211.80	c learnt constraints deletion: 20681 -> 10375
234.61/234.73	c learnt constraints deletion: 21657 -> 10858
253.61/253.74	c learnt constraints deletion: 20795 -> 10424
282.81/282.99	c learnt constraints deletion: 23671 -> 11949
301.50/301.69	c learnt constraints deletion: 21485 -> 10817
323.30/323.43	c learnt constraints deletion: 23023 -> 11555
358.20/358.33	c learnt constraints deletion: 26608 -> 13517
451.44/451.60	c learnt constraints deletion: 26738 -> 13502
598.01/598.26	c learnt constraints deletion: 26770 -> 13516
658.60/658.83	c learnt constraints deletion: 23728 -> 11906
720.49/720.77	c learnt constraints deletion: 27713 -> 13961
742.69/742.92	c learnt constraints deletion: 24986 -> 12546
771.78/772.09	c learnt constraints deletion: 26464 -> 13317
816.28/816.54	c learnt constraints deletion: 27468 -> 13831
860.16/860.46	c learnt constraints deletion: 27599 -> 14169
917.56/917.85	c learnt constraints deletion: 27574 -> 14580
1044.51/1044.80	c learnt constraints deletion: 29314 -> 15002
1090.52/1090.80	c learnt constraints deletion: 27857 -> 15398
1108.91/1109.25	c learnt constraints deletion: 27548 -> 16274
1127.71/1128.06	c learnt constraints deletion: 27544 -> 16966
1161.80/1162.11	c learnt constraints deletion: 31220 -> 17753
1210.49/1210.88	c learnt constraints deletion: 29828 -> 18100
1236.29/1236.68	c learnt constraints deletion: 29357 -> 18665
1255.38/1255.79	c learnt constraints deletion: 27821 -> 19120
1270.28/1270.66	c learnt constraints deletion: 27558 -> 19508
1282.68/1283.04	c learnt constraints deletion: 27776 -> 19917
1309.57/1309.91	c learnt constraints deletion: 31465 -> 20515
1377.43/1377.80	c learnt constraints deletion: 31186 -> 20656
1446.02/1446.46	c learnt constraints deletion: 31260 -> 20828
1467.03/1467.44	c learnt constraints deletion: 28138 -> 20998
1483.32/1483.71	c learnt constraints deletion: 27847 -> 21238
1503.32/1503.70	c learnt constraints deletion: 28490 -> 21541
1531.91/1532.37	c learnt constraints deletion: 30301 -> 21798
1546.71/1547.14	c learnt constraints deletion: 30687 -> 22275
1560.11/1560.57	c learnt constraints deletion: 30710 -> 22888
1581.41/1581.88	c learnt constraints deletion: 30816 -> 23119
1595.80/1596.22	c learnt constraints deletion: 30730 -> 23415
1619.59/1620.06	c learnt constraints deletion: 31892 -> 24000
1633.19/1633.64	c learnt constraints deletion: 32067 -> 24456
1652.58/1653.04	c learnt constraints deletion: 31017 -> 24607
1663.38/1663.81	c learnt constraints deletion: 30558 -> 24880
1673.28/1673.70	c learnt constraints deletion: 31353 -> 25163
1684.18/1684.60	c learnt constraints deletion: 31139 -> 25502
1690.87/1691.30	c learnt constraints deletion: 30101 -> 25718
1700.47/1700.94	c learnt constraints deletion: 31047 -> 26051
1709.47/1709.95	c learnt constraints deletion: 31040 -> 26344
1718.77/1719.24	c learnt constraints deletion: 31052 -> 26592
1728.97/1729.40	c learnt constraints deletion: 31486 -> 26812
1735.87/1736.31	c learnt constraints deletion: 31321 -> 27040
1743.67/1744.17	c learnt constraints deletion: 31388 -> 27279
1751.77/1752.27	c learnt constraints deletion: 32475 -> 27517
1760.36/1760.87	c learnt constraints deletion: 31348 -> 27400
1765.87/1766.37	c learnt constraints deletion: 30732 -> 27522
1773.87/1774.35	c learnt constraints deletion: 32273 -> 27797
1777.96/1778.42	c learnt constraints deletion: 30763 -> 28017
1783.17/1783.62	c learnt constraints deletion: 30945 -> 28141
1792.06/1792.55	c learnt constraints deletion: 31721 -> 28290

Verifier Data 

ERROR: no interpretation found !

Watcher Data 

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-3724481-1338644216/watcher-3724481-1338644216 -o /tmp/evaluation-result-3724481-1338644216/solver-3724481-1338644216 -C 1800 -W 1900 -M 15500 HOME/toysat +RTS -K1G -RTS --pb HOME/instance-3724481-1338644216.opb 

running on 4 cores: 1,3,5,7

Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1800 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1830 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 1900 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB
Current StackSize limit: 10240 KiB


[startup+0 s]
/proc/loadavg: 1.97 2.00 1.99 3/178 23522
/proc/meminfo: memFree=28164804/32873844 swapFree=7124/7124
[pid=23522] ppid=23520 vsize=6224 CPUtime=0 cores=1,3,5,7
/proc/23522/stat : 23522 (toysat) R 23520 23522 22415 0 -1 4202496 818 0 0 0 0 0 0 0 20 0 1 0 330547024 6373376 738 33554432000 4194304 8989770 140735982340416 140736618033320 7953280 0 0 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/23522/statm: 1556 741 428 1171 0 333 0

[startup+0.0100811 s]
/proc/loadavg: 1.97 2.00 1.99 3/178 23522
/proc/meminfo: memFree=28164804/32873844 swapFree=7124/7124
[pid=23522] ppid=23520 vsize=7248 CPUtime=0 cores=1,3,5,7
/proc/23522/stat : 23522 (toysat) R 23520 23522 22415 0 -1 4202496 915 0 0 0 0 0 0 0 20 0 1 0 330547024 7421952 835 33554432000 4194304 8989770 140735982340416 140736618033320 7953280 0 0 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/23522/statm: 1812 835 428 1171 0 589 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 7248

[startup+0.100233 s]
/proc/loadavg: 1.97 2.00 1.99 3/178 23522
/proc/meminfo: memFree=28164804/32873844 swapFree=7124/7124
[pid=23522] ppid=23520 vsize=11344 CPUtime=0.09 cores=1,3,5,7
/proc/23522/stat : 23522 (toysat) R 23520 23522 22415 0 -1 4202496 2113 0 0 0 9 0 0 0 20 0 1 0 330547024 11616256 2033 33554432000 4194304 8989770 140735982340416 140736618033320 7857787 0 2 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/23522/statm: 2836 2033 431 1171 0 1613 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 11344

[startup+0.300257 s]
/proc/loadavg: 1.97 2.00 1.99 3/178 23522
/proc/meminfo: memFree=28164804/32873844 swapFree=7124/7124
[pid=23522] ppid=23520 vsize=23632 CPUtime=0.29 cores=1,3,5,7
/proc/23522/stat : 23522 (toysat) R 23520 23522 22415 0 -1 4202496 5209 0 0 0 28 1 0 0 20 0 1 0 330547024 24199168 5129 33554432000 4194304 8989770 140735982340416 140736618033320 4451620 0 0 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/23522/statm: 5908 5129 459 1171 0 4685 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 23632

[startup+0.700312 s]
/proc/loadavg: 1.97 2.00 1.99 3/178 23522
/proc/meminfo: memFree=28164804/32873844 swapFree=7124/7124
[pid=23522] ppid=23520 vsize=23632 CPUtime=0.69 cores=1,3,5,7
/proc/23522/stat : 23522 (toysat) R 23520 23522 22415 0 -1 4202496 5219 0 0 0 68 1 0 0 20 0 1 0 330547024 24199168 5139 33554432000 4194304 8989770 140735982340416 140735982338368 7953280 0 0 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/23522/statm: 5908 5139 459 1171 0 4685 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 23632

[startup+1.50031 s]
/proc/loadavg: 1.97 2.00 1.99 3/179 23523
/proc/meminfo: memFree=28145328/32873844 swapFree=7124/7124
[pid=23522] ppid=23520 vsize=24656 CPUtime=1.49 cores=1,3,5,7
/proc/23522/stat : 23522 (toysat) R 23520 23522 22415 0 -1 4202496 5334 0 0 0 148 1 0 0 20 0 1 0 330547024 25247744 5254 33554432000 4194304 8989770 140735982340416 140735982339680 4209212 0 2 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/23522/statm: 6164 5254 459 1171 0 4941 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 24656

[startup+3.10028 s]
/proc/loadavg: 1.97 2.00 1.99 3/179 23523
/proc/meminfo: memFree=28140856/32873844 swapFree=7124/7124
[pid=23522] ppid=23520 vsize=27728 CPUtime=3.09 cores=1,3,5,7
/proc/23522/stat : 23522 (toysat) R 23520 23522 22415 0 -1 4202496 6243 0 0 0 307 2 0 0 20 0 1 0 330547024 28393472 6163 33554432000 4194304 8989770 140735982340416 140735982338368 4438168 0 0 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/23522/statm: 6932 6163 459 1171 0 5709 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 27728

[startup+6.30031 s]
/proc/loadavg: 1.97 2.00 1.99 3/179 23523
/proc/meminfo: memFree=28130820/32873844 swapFree=7124/7124
[pid=23522] ppid=23520 vsize=40016 CPUtime=6.29 cores=1,3,5,7
/proc/23522/stat : 23522 (toysat) R 23520 23522 22415 0 -1 4202496 9085 0 0 0 626 3 0 0 20 0 1 0 330547024 40976384 9005 33554432000 4194304 8989770 140735982340416 140735982339912 4208846 0 2 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/23522/statm: 10004 9005 459 1171 0 8781 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 40016

[startup+12.7003 s]
/proc/loadavg: 1.98 2.00 1.99 3/179 23523
/proc/meminfo: memFree=28112840/32873844 swapFree=7124/7124
[pid=23522] ppid=23520 vsize=56400 CPUtime=12.68 cores=1,3,5,7
/proc/23522/stat : 23522 (toysat) R 23520 23522 22415 0 -1 4202496 13185 0 0 0 1263 5 0 0 20 0 1 0 330547024 57753600 13105 33554432000 4194304 8989770 140735982340416 140735982339680 7857787 0 2 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/23522/statm: 14100 13105 459 1171 0 12877 0
Current children cumulated CPU time (s) 12.68
Current children cumulated vsize (KiB) 56400

[startup+25.5003 s]
/proc/loadavg: 1.98 2.00 1.99 3/179 23523
/proc/meminfo: memFree=28079212/32873844 swapFree=7124/7124
[pid=23522] ppid=23520 vsize=86096 CPUtime=25.49 cores=1,3,5,7
/proc/23522/stat : 23522 (toysat) R 23520 23522 22415 0 -1 4202496 20770 0 0 0 2538 11 0 0 20 0 1 0 330547024 88162304 20690 33554432000 4194304 8989770 140735982340416 140735982339912 6764528 0 0 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/23522/statm: 21524 20690 459 1171 0 20301 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 86096

[startup+51.1003 s]
/proc/loadavg: 1.99 2.00 1.99 3/179 23523
/proc/meminfo: memFree=28046816/32873844 swapFree=7124/7124
[pid=23522] ppid=23520 vsize=111696 CPUtime=51.08 cores=1,3,5,7
/proc/23522/stat : 23522 (toysat) R 23520 23522 22415 0 -1 4202496 27237 0 0 0 5088 20 0 0 20 0 1 0 330547024 114376704 27157 33554432000 4194304 8989770 140735982340416 140735982339912 6592040 0 0 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/23522/statm: 27924 27157 461 1171 0 26701 0
Current children cumulated CPU time (s) 51.08
Current children cumulated vsize (KiB) 111696

[startup+102.307 s]
/proc/loadavg: 1.99 2.00 1.99 3/179 23523
/proc/meminfo: memFree=28020096/32873844 swapFree=7124/7124
[pid=23522] ppid=23520 vsize=162896 CPUtime=102.28 cores=1,3,5,7
/proc/23522/stat : 23522 (toysat) R 23520 23522 22415 0 -1 4202496 40044 0 0 0 10192 36 0 0 20 0 1 0 330547024 166805504 39962 33554432000 4194304 8989770 140735982340416 140735982339912 7953280 0 0 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/23522/statm: 40724 39962 461 1171 0 39501 0
Current children cumulated CPU time (s) 102.28
Current children cumulated vsize (KiB) 162896

[startup+162.3 s]
/proc/loadavg: 1.99 2.00 1.99 3/179 23524
/proc/meminfo: memFree=28072540/32873844 swapFree=7124/7124
[pid=23522] ppid=23520 vsize=105552 CPUtime=162.22 cores=1,3,5,7
/proc/23522/stat : 23522 (toysat) R 23520 23522 22415 0 -1 4202496 40081 0 0 0 16164 58 0 0 20 0 1 0 330547024 108085248 25626 33554432000 4194304 8989770 140735982340416 140735982339912 7953280 0 0 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/23522/statm: 26388 25626 461 1171 0 25165 0
Current children cumulated CPU time (s) 162.22
Current children cumulated vsize (KiB) 105552

[startup+222.3 s]
/proc/loadavg: 1.99 2.00 1.99 3/180 23527
/proc/meminfo: memFree=28028128/32873844 swapFree=7124/7124
[pid=23522] ppid=23520 vsize=119888 CPUtime=222.22 cores=1,3,5,7
/proc/23522/stat : 23522 (toysat) R 23520 23522 22415 0 -1 4202496 43921 0 0 0 22141 81 0 0 20 0 1 0 330547024 122765312 29210 33554432000 4194304 8989770 140735982340416 140735982339680 4437616 0 0 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/23522/statm: 29972 29210 461 1171 0 28749 0
Current children cumulated CPU time (s) 222.22
Current children cumulated vsize (KiB) 119888

[startup+282.3 s]
/proc/loadavg: 1.99 2.00 1.99 3/179 23527
/proc/meminfo: memFree=28010152/32873844 swapFree=7124/7124
[pid=23522] ppid=23520 vsize=118864 CPUtime=282.21 cores=1,3,5,7
/proc/23522/stat : 23522 (toysat) R 23520 23522 22415 0 -1 4202496 48755 0 0 0 28123 98 0 0 20 0 1 0 330547024 121716736 28922 33554432000 4194304 8989770 140735982340416 140735982339912 7697332 0 2 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/23522/statm: 29716 28922 461 1171 0 28493 0
Current children cumulated CPU time (s) 282.21
Current children cumulated vsize (KiB) 118864

[startup+342.3 s]
/proc/loadavg: 1.99 2.00 1.99 3/179 23527
/proc/meminfo: memFree=27990016/32873844 swapFree=7124/7124
[pid=23522] ppid=23520 vsize=100432 CPUtime=342.19 cores=1,3,5,7
/proc/23522/stat : 23522 (toysat) R 23520 23522 22415 0 -1 4202496 50684 0 0 0 34101 118 0 0 20 0 1 0 330547024 102842368 24195 33554432000 4194304 8989770 140735982340416 140735982339912 6678594 0 0 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/23522/statm: 25108 24195 461 1171 0 23885 0
Current children cumulated CPU time (s) 342.19
Current children cumulated vsize (KiB) 100432

[startup+402.3 s]
/proc/loadavg: 1.99 2.00 1.99 3/179 23527
/proc/meminfo: memFree=27973120/32873844 swapFree=7124/7124
[pid=23522] ppid=23520 vsize=140368 CPUtime=402.19 cores=1,3,5,7
/proc/23522/stat : 23522 (toysat) R 23520 23522 22415 0 -1 4202496 60597 0 0 0 40081 138 0 0 20 0 1 0 330547024 143736832 34107 33554432000 4194304 8989770 140735982340416 140735982339680 7953280 0 0 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/23522/statm: 35092 34107 461 1171 0 33869 0
Current children cumulated CPU time (s) 402.19
Current children cumulated vsize (KiB) 140368

[startup+462.3 s]
/proc/loadavg: 2.03 2.01 2.00 3/178 23528
/proc/meminfo: memFree=27984208/32873844 swapFree=7124/7124
[pid=23522] ppid=23520 vsize=196688 CPUtime=462.14 cores=1,3,5,7
/proc/23522/stat : 23522 (toysat) R 23520 23522 22415 0 -1 4202496 74937 0 0 0 46057 157 0 0 20 0 1 0 330547024 201408512 48410 33554432000 4194304 8989770 140735982340416 140735982338368 4209198 0 2 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/23522/statm: 49172 48410 461 1171 0 47949 0
Current children cumulated CPU time (s) 462.14
Current children cumulated vsize (KiB) 196688

[startup+522.3 s]
/proc/loadavg: 2.01 2.00 2.00 3/179 23529
/proc/meminfo: memFree=27994540/32873844 swapFree=7124/7124
[pid=23522] ppid=23520 vsize=196688 CPUtime=522.13 cores=1,3,5,7
/proc/23522/stat : 23522 (toysat) R 23520 23522 22415 0 -1 4202496 74941 0 0 0 52036 177 0 0 20 0 1 0 330547024 201408512 48410 33554432000 4194304 8989770 140735982340416 140735982339680 7697332 0 2 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/23522/statm: 49172 48410 461 1171 0 47949 0
Current children cumulated CPU time (s) 522.13
Current children cumulated vsize (KiB) 196688

[startup+582.3 s]
/proc/loadavg: 2.04 2.01 2.00 3/179 23529
/proc/meminfo: memFree=27975320/32873844 swapFree=7124/7124
[pid=23522] ppid=23520 vsize=224336 CPUtime=582.11 cores=1,3,5,7
/proc/23522/stat : 23522 (toysat) R 23520 23522 22415 0 -1 4202496 81775 0 0 0 58020 191 0 0 20 0 1 0 330547024 229720064 55244 33554432000 4194304 8989770 140735982340416 140735982339912 7697332 0 2 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/23522/statm: 56084 55244 461 1171 0 54861 0
Current children cumulated CPU time (s) 582.11
Current children cumulated vsize (KiB) 224336

[startup+642.3 s]

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

[startup+882.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 23533
/proc/meminfo: memFree=28052112/32873844 swapFree=7124/7124
[pid=23522] ppid=23520 vsize=128080 CPUtime=882.06 cores=1,3,5,7
/proc/23522/stat : 23522 (toysat) R 23520 23522 22415 0 -1 4202496 93433 0 0 0 87918 288 0 0 20 0 1 0 330547024 131153920 31258 33554432000 4194304 8989770 140735982340416 140735982339680 4208823 0 2 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/23522/statm: 32020 31258 461 1171 0 30797 0
Current children cumulated CPU time (s) 882.06
Current children cumulated vsize (KiB) 128080

[startup+942.3 s]
/proc/loadavg: 2.03 2.01 2.00 3/179 23533
/proc/meminfo: memFree=28060900/32873844 swapFree=7124/7124
[pid=23522] ppid=23520 vsize=121936 CPUtime=942.05 cores=1,3,5,7
/proc/23522/stat : 23522 (toysat) R 23520 23522 22415 0 -1 4202496 99065 0 0 0 93894 311 0 0 20 0 1 0 330547024 124862464 29722 33554432000 4194304 8989770 140735982340416 140735982339680 4389074 0 0 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/23522/statm: 30484 29722 461 1171 0 29261 0
Current children cumulated CPU time (s) 942.05
Current children cumulated vsize (KiB) 121936

[startup+1002.3 s]
/proc/loadavg: 2.01 2.01 2.00 3/179 23533
/proc/meminfo: memFree=28041924/32873844 swapFree=7124/7124
[pid=23522] ppid=23520 vsize=145488 CPUtime=1002.04 cores=1,3,5,7
/proc/23522/stat : 23522 (toysat) R 23520 23522 22415 0 -1 4202496 104953 0 0 0 99875 329 0 0 20 0 1 0 330547024 148979712 35610 33554432000 4194304 8989770 140735982340416 140735982339680 6586344 0 0 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/23522/statm: 36372 35610 461 1171 0 35149 0
Current children cumulated CPU time (s) 1002.04
Current children cumulated vsize (KiB) 145488

[startup+1062.3 s]
/proc/loadavg: 2.04 2.02 2.00 3/179 23534
/proc/meminfo: memFree=28030356/32873844 swapFree=7124/7124
[pid=23522] ppid=23520 vsize=144464 CPUtime=1062.01 cores=1,3,5,7
/proc/23522/stat : 23522 (toysat) R 23520 23522 22415 0 -1 4202496 113168 0 0 0 105854 347 0 0 20 0 1 0 330547024 147931136 35354 33554432000 4194304 8989770 140735982340416 140735982339680 4430273 0 0 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/23522/statm: 36116 35354 461 1171 0 34893 0
Current children cumulated CPU time (s) 1062.01
Current children cumulated vsize (KiB) 144464

[startup+1122.3 s]
/proc/loadavg: 2.01 2.01 2.00 3/179 23534
/proc/meminfo: memFree=28098104/32873844 swapFree=7124/7124
[pid=23522] ppid=23520 vsize=85072 CPUtime=1122.01 cores=1,3,5,7
/proc/23522/stat : 23522 (toysat) R 23520 23522 22415 0 -1 4202496 113168 0 0 0 111834 367 0 0 20 0 1 0 330547024 87113728 20506 33554432000 4194304 8989770 140735982340416 140735982339912 7857787 0 2 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/23522/statm: 21268 20506 461 1171 0 20045 0
Current children cumulated CPU time (s) 1122.01
Current children cumulated vsize (KiB) 85072

[startup+1182.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 23534
/proc/meminfo: memFree=28091384/32873844 swapFree=7124/7124
[pid=23522] ppid=23520 vsize=104528 CPUtime=1182 cores=1,3,5,7
/proc/23522/stat : 23522 (toysat) R 23520 23522 22415 0 -1 4202496 127508 0 0 0 117808 392 0 0 20 0 1 0 330547024 107036672 25370 33554432000 4194304 8989770 140735982340416 140735982339912 4209212 0 2 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/23522/statm: 26132 25370 461 1171 0 24909 0
Current children cumulated CPU time (s) 1182
Current children cumulated vsize (KiB) 104528

[startup+1242.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 23534
/proc/meminfo: memFree=28066176/32873844 swapFree=7124/7124
[pid=23522] ppid=23520 vsize=107600 CPUtime=1241.98 cores=1,3,5,7
/proc/23522/stat : 23522 (toysat) R 23520 23522 22415 0 -1 4202496 136468 0 0 0 123785 413 0 0 20 0 1 0 330547024 110182400 26138 33554432000 4194304 8989770 140735982340416 140735982338368 7857787 0 2 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/23522/statm: 26900 26138 461 1171 0 25677 0
Current children cumulated CPU time (s) 1241.98
Current children cumulated vsize (KiB) 107600

[startup+1302.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 23534
/proc/meminfo: memFree=28067884/32873844 swapFree=7124/7124
[pid=23522] ppid=23520 vsize=99408 CPUtime=1301.98 cores=1,3,5,7
/proc/23522/stat : 23522 (toysat) R 23520 23522 22415 0 -1 4202496 139295 0 0 0 129763 435 0 0 20 0 1 0 330547024 101793792 23843 33554432000 4194304 8989770 140735982340416 140735982339912 7953280 0 0 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/23522/statm: 24852 23843 461 1171 0 23629 0
Current children cumulated CPU time (s) 1301.98
Current children cumulated vsize (KiB) 99408

[startup+1362.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 23535
/proc/meminfo: memFree=28008928/32873844 swapFree=7124/7124
[pid=23522] ppid=23520 vsize=150608 CPUtime=1361.94 cores=1,3,5,7
/proc/23522/stat : 23522 (toysat) R 23520 23522 22415 0 -1 4202496 154936 0 0 0 135739 455 0 0 20 0 1 0 330547024 154222592 36644 33554432000 4194304 8989770 140735982340416 140735982339912 7697332 0 2 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/23522/statm: 37652 36644 461 1171 0 36429 0
Current children cumulated CPU time (s) 1361.94
Current children cumulated vsize (KiB) 150608

[startup+1422.31 s]
/proc/loadavg: 2.00 2.00 2.00 3/180 23538
/proc/meminfo: memFree=28010924/32873844 swapFree=7124/7124
[pid=23522] ppid=23520 vsize=139344 CPUtime=1421.93 cores=1,3,5,7
/proc/23522/stat : 23522 (toysat) R 23520 23522 22415 0 -1 4202496 161721 0 0 0 141717 476 0 0 20 0 1 0 330547024 142688256 33954 33554432000 4194304 8989770 140735982340416 140735982339680 7953280 0 0 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/23522/statm: 34836 33954 461 1171 0 33613 0
Current children cumulated CPU time (s) 1421.93
Current children cumulated vsize (KiB) 139344

[startup+1482.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/180 23561
/proc/meminfo: memFree=28051168/32873844 swapFree=7124/7124
[pid=23522] ppid=23520 vsize=110672 CPUtime=1481.92 cores=1,3,5,7
/proc/23522/stat : 23522 (toysat) R 23520 23522 22415 0 -1 4202496 168242 0 0 0 147695 497 0 0 20 0 1 0 330547024 113328128 26906 33554432000 4194304 8989770 140735982340416 140735982339680 4209256 0 2 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/23522/statm: 27668 26906 461 1171 0 26445 0
Current children cumulated CPU time (s) 1481.92
Current children cumulated vsize (KiB) 110672

[startup+1542.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 23561
/proc/meminfo: memFree=28060532/32873844 swapFree=7124/7124
[pid=23522] ppid=23520 vsize=95312 CPUtime=1541.91 cores=1,3,5,7
/proc/23522/stat : 23522 (toysat) R 23520 23522 22415 0 -1 4202496 170802 0 0 0 153673 518 0 0 20 0 1 0 330547024 97599488 23066 33554432000 4194304 8989770 140735982340416 140735982339912 4472087 0 0 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/23522/statm: 23828 23066 461 1171 0 22605 0
Current children cumulated CPU time (s) 1541.91
Current children cumulated vsize (KiB) 95312

[startup+1602.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 23561
/proc/meminfo: memFree=28082536/32873844 swapFree=7124/7124
[pid=23522] ppid=23520 vsize=91216 CPUtime=1601.9 cores=1,3,5,7
/proc/23522/stat : 23522 (toysat) R 23520 23522 22415 0 -1 4202496 176946 0 0 0 159649 541 0 0 20 0 1 0 330547024 93405184 22042 33554432000 4194304 8989770 140735982340416 140735982339912 4213872 0 2 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/23522/statm: 22804 22042 461 1171 0 21581 0
Current children cumulated CPU time (s) 1601.9
Current children cumulated vsize (KiB) 91216

[startup+1662.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/178 23561
/proc/meminfo: memFree=28071784/32873844 swapFree=7124/7124
[pid=23522] ppid=23520 vsize=98384 CPUtime=1661.88 cores=1,3,5,7
/proc/23522/stat : 23522 (toysat) R 23520 23522 22415 0 -1 4202496 184383 0 0 0 165623 565 0 0 20 0 1 0 330547024 100745216 23834 33554432000 4194304 8989770 140735982340416 140735982339912 4389175 0 0 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/23522/statm: 24596 23834 461 1171 0 23373 0
Current children cumulated CPU time (s) 1661.88
Current children cumulated vsize (KiB) 98384

[startup+1722.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 23562
/proc/meminfo: memFree=28080808/32873844 swapFree=7124/7124
[pid=23522] ppid=23520 vsize=87120 CPUtime=1721.87 cores=1,3,5,7
/proc/23522/stat : 23522 (toysat) R 23520 23522 22415 0 -1 4202496 184383 0 0 0 171600 587 0 0 20 0 1 0 330547024 89210880 21018 33554432000 4194304 8989770 140735982340416 140735982339912 7953280 0 0 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/23522/statm: 21780 21018 461 1171 0 20557 0
Current children cumulated CPU time (s) 1721.87
Current children cumulated vsize (KiB) 87120

[startup+1782.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 23601
/proc/meminfo: memFree=27217696/32873844 swapFree=7124/7124
[pid=23522] ppid=23520 vsize=87120 CPUtime=1781.86 cores=1,3,5,7
/proc/23522/stat : 23522 (toysat) R 23520 23522 22415 0 -1 4202496 184383 0 0 0 177576 610 0 0 20 0 1 0 330547024 89210880 21018 33554432000 4194304 8989770 140735982340416 140735982339912 7953280 0 0 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/23522/statm: 21780 21018 461 1171 0 20557 0
Current children cumulated CPU time (s) 1781.86
Current children cumulated vsize (KiB) 87120



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1800.5 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 23601
/proc/meminfo: memFree=27217664/32873844 swapFree=7124/7124
[pid=23522] ppid=23520 vsize=87120 CPUtime=1800.06 cores=1,3,5,7
/proc/23522/stat : 23522 (toysat) R 23520 23522 22415 0 -1 4202496 184383 0 0 0 179389 617 0 0 20 0 1 0 330547024 89210880 21018 33554432000 4194304 8989770 140735982340416 140735982339912 7857787 0 2 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/23522/statm: 21780 21018 461 1171 0 20557 0
Current children cumulated CPU time (s) 1800.06
Current children cumulated vsize (KiB) 87120

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

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

[startup+1800.5 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 23601
/proc/meminfo: memFree=27217664/32873844 swapFree=7124/7124
[pid=23522] ppid=23520 vsize=87120 CPUtime=1800.06 cores=1,3,5,7
/proc/23522/stat : 23522 (toysat) R 23520 23522 22415 0 -1 4202496 184383 0 0 0 179389 617 0 0 20 0 1 0 330547024 89210880 21018 33554432000 4194304 8989770 140735982340416 140735982339912 7857787 0 2 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/23522/statm: 21780 21018 461 1171 0 20557 0
Current children cumulated CPU time (s) 1800.06
Current children cumulated vsize (KiB) 87120

Child ended because it received signal 15 (SIGTERM)
Real time (s): 1800.51
CPU time (s): 1800.08
CPU user time (s): 1793.9
CPU system time (s): 6.18306
CPU usage (%): 99.976
Max. virtual memory (cumulated for all children) (KiB): 234576

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1793.9
system time used= 6.18306
maximum resident set size= 231528
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 184383
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= 175
involuntary context switches= 1843

runsolver used 2.90156 second user time and 10.4334 second system time

The end

Launcher Data 

Begin job on node134 at 2012-06-02 15:36:56
IDJOB=3724481
IDBENCH=90138
IDSOLVER=2308
FILE ID=node134/3724481-1338644216
RUNJOBID= node134-1338631506-22432
PBS_JOBID= 14636446
Free space on /tmp= 70352 MiB

SOLVER NAME= toysat 2012-06-01
BENCH NAME= PB12/normalized-PB12/DEC-SMALLINT-LIN/sroussel/ShortestPathTate/normalized-TateBritain_K103.opb
COMMAND LINE= HOME/toysat +RTS -K1G -RTS --pb BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-3724481-1338644216/watcher-3724481-1338644216 -o /tmp/evaluation-result-3724481-1338644216/solver-3724481-1338644216 -C 1800 -W 1900 -M 15500  HOME/toysat +RTS -K1G -RTS --pb HOME/instance-3724481-1338644216.opb

TIME LIMIT= 1800 seconds
MEMORY LIMIT= 15500 MiB
NBCORE= 4

MD5SUM BENCH= 34d84c84a6977bf98000135522032f88
RANDOM SEED=1041556191

node134.alineos.net Linux 2.6.32-71.29.1.el6.x86_64 #1 SMP Mon Jun 27 19:49:27 BST 2011

/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		: 2667.278
cache size	: 8192 KB
physical id	: 0
siblings	: 4
core id		: 0
cpu cores	: 4
apicid		: 0
initial apicid	: 0
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5334.55
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 1
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2667.278
cache size	: 8192 KB
physical id	: 1
siblings	: 4
core id		: 0
cpu cores	: 4
apicid		: 16
initial apicid	: 16
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5332.56
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 2
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2667.278
cache size	: 8192 KB
physical id	: 0
siblings	: 4
core id		: 1
cpu cores	: 4
apicid		: 2
initial apicid	: 2
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5332.55
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 3
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2667.278
cache size	: 8192 KB
physical id	: 1
siblings	: 4
core id		: 1
cpu cores	: 4
apicid		: 18
initial apicid	: 18
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5332.59
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 4
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2667.278
cache size	: 8192 KB
physical id	: 0
siblings	: 4
core id		: 2
cpu cores	: 4
apicid		: 4
initial apicid	: 4
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5332.55
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 5
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2667.278
cache size	: 8192 KB
physical id	: 1
siblings	: 4
core id		: 2
cpu cores	: 4
apicid		: 20
initial apicid	: 20
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5332.55
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 6
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2667.278
cache size	: 8192 KB
physical id	: 0
siblings	: 4
core id		: 3
cpu cores	: 4
apicid		: 6
initial apicid	: 6
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5332.57
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 7
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2667.278
cache size	: 8192 KB
physical id	: 1
siblings	: 4
core id		: 3
cpu cores	: 4
apicid		: 22
initial apicid	: 22
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5332.56
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:


/proc/meminfo:
MemTotal:       32873844 kB
MemFree:        28165448 kB
Buffers:          453184 kB
Cached:          3245812 kB
SwapCached:           76 kB
Active:          1822492 kB
Inactive:        1995080 kB
Active(anon):     109944 kB
Inactive(anon):    10508 kB
Active(file):    1712548 kB
Inactive(file):  1984572 kB
Unevictable:        7124 kB
Mlocked:            7124 kB
SwapTotal:      67108856 kB
SwapFree:       67107756 kB
Dirty:              7772 kB
Writeback:             0 kB
AnonPages:        124528 kB
Mapped:            12924 kB
Shmem:                96 kB
Slab:             753468 kB
SReclaimable:     195288 kB
SUnreclaim:       558180 kB
KernelStack:        1472 kB
PageTables:         4172 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83545776 kB
Committed_AS:     234156 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      346376 kB
VmallocChunk:   34341987860 kB
HardwareCorrupted:     0 kB
AnonHugePages:         0 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
DirectMap4k:        7872 kB
DirectMap2M:    33538048 kB

Free space on /tmp at the end= 70316 MiB
End job on node134 at 2012-06-02 16:06:59