Trace number 3706710

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 NameAnswerobjective functionCPU timeWall clock time
toysat 2012-05-17? (TO) 1800.08 1800.41

General information on the benchmark

Namenormalized-PB06/OPT-SMALLINT/submitted-PB05/
manquinho/ttp/normalized-data8_3.opb
MD5SUMc3720ea5d84e92b781414b36064971fe
Bench CategoryOPT-SMALLINT (optimisation, small integers)
Best result obtained on this benchmarkSAT
Best value of the objective obtained on this benchmark43606
Best CPU time to get the best result obtained on this benchmark1800.05
Has Objective FunctionYES
SatisfiableYES
(Un)Satisfiability was provedYES
Best value of the objective function 46478
Optimality of the best value was proved NO
Number of variables1344
Total number of constraints16096
Number of constraints which are clauses8208
Number of constraints which are cardinality constraints (but not clauses)496
Number of constraints which are nor clauses,nor cardinality constraints7392
Minimum length of a constraint2
Maximum length of a constraint28
Number of terms in the objective function 448
Biggest coefficient in the objective function 1380
Number of bits for the biggest coefficient in the objective function 11
Sum of the numbers in the objective function 279536
Number of bits of the sum of numbers in the objective function 19
Biggest number in a constraint 1380
Number of bits of the biggest number in a constraint 11
Biggest sum of numbers in a constraint 279536
Number of bits of the biggest sum of numbers19
Number of products (including duplicates)0
Sum of products size (including duplicates)0
Number of different products0
Sum of products size0

Solver Data 

0.59/0.62	c 2012-05-27T12:38:07+0200
0.59/0.62	c arch = x86_64
0.59/0.62	c os = linux
0.59/0.62	c compiler = ghc 7.4
0.59/0.62	c packages:
0.59/0.62	c   OptDir-0.0.1
0.59/0.62	c   array-0.4.0.0
0.59/0.62	c   base-4.5.0.0
0.59/0.62	c   bytestring-0.9.2.1
0.59/0.62	c   containers-0.4.2.1
0.59/0.62	c   deepseq-1.3.0.0
0.59/0.62	c   mtl-2.1.1
0.59/0.62	c   old_locale-1.0.0.4
0.59/0.62	c   parse_dimacs-1.2
0.59/0.62	c   parsec-3.1.2
0.59/0.62	c   queue-0.1.2
0.59/0.62	c   stm-2.3
0.59/0.62	c   time-1.4
0.59/0.62	c command line = ["--pb","HOME/instance-3706710-1338115087.opb"]
0.59/0.62	c #vars 1344
0.59/0.62	c #constraints 16096
0.59/0.62	c Solving starts ...
0.69/0.78	c solving time = 0.159s
0.69/0.78	c #decision = 1229
0.69/0.78	c #conflict = 264
0.69/0.78	c #restart = 2
0.69/0.78	o 50861
0.69/0.78	c Solving starts ...
16.99/17.08	c learnt constraints deletion: 15745 -> 7873
27.89/27.95	c learnt constraints deletion: 17276 -> 8639
40.49/40.56	c learnt constraints deletion: 18986 -> 9493
55.68/55.73	c learnt constraints deletion: 20825 -> 10413
70.08/70.16	c learnt constraints deletion: 20833 -> 10417
84.87/84.93	c learnt constraints deletion: 22886 -> 11443
100.56/100.64	c learnt constraints deletion: 22844 -> 11423
118.95/119.04	c learnt constraints deletion: 25136 -> 12568
135.35/135.47	c learnt constraints deletion: 25130 -> 12566
153.65/153.78	c learnt constraints deletion: 25111 -> 12557
175.25/175.37	c learnt constraints deletion: 27588 -> 13794
196.35/196.45	c learnt constraints deletion: 27595 -> 13799
216.84/216.96	c learnt constraints deletion: 27610 -> 13807
236.74/236.90	c learnt constraints deletion: 27616 -> 13809
256.04/256.12	c learnt constraints deletion: 27584 -> 13793
277.73/277.80	c learnt constraints deletion: 30309 -> 15155
301.13/301.27	c learnt constraints deletion: 30311 -> 15157
327.82/327.93	c learnt constraints deletion: 30282 -> 15142
351.62/351.72	c learnt constraints deletion: 30326 -> 15165
375.22/375.37	c learnt constraints deletion: 30310 -> 15158
400.41/400.54	c learnt constraints deletion: 30318 -> 15162
427.10/427.27	c learnt constraints deletion: 33288 -> 16646
454.99/455.19	c learnt constraints deletion: 33302 -> 16651
488.19/488.33	c learnt constraints deletion: 33297 -> 16651
513.78/513.97	c learnt constraints deletion: 33308 -> 16655
539.37/539.57	c learnt constraints deletion: 33313 -> 16659
568.07/568.29	c learnt constraints deletion: 33297 -> 16649
595.87/596.01	c learnt constraints deletion: 33304 -> 16653
619.47/619.67	c learnt constraints deletion: 33305 -> 16655
645.96/646.11	c learnt constraints deletion: 33318 -> 16661
688.65/688.80	c learnt constraints deletion: 36596 -> 18298
725.25/725.49	c learnt constraints deletion: 36608 -> 18305
760.24/760.44	c learnt constraints deletion: 36595 -> 18298
795.84/796.02	c learnt constraints deletion: 36587 -> 18295
824.74/824.99	c learnt constraints deletion: 36590 -> 18296
852.93/853.12	c learnt constraints deletion: 36592 -> 18297
885.52/885.78	c learnt constraints deletion: 36617 -> 18310
917.92/918.15	c learnt constraints deletion: 36603 -> 18304
944.32/944.52	c learnt constraints deletion: 36600 -> 18304
976.71/976.94	c learnt constraints deletion: 36586 -> 18298
1009.80/1010.09	c learnt constraints deletion: 36587 -> 18294
1037.80/1038.07	c learnt constraints deletion: 36595 -> 18299
1072.30/1072.55	c learnt constraints deletion: 40205 -> 20103
1107.19/1107.46	c learnt constraints deletion: 40214 -> 20107
1139.99/1140.23	c learnt constraints deletion: 40210 -> 20105
1188.68/1188.90	c learnt constraints deletion: 40200 -> 20101
1227.17/1227.47	c learnt constraints deletion: 40191 -> 20097
1274.96/1275.26	c learnt constraints deletion: 40181 -> 20091
1319.85/1320.10	c learnt constraints deletion: 40195 -> 20100
1348.74/1349.07	c learnt constraints deletion: 40197 -> 20101
1385.34/1385.69	c learnt constraints deletion: 40197 -> 20102
1425.34/1425.60	c learnt constraints deletion: 40217 -> 20110
1455.04/1455.34	c learnt constraints deletion: 40206 -> 20105
1491.02/1491.31	c learnt constraints deletion: 40210 -> 20108
1520.42/1520.77	c learnt constraints deletion: 40204 -> 20106
1549.91/1550.27	c learnt constraints deletion: 40204 -> 20103
1580.11/1580.46	c learnt constraints deletion: 40190 -> 20097
1616.30/1616.65	c learnt constraints deletion: 40213 -> 20109
1665.60/1665.95	c learnt constraints deletion: 44183 -> 22096
1698.28/1698.66	c learnt constraints deletion: 44193 -> 22097
1740.99/1741.38	c learnt constraints deletion: 44187 -> 22095
1786.07/1786.49	c learnt constraints deletion: 44196 -> 22100

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-3706710-1338115087/watcher-3706710-1338115087 -o /tmp/evaluation-result-3706710-1338115087/solver-3706710-1338115087 -C 1800 -W 1900 -M 15500 HOME/toysat --pb HOME/instance-3706710-1338115087.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.92 1.98 1.99 3/176 21737
/proc/meminfo: memFree=28186312/32873648 swapFree=6604/6604
[pid=21737] ppid=21735 vsize=7232 CPUtime=0 cores=1,3,5,7
/proc/21737/stat : 21737 (toysat) R 21735 21737 17458 0 -1 4202496 839 0 0 0 0 0 0 0 20 0 1 0 277633205 7405568 760 33554432000 4194304 8973514 140737443431296 140734470225944 7841851 0 2 0 34082818 0 0 0 17 1 0 0 0 0 0
/proc/21737/statm: 1808 760 416 1167 0 589 0

[startup+0.0339391 s]
/proc/loadavg: 1.92 1.98 1.99 3/176 21737
/proc/meminfo: memFree=28186312/32873648 swapFree=6604/6604
[pid=21737] ppid=21735 vsize=8256 CPUtime=0.02 cores=1,3,5,7
/proc/21737/stat : 21737 (toysat) R 21735 21737 17458 0 -1 4202496 1332 0 0 0 2 0 0 0 20 0 1 0 277633205 8454144 1253 33554432000 4194304 8973514 140737443431296 140734470225944 7937344 0 0 0 34082818 0 0 0 17 1 0 0 0 0 0
/proc/21737/statm: 2064 1253 417 1167 0 845 0
Current children cumulated CPU time (s) 0.02
Current children cumulated vsize (KiB) 8256

[startup+0.100265 s]
/proc/loadavg: 1.92 1.98 1.99 3/176 21737
/proc/meminfo: memFree=28186312/32873648 swapFree=6604/6604
[pid=21737] ppid=21735 vsize=12352 CPUtime=0.09 cores=1,3,5,7
/proc/21737/stat : 21737 (toysat) R 21735 21737 17458 0 -1 4202496 2357 0 0 0 9 0 0 0 20 0 1 0 277633205 12648448 2278 33554432000 4194304 8973514 140737443431296 140734470225944 7937344 0 0 0 34082818 0 0 0 17 1 0 0 0 0 0
/proc/21737/statm: 3088 2278 418 1167 0 1869 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 12352

[startup+0.300275 s]
/proc/loadavg: 1.92 1.98 1.99 3/176 21737
/proc/meminfo: memFree=28186312/32873648 swapFree=6604/6604
[pid=21737] ppid=21735 vsize=23616 CPUtime=0.29 cores=1,3,5,7
/proc/21737/stat : 21737 (toysat) R 21735 21737 17458 0 -1 4202496 5173 0 0 0 28 1 0 0 20 0 1 0 277633205 24182784 5094 33554432000 4194304 8973514 140737443431296 140734470225944 4204550 0 2 0 34082818 0 0 0 17 1 0 0 0 0 0
/proc/21737/statm: 5904 5094 418 1167 0 4685 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 23616

[startup+0.700273 s]
/proc/loadavg: 1.92 1.98 1.99 3/176 21737
/proc/meminfo: memFree=28186312/32873648 swapFree=6604/6604
[pid=21737] ppid=21735 vsize=49216 CPUtime=0.69 cores=1,3,5,7
/proc/21737/stat : 21737 (toysat) R 21735 21737 17458 0 -1 4202496 11607 0 0 0 67 2 0 0 20 0 1 0 277633205 50397184 11528 33554432000 4194304 8973514 140737443431296 140737443430792 7937344 0 0 0 34082818 0 0 0 17 1 0 0 0 0 0
/proc/21737/statm: 12304 11528 447 1167 0 11085 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 49216

[startup+1.50027 s]
/proc/loadavg: 1.92 1.98 1.99 3/177 21738
/proc/meminfo: memFree=28141788/32873648 swapFree=6604/6604
[pid=21737] ppid=21735 vsize=49216 CPUtime=1.49 cores=1,3,5,7
/proc/21737/stat : 21737 (toysat) R 21735 21737 17458 0 -1 4202496 11617 0 0 0 147 2 0 0 20 0 1 0 277633205 50397184 11538 33554432000 4194304 8973514 140737443431296 140737443430792 7937344 0 0 0 34082818 0 0 0 17 1 0 0 0 0 0
/proc/21737/statm: 12304 11538 457 1167 0 11085 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 49216

[startup+3.10026 s]
/proc/loadavg: 1.92 1.98 1.99 3/177 21738
/proc/meminfo: memFree=28141260/32873648 swapFree=6604/6604
[pid=21737] ppid=21735 vsize=49216 CPUtime=3.09 cores=1,3,5,7
/proc/21737/stat : 21737 (toysat) R 21735 21737 17458 0 -1 4202496 11617 0 0 0 306 3 0 0 20 0 1 0 277633205 50397184 11538 33554432000 4194304 8973514 140737443431296 140737443430792 7937344 0 0 0 34082818 0 0 0 17 1 0 0 0 0 0
/proc/21737/statm: 12304 11538 457 1167 0 11085 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 49216

[startup+6.30026 s]
/proc/loadavg: 1.93 1.98 1.99 3/177 21738
/proc/meminfo: memFree=28137384/32873648 swapFree=6604/6604
[pid=21737] ppid=21735 vsize=56384 CPUtime=6.29 cores=1,3,5,7
/proc/21737/stat : 21737 (toysat) R 21735 21737 17458 0 -1 4202496 13409 0 0 0 624 5 0 0 20 0 1 0 277633205 57737216 13330 33554432000 4194304 8973514 140737443431296 140737443430792 7937344 0 0 0 34082818 0 0 0 17 1 0 0 0 0 0
/proc/21737/statm: 14096 13330 457 1167 0 12877 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 56384

[startup+12.7003 s]
/proc/loadavg: 1.93 1.98 1.99 3/177 21738
/proc/meminfo: memFree=28117980/32873648 swapFree=6604/6604
[pid=21737] ppid=21735 vsize=73792 CPUtime=12.69 cores=1,3,5,7
/proc/21737/stat : 21737 (toysat) R 21735 21737 17458 0 -1 4202496 17761 0 0 0 1259 10 0 0 20 0 1 0 277633205 75563008 17682 33554432000 4194304 8973514 140737443431296 140737443430560 7937344 0 0 0 34082818 0 0 0 17 1 0 0 0 0 0
/proc/21737/statm: 18448 17682 457 1167 0 17229 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 73792

[startup+25.5003 s]
/proc/loadavg: 1.95 1.98 1.99 3/177 21738
/proc/meminfo: memFree=28094916/32873648 swapFree=6604/6604
[pid=21737] ppid=21735 vsize=95296 CPUtime=25.49 cores=1,3,5,7
/proc/21737/stat : 21737 (toysat) R 21735 21737 17458 0 -1 4202496 23139 0 0 0 2532 17 0 0 20 0 1 0 277633205 97583104 23060 33554432000 4194304 8973514 140737443431296 140737443430792 7937344 0 0 0 34082818 0 0 0 17 1 0 0 0 0 0
/proc/21737/statm: 23824 23060 458 1167 0 22605 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 95296

[startup+51.1003 s]
/proc/loadavg: 1.90 1.97 1.99 3/177 21815
/proc/meminfo: memFree=28688604/32873648 swapFree=6604/6604
[pid=21737] ppid=21735 vsize=102464 CPUtime=51.08 cores=1,3,5,7
/proc/21737/stat : 21737 (toysat) R 21735 21737 17458 0 -1 4202496 24934 0 0 0 5079 29 0 0 20 0 1 0 277633205 104923136 24852 33554432000 4194304 8973514 140737443431296 140737443430560 7937344 0 0 0 34082818 0 0 0 17 1 0 0 0 0 0
/proc/21737/statm: 25616 24852 458 1167 0 24397 0
Current children cumulated CPU time (s) 51.08
Current children cumulated vsize (KiB) 102464

[startup+102.307 s]
/proc/loadavg: 1.95 1.97 1.99 3/177 21815
/proc/meminfo: memFree=28598896/32873648 swapFree=6604/6604
[pid=21737] ppid=21735 vsize=130112 CPUtime=102.26 cores=1,3,5,7
/proc/21737/stat : 21737 (toysat) R 21735 21737 17458 0 -1 4202496 31865 0 0 0 10169 57 0 0 20 0 1 0 277633205 133234688 31764 33554432000 4194304 8973514 140737443431296 140737443429248 7937344 0 0 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/21737/statm: 32528 31764 458 1167 0 31309 0
Current children cumulated CPU time (s) 102.26
Current children cumulated vsize (KiB) 130112

[startup+162.3 s]
/proc/loadavg: 1.98 1.97 1.99 3/178 21818
/proc/meminfo: memFree=28505760/32873648 swapFree=6604/6604
[pid=21737] ppid=21735 vsize=132160 CPUtime=162.25 cores=1,3,5,7
/proc/21737/stat : 21737 (toysat) R 21735 21737 17458 0 -1 4202496 33148 0 0 0 16142 83 0 0 20 0 1 0 277633205 135331840 32276 33554432000 4194304 8973514 140737443431296 140737443430792 7937344 0 0 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/21737/statm: 33040 32276 458 1167 0 31821 0
Current children cumulated CPU time (s) 162.25
Current children cumulated vsize (KiB) 132160

[startup+222.3 s]
/proc/loadavg: 1.99 1.97 1.99 3/177 21818
/proc/meminfo: memFree=28471016/32873648 swapFree=6604/6604
[pid=21737] ppid=21735 vsize=132160 CPUtime=222.24 cores=1,3,5,7
/proc/21737/stat : 21737 (toysat) R 21735 21737 17458 0 -1 4202496 33916 0 0 0 22115 109 0 0 20 0 1 0 277633205 135331840 32276 33554432000 4194304 8973514 140737443431296 140737443430792 7841851 0 2 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/21737/statm: 33040 32276 458 1167 0 31821 0
Current children cumulated CPU time (s) 222.24
Current children cumulated vsize (KiB) 132160

[startup+282.3 s]
/proc/loadavg: 1.99 1.97 1.99 3/177 21818
/proc/meminfo: memFree=28420520/32873648 swapFree=6604/6604
[pid=21737] ppid=21735 vsize=142400 CPUtime=282.23 cores=1,3,5,7
/proc/21737/stat : 21737 (toysat) R 21735 21737 17458 0 -1 4202496 36476 0 0 0 28089 134 0 0 20 0 1 0 277633205 145817600 34836 33554432000 4194304 8973514 140737443431296 140737443430792 7937344 0 0 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/21737/statm: 35600 34836 458 1167 0 34381 0
Current children cumulated CPU time (s) 282.23
Current children cumulated vsize (KiB) 142400

[startup+342.3 s]
/proc/loadavg: 1.99 1.97 1.99 3/177 21819
/proc/meminfo: memFree=28422804/32873648 swapFree=6604/6604
[pid=21737] ppid=21735 vsize=140352 CPUtime=342.22 cores=1,3,5,7
/proc/21737/stat : 21737 (toysat) R 21735 21737 17458 0 -1 4202496 42108 0 0 0 34065 157 0 0 20 0 1 0 277633205 143720448 34324 33554432000 4194304 8973514 140737443431296 140737443430560 7841851 0 2 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/21737/statm: 35088 34324 458 1167 0 33869 0
Current children cumulated CPU time (s) 342.22
Current children cumulated vsize (KiB) 140352

[startup+402.3 s]
/proc/loadavg: 1.99 1.97 1.99 3/177 21819
/proc/meminfo: memFree=28400648/32873648 swapFree=6604/6604
[pid=21737] ppid=21735 vsize=144448 CPUtime=402.21 cores=1,3,5,7
/proc/21737/stat : 21737 (toysat) R 21735 21737 17458 0 -1 4202496 45436 0 0 0 40044 177 0 0 20 0 1 0 277633205 147914752 35348 33554432000 4194304 8973514 140737443431296 140737443430792 7841851 0 2 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/21737/statm: 36112 35348 458 1167 0 34893 0
Current children cumulated CPU time (s) 402.21
Current children cumulated vsize (KiB) 144448

[startup+462.3 s]
/proc/loadavg: 2.07 1.99 1.99 3/177 21819
/proc/meminfo: memFree=28373436/32873648 swapFree=6604/6604
[pid=21737] ppid=21735 vsize=154688 CPUtime=462.19 cores=1,3,5,7
/proc/21737/stat : 21737 (toysat) R 21735 21737 17458 0 -1 4202496 48014 0 0 0 46018 201 0 0 20 0 1 0 277633205 158400512 37908 33554432000 4194304 8973514 140737443431296 140737443430560 7937344 0 0 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/21737/statm: 38672 37908 458 1167 0 37453 0
Current children cumulated CPU time (s) 462.19
Current children cumulated vsize (KiB) 154688

[startup+522.3 s]
/proc/loadavg: 2.02 1.99 1.99 3/177 21819
/proc/meminfo: memFree=28361668/32873648 swapFree=6604/6604
[pid=21737] ppid=21735 vsize=144448 CPUtime=522.18 cores=1,3,5,7
/proc/21737/stat : 21737 (toysat) R 21735 21737 17458 0 -1 4202496 51342 0 0 0 51997 221 0 0 20 0 1 0 277633205 147914752 35348 33554432000 4194304 8973514 140737443431296 140737443430560 7937344 0 0 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/21737/statm: 36112 35348 458 1167 0 34893 0
Current children cumulated CPU time (s) 522.18
Current children cumulated vsize (KiB) 144448

[startup+582.3 s]
/proc/loadavg: 2.01 1.99 1.99 3/177 21819
/proc/meminfo: memFree=28353616/32873648 swapFree=6604/6604
[pid=21737] ppid=21735 vsize=152640 CPUtime=582.17 cores=1,3,5,7
/proc/21737/stat : 21737 (toysat) R 21735 21737 17458 0 -1 4202496 56718 0 0 0 57974 243 0 0 20 0 1 0 277633205 156303360 37396 33554432000 4194304 8973514 140737443431296 140737443430560 4381416 0 0 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/21737/statm: 38160 37396 458 1167 0 36941 0
Current children cumulated CPU time (s) 582.17
Current children cumulated vsize (KiB) 152640

[startup+642.3 s]

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

[startup+822.3 s]
/proc/loadavg: 2.00 1.99 1.99 3/177 21823
/proc/meminfo: memFree=28254828/32873648 swapFree=6604/6604
[pid=21737] ppid=21735 vsize=157760 CPUtime=822.13 cores=1,3,5,7
/proc/21737/stat : 21737 (toysat) R 21735 21737 17458 0 -1 4202496 72595 0 0 0 81886 327 0 0 20 0 1 0 277633205 161546240 38676 33554432000 4194304 8973514 140737443431296 140737443430792 4414889 0 0 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/21737/statm: 39440 38676 458 1167 0 38221 0
Current children cumulated CPU time (s) 822.13
Current children cumulated vsize (KiB) 157760

[startup+882.3 s]
/proc/loadavg: 2.00 1.99 1.99 3/177 21823
/proc/meminfo: memFree=28259600/32873648 swapFree=6604/6604
[pid=21737] ppid=21735 vsize=169024 CPUtime=882.12 cores=1,3,5,7
/proc/21737/stat : 21737 (toysat) R 21735 21737 17458 0 -1 4202496 76435 0 0 0 87862 350 0 0 20 0 1 0 277633205 173080576 41492 33554432000 4194304 8973514 140737443431296 140737443430560 4209187 0 2 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/21737/statm: 42256 41492 458 1167 0 41037 0
Current children cumulated CPU time (s) 882.12
Current children cumulated vsize (KiB) 169024

[startup+942.3 s]
/proc/loadavg: 2.00 1.99 1.99 3/177 21824
/proc/meminfo: memFree=28283808/32873648 swapFree=6604/6604
[pid=21737] ppid=21735 vsize=145472 CPUtime=942.12 cores=1,3,5,7
/proc/21737/stat : 21737 (toysat) R 21735 21737 17458 0 -1 4202496 80275 0 0 0 93844 368 0 0 20 0 1 0 277633205 148963328 35604 33554432000 4194304 8973514 140737443431296 140737443430792 7937344 0 0 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/21737/statm: 36368 35604 458 1167 0 35149 0
Current children cumulated CPU time (s) 942.12
Current children cumulated vsize (KiB) 145472

[startup+1002.3 s]
/proc/loadavg: 2.06 2.00 2.00 3/177 21824
/proc/meminfo: memFree=28273956/32873648 swapFree=6604/6604
[pid=21737] ppid=21735 vsize=154688 CPUtime=1002.1 cores=1,3,5,7
/proc/21737/stat : 21737 (toysat) R 21735 21737 17458 0 -1 4202496 84627 0 0 0 99822 388 0 0 20 0 1 0 277633205 158400512 37908 33554432000 4194304 8973514 140737443431296 140737443430792 4209305 0 2 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/21737/statm: 38672 37908 458 1167 0 37453 0
Current children cumulated CPU time (s) 1002.1
Current children cumulated vsize (KiB) 154688

[startup+1062.3 s]
/proc/loadavg: 2.02 2.00 2.00 3/177 21824
/proc/meminfo: memFree=28271984/32873648 swapFree=6604/6604
[pid=21737] ppid=21735 vsize=156736 CPUtime=1062.1 cores=1,3,5,7
/proc/21737/stat : 21737 (toysat) R 21735 21737 17458 0 -1 4202496 88211 0 0 0 105801 409 0 0 20 0 1 0 277633205 160497664 38420 33554432000 4194304 8973514 140737443431296 140737443430792 6570624 0 0 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/21737/statm: 39184 38420 458 1167 0 37965 0
Current children cumulated CPU time (s) 1062.1
Current children cumulated vsize (KiB) 156736

[startup+1122.3 s]
/proc/loadavg: 2.01 2.00 2.00 3/177 21824
/proc/meminfo: memFree=28239368/32873648 swapFree=6604/6604
[pid=21737] ppid=21735 vsize=181312 CPUtime=1122.09 cores=1,3,5,7
/proc/21737/stat : 21737 (toysat) R 21735 21737 17458 0 -1 4202496 99987 0 0 0 111779 430 0 0 20 0 1 0 277633205 185663488 44564 33554432000 4194304 8973514 140737443431296 140737443430560 7841851 0 2 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/21737/statm: 45328 44564 458 1167 0 44109 0
Current children cumulated CPU time (s) 1122.09
Current children cumulated vsize (KiB) 181312

[startup+1182.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 21824
/proc/meminfo: memFree=28256588/32873648 swapFree=6604/6604
[pid=21737] ppid=21735 vsize=203840 CPUtime=1182.08 cores=1,3,5,7
/proc/21737/stat : 21737 (toysat) R 21735 21737 17458 0 -1 4202496 105619 0 0 0 117757 451 0 0 20 0 1 0 277633205 208732160 50196 33554432000 4194304 8973514 140737443431296 140737443429248 6839705 0 0 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/21737/statm: 50960 50196 458 1167 0 49741 0
Current children cumulated CPU time (s) 1182.08
Current children cumulated vsize (KiB) 203840

[startup+1242.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 21825
/proc/meminfo: memFree=28287316/32873648 swapFree=6604/6604
[pid=21737] ppid=21735 vsize=173120 CPUtime=1242.06 cores=1,3,5,7
/proc/21737/stat : 21737 (toysat) R 21735 21737 17458 0 -1 4202496 105629 0 0 0 123737 469 0 0 20 0 1 0 277633205 177274880 42516 33554432000 4194304 8973514 140737443431296 140737443430560 4209187 0 2 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/21737/statm: 43280 42516 458 1167 0 42061 0
Current children cumulated CPU time (s) 1242.06
Current children cumulated vsize (KiB) 173120

[startup+1302.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 21825
/proc/meminfo: memFree=28268604/32873648 swapFree=6604/6604
[pid=21737] ppid=21735 vsize=178240 CPUtime=1302.06 cores=1,3,5,7
/proc/21737/stat : 21737 (toysat) R 21735 21737 17458 0 -1 4202496 107933 0 0 0 129717 489 0 0 20 0 1 0 277633205 182517760 43796 33554432000 4194304 8973514 140737443431296 140737443430792 7937344 0 0 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/21737/statm: 44560 43796 458 1167 0 43341 0
Current children cumulated CPU time (s) 1302.06
Current children cumulated vsize (KiB) 178240

[startup+1362.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/178 21828
/proc/meminfo: memFree=28244988/32873648 swapFree=6604/6604
[pid=21737] ppid=21735 vsize=170048 CPUtime=1362.04 cores=1,3,5,7
/proc/21737/stat : 21737 (toysat) R 21735 21737 17458 0 -1 4202496 114077 0 0 0 135695 509 0 0 20 0 1 0 277633205 174129152 41748 33554432000 4194304 8973514 140737443431296 140737443430792 4441196 0 0 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/21737/statm: 42512 41748 458 1167 0 41293 0
Current children cumulated CPU time (s) 1362.04
Current children cumulated vsize (KiB) 170048

[startup+1422.31 s]
/proc/loadavg: 2.00 2.00 2.00 3/178 21851
/proc/meminfo: memFree=28217944/32873648 swapFree=6604/6604
[pid=21737] ppid=21735 vsize=193600 CPUtime=1422.04 cores=1,3,5,7
/proc/21737/stat : 21737 (toysat) R 21735 21737 17458 0 -1 4202496 120221 0 0 0 141676 528 0 0 20 0 1 0 277633205 198246400 47636 33554432000 4194304 8973514 140737443431296 140737443430792 7937344 0 0 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/21737/statm: 48400 47636 458 1167 0 47181 0
Current children cumulated CPU time (s) 1422.04
Current children cumulated vsize (KiB) 193600

[startup+1482.3 s]
/proc/loadavg: 2.07 2.02 2.00 3/177 21851
/proc/meminfo: memFree=28185104/32873648 swapFree=6604/6604
[pid=21737] ppid=21735 vsize=181312 CPUtime=1482.02 cores=1,3,5,7
/proc/21737/stat : 21737 (toysat) R 21735 21737 17458 0 -1 4202496 120221 0 0 0 147653 549 0 0 20 0 1 0 277633205 185663488 44564 33554432000 4194304 8973514 140737443431296 140737443430792 4459464 0 0 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/21737/statm: 45328 44564 458 1167 0 44109 0
Current children cumulated CPU time (s) 1482.02
Current children cumulated vsize (KiB) 181312

[startup+1542.3 s]
/proc/loadavg: 2.02 2.01 2.00 3/177 21852
/proc/meminfo: memFree=28279516/32873648 swapFree=6604/6604
[pid=21737] ppid=21735 vsize=173120 CPUtime=1542.01 cores=1,3,5,7
/proc/21737/stat : 21737 (toysat) R 21735 21737 17458 0 -1 4202496 122269 0 0 0 153632 569 0 0 20 0 1 0 277633205 177274880 42516 33554432000 4194304 8973514 140737443431296 140737443430792 7937344 0 0 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/21737/statm: 43280 42516 458 1167 0 42061 0
Current children cumulated CPU time (s) 1542.01
Current children cumulated vsize (KiB) 173120

[startup+1602.3 s]
/proc/loadavg: 2.01 2.00 2.00 3/177 21852
/proc/meminfo: memFree=28278572/32873648 swapFree=6604/6604
[pid=21737] ppid=21735 vsize=173120 CPUtime=1602.01 cores=1,3,5,7
/proc/21737/stat : 21737 (toysat) R 21735 21737 17458 0 -1 4202496 125597 0 0 0 159610 591 0 0 20 0 1 0 277633205 177274880 42516 33554432000 4194304 8973514 140737443431296 140737443430792 4441537 0 0 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/21737/statm: 43280 42516 458 1167 0 42061 0
Current children cumulated CPU time (s) 1602.01
Current children cumulated vsize (KiB) 173120

[startup+1662.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 21852
/proc/meminfo: memFree=28240512/32873648 swapFree=6604/6604
[pid=21737] ppid=21735 vsize=212032 CPUtime=1662 cores=1,3,5,7
/proc/21737/stat : 21737 (toysat) R 21735 21737 17458 0 -1 4202496 135325 0 0 0 165588 612 0 0 20 0 1 0 277633205 217120768 52244 33554432000 4194304 8973514 140737443431296 140737443430560 7937344 0 0 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/21737/statm: 53008 52244 458 1167 0 51789 0
Current children cumulated CPU time (s) 1662
Current children cumulated vsize (KiB) 212032

[startup+1722.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 21852
/proc/meminfo: memFree=28214680/32873648 swapFree=6604/6604
[pid=21737] ppid=21735 vsize=182336 CPUtime=1721.99 cores=1,3,5,7
/proc/21737/stat : 21737 (toysat) R 21735 21737 17458 0 -1 4202496 139680 0 0 0 171565 634 0 0 20 0 1 0 277633205 186712064 44820 33554432000 4194304 8973514 140737443431296 140737443430792 4427291 0 0 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/21737/statm: 45584 44820 458 1167 0 44365 0
Current children cumulated CPU time (s) 1721.99
Current children cumulated vsize (KiB) 182336

[startup+1782.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 21852
/proc/meminfo: memFree=28187760/32873648 swapFree=6604/6604
[pid=21737] ppid=21735 vsize=208960 CPUtime=1781.97 cores=1,3,5,7
/proc/21737/stat : 21737 (toysat) R 21735 21737 17458 0 -1 4202496 146349 0 0 0 177543 654 0 0 20 0 1 0 277633205 213975040 51476 33554432000 4194304 8973514 140737443431296 140737443429248 7672539 0 2 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/21737/statm: 52240 51476 458 1167 0 51021 0
Current children cumulated CPU time (s) 1781.97
Current children cumulated vsize (KiB) 208960



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1800.4 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 21852
/proc/meminfo: memFree=28227468/32873648 swapFree=6604/6604
[pid=21737] ppid=21735 vsize=169024 CPUtime=1800.07 cores=1,3,5,7
/proc/21737/stat : 21737 (toysat) R 21735 21737 17458 0 -1 4202496 146349 0 0 0 179348 659 0 0 20 0 1 0 277633205 173080576 41492 33554432000 4194304 8973514 140737443431296 140737443430792 7841851 0 2 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/21737/statm: 42256 41492 458 1167 0 41037 0
Current children cumulated CPU time (s) 1800.07
Current children cumulated vsize (KiB) 169024

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)
Real time (s): 1800.41
CPU time (s): 1800.08
CPU user time (s): 1793.49
CPU system time (s): 6.594
CPU usage (%): 99.9818
Max. virtual memory (cumulated for all children) (KiB): 212032

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1793.49
system time used= 6.594
maximum resident set size= 208976
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 146349
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= 77
involuntary context switches= 2060

runsolver used 3.39248 second user time and 9.28259 second system time

The end

Launcher Data 

Begin job on node148 at 2012-05-27 12:38:07
IDJOB=3706710
IDBENCH=2008
IDSOLVER=2285
FILE ID=node148/3706710-1338115087
RUNJOBID= node148-1338109596-21103
PBS_JOBID= 14624438
Free space on /tmp= 71696 MiB

SOLVER NAME= toysat 2012-05-17
BENCH NAME= PB06//final/normalized-PB06/OPT-SMALLINT/submitted-PB05/manquinho/ttp/normalized-data8_3.opb
COMMAND LINE= HOME/toysat --pb BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-3706710-1338115087/watcher-3706710-1338115087 -o /tmp/evaluation-result-3706710-1338115087/solver-3706710-1338115087 -C 1800 -W 1900 -M 15500  HOME/toysat --pb HOME/instance-3706710-1338115087.opb

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

MD5SUM BENCH= c3720ea5d84e92b781414b36064971fe
RANDOM SEED=1998439051

node148.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.284
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.56
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.284
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	: 5331.94
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.284
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	: 5331.92
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.284
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	: 5331.91
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.284
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	: 5331.90
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.284
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	: 5331.91
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.284
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	: 5331.90
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.284
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	: 5331.90
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:


/proc/meminfo:
MemTotal:       32873648 kB
MemFree:        28186320 kB
Buffers:          324692 kB
Cached:          2797356 kB
SwapCached:          576 kB
Active:          1257108 kB
Inactive:        2602576 kB
Active(anon):     728300 kB
Inactive(anon):    11120 kB
Active(file):     528808 kB
Inactive(file):  2591456 kB
Unevictable:        6604 kB
Mlocked:            6604 kB
SwapTotal:      67108856 kB
SwapFree:       67108024 kB
Dirty:              8164 kB
Writeback:             0 kB
AnonPages:        742508 kB
Mapped:            15936 kB
Shmem:                96 kB
Slab:             689044 kB
SReclaimable:     133472 kB
SUnreclaim:       555572 kB
KernelStack:        1456 kB
PageTables:         5008 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83545680 kB
Committed_AS:     850936 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      346400 kB
VmallocChunk:   34341988052 kB
HardwareCorrupted:     0 kB
AnonHugePages:    722944 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
DirectMap4k:        7680 kB
DirectMap2M:    33538048 kB

Free space on /tmp at the end= 71700 MiB
End job on node148 at 2012-05-27 13:08:10