Trace number 3725015

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-06-01? (TO) 1800.1 1800.41

General information on the benchmark

Namenormalized-PB06/OPT-SMALLINT/submitted-PB05/
manquinho/logic-synthesis/normalized-jac3.opb
MD5SUM05a03b946ede4da21fcf30fd621632f5
Bench CategoryOPT-SMALLINT (optimisation, small integers)
Best result obtained on this benchmarkOPT
Best value of the objective obtained on this benchmark15
Best CPU time to get the best result obtained on this benchmark0.294954
Has Objective FunctionYES
SatisfiableYES
(Un)Satisfiability was provedYES
Best value of the objective function 15
Optimality of the best value was proved YES
Number of variables1731
Total number of constraints1254
Number of constraints which are clauses1254
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 constraint2
Maximum length of a constraint694
Number of terms in the objective function 1731
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 1731
Number of bits of the sum of numbers in the objective function 11
Biggest number in a constraint 1
Number of bits of the biggest number in a constraint 1
Biggest sum of numbers in a constraint 1731
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.42	c 2012-06-02T12:35:34+0200
0.39/0.42	c arch = x86_64
0.39/0.42	c os = linux
0.39/0.42	c compiler = ghc 7.4
0.39/0.42	c packages:
0.39/0.42	c   OptDir-0.0.1
0.39/0.42	c   array-0.4.0.0
0.39/0.42	c   base-4.5.0.0
0.39/0.42	c   bytestring-0.9.2.1
0.39/0.42	c   containers-0.4.2.1
0.39/0.42	c   deepseq-1.3.0.0
0.39/0.42	c   mtl-2.1.1
0.39/0.42	c   old_locale-1.0.0.4
0.39/0.42	c   parse_dimacs-1.2
0.39/0.42	c   parsec-3.1.2
0.39/0.42	c   queue-0.1.2
0.39/0.42	c   stm-2.3
0.39/0.42	c   time-1.4
0.39/0.42	c command line = ["+RTS","-K1G","-RTS","--pb","HOME/instance-3725015-1338633334.opb"]
0.39/0.42	c #vars 1731
0.39/0.42	c #constraints 1254
0.39/0.42	c Solving starts ...
0.39/0.43	c solving time = 0.002s
0.39/0.43	c #decision = 1501
0.39/0.43	c #conflict = 1
0.39/0.43	c #restart = 0
0.39/0.43	o 29
0.39/0.43	c Solving starts ...
0.39/0.44	c solving time = 0.007s
0.39/0.44	c #decision = 2995
0.39/0.44	c #conflict = 2
0.39/0.44	c #restart = 0
0.39/0.44	o 28
0.39/0.44	c Solving starts ...
3.38/3.49	c solving time = 3.052s
3.38/3.49	c #decision = 29228
3.38/3.49	c #conflict = 985
3.38/3.49	c #restart = 4
3.58/3.61	o 27
3.58/3.61	c Solving starts ...
3.78/3.88	c learnt constraints deletion: 1080 -> 540
7.89/7.91	c learnt constraints deletion: 1500 -> 758
11.39/11.47	c learnt constraints deletion: 1691 -> 896
16.68/16.71	c learnt constraints deletion: 1864 -> 996
27.27/27.33	c learnt constraints deletion: 2184 -> 1156
33.08/33.11	c learnt constraints deletion: 2254 -> 1164
38.07/38.18	c learnt constraints deletion: 2248 -> 1151
44.77/44.88	c learnt constraints deletion: 2214 -> 1114
61.17/61.26	c learnt constraints deletion: 2478 -> 1242
66.77/66.82	c learnt constraints deletion: 2389 -> 1200
74.06/74.13	c learnt constraints deletion: 2419 -> 1216
81.67/81.76	c learnt constraints deletion: 2738 -> 1387
89.66/89.70	c learnt constraints deletion: 2760 -> 1405
100.66/100.71	c learnt constraints deletion: 3039 -> 1530
106.26/106.38	c learnt constraints deletion: 2682 -> 1356
120.97/121.04	c learnt constraints deletion: 3134 -> 1569
129.36/129.41	c learnt constraints deletion: 3002 -> 1513
139.75/139.83	c learnt constraints deletion: 3102 -> 1571
148.55/148.62	c learnt constraints deletion: 3079 -> 1550
158.26/158.31	c learnt constraints deletion: 3214 -> 1607
168.26/168.33	c learnt constraints deletion: 3371 -> 1692
181.36/181.41	c learnt constraints deletion: 3544 -> 1787
195.75/195.82	c learnt constraints deletion: 3394 -> 1707
206.76/206.87	c learnt constraints deletion: 3445 -> 1728
215.34/215.44	c learnt constraints deletion: 3386 -> 1713
222.45/222.51	c learnt constraints deletion: 3169 -> 1587
235.34/235.49	c learnt constraints deletion: 3521 -> 1763
241.33/241.40	c learnt constraints deletion: 3265 -> 1676
252.34/252.48	c learnt constraints deletion: 3723 -> 1863
260.65/260.73	c learnt constraints deletion: 3642 -> 1827
269.54/269.61	c learnt constraints deletion: 3482 -> 1741
283.74/283.88	c learnt constraints deletion: 3579 -> 1794
294.43/294.52	c learnt constraints deletion: 3738 -> 1875
303.33/303.41	c learnt constraints deletion: 3597 -> 1809
316.23/316.40	c learnt constraints deletion: 3805 -> 1916
327.03/327.11	c learnt constraints deletion: 3781 -> 1898
337.52/337.69	c learnt constraints deletion: 3689 -> 1850
346.52/346.68	c learnt constraints deletion: 3582 -> 1802
358.12/358.23	c learnt constraints deletion: 3942 -> 1972
370.72/370.80	c learnt constraints deletion: 4066 -> 2038
381.63/381.75	c learnt constraints deletion: 3992 -> 2003
395.92/396.02	c learnt constraints deletion: 3893 -> 1950
410.81/410.97	c learnt constraints deletion: 4016 -> 2018
423.02/423.19	c learnt constraints deletion: 4281 -> 2155
431.02/431.14	c learnt constraints deletion: 3923 -> 1963
447.52/447.66	c learnt constraints deletion: 3939 -> 1974
458.21/458.35	c learnt constraints deletion: 3938 -> 2000
469.70/469.85	c learnt constraints deletion: 4051 -> 2036
485.10/485.29	c learnt constraints deletion: 4020 -> 2012
497.40/497.58	c learnt constraints deletion: 3992 -> 1999
509.30/509.42	c learnt constraints deletion: 4081 -> 2048
520.90/521.07	c learnt constraints deletion: 4017 -> 2020
531.99/532.14	c learnt constraints deletion: 4095 -> 2063
544.59/544.71	c learnt constraints deletion: 4327 -> 2167
554.99/555.14	c learnt constraints deletion: 4424 -> 2221
565.30/565.44	c learnt constraints deletion: 4575 -> 2300
576.09/576.28	c learnt constraints deletion: 4436 -> 2232
587.39/587.53	c learnt constraints deletion: 4547 -> 2291
603.18/603.37	c learnt constraints deletion: 4465 -> 2255
612.28/612.44	c learnt constraints deletion: 4456 -> 2254
623.78/623.96	c learnt constraints deletion: 4570 -> 2315
636.58/636.75	c learnt constraints deletion: 4855 -> 2467
649.08/649.28	c learnt constraints deletion: 4903 -> 2505
662.87/663.05	c learnt constraints deletion: 4881 -> 2505
673.97/674.13	c learnt constraints deletion: 5002 -> 2575
685.26/685.45	c learnt constraints deletion: 4853 -> 2490
695.66/695.82	c learnt constraints deletion: 4861 -> 2497
705.16/705.38	c learnt constraints deletion: 4824 -> 2464
723.25/723.49	c learnt constraints deletion: 4895 -> 2495
739.45/739.60	c learnt constraints deletion: 4874 -> 2484
755.05/755.21	c learnt constraints deletion: 4853 -> 2474
768.35/768.56	c learnt constraints deletion: 4950 -> 2506
776.65/776.89	c learnt constraints deletion: 4665 -> 2339
798.94/799.15	c learnt constraints deletion: 4876 -> 2450
813.85/814.03	c learnt constraints deletion: 4991 -> 2516
826.84/827.07	c learnt constraints deletion: 4988 -> 2507
839.44/839.61	c learnt constraints deletion: 4809 -> 2415
858.43/858.61	c learnt constraints deletion: 4951 -> 2485
869.94/870.15	c learnt constraints deletion: 4656 -> 2333
886.34/886.58	c learnt constraints deletion: 4845 -> 2427
896.53/896.70	c learnt constraints deletion: 4887 -> 2456
913.73/913.96	c learnt constraints deletion: 4693 -> 2352
934.52/934.75	c learnt constraints deletion: 4823 -> 2421
947.92/948.16	c learnt constraints deletion: 4828 -> 2427
961.82/962.00	c learnt constraints deletion: 4939 -> 2476
978.42/978.60	c learnt constraints deletion: 4666 -> 2342
998.51/998.77	c learnt constraints deletion: 4794 -> 2411
1013.51/1013.73	c learnt constraints deletion: 4706 -> 2370
1027.01/1027.28	c learnt constraints deletion: 4878 -> 2459
1041.30/1041.57	c learnt constraints deletion: 4897 -> 2473
1057.11/1057.35	c learnt constraints deletion: 4980 -> 2518
1070.30/1070.52	c learnt constraints deletion: 4885 -> 2476
1083.60/1083.86	c learnt constraints deletion: 4985 -> 2534
1095.60/1095.86	c learnt constraints deletion: 5079 -> 2589
1115.79/1116.01	c learnt constraints deletion: 5107 -> 2611
1127.79/1128.03	c learnt constraints deletion: 5081 -> 2606
1141.19/1141.42	c learnt constraints deletion: 5130 -> 2640
1153.89/1154.10	c learnt constraints deletion: 5093 -> 2606
1167.09/1167.32	c learnt constraints deletion: 5519 -> 2760
1177.09/1177.39	c learnt constraints deletion: 5138 -> 2570
1190.28/1190.50	c learnt constraints deletion: 5116 -> 2563
1204.78/1205.01	c learnt constraints deletion: 5307 -> 2663
1220.38/1220.61	c learnt constraints deletion: 5370 -> 2698
1235.08/1235.38	c learnt constraints deletion: 5461 -> 2749
1247.97/1248.25	c learnt constraints deletion: 5324 -> 2684
1260.67/1260.92	c learnt constraints deletion: 5420 -> 2738
1273.27/1273.56	c learnt constraints deletion: 5701 -> 2895
1283.27/1283.57	c learnt constraints deletion: 5545 -> 2814
1296.07/1296.36	c learnt constraints deletion: 5804 -> 2947
1306.76/1307.02	c learnt constraints deletion: 5527 -> 2797
1317.87/1318.19	c learnt constraints deletion: 5338 -> 2700
1329.16/1329.47	c learnt constraints deletion: 5319 -> 2687
1340.06/1340.37	c learnt constraints deletion: 5386 -> 2717
1351.86/1352.10	c learnt constraints deletion: 5348 -> 2694
1363.96/1364.25	c learnt constraints deletion: 5307 -> 2672
1375.76/1376.02	c learnt constraints deletion: 5275 -> 2654
1389.35/1389.64	c learnt constraints deletion: 5330 -> 2679
1399.96/1400.30	c learnt constraints deletion: 5169 -> 2593
1413.26/1413.52	c learnt constraints deletion: 5368 -> 2686
1427.14/1427.49	c learnt constraints deletion: 5411 -> 2708
1441.84/1442.17	c learnt constraints deletion: 5236 -> 2625
1456.83/1457.12	c learnt constraints deletion: 5361 -> 2693
1469.14/1469.43	c learnt constraints deletion: 5271 -> 2637
1481.34/1481.61	c learnt constraints deletion: 5410 -> 2711
1494.64/1494.91	c learnt constraints deletion: 5335 -> 2670
1508.62/1508.94	c learnt constraints deletion: 5322 -> 2666
1527.93/1528.29	c learnt constraints deletion: 5432 -> 2724
1541.42/1541.79	c learnt constraints deletion: 5328 -> 2667
1552.82/1553.19	c learnt constraints deletion: 5110 -> 2559
1564.42/1564.72	c learnt constraints deletion: 5158 -> 2591
1584.41/1584.76	c learnt constraints deletion: 5261 -> 2635
1599.02/1599.35	c learnt constraints deletion: 5442 -> 2731
1613.71/1614.04	c learnt constraints deletion: 5267 -> 2648
1632.01/1632.31	c learnt constraints deletion: 5489 -> 2762
1644.90/1645.29	c learnt constraints deletion: 5541 -> 2792
1664.40/1664.70	c learnt constraints deletion: 5671 -> 2836
1678.50/1678.83	c learnt constraints deletion: 5632 -> 2820
1694.71/1695.07	c learnt constraints deletion: 5780 -> 2897
1710.90/1711.24	c learnt constraints deletion: 5804 -> 2913
1727.90/1728.21	c learnt constraints deletion: 5890 -> 2960
1744.20/1744.54	c learnt constraints deletion: 5826 -> 2933
1760.49/1760.85	c learnt constraints deletion: 5929 -> 2990
1776.49/1776.86	c learnt constraints deletion: 5919 -> 2988
1790.89/1791.23	c learnt constraints deletion: 5831 -> 2950

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-3725015-1338633334/watcher-3725015-1338633334 -o /tmp/evaluation-result-3725015-1338633334/solver-3725015-1338633334 -C 1800 -W 1900 -M 15500 HOME/toysat +RTS -K1G -RTS --pb HOME/instance-3725015-1338633334.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: 2.00 1.99 1.69 3/174 1128
/proc/meminfo: memFree=26129576/32873852 swapFree=6856/6856
[pid=1128] ppid=1126 vsize=6224 CPUtime=0 cores=1,3,5,7
/proc/1128/stat : 1128 (toysat) R 1126 1128 909 0 -1 4202496 785 0 0 0 0 0 0 0 20 0 1 0 329458815 6373376 706 33554432000 4194304 8989770 140733595208352 140735624860872 7953280 0 2 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/1128/statm: 1556 706 425 1171 0 333 0

[startup+0.0994181 s]
/proc/loadavg: 2.00 1.99 1.69 3/174 1128
/proc/meminfo: memFree=26129576/32873852 swapFree=6856/6856
[pid=1128] ppid=1126 vsize=12368 CPUtime=0.09 cores=1,3,5,7
/proc/1128/stat : 1128 (toysat) R 1126 1128 909 0 -1 4202496 2251 0 0 0 9 0 0 0 20 0 1 0 329458815 12664832 2173 33554432000 4194304 8989770 140733595208352 140733595207848 4209325 0 2 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/1128/statm: 3092 2180 431 1171 0 1869 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 12368

[startup+0.100324 s]
/proc/loadavg: 2.00 1.99 1.69 3/174 1128
/proc/meminfo: memFree=26129576/32873852 swapFree=6856/6856
[pid=1128] ppid=1126 vsize=13392 CPUtime=0.09 cores=1,3,5,7
/proc/1128/stat : 1128 (toysat) R 1126 1128 909 0 -1 4202496 2386 0 0 0 9 0 0 0 20 0 1 0 329458815 13713408 2307 33554432000 4194304 8989770 140733595208352 140733595207848 4209325 0 2 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/1128/statm: 3348 2312 431 1171 0 2125 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 13392

[startup+0.300261 s]
/proc/loadavg: 2.00 1.99 1.69 3/174 1128
/proc/meminfo: memFree=26129576/32873852 swapFree=6856/6856
[pid=1128] ppid=1126 vsize=13392 CPUtime=0.29 cores=1,3,5,7
/proc/1128/stat : 1128 (toysat) R 1126 1128 909 0 -1 4202496 2641 0 0 0 29 0 0 0 20 0 1 0 329458815 13713408 2562 33554432000 4194304 8989770 140733595208352 140733595207848 7953280 0 0 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/1128/statm: 3348 2562 442 1171 0 2125 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 13392

[startup+0.700265 s]
/proc/loadavg: 2.00 1.99 1.69 3/174 1128
/proc/meminfo: memFree=26129576/32873852 swapFree=6856/6856
[pid=1128] ppid=1126 vsize=13392 CPUtime=0.68 cores=1,3,5,7
/proc/1128/stat : 1128 (toysat) R 1126 1128 909 0 -1 4202496 2670 0 0 0 68 0 0 0 20 0 1 0 329458815 13713408 2591 33554432000 4194304 8989770 140733595208352 140733595207616 7953280 0 0 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/1128/statm: 3348 2591 471 1171 0 2125 0
Current children cumulated CPU time (s) 0.68
Current children cumulated vsize (KiB) 13392

[startup+1.50029 s]
/proc/loadavg: 2.00 1.99 1.69 3/175 1129
/proc/meminfo: memFree=26120136/32873852 swapFree=6856/6856
[pid=1128] ppid=1126 vsize=14416 CPUtime=1.49 cores=1,3,5,7
/proc/1128/stat : 1128 (toysat) R 1126 1128 909 0 -1 4202496 2926 0 0 0 148 1 0 0 20 0 1 0 329458815 14761984 2847 33554432000 4194304 8989770 140733595208352 140733595207616 7953280 0 0 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/1128/statm: 3604 2847 471 1171 0 2381 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 14416

[startup+3.10032 s]
/proc/loadavg: 2.00 1.99 1.69 3/175 1129
/proc/meminfo: memFree=26118260/32873852 swapFree=6856/6856
[pid=1128] ppid=1126 vsize=17488 CPUtime=3.08 cores=1,3,5,7
/proc/1128/stat : 1128 (toysat) R 1126 1128 909 0 -1 4202496 3694 0 0 0 307 1 0 0 20 0 1 0 329458815 17907712 3615 33554432000 4194304 8989770 140733595208352 140733595207848 4213859 0 2 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/1128/statm: 4372 3615 471 1171 0 3149 0
Current children cumulated CPU time (s) 3.08
Current children cumulated vsize (KiB) 17488

[startup+6.3003 s]
/proc/loadavg: 2.00 1.99 1.69 3/175 1129
/proc/meminfo: memFree=26112688/32873852 swapFree=6856/6856
[pid=1128] ppid=1126 vsize=21584 CPUtime=6.28 cores=1,3,5,7
/proc/1128/stat : 1128 (toysat) R 1126 1128 909 0 -1 4202496 4720 0 0 0 626 2 0 0 20 0 1 0 329458815 22102016 4641 33554432000 4194304 8989770 140733595208352 140733595207848 7857787 0 2 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/1128/statm: 5396 4641 473 1171 0 4173 0
Current children cumulated CPU time (s) 6.28
Current children cumulated vsize (KiB) 21584

[startup+12.7003 s]
/proc/loadavg: 2.00 1.99 1.69 3/175 1129
/proc/meminfo: memFree=26109240/32873852 swapFree=6856/6856
[pid=1128] ppid=1126 vsize=22608 CPUtime=12.68 cores=1,3,5,7
/proc/1128/stat : 1128 (toysat) R 1126 1128 909 0 -1 4202496 4976 0 0 0 1263 5 0 0 20 0 1 0 329458815 23150592 4897 33554432000 4194304 8989770 140733595208352 140733595207616 4213733 0 2 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/1128/statm: 5652 4897 473 1171 0 4429 0
Current children cumulated CPU time (s) 12.68
Current children cumulated vsize (KiB) 22608

[startup+25.5003 s]
/proc/loadavg: 2.00 1.99 1.69 3/175 1129
/proc/meminfo: memFree=26106256/32873852 swapFree=6856/6856
[pid=1128] ppid=1126 vsize=26704 CPUtime=25.48 cores=1,3,5,7
/proc/1128/stat : 1128 (toysat) R 1126 1128 909 0 -1 4202496 6003 0 0 0 2539 9 0 0 20 0 1 0 329458815 27344896 5921 33554432000 4194304 8989770 140733595208352 140733595207848 7953280 0 0 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/1128/statm: 6676 5921 473 1171 0 5453 0
Current children cumulated CPU time (s) 25.48
Current children cumulated vsize (KiB) 26704

[startup+51.1003 s]
/proc/loadavg: 2.00 1.99 1.70 3/175 1130
/proc/meminfo: memFree=26099176/32873852 swapFree=6856/6856
[pid=1128] ppid=1126 vsize=31824 CPUtime=51.07 cores=1,3,5,7
/proc/1128/stat : 1128 (toysat) R 1126 1128 909 0 -1 4202496 7287 0 0 0 5086 21 0 0 20 0 1 0 329458815 32587776 7201 33554432000 4194304 8989770 140733595208352 140733595207848 7953280 0 0 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/1128/statm: 7956 7201 473 1171 0 6733 0
Current children cumulated CPU time (s) 51.07
Current children cumulated vsize (KiB) 31824

[startup+102.307 s]
/proc/loadavg: 2.00 1.99 1.72 3/175 1130
/proc/meminfo: memFree=26090112/32873852 swapFree=6856/6856
[pid=1128] ppid=1126 vsize=37968 CPUtime=102.26 cores=1,3,5,7
/proc/1128/stat : 1128 (toysat) R 1126 1128 909 0 -1 4202496 8827 0 0 0 10188 38 0 0 20 0 1 0 329458815 38879232 8737 33554432000 4194304 8989770 140733595208352 140733595207616 7857787 0 2 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/1128/statm: 9492 8737 473 1171 0 8269 0
Current children cumulated CPU time (s) 102.26
Current children cumulated vsize (KiB) 37968

[startup+162.3 s]
/proc/loadavg: 2.00 1.99 1.73 3/175 1130
/proc/meminfo: memFree=26084336/32873852 swapFree=6856/6856
[pid=1128] ppid=1126 vsize=37968 CPUtime=162.25 cores=1,3,5,7
/proc/1128/stat : 1128 (toysat) R 1126 1128 909 0 -1 4202496 9596 0 0 0 16165 60 0 0 20 0 1 0 329458815 38879232 8737 33554432000 4194304 8989770 140733595208352 140733595207616 7857787 0 2 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/1128/statm: 9492 8737 473 1171 0 8269 0
Current children cumulated CPU time (s) 162.25
Current children cumulated vsize (KiB) 37968

[startup+222.3 s]
/proc/loadavg: 2.08 2.00 1.75 3/175 1168
/proc/meminfo: memFree=25844708/32873852 swapFree=6856/6856
[pid=1128] ppid=1126 vsize=48208 CPUtime=222.25 cores=1,3,5,7
/proc/1128/stat : 1128 (toysat) R 1126 1128 909 0 -1 4202496 12157 0 0 0 22143 82 0 0 20 0 1 0 329458815 49364992 11297 33554432000 4194304 8989770 140733595208352 140733595207848 7953280 0 0 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/1128/statm: 12052 11297 473 1171 0 10829 0
Current children cumulated CPU time (s) 222.25
Current children cumulated vsize (KiB) 48208

[startup+282.3 s]
/proc/loadavg: 2.03 2.00 1.76 3/176 1171
/proc/meminfo: memFree=25726372/32873852 swapFree=6856/6856
[pid=1128] ppid=1126 vsize=42064 CPUtime=282.23 cores=1,3,5,7
/proc/1128/stat : 1128 (toysat) R 1126 1128 909 0 -1 4202496 13693 0 0 0 28121 102 0 0 20 0 1 0 329458815 43073536 9761 33554432000 4194304 8989770 140733595208352 140733595207848 7953280 0 0 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/1128/statm: 10516 9761 473 1171 0 9293 0
Current children cumulated CPU time (s) 282.23
Current children cumulated vsize (KiB) 42064

[startup+342.3 s]
/proc/loadavg: 2.05 2.01 1.78 3/174 1171
/proc/meminfo: memFree=25627836/32873852 swapFree=6856/6856
[pid=1128] ppid=1126 vsize=48208 CPUtime=342.22 cores=1,3,5,7
/proc/1128/stat : 1128 (toysat) R 1126 1128 909 0 -1 4202496 15229 0 0 0 34098 124 0 0 20 0 1 0 329458815 49364992 11297 33554432000 4194304 8989770 140733595208352 140733595207848 7953280 0 0 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/1128/statm: 12052 11297 473 1171 0 10829 0
Current children cumulated CPU time (s) 342.22
Current children cumulated vsize (KiB) 48208

[startup+402.3 s]
/proc/loadavg: 2.02 2.01 1.79 3/175 1172
/proc/meminfo: memFree=25563564/32873852 swapFree=6856/6856
[pid=1128] ppid=1126 vsize=42064 CPUtime=402.21 cores=1,3,5,7
/proc/1128/stat : 1128 (toysat) R 1126 1128 909 0 -1 4202496 15229 0 0 0 40075 146 0 0 20 0 1 0 329458815 43073536 9761 33554432000 4194304 8989770 140733595208352 140733595207848 7857787 0 2 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/1128/statm: 10516 9761 473 1171 0 9293 0
Current children cumulated CPU time (s) 402.21
Current children cumulated vsize (KiB) 42064

[startup+462.3 s]
/proc/loadavg: 2.00 2.00 1.80 3/175 1172
/proc/meminfo: memFree=25499484/32873852 swapFree=6856/6856
[pid=1128] ppid=1126 vsize=43088 CPUtime=462.21 cores=1,3,5,7
/proc/1128/stat : 1128 (toysat) R 1126 1128 909 0 -1 4202496 15741 0 0 0 46053 168 0 0 20 0 1 0 329458815 44122112 10017 33554432000 4194304 8989770 140733595208352 140733595207616 7953280 0 0 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/1128/statm: 10772 10017 473 1171 0 9549 0
Current children cumulated CPU time (s) 462.21
Current children cumulated vsize (KiB) 43088

[startup+522.3 s]
/proc/loadavg: 2.00 2.00 1.81 3/175 1172
/proc/meminfo: memFree=25438876/32873852 swapFree=6856/6856
[pid=1128] ppid=1126 vsize=46160 CPUtime=522.19 cores=1,3,5,7
/proc/1128/stat : 1128 (toysat) R 1126 1128 909 0 -1 4202496 17021 0 0 0 52030 189 0 0 20 0 1 0 329458815 47267840 10785 33554432000 4194304 8989770 140733595208352 140733595207848 7953280 0 0 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/1128/statm: 11540 10785 473 1171 0 10317 0
Current children cumulated CPU time (s) 522.19
Current children cumulated vsize (KiB) 46160

[startup+582.3 s]
/proc/loadavg: 2.00 2.00 1.82 3/175 1172
/proc/meminfo: memFree=25389180/32873852 swapFree=6856/6856
[pid=1128] ppid=1126 vsize=45136 CPUtime=582.18 cores=1,3,5,7
/proc/1128/stat : 1128 (toysat) R 1126 1128 909 0 -1 4202496 17789 0 0 0 58010 208 0 0 20 0 1 0 329458815 46219264 10529 33554432000 4194304 8989770 140733595208352 140733595207848 7953280 0 0 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/1128/statm: 11284 10529 473 1171 0 10061 0
Current children cumulated CPU time (s) 582.18
Current children cumulated vsize (KiB) 45136

[startup+642.3 s]

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

[startup+822.3 s]
/proc/loadavg: 2.01 2.01 1.85 3/175 1173
/proc/meminfo: memFree=25204476/32873852 swapFree=6856/6856
[pid=1128] ppid=1126 vsize=50256 CPUtime=822.14 cores=1,3,5,7
/proc/1128/stat : 1128 (toysat) R 1126 1128 909 0 -1 4202496 27025 0 0 0 81915 299 0 0 20 0 1 0 329458815 51462144 11809 33554432000 4194304 8989770 140733595208352 140733595207848 7953280 0 0 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/1128/statm: 12564 11809 473 1171 0 11341 0
Current children cumulated CPU time (s) 822.14
Current children cumulated vsize (KiB) 50256

[startup+882.3 s]
/proc/loadavg: 2.00 2.00 1.86 3/176 1176
/proc/meminfo: memFree=25165656/32873852 swapFree=6856/6856
[pid=1128] ppid=1126 vsize=50256 CPUtime=882.13 cores=1,3,5,7
/proc/1128/stat : 1128 (toysat) R 1126 1128 909 0 -1 4202496 27025 0 0 0 87893 320 0 0 20 0 1 0 329458815 51462144 11809 33554432000 4194304 8989770 140733595208352 140733595207616 7953280 0 0 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/1128/statm: 12564 11809 473 1171 0 11341 0
Current children cumulated CPU time (s) 882.13
Current children cumulated vsize (KiB) 50256

[startup+942.3 s]
/proc/loadavg: 2.00 2.00 1.86 3/175 1176
/proc/meminfo: memFree=25122884/32873852 swapFree=6856/6856
[pid=1128] ppid=1126 vsize=51280 CPUtime=942.12 cores=1,3,5,7
/proc/1128/stat : 1128 (toysat) R 1126 1128 909 0 -1 4202496 28305 0 0 0 93867 345 0 0 20 0 1 0 329458815 52510720 12065 33554432000 4194304 8989770 140733595208352 140733595207616 7857787 0 2 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/1128/statm: 12820 12065 473 1171 0 11597 0
Current children cumulated CPU time (s) 942.12
Current children cumulated vsize (KiB) 51280

[startup+1002.3 s]
/proc/loadavg: 2.00 2.00 1.87 3/175 1177
/proc/meminfo: memFree=25089528/32873852 swapFree=6856/6856
[pid=1128] ppid=1126 vsize=54352 CPUtime=1002.11 cores=1,3,5,7
/proc/1128/stat : 1128 (toysat) R 1126 1128 909 0 -1 4202496 29073 0 0 0 99845 366 0 0 20 0 1 0 329458815 55656448 12833 33554432000 4194304 8989770 140733595208352 140733595207848 7953280 0 0 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/1128/statm: 13588 12833 473 1171 0 12365 0
Current children cumulated CPU time (s) 1002.11
Current children cumulated vsize (KiB) 54352

[startup+1062.3 s]
/proc/loadavg: 2.00 2.00 1.87 3/175 1177
/proc/meminfo: memFree=25058156/32873852 swapFree=6856/6856
[pid=1128] ppid=1126 vsize=58448 CPUtime=1062.1 cores=1,3,5,7
/proc/1128/stat : 1128 (toysat) R 1126 1128 909 0 -1 4202496 30097 0 0 0 105821 389 0 0 20 0 1 0 329458815 59850752 13857 33554432000 4194304 8989770 140733595208352 140733595207616 7953280 0 0 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/1128/statm: 14612 13857 473 1171 0 13389 0
Current children cumulated CPU time (s) 1062.1
Current children cumulated vsize (KiB) 58448

[startup+1122.3 s]
/proc/loadavg: 2.00 2.00 1.88 3/175 1177
/proc/meminfo: memFree=25013640/32873852 swapFree=6856/6856
[pid=1128] ppid=1126 vsize=71760 CPUtime=1122.09 cores=1,3,5,7
/proc/1128/stat : 1128 (toysat) R 1126 1128 909 0 -1 4202496 33425 0 0 0 111799 410 0 0 20 0 1 0 329458815 73482240 17185 33554432000 4194304 8989770 140733595208352 140733595207848 4213723 0 2 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/1128/statm: 17940 17185 473 1171 0 16717 0
Current children cumulated CPU time (s) 1122.09
Current children cumulated vsize (KiB) 71760

[startup+1182.3 s]
/proc/loadavg: 2.00 2.00 1.89 3/175 1177
/proc/meminfo: memFree=24991872/32873852 swapFree=6856/6856
[pid=1128] ppid=1126 vsize=62544 CPUtime=1182.09 cores=1,3,5,7
/proc/1128/stat : 1128 (toysat) R 1126 1128 909 0 -1 4202496 34961 0 0 0 117777 432 0 0 20 0 1 0 329458815 64045056 14881 33554432000 4194304 8989770 140733595208352 140733595207616 7857787 0 2 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/1128/statm: 15636 14881 473 1171 0 14413 0
Current children cumulated CPU time (s) 1182.09
Current children cumulated vsize (KiB) 62544

[startup+1242.3 s]
/proc/loadavg: 2.00 2.00 1.89 3/175 1177
/proc/meminfo: memFree=24959660/32873852 swapFree=6856/6856
[pid=1128] ppid=1126 vsize=62544 CPUtime=1242.08 cores=1,3,5,7
/proc/1128/stat : 1128 (toysat) R 1126 1128 909 0 -1 4202496 34961 0 0 0 123757 451 0 0 20 0 1 0 329458815 64045056 14881 33554432000 4194304 8989770 140733595208352 140733595207616 7953280 0 0 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/1128/statm: 15636 14881 473 1171 0 14413 0
Current children cumulated CPU time (s) 1242.08
Current children cumulated vsize (KiB) 62544

[startup+1302.3 s]
/proc/loadavg: 2.00 2.00 1.90 3/175 1178
/proc/meminfo: memFree=24924100/32873852 swapFree=6856/6856
[pid=1128] ppid=1126 vsize=66640 CPUtime=1302.07 cores=1,3,5,7
/proc/1128/stat : 1128 (toysat) R 1126 1128 909 0 -1 4202496 35985 0 0 0 129736 471 0 0 20 0 1 0 329458815 68239360 15905 33554432000 4194304 8989770 140733595208352 140733595207848 7953280 0 0 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/1128/statm: 16660 15905 473 1171 0 15437 0
Current children cumulated CPU time (s) 1302.07
Current children cumulated vsize (KiB) 66640

[startup+1362.3 s]
/proc/loadavg: 2.00 2.00 1.90 3/175 1178
/proc/meminfo: memFree=24898152/32873852 swapFree=6856/6856
[pid=1128] ppid=1126 vsize=58448 CPUtime=1362.06 cores=1,3,5,7
/proc/1128/stat : 1128 (toysat) R 1126 1128 909 0 -1 4202496 35985 0 0 0 135713 493 0 0 20 0 1 0 329458815 59850752 13857 33554432000 4194304 8989770 140733595208352 140733595207848 7953280 0 0 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/1128/statm: 14612 13857 473 1171 0 13389 0
Current children cumulated CPU time (s) 1362.06
Current children cumulated vsize (KiB) 58448

[startup+1422.31 s]
/proc/loadavg: 2.00 2.00 1.91 3/175 1178
/proc/meminfo: memFree=24873080/32873852 swapFree=6856/6856
[pid=1128] ppid=1126 vsize=50256 CPUtime=1422.05 cores=1,3,5,7
/proc/1128/stat : 1128 (toysat) R 1126 1128 909 0 -1 4202496 35990 0 0 0 141692 513 0 0 20 0 1 0 329458815 51462144 11809 33554432000 4194304 8989770 140733595208352 140733595207616 7857787 0 2 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/1128/statm: 12564 11809 473 1171 0 11341 0
Current children cumulated CPU time (s) 1422.05
Current children cumulated vsize (KiB) 50256

[startup+1482.3 s]
/proc/loadavg: 2.00 2.00 1.91 3/176 1181
/proc/meminfo: memFree=24831640/32873852 swapFree=6856/6856
[pid=1128] ppid=1126 vsize=54352 CPUtime=1482.03 cores=1,3,5,7
/proc/1128/stat : 1128 (toysat) R 1126 1128 909 0 -1 4202496 38043 0 0 0 147670 533 0 0 20 0 1 0 329458815 55656448 12833 33554432000 4194304 8989770 140733595208352 140733595207848 7953280 0 0 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/1128/statm: 13588 12833 473 1171 0 12365 0
Current children cumulated CPU time (s) 1482.03
Current children cumulated vsize (KiB) 54352

[startup+1542.3 s]
/proc/loadavg: 2.00 2.00 1.91 3/176 1204
/proc/meminfo: memFree=24813172/32873852 swapFree=6856/6856
[pid=1128] ppid=1126 vsize=56400 CPUtime=1542.02 cores=1,3,5,7
/proc/1128/stat : 1128 (toysat) R 1126 1128 909 0 -1 4202496 38555 0 0 0 153647 555 0 0 20 0 1 0 329458815 57753600 13345 33554432000 4194304 8989770 140733595208352 140733595207848 7953280 0 0 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/1128/statm: 14100 13345 473 1171 0 12877 0
Current children cumulated CPU time (s) 1542.02
Current children cumulated vsize (KiB) 56400

[startup+1602.3 s]
/proc/loadavg: 2.00 2.00 1.91 3/175 1205
/proc/meminfo: memFree=24779204/32873852 swapFree=6856/6856
[pid=1128] ppid=1126 vsize=54352 CPUtime=1602.01 cores=1,3,5,7
/proc/1128/stat : 1128 (toysat) R 1126 1128 909 0 -1 4202496 38555 0 0 0 159624 577 0 0 20 0 1 0 329458815 55656448 12833 33554432000 4194304 8989770 140733595208352 140733595207848 7953280 0 0 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/1128/statm: 13588 12833 473 1171 0 12365 0
Current children cumulated CPU time (s) 1602.01
Current children cumulated vsize (KiB) 54352

[startup+1662.3 s]
/proc/loadavg: 2.00 2.00 1.91 3/175 1205
/proc/meminfo: memFree=24755272/32873852 swapFree=6856/6856
[pid=1128] ppid=1126 vsize=61520 CPUtime=1662 cores=1,3,5,7
/proc/1128/stat : 1128 (toysat) R 1126 1128 909 0 -1 4202496 40347 0 0 0 165603 597 0 0 20 0 1 0 329458815 62996480 14625 33554432000 4194304 8989770 140733595208352 140733595207616 7953280 0 0 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/1128/statm: 15380 14625 473 1171 0 14157 0
Current children cumulated CPU time (s) 1662
Current children cumulated vsize (KiB) 61520

[startup+1722.3 s]
/proc/loadavg: 2.00 2.00 1.91 3/175 1205
/proc/meminfo: memFree=24718444/32873852 swapFree=6856/6856
[pid=1128] ppid=1126 vsize=61520 CPUtime=1721.99 cores=1,3,5,7
/proc/1128/stat : 1128 (toysat) R 1126 1128 909 0 -1 4202496 40347 0 0 0 171579 620 0 0 20 0 1 0 329458815 62996480 14625 33554432000 4194304 8989770 140733595208352 140733595207456 4209212 0 2 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/1128/statm: 15380 14625 473 1171 0 14157 0
Current children cumulated CPU time (s) 1721.99
Current children cumulated vsize (KiB) 61520

[startup+1782.3 s]
/proc/loadavg: 2.03 2.01 1.91 3/175 1205
/proc/meminfo: memFree=24685584/32873852 swapFree=6856/6856
[pid=1128] ppid=1126 vsize=74832 CPUtime=1781.99 cores=1,3,5,7
/proc/1128/stat : 1128 (toysat) R 1126 1128 909 0 -1 4202496 43675 0 0 0 177554 645 0 0 20 0 1 0 329458815 76627968 17953 33554432000 4194304 8989770 140733595208352 140733595207848 4213743 0 2 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/1128/statm: 18708 17953 473 1171 0 17485 0
Current children cumulated CPU time (s) 1781.99
Current children cumulated vsize (KiB) 74832



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1800.4 s]
/proc/loadavg: 2.02 2.01 1.91 3/175 1205
/proc/meminfo: memFree=24663388/32873852 swapFree=6856/6856
[pid=1128] ppid=1126 vsize=77904 CPUtime=1800.08 cores=1,3,5,7
/proc/1128/stat : 1128 (toysat) R 1126 1128 909 0 -1 4202496 44443 0 0 0 179358 650 0 0 20 0 1 0 329458815 79773696 18721 33554432000 4194304 8989770 140733595208352 140733595207848 7953280 0 0 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/1128/statm: 19476 18721 473 1171 0 18253 0
Current children cumulated CPU time (s) 1800.08
Current children cumulated vsize (KiB) 77904

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): 1793.59
CPU system time (s): 6.51001
CPU usage (%): 99.9828
Max. virtual memory (cumulated for all children) (KiB): 82000

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1793.59
system time used= 6.51001
maximum resident set size= 78980
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 44443
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= 46
involuntary context switches= 1849

runsolver used 3.41048 second user time and 10.1045 second system time

The end

Launcher Data 

Begin job on node129 at 2012-06-02 12:35:34
IDJOB=3725015
IDBENCH=2045
IDSOLVER=2308
FILE ID=node129/3725015-1338633334
RUNJOBID= node129-1338631508-926
PBS_JOBID= 14636451
Free space on /tmp= 70492 MiB

SOLVER NAME= toysat 2012-06-01
BENCH NAME= PB06//final/normalized-PB06/OPT-SMALLINT/submitted-PB05/manquinho/logic-synthesis/normalized-jac3.opb
COMMAND LINE= HOME/toysat +RTS -K1G -RTS --pb BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-3725015-1338633334/watcher-3725015-1338633334 -o /tmp/evaluation-result-3725015-1338633334/solver-3725015-1338633334 -C 1800 -W 1900 -M 15500  HOME/toysat +RTS -K1G -RTS --pb HOME/instance-3725015-1338633334.opb

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

MD5SUM BENCH= 05a03b946ede4da21fcf30fd621632f5
RANDOM SEED=1294690748

node129.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.957
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	: 5333.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.957
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.957
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.91
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.957
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.957
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		: 2666.957
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.92
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.957
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.957
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:       32873852 kB
MemFree:        26129956 kB
Buffers:          445004 kB
Cached:          5401296 kB
SwapCached:            0 kB
Active:          2451880 kB
Inactive:        3417652 kB
Active(anon):      14940 kB
Inactive(anon):    10760 kB
Active(file):    2436940 kB
Inactive(file):  3406892 kB
Unevictable:        6856 kB
Mlocked:            6856 kB
SwapTotal:      67108856 kB
SwapFree:       67108856 kB
Dirty:             14928 kB
Writeback:             0 kB
AnonPages:         29616 kB
Mapped:            16132 kB
Shmem:               204 kB
Slab:             738140 kB
SReclaimable:     180192 kB
SUnreclaim:       557948 kB
KernelStack:        1440 kB
PageTables:         3636 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83545780 kB
Committed_AS:     136080 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      346360 kB
VmallocChunk:   34341988004 kB
HardwareCorrupted:     0 kB
AnonHugePages:         0 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
DirectMap4k:        7872 kB
DirectMap2M:    33538048 kB

Free space on /tmp at the end= 70484 MiB
End job on node129 at 2012-06-02 13:05:36