Trace number 3706987

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.1 1800.41

General information on the benchmark

Namenormalized-PB07/OPT-SMALLINT-LIN/submittedPB07/manquinho/
areaDelay/normalized-f20c10b_006_area_delay.opb
MD5SUM7294dff8a2fbe1f0b26c181010dcfed2
Bench CategoryOPT-SMALLINT-LIN (optimisation, small integers, linear constraints)
Best result obtained on this benchmarkOPT
Best value of the objective obtained on this benchmark22
Best CPU time to get the best result obtained on this benchmark0.357945
Has Objective FunctionYES
SatisfiableYES
(Un)Satisfiability was provedYES
Best value of the objective function 22
Optimality of the best value was proved YES
Number of variables3041
Total number of constraints7696
Number of constraints which are clauses7696
Number of constraints which are cardinality constraints (but not clauses)0
Number of constraints which are nor clauses,nor cardinality constraints0
Minimum length of a constraint1
Maximum length of a constraint63
Number of terms in the objective function 1510
Biggest coefficient in the objective function 1
Number of bits for the biggest coefficient in the objective function 1
Sum of the numbers in the objective function 1510
Number of bits of the sum of numbers in the objective function 11
Biggest number in a constraint 2
Number of bits of the biggest number in a constraint 2
Biggest sum of numbers in a constraint 1510
Number of bits of the biggest sum of numbers11
Number of products (including duplicates)0
Sum of products size (including duplicates)0
Number of different products0
Sum of products size0

Quality of the solution as a function of time


Download the above graph as a PDF file / as an EPS file

Solver Data 

0.29/0.39	c 2012-05-27T15:27:07+0200
0.29/0.39	c arch = x86_64
0.29/0.39	c os = linux
0.29/0.39	c compiler = ghc 7.4
0.29/0.39	c packages:
0.29/0.39	c   OptDir-0.0.1
0.29/0.39	c   array-0.4.0.0
0.29/0.39	c   base-4.5.0.0
0.29/0.39	c   bytestring-0.9.2.1
0.29/0.39	c   containers-0.4.2.1
0.29/0.39	c   deepseq-1.3.0.0
0.29/0.39	c   mtl-2.1.1
0.29/0.39	c   old_locale-1.0.0.4
0.29/0.39	c   parse_dimacs-1.2
0.29/0.39	c   parsec-3.1.2
0.29/0.39	c   queue-0.1.2
0.29/0.39	c   stm-2.3
0.29/0.39	c   time-1.4
0.29/0.39	c command line = ["--pb","HOME/instance-3706987-1338125227.opb"]
0.29/0.39	c #vars 3041
0.29/0.39	c #constraints 7696
0.29/0.39	c Solving starts ...
0.39/0.40	c solving time = 0.007s
0.39/0.40	c #decision = 2032
0.39/0.40	c #conflict = 5
0.39/0.40	c #restart = 0
0.39/0.40	o 26
0.39/0.40	c Solving starts ...
0.39/0.42	c solving time = 0.013s
0.39/0.42	c #decision = 4043
0.39/0.42	c #conflict = 18
0.39/0.42	c #restart = 0
0.39/0.42	o 25
0.39/0.42	c Solving starts ...
0.39/0.43	c solving time = 0.010s
0.39/0.43	c #decision = 5782
0.39/0.43	c #conflict = 25
0.39/0.43	c #restart = 0
0.39/0.43	o 24
0.39/0.44	c Solving starts ...
19.49/19.57	c learnt constraints deletion: 8842 -> 4421
30.79/30.83	c learnt constraints deletion: 9959 -> 4980
40.87/40.90	c learnt constraints deletion: 10610 -> 5305
51.47/51.52	c learnt constraints deletion: 10693 -> 5348
63.07/63.16	c learnt constraints deletion: 11902 -> 5955
73.36/73.43	c learnt constraints deletion: 11415 -> 5708
88.56/88.65	c learnt constraints deletion: 12781 -> 6392
100.76/100.85	c learnt constraints deletion: 12846 -> 6424
113.06/113.10	c learnt constraints deletion: 13056 -> 6531
125.75/125.87	c learnt constraints deletion: 13945 -> 6973
138.65/138.79	c learnt constraints deletion: 13791 -> 6897
153.35/153.47	c learnt constraints deletion: 14094 -> 7050
166.95/167.07	c learnt constraints deletion: 14377 -> 7193
182.25/182.37	c learnt constraints deletion: 15432 -> 7717
196.35/196.48	c learnt constraints deletion: 15475 -> 7740
211.54/211.60	c learnt constraints deletion: 15562 -> 7785
224.85/224.91	c learnt constraints deletion: 15116 -> 7558
240.84/240.98	c learnt constraints deletion: 15376 -> 7690
259.84/259.97	c learnt constraints deletion: 16997 -> 8499
278.54/278.66	c learnt constraints deletion: 16879 -> 8441
298.13/298.23	c learnt constraints deletion: 16955 -> 8481
316.43/316.54	c learnt constraints deletion: 17002 -> 8505
333.03/333.15	c learnt constraints deletion: 16998 -> 8508
350.33/350.41	c learnt constraints deletion: 16904 -> 8453
370.12/370.25	c learnt constraints deletion: 16839 -> 8423
389.52/389.61	c learnt constraints deletion: 17063 -> 8538
411.61/411.71	c learnt constraints deletion: 18364 -> 9182
431.02/431.15	c learnt constraints deletion: 18406 -> 9207
451.61/451.78	c learnt constraints deletion: 18434 -> 9217
469.10/469.22	c learnt constraints deletion: 18560 -> 9281
488.10/488.28	c learnt constraints deletion: 18669 -> 9339
506.91/507.06	c learnt constraints deletion: 18871 -> 9449
524.60/524.79	c learnt constraints deletion: 18440 -> 9220
543.19/543.36	c learnt constraints deletion: 18381 -> 9192
562.49/562.60	c learnt constraints deletion: 18431 -> 9219
582.59/582.70	c learnt constraints deletion: 18666 -> 9338
604.79/604.90	c learnt constraints deletion: 20216 -> 10108
625.07/625.24	c learnt constraints deletion: 20494 -> 10248
644.77/644.99	c learnt constraints deletion: 20410 -> 10208
663.08/663.25	c learnt constraints deletion: 20083 -> 10042
684.97/685.10	c learnt constraints deletion: 20192 -> 10098
706.07/706.25	c learnt constraints deletion: 20285 -> 10143
727.96/728.17	c learnt constraints deletion: 20207 -> 10106
751.36/751.51	c learnt constraints deletion: 20274 -> 10140
771.55/771.72	c learnt constraints deletion: 20578 -> 10293
793.85/794.00	c learnt constraints deletion: 20143 -> 10074
817.35/817.53	c learnt constraints deletion: 20286 -> 10146
837.85/838.05	c learnt constraints deletion: 20393 -> 10201
859.74/859.97	c learnt constraints deletion: 20259 -> 10135
881.03/881.25	c learnt constraints deletion: 20211 -> 10109
902.94/903.12	c learnt constraints deletion: 20516 -> 10260
928.73/928.98	c learnt constraints deletion: 22551 -> 11277
951.33/951.58	c learnt constraints deletion: 22339 -> 11170
976.42/976.64	c learnt constraints deletion: 22343 -> 11175
1000.21/1000.41	c learnt constraints deletion: 22333 -> 11169
1028.01/1028.21	c learnt constraints deletion: 22099 -> 11050
1057.61/1057.80	c learnt constraints deletion: 22328 -> 11166
1081.91/1082.14	c learnt constraints deletion: 22145 -> 11076
1107.60/1107.85	c learnt constraints deletion: 22217 -> 11110
1132.99/1133.29	c learnt constraints deletion: 22322 -> 11163
1158.79/1159.04	c learnt constraints deletion: 22325 -> 11166
1183.19/1183.47	c learnt constraints deletion: 22208 -> 11110
1208.38/1208.63	c learnt constraints deletion: 22429 -> 11223
1234.57/1234.80	c learnt constraints deletion: 22190 -> 11096
1258.88/1259.16	c learnt constraints deletion: 21987 -> 10995
1286.47/1286.77	c learnt constraints deletion: 22356 -> 11181
1312.07/1312.39	c learnt constraints deletion: 22322 -> 11166
1337.76/1338.07	c learnt constraints deletion: 22348 -> 11181
1365.56/1365.80	c learnt constraints deletion: 22171 -> 11088
1393.46/1393.79	c learnt constraints deletion: 22198 -> 11103
1423.54/1423.86	c learnt constraints deletion: 24167 -> 12088
1451.64/1451.96	c learnt constraints deletion: 24432 -> 12217
1480.24/1480.52	c learnt constraints deletion: 24395 -> 12200
1504.93/1505.23	c learnt constraints deletion: 24534 -> 12268
1532.22/1532.56	c learnt constraints deletion: 24535 -> 12270
1558.12/1558.46	c learnt constraints deletion: 24427 -> 12214
1584.02/1584.30	c learnt constraints deletion: 24231 -> 12117
1613.51/1613.80	c learnt constraints deletion: 24410 -> 12208
1640.01/1640.39	c learnt constraints deletion: 24390 -> 12196
1669.41/1669.78	c learnt constraints deletion: 24381 -> 12194
1698.50/1698.86	c learnt constraints deletion: 24599 -> 12305
1726.29/1726.66	c learnt constraints deletion: 24417 -> 12211
1756.30/1756.70	c learnt constraints deletion: 24393 -> 12201
1785.58/1785.99	c learnt constraints deletion: 24242 -> 12125

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-3706987-1338125227/watcher-3706987-1338125227 -o /tmp/evaluation-result-3706987-1338125227/solver-3706987-1338125227 -C 1800 -W 1900 -M 15500 HOME/toysat --pb HOME/instance-3706987-1338125227.opb 

running on 4 cores: 0,2,4,6

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: 2.06 2.03 2.00 3/176 20099
/proc/meminfo: memFree=31164136/32873648 swapFree=7112/7112
[pid=20099] ppid=20097 vsize=6208 CPUtime=0 cores=0,2,4,6
/proc/20099/stat : 20099 (toysat) R 20097 20099 18885 0 -1 4202496 812 0 0 0 0 0 0 0 20 0 1 0 278648581 6356992 733 33554432000 4194304 8973514 140733819197040 140736753646696 7841851 0 2 0 34082818 0 0 0 17 4 0 0 0 0 0
/proc/20099/statm: 1552 733 411 1167 0 333 0

[startup+0.0784589 s]
/proc/loadavg: 2.06 2.03 2.00 3/176 20099
/proc/meminfo: memFree=31164136/32873648 swapFree=7112/7112
[pid=20099] ppid=20097 vsize=10304 CPUtime=0.07 cores=0,2,4,6
/proc/20099/stat : 20099 (toysat) R 20097 20099 18885 0 -1 4202496 1844 0 0 0 7 0 0 0 20 0 1 0 278648581 10551296 1765 33554432000 4194304 8973514 140733819197040 140736753646696 4204544 0 2 0 34082818 0 0 0 17 4 0 0 0 0 0
/proc/20099/statm: 2576 1765 417 1167 0 1357 0
Current children cumulated CPU time (s) 0.07
Current children cumulated vsize (KiB) 10304

[startup+0.100293 s]
/proc/loadavg: 2.06 2.03 2.00 3/176 20099
/proc/meminfo: memFree=31164136/32873648 swapFree=7112/7112
[pid=20099] ppid=20097 vsize=12352 CPUtime=0.09 cores=0,2,4,6
/proc/20099/stat : 20099 (toysat) R 20097 20099 18885 0 -1 4202496 2356 0 0 0 9 0 0 0 20 0 1 0 278648581 12648448 2277 33554432000 4194304 8973514 140733819197040 140736753646696 7841851 0 2 0 34082818 0 0 0 17 4 0 0 0 0 0
/proc/20099/statm: 3088 2277 417 1167 0 1869 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 12352

[startup+0.300275 s]
/proc/loadavg: 2.06 2.03 2.00 3/176 20099
/proc/meminfo: memFree=31164136/32873648 swapFree=7112/7112
[pid=20099] ppid=20097 vsize=16448 CPUtime=0.29 cores=0,2,4,6
/proc/20099/stat : 20099 (toysat) R 20097 20099 18885 0 -1 4202496 3181 0 0 0 29 0 0 0 20 0 1 0 278648581 16842752 3102 33554432000 4194304 8973514 140733819197040 140736753646696 7937344 0 0 0 34082818 0 0 0 17 4 0 0 0 0 0
/proc/20099/statm: 4112 3102 429 1167 0 2893 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 16448

[startup+0.700288 s]
/proc/loadavg: 2.06 2.03 2.00 3/176 20099
/proc/meminfo: memFree=31164136/32873648 swapFree=7112/7112
[pid=20099] ppid=20097 vsize=18496 CPUtime=0.69 cores=0,2,4,6
/proc/20099/stat : 20099 (toysat) R 20097 20099 18885 0 -1 4202496 3936 0 0 0 69 0 0 0 20 0 1 0 278648581 18939904 3857 33554432000 4194304 8973514 140733819197040 140736753646696 5386988 0 0 0 34082818 0 0 0 17 4 0 0 0 0 0
/proc/20099/statm: 4624 3857 455 1167 0 3405 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 18496

[startup+1.50029 s]
/proc/loadavg: 2.06 2.03 2.00 3/177 20100
/proc/meminfo: memFree=31150348/32873648 swapFree=7112/7112
[pid=20099] ppid=20097 vsize=18496 CPUtime=1.48 cores=0,2,4,6
/proc/20099/stat : 20099 (toysat) R 20097 20099 18885 0 -1 4202496 3936 0 0 0 148 0 0 0 20 0 1 0 278648581 18939904 3857 33554432000 4194304 8973514 140733819197040 140733819196304 7841851 0 2 0 34082818 0 0 0 17 4 0 0 0 0 0
/proc/20099/statm: 4624 3857 455 1167 0 3405 0
Current children cumulated CPU time (s) 1.48
Current children cumulated vsize (KiB) 18496

[startup+3.10029 s]
/proc/loadavg: 2.06 2.03 2.00 3/177 20100
/proc/meminfo: memFree=31148748/32873648 swapFree=7112/7112
[pid=20099] ppid=20097 vsize=20544 CPUtime=3.09 cores=0,2,4,6
/proc/20099/stat : 20099 (toysat) R 20097 20099 18885 0 -1 4202496 4448 0 0 0 308 1 0 0 20 0 1 0 278648581 21037056 4369 33554432000 4194304 8973514 140733819197040 140733819196304 7841851 0 2 0 34082818 0 0 0 17 4 0 0 0 0 0
/proc/20099/statm: 5136 4369 455 1167 0 3917 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 20544

[startup+6.30028 s]
/proc/loadavg: 2.06 2.03 2.00 3/177 20100
/proc/meminfo: memFree=31146144/32873648 swapFree=7112/7112
[pid=20099] ppid=20097 vsize=22592 CPUtime=6.29 cores=0,2,4,6
/proc/20099/stat : 20099 (toysat) R 20097 20099 18885 0 -1 4202496 4960 0 0 0 627 2 0 0 20 0 1 0 278648581 23134208 4881 33554432000 4194304 8973514 140733819197040 140733819196536 6547288 0 0 0 34082818 0 0 0 17 4 0 0 0 0 0
/proc/20099/statm: 5648 4881 455 1167 0 4429 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 22592

[startup+12.7003 s]
/proc/loadavg: 2.05 2.03 2.00 3/177 20100
/proc/meminfo: memFree=31141864/32873648 swapFree=7112/7112
[pid=20099] ppid=20097 vsize=27712 CPUtime=12.68 cores=0,2,4,6
/proc/20099/stat : 20099 (toysat) R 20097 20099 18885 0 -1 4202496 6240 0 0 0 1264 4 0 0 20 0 1 0 278648581 28377088 6161 33554432000 4194304 8973514 140733819197040 140733819196536 6571856 0 0 0 34082818 0 0 0 17 4 0 0 0 0 0
/proc/20099/statm: 6928 6161 455 1167 0 5709 0
Current children cumulated CPU time (s) 12.68
Current children cumulated vsize (KiB) 27712

[startup+25.5003 s]
/proc/loadavg: 2.04 2.03 2.00 3/177 20100
/proc/meminfo: memFree=31134284/32873648 swapFree=7112/7112
[pid=20099] ppid=20097 vsize=34880 CPUtime=25.48 cores=0,2,4,6
/proc/20099/stat : 20099 (toysat) R 20097 20099 18885 0 -1 4202496 8033 0 0 0 2541 7 0 0 20 0 1 0 278648581 35717120 7954 33554432000 4194304 8973514 140733819197040 140733819196304 4213673 0 2 0 34082818 0 0 0 17 4 0 0 0 0 0
/proc/20099/statm: 8720 7954 456 1167 0 7501 0
Current children cumulated CPU time (s) 25.48
Current children cumulated vsize (KiB) 34880

[startup+51.1002 s]
/proc/loadavg: 2.03 2.03 2.00 3/177 20100
/proc/meminfo: memFree=31128684/32873648 swapFree=7112/7112
[pid=20099] ppid=20097 vsize=42048 CPUtime=51.07 cores=0,2,4,6
/proc/20099/stat : 20099 (toysat) R 20097 20099 18885 0 -1 4202496 9836 0 0 0 5095 12 0 0 20 0 1 0 278648581 43057152 9751 33554432000 4194304 8973514 140733819197040 140733819195008 7937344 0 0 0 34082818 0 0 0 17 4 0 0 0 0 0
/proc/20099/statm: 10512 9751 456 1167 0 9293 0
Current children cumulated CPU time (s) 51.07
Current children cumulated vsize (KiB) 42048

[startup+102.307 s]
/proc/loadavg: 2.01 2.02 2.00 3/177 20100
/proc/meminfo: memFree=31123976/32873648 swapFree=7112/7112
[pid=20099] ppid=20097 vsize=47168 CPUtime=102.26 cores=0,2,4,6
/proc/20099/stat : 20099 (toysat) R 20097 20099 18885 0 -1 4202496 11117 0 0 0 10200 26 0 0 20 0 1 0 278648581 48300032 11031 33554432000 4194304 8973514 140733819197040 140733819196536 4209212 0 2 0 34082818 0 0 0 17 4 0 0 0 0 0
/proc/20099/statm: 11792 11031 456 1167 0 10573 0
Current children cumulated CPU time (s) 102.26
Current children cumulated vsize (KiB) 47168

[startup+162.3 s]
/proc/loadavg: 2.00 2.01 2.00 3/177 20100
/proc/meminfo: memFree=31118864/32873648 swapFree=7112/7112
[pid=20099] ppid=20097 vsize=52288 CPUtime=162.25 cores=0,2,4,6
/proc/20099/stat : 20099 (toysat) R 20097 20099 18885 0 -1 4202496 12397 0 0 0 16181 44 0 0 20 0 1 0 278648581 53542912 12311 33554432000 4194304 8973514 140733819197040 140733819196304 4209212 0 2 0 34082818 0 0 0 17 4 0 0 0 0 0
/proc/20099/statm: 13072 12311 456 1167 0 11853 0
Current children cumulated CPU time (s) 162.25
Current children cumulated vsize (KiB) 52288

[startup+222.3 s]
/proc/loadavg: 2.00 2.01 2.00 3/178 20103
/proc/meminfo: memFree=31116076/32873648 swapFree=7112/7112
[pid=20099] ppid=20097 vsize=55360 CPUtime=222.25 cores=0,2,4,6
/proc/20099/stat : 20099 (toysat) R 20097 20099 18885 0 -1 4202496 14445 0 0 0 22167 58 0 0 20 0 1 0 278648581 56688640 13079 33554432000 4194304 8973514 140733819197040 140733819195008 4209437 0 2 0 34082818 0 0 0 17 4 0 0 0 0 0
/proc/20099/statm: 13840 13079 456 1167 0 12621 0
Current children cumulated CPU time (s) 222.25
Current children cumulated vsize (KiB) 55360

[startup+282.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 20104
/proc/meminfo: memFree=31117128/32873648 swapFree=7112/7112
[pid=20099] ppid=20097 vsize=54336 CPUtime=282.23 cores=0,2,4,6
/proc/20099/stat : 20099 (toysat) R 20097 20099 18885 0 -1 4202496 14445 0 0 0 28151 72 0 0 20 0 1 0 278648581 55640064 12823 33554432000 4194304 8973514 140733819197040 140733819196536 7937344 0 0 0 34082818 0 0 0 17 4 0 0 0 0 0
/proc/20099/statm: 13584 12823 456 1167 0 12365 0
Current children cumulated CPU time (s) 282.23
Current children cumulated vsize (KiB) 54336

[startup+342.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 20104
/proc/meminfo: memFree=31112192/32873648 swapFree=7112/7112
[pid=20099] ppid=20097 vsize=58432 CPUtime=342.22 cores=0,2,4,6
/proc/20099/stat : 20099 (toysat) R 20097 20099 18885 0 -1 4202496 15981 0 0 0 34135 87 0 0 20 0 1 0 278648581 59834368 13847 33554432000 4194304 8973514 140733819197040 140733819196304 4372360 0 0 0 34082818 0 0 0 17 4 0 0 0 0 0
/proc/20099/statm: 14608 13847 456 1167 0 13389 0
Current children cumulated CPU time (s) 342.22
Current children cumulated vsize (KiB) 58432

[startup+402.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/178 20105
/proc/meminfo: memFree=31112928/32873648 swapFree=7112/7112
[pid=20099] ppid=20097 vsize=58432 CPUtime=402.22 cores=0,2,4,6
/proc/20099/stat : 20099 (toysat) R 20097 20099 18885 0 -1 4202496 16240 0 0 0 40120 102 0 0 20 0 1 0 278648581 59834368 13847 33554432000 4194304 8973514 140733819197040 140733819196536 7841851 0 2 0 34082818 0 0 0 17 4 0 0 0 0 0
/proc/20099/statm: 14608 13847 456 1167 0 13389 0
Current children cumulated CPU time (s) 402.22
Current children cumulated vsize (KiB) 58432

[startup+462.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 20105
/proc/meminfo: memFree=31110196/32873648 swapFree=7112/7112
[pid=20099] ppid=20097 vsize=60480 CPUtime=462.21 cores=0,2,4,6
/proc/20099/stat : 20099 (toysat) R 20097 20099 18885 0 -1 4202496 16753 0 0 0 46106 115 0 0 20 0 1 0 278648581 61931520 14359 33554432000 4194304 8973514 140733819197040 140733819196304 4204592 0 2 0 34082818 0 0 0 17 4 0 0 0 0 0
/proc/20099/statm: 15120 14359 456 1167 0 13901 0
Current children cumulated CPU time (s) 462.21
Current children cumulated vsize (KiB) 60480

[startup+522.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 20105
/proc/meminfo: memFree=31104604/32873648 swapFree=7112/7112
[pid=20099] ppid=20097 vsize=65600 CPUtime=522.19 cores=0,2,4,6
/proc/20099/stat : 20099 (toysat) R 20097 20099 18885 0 -1 4202496 18034 0 0 0 52090 129 0 0 20 0 1 0 278648581 67174400 15639 33554432000 4194304 8973514 140733819197040 140733819196536 7807968 0 2 0 34082818 0 0 0 17 4 0 0 0 0 0
/proc/20099/statm: 16400 15639 456 1167 0 15181 0
Current children cumulated CPU time (s) 522.19
Current children cumulated vsize (KiB) 65600

[startup+582.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 20106
/proc/meminfo: memFree=31108388/32873648 swapFree=7112/7112
[pid=20099] ppid=20097 vsize=62528 CPUtime=582.19 cores=0,2,4,6
/proc/20099/stat : 20099 (toysat) R 20097 20099 18885 0 -1 4202496 18034 0 0 0 58074 145 0 0 20 0 1 0 278648581 64028672 14871 33554432000 4194304 8973514 140733819197040 140733819194880 6839493 0 0 0 34082818 0 0 0 17 4 0 0 0 0 0
/proc/20099/statm: 15632 14871 456 1167 0 14413 0
Current children cumulated CPU time (s) 582.19
Current children cumulated vsize (KiB) 62528

[startup+642.3 s]

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

[startup+822.3 s]
/proc/loadavg: 2.02 2.01 2.00 3/178 20109
/proc/meminfo: memFree=31103764/32873648 swapFree=7112/7112
[pid=20099] ppid=20097 vsize=66624 CPUtime=822.15 cores=0,2,4,6
/proc/20099/stat : 20099 (toysat) R 20097 20099 18885 0 -1 4202496 19827 0 0 0 82017 198 0 0 20 0 1 0 278648581 68222976 15895 33554432000 4194304 8973514 140733819197040 140733819196304 7841851 0 2 0 34082818 0 0 0 17 4 0 0 0 0 0
/proc/20099/statm: 16656 15895 456 1167 0 15437 0
Current children cumulated CPU time (s) 822.15
Current children cumulated vsize (KiB) 66624

[startup+882.3 s]
/proc/loadavg: 2.08 2.02 2.00 3/177 20110
/proc/meminfo: memFree=31103960/32873648 swapFree=7112/7112
[pid=20099] ppid=20097 vsize=66624 CPUtime=882.14 cores=0,2,4,6
/proc/20099/stat : 20099 (toysat) R 20097 20099 18885 0 -1 4202496 21108 0 0 0 88003 211 0 0 20 0 1 0 278648581 68222976 15895 33554432000 4194304 8973514 140733819197040 140733819196536 7692526 0 0 0 34082818 0 0 0 17 4 0 0 0 0 0
/proc/20099/statm: 16656 15895 456 1167 0 15437 0
Current children cumulated CPU time (s) 882.14
Current children cumulated vsize (KiB) 66624

[startup+942.3 s]
/proc/loadavg: 2.03 2.02 2.00 3/177 20110
/proc/meminfo: memFree=31107900/32873648 swapFree=7112/7112
[pid=20099] ppid=20097 vsize=62528 CPUtime=942.13 cores=0,2,4,6
/proc/20099/stat : 20099 (toysat) R 20097 20099 18885 0 -1 4202496 21110 0 0 0 93988 225 0 0 20 0 1 0 278648581 64028672 14871 33554432000 4194304 8973514 140733819197040 140733819196304 7841851 0 2 0 34082818 0 0 0 17 4 0 0 0 0 0
/proc/20099/statm: 15632 14871 456 1167 0 14413 0
Current children cumulated CPU time (s) 942.13
Current children cumulated vsize (KiB) 62528

[startup+1002.3 s]
/proc/loadavg: 2.07 2.03 2.00 3/177 20110
/proc/meminfo: memFree=31099532/32873648 swapFree=7112/7112
[pid=20099] ppid=20097 vsize=70720 CPUtime=1002.12 cores=0,2,4,6
/proc/20099/stat : 20099 (toysat) R 20097 20099 18885 0 -1 4202496 24438 0 0 0 99971 241 0 0 20 0 1 0 278648581 72417280 16919 33554432000 4194304 8973514 140733819197040 140733819196304 7841851 0 2 0 34082818 0 0 0 17 4 0 0 0 0 0
/proc/20099/statm: 17680 16919 456 1167 0 16461 0
Current children cumulated CPU time (s) 1002.12
Current children cumulated vsize (KiB) 70720

[startup+1062.3 s]
/proc/loadavg: 2.02 2.02 2.00 3/177 20110
/proc/meminfo: memFree=31103652/32873648 swapFree=7112/7112
[pid=20099] ppid=20097 vsize=66624 CPUtime=1062.11 cores=0,2,4,6
/proc/20099/stat : 20099 (toysat) R 20097 20099 18885 0 -1 4202496 24441 0 0 0 105958 253 0 0 20 0 1 0 278648581 68222976 15895 33554432000 4194304 8973514 140733819197040 140733819195008 7672543 0 2 0 34082818 0 0 0 17 4 0 0 0 0 0
/proc/20099/statm: 16656 15895 456 1167 0 15437 0
Current children cumulated CPU time (s) 1062.11
Current children cumulated vsize (KiB) 66624

[startup+1122.3 s]
/proc/loadavg: 2.11 2.04 2.01 3/177 20149
/proc/meminfo: memFree=31054760/32873648 swapFree=7112/7112
[pid=20099] ppid=20097 vsize=66624 CPUtime=1122.09 cores=0,2,4,6
/proc/20099/stat : 20099 (toysat) R 20097 20099 18885 0 -1 4202496 24441 0 0 0 111943 266 0 0 20 0 1 0 278648581 68222976 15895 33554432000 4194304 8973514 140733819197040 140733819196536 4209212 0 2 0 34082818 0 0 0 17 4 0 0 0 0 0
/proc/20099/statm: 16656 15895 456 1167 0 15437 0
Current children cumulated CPU time (s) 1122.09
Current children cumulated vsize (KiB) 66624

[startup+1182.3 s]
/proc/loadavg: 2.04 2.03 2.00 3/177 20150
/proc/meminfo: memFree=31038824/32873648 swapFree=7112/7112
[pid=20099] ppid=20097 vsize=72768 CPUtime=1182.08 cores=0,2,4,6
/proc/20099/stat : 20099 (toysat) R 20097 20099 18885 0 -1 4202496 25978 0 0 0 117930 278 0 0 20 0 1 0 278648581 74514432 17431 33554432000 4194304 8973514 140733819197040 140733819196304 4209456 0 2 0 34082818 0 0 0 17 4 0 0 0 0 0
/proc/20099/statm: 18192 17431 456 1167 0 16973 0
Current children cumulated CPU time (s) 1182.08
Current children cumulated vsize (KiB) 72768

[startup+1242.3 s]
/proc/loadavg: 2.01 2.02 2.00 3/177 20150
/proc/meminfo: memFree=31030004/32873648 swapFree=7112/7112
[pid=20099] ppid=20097 vsize=66624 CPUtime=1242.08 cores=0,2,4,6
/proc/20099/stat : 20099 (toysat) R 20097 20099 18885 0 -1 4202496 25980 0 0 0 123916 292 0 0 20 0 1 0 278648581 68222976 15895 33554432000 4194304 8973514 140733819197040 140733819196304 4481195 0 0 0 34082818 0 0 0 17 4 0 0 0 0 0
/proc/20099/statm: 16656 15895 456 1167 0 15437 0
Current children cumulated CPU time (s) 1242.08
Current children cumulated vsize (KiB) 66624

[startup+1302.3 s]
/proc/loadavg: 2.00 2.02 2.00 3/177 20150
/proc/meminfo: memFree=31015980/32873648 swapFree=7112/7112
[pid=20099] ppid=20097 vsize=69696 CPUtime=1302.07 cores=0,2,4,6
/proc/20099/stat : 20099 (toysat) R 20097 20099 18885 0 -1 4202496 26748 0 0 0 129903 304 0 0 20 0 1 0 278648581 71368704 16663 33554432000 4194304 8973514 140733819197040 140733819196304 4212992 0 2 0 34082818 0 0 0 17 4 0 0 0 0 0
/proc/20099/statm: 17424 16663 456 1167 0 16205 0
Current children cumulated CPU time (s) 1302.07
Current children cumulated vsize (KiB) 69696

[startup+1362.3 s]
/proc/loadavg: 2.00 2.01 2.00 3/177 20150
/proc/meminfo: memFree=30998304/32873648 swapFree=7112/7112
[pid=20099] ppid=20097 vsize=72768 CPUtime=1362.05 cores=0,2,4,6
/proc/20099/stat : 20099 (toysat) R 20097 20099 18885 0 -1 4202496 27519 0 0 0 135889 316 0 0 20 0 1 0 278648581 74514432 17431 33554432000 4194304 8973514 140733819197040 140733819196536 4209278 0 2 0 34082818 0 0 0 17 4 0 0 0 0 0
/proc/20099/statm: 18192 17431 456 1167 0 16973 0
Current children cumulated CPU time (s) 1362.05
Current children cumulated vsize (KiB) 72768

[startup+1422.31 s]
/proc/loadavg: 2.00 2.01 2.00 3/178 20153
/proc/meminfo: memFree=30979760/32873648 swapFree=7112/7112
[pid=20099] ppid=20097 vsize=76864 CPUtime=1422.05 cores=0,2,4,6
/proc/20099/stat : 20099 (toysat) R 20097 20099 18885 0 -1 4202496 28543 0 0 0 141872 333 0 0 20 0 1 0 278648581 78708736 18455 33554432000 4194304 8973514 140733819197040 140733819196304 7841851 0 2 0 34082818 0 0 0 17 4 0 0 0 0 0
/proc/20099/statm: 19216 18455 456 1167 0 17997 0
Current children cumulated CPU time (s) 1422.05
Current children cumulated vsize (KiB) 76864

[startup+1482.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/176 20153
/proc/meminfo: memFree=30970000/32873648 swapFree=7112/7112
[pid=20099] ppid=20097 vsize=70720 CPUtime=1482.03 cores=0,2,4,6
/proc/20099/stat : 20099 (toysat) R 20097 20099 18885 0 -1 4202496 28802 0 0 0 147857 346 0 0 20 0 1 0 278648581 72417280 16919 33554432000 4194304 8973514 140733819197040 140733819196304 4213919 0 2 0 34082818 0 0 0 17 4 0 0 0 0 0
/proc/20099/statm: 17680 16919 456 1167 0 16461 0
Current children cumulated CPU time (s) 1482.03
Current children cumulated vsize (KiB) 70720

[startup+1542.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 20154
/proc/meminfo: memFree=30946948/32873648 swapFree=7112/7112
[pid=20099] ppid=20097 vsize=77888 CPUtime=1542.03 cores=0,2,4,6
/proc/20099/stat : 20099 (toysat) R 20097 20099 18885 0 -1 4202496 30594 0 0 0 153843 360 0 0 20 0 1 0 278648581 79757312 18711 33554432000 4194304 8973514 140733819197040 140733819196304 7841851 0 2 0 34082818 0 0 0 17 4 0 0 0 0 0
/proc/20099/statm: 19472 18711 456 1167 0 18253 0
Current children cumulated CPU time (s) 1542.03
Current children cumulated vsize (KiB) 77888

[startup+1602.3 s]
/proc/loadavg: 2.06 2.02 2.00 3/177 20154
/proc/meminfo: memFree=30934896/32873648 swapFree=7112/7112
[pid=20099] ppid=20097 vsize=74816 CPUtime=1602.02 cores=0,2,4,6
/proc/20099/stat : 20099 (toysat) R 20097 20099 18885 0 -1 4202496 30594 0 0 0 159828 374 0 0 20 0 1 0 278648581 76611584 17943 33554432000 4194304 8973514 140733819197040 140733819195008 4209198 0 2 0 34082818 0 0 0 17 4 0 0 0 0 0
/proc/20099/statm: 18704 17943 456 1167 0 17485 0
Current children cumulated CPU time (s) 1602.02
Current children cumulated vsize (KiB) 74816

[startup+1662.3 s]
/proc/loadavg: 2.02 2.01 2.00 3/177 20154
/proc/meminfo: memFree=30918124/32873648 swapFree=7112/7112
[pid=20099] ppid=20097 vsize=74816 CPUtime=1662 cores=0,2,4,6
/proc/20099/stat : 20099 (toysat) R 20097 20099 18885 0 -1 4202496 31362 0 0 0 165814 386 0 0 20 0 1 0 278648581 76611584 17943 33554432000 4194304 8973514 140733819197040 140733819196304 7937344 0 0 0 34082818 0 0 0 17 4 0 0 0 0 0
/proc/20099/statm: 18704 17943 456 1167 0 17485 0
Current children cumulated CPU time (s) 1662
Current children cumulated vsize (KiB) 74816

[startup+1722.3 s]
/proc/loadavg: 2.01 2.00 2.00 3/177 20154
/proc/meminfo: memFree=30911000/32873648 swapFree=7112/7112
[pid=20099] ppid=20097 vsize=70720 CPUtime=1722 cores=0,2,4,6
/proc/20099/stat : 20099 (toysat) R 20097 20099 18885 0 -1 4202496 31874 0 0 0 171801 399 0 0 20 0 1 0 278648581 72417280 16919 33554432000 4194304 8973514 140733819197040 140733819196304 4205032 0 2 0 34082818 0 0 0 17 4 0 0 0 0 0
/proc/20099/statm: 17680 16919 456 1167 0 16461 0
Current children cumulated CPU time (s) 1722
Current children cumulated vsize (KiB) 70720

[startup+1782.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 20154
/proc/meminfo: memFree=30914584/32873648 swapFree=7112/7112
[pid=20099] ppid=20097 vsize=66624 CPUtime=1781.99 cores=0,2,4,6
/proc/20099/stat : 20099 (toysat) R 20097 20099 18885 0 -1 4202496 33410 0 0 0 177789 410 0 0 20 0 1 0 278648581 68222976 15895 33554432000 4194304 8973514 140733819197040 140733819195008 4546189 0 0 0 34082818 0 0 0 17 4 0 0 0 0 0
/proc/20099/statm: 16656 15895 456 1167 0 15437 0
Current children cumulated CPU time (s) 1781.99
Current children cumulated vsize (KiB) 66624



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1800.4 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 20155
/proc/meminfo: memFree=30913964/32873648 swapFree=7112/7112
[pid=20099] ppid=20097 vsize=67648 CPUtime=1800.1 cores=0,2,4,6
/proc/20099/stat : 20099 (toysat) R 20097 20099 18885 0 -1 4202496 33666 0 0 0 179595 415 0 0 20 0 1 0 278648581 69271552 16151 33554432000 4194304 8973514 140733819197040 140733819196536 7937344 0 0 0 34082818 0 0 0 17 4 0 0 0 0 0
/proc/20099/statm: 16912 16151 456 1167 0 15693 0
Current children cumulated CPU time (s) 1800.1
Current children cumulated vsize (KiB) 67648

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.1
CPU user time (s): 1795.95
CPU system time (s): 4.15137
CPU usage (%): 99.983
Max. virtual memory (cumulated for all children) (KiB): 77888

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1795.95
system time used= 4.15137
maximum resident set size= 74844
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 33666
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= 35
involuntary context switches= 1910

runsolver used 4.30135 second user time and 8.48371 second system time

The end

Launcher Data 

Begin job on node126 at 2012-05-27 15:27:07
IDJOB=3706987
IDBENCH=24979
IDSOLVER=2285
FILE ID=node126/3706987-1338125227
RUNJOBID= node126-1338111870-18901
PBS_JOBID= 14624471
Free space on /tmp= 71352 MiB

SOLVER NAME= toysat 2012-05-17
BENCH NAME= PB07/normalized-PB07/OPT-SMALLINT-LIN/submittedPB07/manquinho/areaDelay/normalized-f20c10b_006_area_delay.opb
COMMAND LINE= HOME/toysat --pb BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-3706987-1338125227/watcher-3706987-1338125227 -o /tmp/evaluation-result-3706987-1338125227/solver-3706987-1338125227 -C 1800 -W 1900 -M 15500  HOME/toysat --pb HOME/instance-3706987-1338125227.opb

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

MD5SUM BENCH= 7294dff8a2fbe1f0b26c181010dcfed2
RANDOM SEED=1185103807

node126.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		: 2666.456
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	: 5332.91
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		: 2666.456
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.91
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		: 2666.456
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		: 2666.456
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		: 2666.456
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.92
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		: 2666.456
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		: 2666.456
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		: 2666.456
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.92
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:


/proc/meminfo:
MemTotal:       32873648 kB
MemFree:        31164416 kB
Buffers:          292820 kB
Cached:           579080 kB
SwapCached:        17756 kB
Active:           753268 kB
Inactive:         147996 kB
Active(anon):      10456 kB
Inactive(anon):    20452 kB
Active(file):     742812 kB
Inactive(file):   127544 kB
Unevictable:        7112 kB
Mlocked:            7112 kB
SwapTotal:      67108856 kB
SwapFree:       67086932 kB
Dirty:              7424 kB
Writeback:             0 kB
AnonPages:         18884 kB
Mapped:            11568 kB
Shmem:                 0 kB
Slab:             668068 kB
SReclaimable:     112540 kB
SUnreclaim:       555528 kB
KernelStack:        1464 kB
PageTables:         3684 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83545680 kB
Committed_AS:     133288 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      346400 kB
VmallocChunk:   34341988052 kB
HardwareCorrupted:     0 kB
AnonHugePages:      2048 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= 71344 MiB
End job on node126 at 2012-05-27 15:57:09