Trace number 3706943

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/
aksoy/area_delay/normalized-fir03_area_delay.opb
MD5SUM2b747b2caed6577698c928a521fdc3c2
Bench CategoryOPT-SMALLINT-LIN (optimisation, small integers, linear constraints)
Best result obtained on this benchmarkOPT
Best value of the objective obtained on this benchmark10
Best CPU time to get the best result obtained on this benchmark0.094985
Has Objective FunctionYES
SatisfiableYES
(Un)Satisfiability was provedYES
Best value of the objective function 10
Optimality of the best value was proved YES
Number of variables3540
Total number of constraints9890
Number of constraints which are clauses9890
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 constraint127
Number of terms in the objective function 1681
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 1681
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 1681
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.39/0.49	c 2012-05-27T15:57:10+0200
0.39/0.49	c arch = x86_64
0.39/0.49	c os = linux
0.39/0.49	c compiler = ghc 7.4
0.39/0.49	c packages:
0.39/0.49	c   OptDir-0.0.1
0.39/0.49	c   array-0.4.0.0
0.39/0.49	c   base-4.5.0.0
0.39/0.49	c   bytestring-0.9.2.1
0.39/0.49	c   containers-0.4.2.1
0.39/0.49	c   deepseq-1.3.0.0
0.39/0.49	c   mtl-2.1.1
0.39/0.49	c   old_locale-1.0.0.4
0.39/0.49	c   parse_dimacs-1.2
0.39/0.49	c   parsec-3.1.2
0.39/0.49	c   queue-0.1.2
0.39/0.49	c   stm-2.3
0.39/0.49	c   time-1.4
0.39/0.49	c command line = ["--pb","HOME/instance-3706943-1338127030.opb"]
0.39/0.49	c #vars 3540
0.39/0.49	c #constraints 9890
0.39/0.49	c Solving starts ...
0.49/0.51	c solving time = 0.008s
0.49/0.51	c #decision = 1745
0.49/0.51	c #conflict = 4
0.49/0.51	c #restart = 0
0.49/0.51	o 18
0.49/0.51	c Solving starts ...
0.49/0.52	c solving time = 0.006s
0.49/0.52	c #decision = 2768
0.49/0.52	c #conflict = 4
0.49/0.52	c #restart = 0
0.49/0.52	o 17
0.49/0.52	c Solving starts ...
0.59/0.65	c solving time = 0.125s
0.59/0.65	c #decision = 4695
0.59/0.65	c #conflict = 101
0.59/0.65	c #restart = 0
0.59/0.65	o 16
0.59/0.65	c Solving starts ...
32.68/32.72	c learnt constraints deletion: 10521 -> 5261
52.48/52.52	c learnt constraints deletion: 11552 -> 5776
73.68/73.73	c learnt constraints deletion: 12616 -> 6310
97.97/98.00	c learnt constraints deletion: 13855 -> 6928
120.17/120.22	c learnt constraints deletion: 13858 -> 6930
142.17/142.24	c solving time = 141.566s
142.17/142.24	c #decision = 199388
142.17/142.24	c #conflict = 45005
142.17/142.24	c #restart = 13
142.17/142.24	o 15
142.17/142.24	c Solving starts ...
142.77/142.85	c learnt constraints deletion: 13795 -> 6898
142.77/142.86	c learnt constraints deletion: 6898 -> 3449
160.96/161.04	c learnt constraints deletion: 9596 -> 4798
182.65/182.70	c learnt constraints deletion: 11520 -> 5760
204.75/204.81	c learnt constraints deletion: 12615 -> 6308
228.95/229.07	c learnt constraints deletion: 13809 -> 6905
251.74/251.86	c learnt constraints deletion: 13784 -> 6893
255.34/255.45	c solving time = 113.180s
255.34/255.45	c #decision = 357334
255.34/255.45	c #conflict = 80160
255.34/255.45	c #restart = 25
255.34/255.45	o 14
255.34/255.45	c Solving starts ...
255.34/255.48	c learnt constraints deletion: 7932 -> 3966
273.33/273.45	c learnt constraints deletion: 9838 -> 4921
293.13/293.22	c learnt constraints deletion: 11561 -> 5781
314.84/314.90	c learnt constraints deletion: 12594 -> 6298
333.72/333.89	c learnt constraints deletion: 12556 -> 6282
359.32/359.48	c learnt constraints deletion: 13706 -> 6854
385.81/385.92	c learnt constraints deletion: 15013 -> 7509
413.42/413.59	c learnt constraints deletion: 15003 -> 7503
439.61/439.76	c learnt constraints deletion: 15014 -> 7510
472.81/472.95	c learnt constraints deletion: 16509 -> 8255
503.19/503.31	c learnt constraints deletion: 16651 -> 8329
530.39/530.58	c learnt constraints deletion: 16613 -> 8307
563.89/564.06	c learnt constraints deletion: 18240 -> 9120
594.28/594.43	c learnt constraints deletion: 18195 -> 9099
625.27/625.45	c learnt constraints deletion: 18449 -> 9228
655.77/655.98	c learnt constraints deletion: 18225 -> 9117
685.96/686.11	c learnt constraints deletion: 18345 -> 9179
720.46/720.60	c learnt constraints deletion: 20094 -> 10054
753.36/753.59	c learnt constraints deletion: 20073 -> 10047
776.85/777.04	c solving time = 521.493s
776.85/777.04	c #decision = 1171812
776.85/777.04	c #conflict = 237876
776.85/777.04	c #restart = 41
776.85/777.04	o 13
776.85/777.04	c Solving starts ...
776.85/777.07	c learnt constraints deletion: 18380 -> 9190
776.85/777.08	c learnt constraints deletion: 9190 -> 4595
776.85/777.08	c learnt constraints deletion: 4595 -> 2298
800.15/800.39	c learnt constraints deletion: 9568 -> 4784
821.84/822.07	c learnt constraints deletion: 11440 -> 5721
843.24/843.47	c learnt constraints deletion: 12554 -> 6277
868.14/868.36	c learnt constraints deletion: 13779 -> 6890
892.03/892.22	c learnt constraints deletion: 14103 -> 7056
919.63/919.86	c learnt constraints deletion: 15415 -> 7710
930.73/930.90	c solving time = 153.836s
930.73/930.90	c #decision = 1400029
930.73/930.90	c #conflict = 285060
930.73/930.90	c #restart = 54
930.73/930.90	o 12
930.73/930.90	c Solving starts ...
930.73/930.92	c learnt constraints deletion: 11048 -> 5524
930.73/930.93	c learnt constraints deletion: 5524 -> 2762
953.13/953.36	c learnt constraints deletion: 9828 -> 4920
975.43/975.70	c learnt constraints deletion: 11360 -> 5681
999.42/999.63	c learnt constraints deletion: 12504 -> 6255
1025.01/1025.23	c learnt constraints deletion: 13735 -> 6876
1049.21/1049.49	c learnt constraints deletion: 14322 -> 7179
1075.51/1075.75	c learnt constraints deletion: 14989 -> 7495
1102.60/1102.82	c learnt constraints deletion: 15089 -> 7548
1133.59/1133.88	c learnt constraints deletion: 16627 -> 8323
1159.99/1160.29	c learnt constraints deletion: 16472 -> 8236
1188.69/1188.93	c learnt constraints deletion: 16679 -> 8341
1215.18/1215.47	c learnt constraints deletion: 16758 -> 8394
1246.48/1246.70	c learnt constraints deletion: 18113 -> 9059
1276.27/1276.53	c learnt constraints deletion: 18078 -> 9039
1306.77/1307.04	c learnt constraints deletion: 18086 -> 9051
1338.87/1339.17	c learnt constraints deletion: 18096 -> 9049
1376.16/1376.47	c learnt constraints deletion: 19917 -> 9962
1408.56/1408.89	c learnt constraints deletion: 19910 -> 9955
1444.74/1445.09	c learnt constraints deletion: 19880 -> 9942
1478.64/1478.99	c learnt constraints deletion: 20134 -> 10078
1513.63/1513.93	c learnt constraints deletion: 20150 -> 10076
1547.43/1547.78	c learnt constraints deletion: 20083 -> 10044
1582.02/1582.38	c learnt constraints deletion: 19908 -> 9960
1623.52/1623.86	c learnt constraints deletion: 22170 -> 11096
1662.70/1663.00	c learnt constraints deletion: 22076 -> 11038
1700.50/1700.84	c learnt constraints deletion: 22233 -> 11127
1735.69/1736.03	c learnt constraints deletion: 21830 -> 10916
1772.99/1773.37	c learnt constraints deletion: 21787 -> 10896

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-3706943-1338127030/watcher-3706943-1338127030 -o /tmp/evaluation-result-3706943-1338127030/solver-3706943-1338127030 -C 1800 -W 1900 -M 15500 HOME/toysat --pb HOME/instance-3706943-1338127030.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: 1.92 1.98 1.99 4/176 20193
/proc/meminfo: memFree=30975800/32873648 swapFree=7112/7112
[pid=20193] ppid=20191 vsize=6208 CPUtime=0 cores=0,2,4,6
/proc/20193/stat : 20193 (toysat) R 20191 20193 18885 0 -1 4202496 813 0 0 0 0 0 0 0 20 0 1 0 278828888 6356992 734 33554432000 4194304 8973514 140733327629856 140733305437000 7937344 0 0 0 34082818 0 0 0 17 4 0 0 0 0 0
/proc/20193/statm: 1552 734 411 1167 0 333 0

[startup+0.0496091 s]
/proc/loadavg: 1.92 1.98 1.99 4/176 20193
/proc/meminfo: memFree=30975800/32873648 swapFree=7112/7112
[pid=20193] ppid=20191 vsize=9280 CPUtime=0.04 cores=0,2,4,6
/proc/20193/stat : 20193 (toysat) R 20191 20193 18885 0 -1 4202496 1505 0 0 0 4 0 0 0 20 0 1 0 278828888 9502720 1426 33554432000 4194304 8973514 140733327629856 140733305437000 7841851 0 2 0 34082818 0 0 0 17 4 0 0 0 0 0
/proc/20193/statm: 2320 1426 418 1167 0 1101 0
Current children cumulated CPU time (s) 0.04
Current children cumulated vsize (KiB) 9280

[startup+0.10023 s]
/proc/loadavg: 1.92 1.98 1.99 4/176 20193
/proc/meminfo: memFree=30975800/32873648 swapFree=7112/7112
[pid=20193] ppid=20191 vsize=12352 CPUtime=0.09 cores=0,2,4,6
/proc/20193/stat : 20193 (toysat) R 20191 20193 18885 0 -1 4202496 2319 0 0 0 9 0 0 0 20 0 1 0 278828888 12648448 2240 33554432000 4194304 8973514 140733327629856 140733305437000 7937344 0 0 0 34082818 0 0 0 17 4 0 0 0 0 0
/proc/20193/statm: 3088 2241 418 1167 0 1869 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 12352

[startup+0.300209 s]
/proc/loadavg: 1.92 1.98 1.99 4/176 20193
/proc/meminfo: memFree=30975800/32873648 swapFree=7112/7112
[pid=20193] ppid=20191 vsize=18496 CPUtime=0.29 cores=0,2,4,6
/proc/20193/stat : 20193 (toysat) R 20191 20193 18885 0 -1 4202496 3912 0 0 0 29 0 0 0 20 0 1 0 278828888 18939904 3833 33554432000 4194304 8973514 140733327629856 140733305437000 4447736 0 0 0 34082818 0 0 0 17 4 0 0 0 0 0
/proc/20193/statm: 4624 3833 432 1167 0 3405 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 18496

[startup+0.700227 s]
/proc/loadavg: 1.92 1.98 1.99 4/176 20193
/proc/meminfo: memFree=30975800/32873648 swapFree=7112/7112
[pid=20193] ppid=20191 vsize=20544 CPUtime=0.69 cores=0,2,4,6
/proc/20193/stat : 20193 (toysat) R 20191 20193 18885 0 -1 4202496 4448 0 0 0 69 0 0 0 20 0 1 0 278828888 21037056 4369 33554432000 4194304 8973514 140733327629856 140733305437000 7937344 0 0 0 34082818 0 0 0 17 4 0 0 0 0 0
/proc/20193/statm: 5136 4369 456 1167 0 3917 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 20544

[startup+1.50029 s]
/proc/loadavg: 1.92 1.98 1.99 3/177 20194
/proc/meminfo: memFree=30959904/32873648 swapFree=7112/7112
[pid=20193] ppid=20191 vsize=20544 CPUtime=1.49 cores=0,2,4,6
/proc/20193/stat : 20193 (toysat) R 20191 20193 18885 0 -1 4202496 4448 0 0 0 149 0 0 0 20 0 1 0 278828888 21037056 4369 33554432000 4194304 8973514 140733327629856 140733327629120 4204368 0 2 0 34082818 0 0 0 17 4 0 0 0 0 0
/proc/20193/statm: 5136 4369 456 1167 0 3917 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 20544

[startup+3.10016 s]
/proc/loadavg: 1.92 1.98 1.99 3/177 20194
/proc/meminfo: memFree=30958788/32873648 swapFree=7112/7112
[pid=20193] ppid=20191 vsize=21568 CPUtime=3.09 cores=0,2,4,6
/proc/20193/stat : 20193 (toysat) R 20191 20193 18885 0 -1 4202496 4704 0 0 0 308 1 0 0 20 0 1 0 278828888 22085632 4625 33554432000 4194304 8973514 140733327629856 140733327629352 6572032 0 0 0 34082818 0 0 0 17 4 0 0 0 0 0
/proc/20193/statm: 5392 4625 456 1167 0 4173 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 21568

[startup+6.30022 s]
/proc/loadavg: 1.93 1.98 1.99 3/177 20194
/proc/meminfo: memFree=30957424/32873648 swapFree=7112/7112
[pid=20193] ppid=20191 vsize=23616 CPUtime=6.29 cores=0,2,4,6
/proc/20193/stat : 20193 (toysat) R 20191 20193 18885 0 -1 4202496 5216 0 0 0 628 1 0 0 20 0 1 0 278828888 24182784 5137 33554432000 4194304 8973514 140733327629856 140733327629120 7937344 0 0 0 34082818 0 0 0 17 4 0 0 0 0 0
/proc/20193/statm: 5904 5137 456 1167 0 4685 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 23616

[startup+12.7002 s]
/proc/loadavg: 1.93 1.98 1.99 3/177 20194
/proc/meminfo: memFree=30953244/32873648 swapFree=7112/7112
[pid=20193] ppid=20191 vsize=25664 CPUtime=12.69 cores=0,2,4,6
/proc/20193/stat : 20193 (toysat) R 20191 20193 18885 0 -1 4202496 5728 0 0 0 1266 3 0 0 20 0 1 0 278828888 26279936 5649 33554432000 4194304 8973514 140733327629856 140733327629120 7841851 0 2 0 34082818 0 0 0 17 4 0 0 0 0 0
/proc/20193/statm: 6416 5649 456 1167 0 5197 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 25664

[startup+25.5002 s]
/proc/loadavg: 1.95 1.98 1.99 3/177 20194
/proc/meminfo: memFree=30946136/32873648 swapFree=7112/7112
[pid=20193] ppid=20191 vsize=31808 CPUtime=25.49 cores=0,2,4,6
/proc/20193/stat : 20193 (toysat) R 20191 20193 18885 0 -1 4202496 7264 0 0 0 2543 6 0 0 20 0 1 0 278828888 32571392 7185 33554432000 4194304 8973514 140733327629856 140733327629352 7937344 0 0 0 34082818 0 0 0 17 4 0 0 0 0 0
/proc/20193/statm: 7952 7185 456 1167 0 6733 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 31808

[startup+51.1002 s]
/proc/loadavg: 1.96 1.98 1.99 3/177 20194
/proc/meminfo: memFree=30934852/32873648 swapFree=7112/7112
[pid=20193] ppid=20191 vsize=38976 CPUtime=51.09 cores=0,2,4,6
/proc/20193/stat : 20193 (toysat) R 20191 20193 18885 0 -1 4202496 9057 0 0 0 5096 13 0 0 20 0 1 0 278828888 39911424 8978 33554432000 4194304 8973514 140733327629856 140733327627776 7937344 0 0 0 34082818 0 0 0 17 4 0 0 0 0 0
/proc/20193/statm: 9744 8978 457 1167 0 8525 0
Current children cumulated CPU time (s) 51.09
Current children cumulated vsize (KiB) 38976

[startup+102.307 s]
/proc/loadavg: 1.98 1.98 1.99 3/177 20194
/proc/meminfo: memFree=30921088/32873648 swapFree=7112/7112
[pid=20193] ppid=20191 vsize=45120 CPUtime=102.28 cores=0,2,4,6
/proc/20193/stat : 20193 (toysat) R 20191 20193 18885 0 -1 4202496 10593 0 0 0 10203 25 0 0 20 0 1 0 278828888 46202880 10514 33554432000 4194304 8973514 140733327629856 140733327629352 4209168 0 2 0 34082818 0 0 0 17 4 0 0 0 0 0
/proc/20193/statm: 11280 10514 457 1167 0 10061 0
Current children cumulated CPU time (s) 102.28
Current children cumulated vsize (KiB) 45120

[startup+162.3 s]
/proc/loadavg: 1.99 1.98 1.99 3/177 20194
/proc/meminfo: memFree=30900344/32873648 swapFree=7112/7112
[pid=20193] ppid=20191 vsize=49216 CPUtime=162.26 cores=0,2,4,6
/proc/20193/stat : 20193 (toysat) R 20191 20193 18885 0 -1 4202496 11621 0 0 0 16188 38 0 0 20 0 1 0 278828888 50397184 11538 33554432000 4194304 8973514 140733327629856 140733327629120 4208816 0 2 0 34082818 0 0 0 17 4 0 0 0 0 0
/proc/20193/statm: 12304 11538 457 1167 0 11085 0
Current children cumulated CPU time (s) 162.26
Current children cumulated vsize (KiB) 49216

[startup+222.3 s]
/proc/loadavg: 1.99 1.98 1.99 3/178 20197
/proc/meminfo: memFree=30896184/32873648 swapFree=7112/7112
[pid=20193] ppid=20191 vsize=46144 CPUtime=222.24 cores=0,2,4,6
/proc/20193/stat : 20193 (toysat) R 20191 20193 18885 0 -1 4202496 11627 0 0 0 22175 49 0 0 20 0 1 0 278828888 47251456 10770 33554432000 4194304 8973514 140733327629856 140733327629120 7937344 0 0 0 34082818 0 0 0 17 4 0 0 0 0 0
/proc/20193/statm: 11536 10770 457 1167 0 10317 0
Current children cumulated CPU time (s) 222.24
Current children cumulated vsize (KiB) 46144

[startup+282.3 s]
/proc/loadavg: 1.99 1.98 1.99 3/178 20220
/proc/meminfo: memFree=30881732/32873648 swapFree=7112/7112
[pid=20193] ppid=20191 vsize=37952 CPUtime=282.23 cores=0,2,4,6
/proc/20193/stat : 20193 (toysat) R 20191 20193 18885 0 -1 4202496 11883 0 0 0 28161 62 0 0 20 0 1 0 278828888 38862848 8722 33554432000 4194304 8973514 140733327629856 140733327629352 7937344 0 0 0 34082818 0 0 0 17 4 0 0 0 0 0
/proc/20193/statm: 9488 8722 457 1167 0 8269 0
Current children cumulated CPU time (s) 282.23
Current children cumulated vsize (KiB) 37952

[startup+342.3 s]
/proc/loadavg: 2.03 2.00 2.00 3/177 20221
/proc/meminfo: memFree=30873400/32873648 swapFree=7112/7112
[pid=20193] ppid=20191 vsize=46144 CPUtime=342.23 cores=0,2,4,6
/proc/20193/stat : 20193 (toysat) R 20191 20193 18885 0 -1 4202496 13931 0 0 0 34148 75 0 0 20 0 1 0 278828888 47251456 10770 33554432000 4194304 8973514 140733327629856 140733327629120 6571969 0 0 0 34082818 0 0 0 17 4 0 0 0 0 0
/proc/20193/statm: 11536 10770 457 1167 0 10317 0
Current children cumulated CPU time (s) 342.23
Current children cumulated vsize (KiB) 46144

[startup+402.3 s]
/proc/loadavg: 2.01 2.00 2.00 3/177 20221
/proc/meminfo: memFree=30869392/32873648 swapFree=7112/7112
[pid=20193] ppid=20191 vsize=50240 CPUtime=402.21 cores=0,2,4,6
/proc/20193/stat : 20193 (toysat) R 20191 20193 18885 0 -1 4202496 14960 0 0 0 40134 87 0 0 20 0 1 0 278828888 51445760 11794 33554432000 4194304 8973514 140733327629856 140733327629352 4209168 0 2 0 34082818 0 0 0 17 4 0 0 0 0 0
/proc/20193/statm: 12560 11794 457 1167 0 11341 0
Current children cumulated CPU time (s) 402.21
Current children cumulated vsize (KiB) 50240

[startup+462.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 20221
/proc/meminfo: memFree=30869268/32873648 swapFree=7112/7112
[pid=20193] ppid=20191 vsize=50240 CPUtime=462.2 cores=0,2,4,6
/proc/20193/stat : 20193 (toysat) R 20191 20193 18885 0 -1 4202496 14960 0 0 0 46122 98 0 0 20 0 1 0 278828888 51445760 11794 33554432000 4194304 8973514 140733327629856 140733327629120 7841851 0 2 0 34082818 0 0 0 17 4 0 0 0 0 0
/proc/20193/statm: 12560 11794 457 1167 0 11341 0
Current children cumulated CPU time (s) 462.2
Current children cumulated vsize (KiB) 50240

[startup+522.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 20221
/proc/meminfo: memFree=30859844/32873648 swapFree=7112/7112
[pid=20193] ppid=20191 vsize=53312 CPUtime=522.19 cores=0,2,4,6
/proc/20193/stat : 20193 (toysat) R 20191 20193 18885 0 -1 4202496 15728 0 0 0 52110 109 0 0 20 0 1 0 278828888 54591488 12562 33554432000 4194304 8973514 140733327629856 140733327629120 7937344 0 0 0 34082818 0 0 0 17 4 0 0 0 0 0
/proc/20193/statm: 13328 12562 457 1167 0 12109 0
Current children cumulated CPU time (s) 522.19
Current children cumulated vsize (KiB) 53312

[startup+582.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 20221
/proc/meminfo: memFree=30844056/32873648 swapFree=7112/7112
[pid=20193] ppid=20191 vsize=54336 CPUtime=582.18 cores=0,2,4,6
/proc/20193/stat : 20193 (toysat) R 20191 20193 18885 0 -1 4202496 15987 0 0 0 58098 120 0 0 20 0 1 0 278828888 55640064 12818 33554432000 4194304 8973514 140733327629856 140733327629352 4209212 0 2 0 34082818 0 0 0 17 4 0 0 0 0 0
/proc/20193/statm: 13584 12818 457 1167 0 12365 0
Current children cumulated CPU time (s) 582.18
Current children cumulated vsize (KiB) 54336

[startup+642.3 s]

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

[startup+822.3 s]
/proc/loadavg: 2.08 2.04 2.00 3/178 20225
/proc/meminfo: memFree=30900884/32873648 swapFree=7112/7112
[pid=20193] ppid=20191 vsize=43072 CPUtime=822.14 cores=0,2,4,6
/proc/20193/stat : 20193 (toysat) R 20191 20193 18885 0 -1 4202496 19575 0 0 0 82044 170 0 0 20 0 1 0 278828888 44105728 10002 33554432000 4194304 8973514 140733327629856 140733327629120 4214375 0 2 0 34082818 0 0 0 17 4 0 0 0 0 0
/proc/20193/statm: 10768 10002 457 1167 0 9549 0
Current children cumulated CPU time (s) 822.14
Current children cumulated vsize (KiB) 43072

[startup+882.3 s]
/proc/loadavg: 2.19 2.08 2.02 3/177 20225
/proc/meminfo: memFree=30898936/32873648 swapFree=7112/7112
[pid=20193] ppid=20191 vsize=45120 CPUtime=882.13 cores=0,2,4,6
/proc/20193/stat : 20193 (toysat) R 20191 20193 18885 0 -1 4202496 20087 0 0 0 88028 185 0 0 20 0 1 0 278828888 46202880 10514 33554432000 4194304 8973514 140733327629856 140733327627840 7841851 0 2 0 34082818 0 0 0 17 4 0 0 0 0 0
/proc/20193/statm: 11280 10514 457 1167 0 10061 0
Current children cumulated CPU time (s) 882.13
Current children cumulated vsize (KiB) 45120

[startup+942.3 s]
/proc/loadavg: 2.07 2.06 2.01 3/177 20226
/proc/meminfo: memFree=30892984/32873648 swapFree=7112/7112
[pid=20193] ppid=20191 vsize=50240 CPUtime=942.13 cores=0,2,4,6
/proc/20193/stat : 20193 (toysat) R 20191 20193 18885 0 -1 4202496 21623 0 0 0 94013 200 0 0 20 0 1 0 278828888 51445760 11794 33554432000 4194304 8973514 140733327629856 140733327629352 4204359 0 2 0 34082818 0 0 0 17 4 0 0 0 0 0
/proc/20193/statm: 12560 11794 457 1167 0 11341 0
Current children cumulated CPU time (s) 942.13
Current children cumulated vsize (KiB) 50240

[startup+1002.3 s]
/proc/loadavg: 2.06 2.06 2.01 3/177 20226
/proc/meminfo: memFree=30886916/32873648 swapFree=7112/7112
[pid=20193] ppid=20191 vsize=46144 CPUtime=1002.11 cores=0,2,4,6
/proc/20193/stat : 20193 (toysat) R 20191 20193 18885 0 -1 4202496 21625 0 0 0 99999 212 0 0 20 0 1 0 278828888 47251456 10770 33554432000 4194304 8973514 140733327629856 140733327629352 4442335 0 0 0 34082818 0 0 0 17 4 0 0 0 0 0
/proc/20193/statm: 11536 10770 457 1167 0 10317 0
Current children cumulated CPU time (s) 1002.11
Current children cumulated vsize (KiB) 46144

[startup+1062.3 s]
/proc/loadavg: 2.02 2.05 2.00 3/177 20226
/proc/meminfo: memFree=30864224/32873648 swapFree=7112/7112
[pid=20193] ppid=20191 vsize=51264 CPUtime=1062.11 cores=0,2,4,6
/proc/20193/stat : 20193 (toysat) R 20191 20193 18885 0 -1 4202496 22905 0 0 0 105984 227 0 0 20 0 1 0 278828888 52494336 12050 33554432000 4194304 8973514 140733327629856 140733327629120 7841851 0 2 0 34082818 0 0 0 17 4 0 0 0 0 0
/proc/20193/statm: 12816 12050 457 1167 0 11597 0
Current children cumulated CPU time (s) 1062.11
Current children cumulated vsize (KiB) 51264

[startup+1122.3 s]
/proc/loadavg: 1.94 2.02 1.99 3/177 20265
/proc/meminfo: memFree=30923220/32873648 swapFree=7112/7112
[pid=20193] ppid=20191 vsize=52288 CPUtime=1122.1 cores=0,2,4,6
/proc/20193/stat : 20193 (toysat) R 20191 20193 18885 0 -1 4202496 23161 0 0 0 111970 240 0 0 20 0 1 0 278828888 53542912 12306 33554432000 4194304 8973514 140733327629856 140733327629120 4427820 0 0 0 34082818 0 0 0 17 4 0 0 0 0 0
/proc/20193/statm: 13072 12306 457 1167 0 11853 0
Current children cumulated CPU time (s) 1122.1
Current children cumulated vsize (KiB) 52288

[startup+1182.3 s]
/proc/loadavg: 2.02 2.03 2.00 3/177 20265
/proc/meminfo: memFree=30915676/32873648 swapFree=7112/7112
[pid=20193] ppid=20191 vsize=54336 CPUtime=1182.09 cores=0,2,4,6
/proc/20193/stat : 20193 (toysat) R 20191 20193 18885 0 -1 4202496 23930 0 0 0 117957 252 0 0 20 0 1 0 278828888 55640064 12818 33554432000 4194304 8973514 140733327629856 140733327629120 7841851 0 2 0 34082818 0 0 0 17 4 0 0 0 0 0
/proc/20193/statm: 13584 12818 457 1167 0 12365 0
Current children cumulated CPU time (s) 1182.09
Current children cumulated vsize (KiB) 54336

[startup+1242.3 s]
/proc/loadavg: 2.01 2.02 2.00 3/177 20266
/proc/meminfo: memFree=30913104/32873648 swapFree=7112/7112
[pid=20193] ppid=20191 vsize=54336 CPUtime=1242.08 cores=0,2,4,6
/proc/20193/stat : 20193 (toysat) R 20191 20193 18885 0 -1 4202496 24698 0 0 0 123943 265 0 0 20 0 1 0 278828888 55640064 12818 33554432000 4194304 8973514 140733327629856 140733327629352 7841851 0 2 0 34082818 0 0 0 17 4 0 0 0 0 0
/proc/20193/statm: 13584 12818 457 1167 0 12365 0
Current children cumulated CPU time (s) 1242.08
Current children cumulated vsize (KiB) 54336

[startup+1302.3 s]
/proc/loadavg: 2.00 2.02 2.00 3/177 20266
/proc/meminfo: memFree=30910536/32873648 swapFree=7112/7112
[pid=20193] ppid=20191 vsize=56384 CPUtime=1302.07 cores=0,2,4,6
/proc/20193/stat : 20193 (toysat) R 20191 20193 18885 0 -1 4202496 25210 0 0 0 129929 278 0 0 20 0 1 0 278828888 57737216 13330 33554432000 4194304 8973514 140733327629856 140733327627776 7841851 0 2 0 34082818 0 0 0 17 4 0 0 0 0 0
/proc/20193/statm: 14096 13330 457 1167 0 12877 0
Current children cumulated CPU time (s) 1302.07
Current children cumulated vsize (KiB) 56384

[startup+1362.3 s]
/proc/loadavg: 2.00 2.01 2.00 3/177 20266
/proc/meminfo: memFree=30912212/32873648 swapFree=7112/7112
[pid=20193] ppid=20191 vsize=54336 CPUtime=1362.06 cores=0,2,4,6
/proc/20193/stat : 20193 (toysat) R 20191 20193 18885 0 -1 4202496 25722 0 0 0 135913 293 0 0 20 0 1 0 278828888 55640064 12818 33554432000 4194304 8973514 140733327629856 140733327629120 7672546 0 2 0 34082818 0 0 0 17 4 0 0 0 0 0
/proc/20193/statm: 13584 12818 457 1167 0 12365 0
Current children cumulated CPU time (s) 1362.06
Current children cumulated vsize (KiB) 54336

[startup+1422.31 s]
/proc/loadavg: 2.00 2.01 2.00 3/178 20269
/proc/meminfo: memFree=30903740/32873648 swapFree=7112/7112
[pid=20193] ppid=20191 vsize=58432 CPUtime=1422.06 cores=0,2,4,6
/proc/20193/stat : 20193 (toysat) R 20191 20193 18885 0 -1 4202496 27770 0 0 0 141899 307 0 0 20 0 1 0 278828888 59834368 13842 33554432000 4194304 8973514 140733327629856 140733327629352 7841851 0 2 0 34082818 0 0 0 17 4 0 0 0 0 0
/proc/20193/statm: 14608 13842 457 1167 0 13389 0
Current children cumulated CPU time (s) 1422.06
Current children cumulated vsize (KiB) 58432

[startup+1482.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 20269
/proc/meminfo: memFree=30896176/32873648 swapFree=7112/7112
[pid=20193] ppid=20191 vsize=62528 CPUtime=1482.04 cores=0,2,4,6
/proc/20193/stat : 20193 (toysat) R 20191 20193 18885 0 -1 4202496 28799 0 0 0 147885 319 0 0 20 0 1 0 278828888 64028672 14866 33554432000 4194304 8973514 140733327629856 140733327629352 7716760 0 0 0 34082818 0 0 0 17 4 0 0 0 0 0
/proc/20193/statm: 15632 14866 457 1167 0 14413 0
Current children cumulated CPU time (s) 1482.04
Current children cumulated vsize (KiB) 62528

[startup+1542.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 20270
/proc/meminfo: memFree=30894192/32873648 swapFree=7112/7112
[pid=20193] ppid=20191 vsize=62528 CPUtime=1542.03 cores=0,2,4,6
/proc/20193/stat : 20193 (toysat) R 20191 20193 18885 0 -1 4202496 28799 0 0 0 153870 333 0 0 20 0 1 0 278828888 64028672 14866 33554432000 4194304 8973514 140733327629856 140733327629120 4209187 0 2 0 34082818 0 0 0 17 4 0 0 0 0 0
/proc/20193/statm: 15632 14866 457 1167 0 14413 0
Current children cumulated CPU time (s) 1542.03
Current children cumulated vsize (KiB) 62528

[startup+1602.3 s]
/proc/loadavg: 2.05 2.01 2.00 3/177 20270
/proc/meminfo: memFree=30891836/32873648 swapFree=7112/7112
[pid=20193] ppid=20191 vsize=62528 CPUtime=1602.02 cores=0,2,4,6
/proc/20193/stat : 20193 (toysat) R 20191 20193 18885 0 -1 4202496 28799 0 0 0 159858 344 0 0 20 0 1 0 278828888 64028672 14866 33554432000 4194304 8973514 140733327629856 140733327629120 7841851 0 2 0 34082818 0 0 0 17 4 0 0 0 0 0
/proc/20193/statm: 15632 14866 457 1167 0 14413 0
Current children cumulated CPU time (s) 1602.02
Current children cumulated vsize (KiB) 62528

[startup+1662.3 s]
/proc/loadavg: 2.02 2.01 2.00 3/177 20270
/proc/meminfo: memFree=30887896/32873648 swapFree=7112/7112
[pid=20193] ppid=20191 vsize=62528 CPUtime=1662.01 cores=0,2,4,6
/proc/20193/stat : 20193 (toysat) R 20191 20193 18885 0 -1 4202496 29311 0 0 0 165844 357 0 0 20 0 1 0 278828888 64028672 14866 33554432000 4194304 8973514 140733327629856 140733327629352 4379616 0 0 0 34082818 0 0 0 17 4 0 0 0 0 0
/proc/20193/statm: 15632 14866 457 1167 0 14413 0
Current children cumulated CPU time (s) 1662.01
Current children cumulated vsize (KiB) 62528

[startup+1722.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 20270
/proc/meminfo: memFree=30883680/32873648 swapFree=7112/7112
[pid=20193] ppid=20191 vsize=66624 CPUtime=1722 cores=0,2,4,6
/proc/20193/stat : 20193 (toysat) R 20191 20193 18885 0 -1 4202496 31103 0 0 0 171831 369 0 0 20 0 1 0 278828888 68222976 15890 33554432000 4194304 8973514 140733327629856 140733327629120 7937344 0 0 0 34082818 0 0 0 17 4 0 0 0 0 0
/proc/20193/statm: 16656 15890 457 1167 0 15437 0
Current children cumulated CPU time (s) 1722
Current children cumulated vsize (KiB) 66624

[startup+1782.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 20270
/proc/meminfo: memFree=30881208/32873648 swapFree=7112/7112
[pid=20193] ppid=20191 vsize=62528 CPUtime=1781.99 cores=0,2,4,6
/proc/20193/stat : 20193 (toysat) R 20191 20193 18885 0 -1 4202496 31103 0 0 0 177817 382 0 0 20 0 1 0 278828888 64028672 14866 33554432000 4194304 8973514 140733327629856 140733327629352 7841851 0 2 0 34082818 0 0 0 17 4 0 0 0 0 0
/proc/20193/statm: 15632 14866 457 1167 0 14413 0
Current children cumulated CPU time (s) 1781.99
Current children cumulated vsize (KiB) 62528



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1800.4 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 20270
/proc/meminfo: memFree=30881328/32873648 swapFree=7112/7112
[pid=20193] ppid=20191 vsize=62528 CPUtime=1800.09 cores=0,2,4,6
/proc/20193/stat : 20193 (toysat) R 20191 20193 18885 0 -1 4202496 31105 0 0 0 179622 387 0 0 20 0 1 0 278828888 64028672 14866 33554432000 4194304 8973514 140733327629856 140733327629352 7937344 0 0 0 34082818 0 0 0 17 4 0 0 0 0 0
/proc/20193/statm: 15632 14866 457 1167 0 14413 0
Current children cumulated CPU time (s) 1800.09
Current children cumulated vsize (KiB) 62528

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): 1796.22
CPU system time (s): 3.88041
CPU usage (%): 99.9831
Max. virtual memory (cumulated for all children) (KiB): 69696

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1796.22
system time used= 3.88041
maximum resident set size= 66632
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 31105
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= 1885

runsolver used 3.21051 second user time and 9.41557 second system time

The end

Launcher Data 

Begin job on node126 at 2012-05-27 15:57:10
IDJOB=3706943
IDBENCH=25004
IDSOLVER=2285
FILE ID=node126/3706943-1338127030
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/aksoy/area_delay/normalized-fir03_area_delay.opb
COMMAND LINE= HOME/toysat --pb BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-3706943-1338127030/watcher-3706943-1338127030 -o /tmp/evaluation-result-3706943-1338127030/solver-3706943-1338127030 -C 1800 -W 1900 -M 15500  HOME/toysat --pb HOME/instance-3706943-1338127030.opb

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

MD5SUM BENCH= 2b747b2caed6577698c928a521fdc3c2
RANDOM SEED=1565210425

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:        30976312 kB
Buffers:          294756 kB
Cached:           580392 kB
SwapCached:        17756 kB
Active:           936044 kB
Inactive:         149920 kB
Active(anon):     192600 kB
Inactive(anon):    20452 kB
Active(file):     743444 kB
Inactive(file):   129468 kB
Unevictable:        7112 kB
Mlocked:            7112 kB
SwapTotal:      67108856 kB
SwapFree:       67086932 kB
Dirty:              7748 kB
Writeback:             0 kB
AnonPages:        204760 kB
Mapped:            11496 kB
Shmem:                 0 kB
Slab:             668180 kB
SReclaimable:     112536 kB
SUnreclaim:       555644 kB
KernelStack:        1448 kB
PageTables:         4376 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83545680 kB
Committed_AS:     319472 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      346400 kB
VmallocChunk:   34341988052 kB
HardwareCorrupted:     0 kB
AnonHugePages:    190464 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= 71340 MiB
End job on node126 at 2012-05-27 16:27:12