Trace number 3706642

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.09 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-05-27T12:58:23+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 = ["--pb","HOME/instance-3706642-1338116303.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.42	c solving time = 0.002s
0.39/0.42	c #decision = 1501
0.39/0.42	c #conflict = 1
0.39/0.42	c #restart = 0
0.39/0.42	o 29
0.39/0.43	c Solving starts ...
0.39/0.43	c solving time = 0.006s
0.39/0.43	c #decision = 2995
0.39/0.43	c #conflict = 2
0.39/0.43	c #restart = 0
0.39/0.43	o 28
0.39/0.44	c Solving starts ...
3.38/3.45	c solving time = 3.013s
3.38/3.45	c #decision = 29228
3.38/3.45	c #conflict = 985
3.38/3.45	c #restart = 4
3.38/3.45	o 27
3.38/3.45	c Solving starts ...
3.78/3.82	c learnt constraints deletion: 1080 -> 540
7.69/7.78	c learnt constraints deletion: 1500 -> 758
11.18/11.26	c learnt constraints deletion: 1691 -> 896
16.28/16.35	c learnt constraints deletion: 1864 -> 996
26.68/26.76	c learnt constraints deletion: 2184 -> 1156
32.27/32.38	c learnt constraints deletion: 2254 -> 1164
37.28/37.34	c learnt constraints deletion: 2248 -> 1151
43.77/43.85	c learnt constraints deletion: 2214 -> 1114
59.97/60.00	c learnt constraints deletion: 2478 -> 1242
65.37/65.43	c learnt constraints deletion: 2389 -> 1200
72.47/72.53	c learnt constraints deletion: 2419 -> 1216
79.86/79.97	c learnt constraints deletion: 2738 -> 1387
87.57/87.69	c learnt constraints deletion: 2760 -> 1405
98.36/98.46	c learnt constraints deletion: 3039 -> 1530
103.86/103.97	c learnt constraints deletion: 2682 -> 1356
118.26/118.34	c learnt constraints deletion: 3134 -> 1569
126.36/126.48	c learnt constraints deletion: 3002 -> 1513
136.55/136.63	c learnt constraints deletion: 3102 -> 1571
145.06/145.18	c learnt constraints deletion: 3079 -> 1550
154.55/154.61	c learnt constraints deletion: 3214 -> 1607
164.25/164.34	c learnt constraints deletion: 3371 -> 1692
176.95/177.07	c learnt constraints deletion: 3544 -> 1787
191.04/191.16	c learnt constraints deletion: 3394 -> 1707
201.84/201.93	c learnt constraints deletion: 3445 -> 1728
210.14/210.26	c learnt constraints deletion: 3386 -> 1713
217.04/217.11	c learnt constraints deletion: 3169 -> 1587
229.54/229.65	c learnt constraints deletion: 3521 -> 1763
235.24/235.34	c learnt constraints deletion: 3265 -> 1676
245.93/246.02	c learnt constraints deletion: 3723 -> 1863
253.83/253.99	c learnt constraints deletion: 3642 -> 1827
262.53/262.60	c learnt constraints deletion: 3482 -> 1741
276.43/276.51	c learnt constraints deletion: 3579 -> 1794
286.72/286.82	c learnt constraints deletion: 3738 -> 1875
295.23/295.39	c learnt constraints deletion: 3597 -> 1809
307.83/307.94	c learnt constraints deletion: 3805 -> 1916
318.11/318.23	c learnt constraints deletion: 3781 -> 1898
328.32/328.42	c learnt constraints deletion: 3689 -> 1850
336.91/337.08	c learnt constraints deletion: 3582 -> 1802
348.02/348.15	c learnt constraints deletion: 3942 -> 1972
360.11/360.23	c learnt constraints deletion: 4066 -> 2038
370.61/370.76	c learnt constraints deletion: 3992 -> 2003
384.31/384.47	c learnt constraints deletion: 3893 -> 1950
398.70/398.84	c learnt constraints deletion: 4016 -> 2018
410.41/410.58	c learnt constraints deletion: 4281 -> 2155
418.00/418.17	c learnt constraints deletion: 3923 -> 1963
433.90/434.00	c learnt constraints deletion: 3939 -> 1974
444.10/444.24	c learnt constraints deletion: 3938 -> 2000
455.10/455.25	c learnt constraints deletion: 4051 -> 2036
469.90/470.08	c learnt constraints deletion: 4020 -> 2012
481.80/481.90	c learnt constraints deletion: 3992 -> 1999
493.09/493.23	c learnt constraints deletion: 4081 -> 2048
504.19/504.37	c learnt constraints deletion: 4017 -> 2020
514.79/514.96	c learnt constraints deletion: 4095 -> 2063
526.79/526.96	c learnt constraints deletion: 4327 -> 2167
536.69/536.87	c learnt constraints deletion: 4424 -> 2221
546.49/546.70	c learnt constraints deletion: 4575 -> 2300
556.88/557.03	c learnt constraints deletion: 4436 -> 2232
567.58/567.76	c learnt constraints deletion: 4547 -> 2291
582.79/582.98	c learnt constraints deletion: 4465 -> 2255
591.47/591.60	c learnt constraints deletion: 4456 -> 2254
602.48/602.62	c learnt constraints deletion: 4570 -> 2315
614.68/614.83	c learnt constraints deletion: 4855 -> 2467
626.67/626.87	c learnt constraints deletion: 4903 -> 2505
640.07/640.27	c learnt constraints deletion: 4881 -> 2505
650.86/651.09	c learnt constraints deletion: 5002 -> 2575
661.96/662.19	c learnt constraints deletion: 4853 -> 2490
672.16/672.33	c learnt constraints deletion: 4861 -> 2497
681.56/681.70	c learnt constraints deletion: 4824 -> 2464
699.36/699.52	c learnt constraints deletion: 4895 -> 2495
715.05/715.29	c learnt constraints deletion: 4874 -> 2484
730.35/730.58	c learnt constraints deletion: 4853 -> 2474
743.35/743.58	c learnt constraints deletion: 4950 -> 2506
751.44/751.66	c learnt constraints deletion: 4665 -> 2339
773.34/773.55	c learnt constraints deletion: 4876 -> 2450
787.73/787.99	c learnt constraints deletion: 4991 -> 2516
800.44/800.64	c learnt constraints deletion: 4988 -> 2507
812.54/812.76	c learnt constraints deletion: 4809 -> 2415
831.03/831.23	c learnt constraints deletion: 4951 -> 2485
842.23/842.47	c learnt constraints deletion: 4656 -> 2333
858.22/858.46	c learnt constraints deletion: 4845 -> 2427
868.02/868.27	c learnt constraints deletion: 4887 -> 2456
884.83/885.04	c learnt constraints deletion: 4693 -> 2352
905.12/905.34	c learnt constraints deletion: 4823 -> 2421
918.11/918.37	c learnt constraints deletion: 4828 -> 2427
931.62/931.81	c learnt constraints deletion: 4939 -> 2476
947.71/947.96	c learnt constraints deletion: 4666 -> 2342
967.41/967.65	c learnt constraints deletion: 4794 -> 2411
981.80/982.09	c learnt constraints deletion: 4706 -> 2370
995.01/995.20	c learnt constraints deletion: 4878 -> 2459
1008.81/1009.00	c learnt constraints deletion: 4897 -> 2473
1024.00/1024.26	c learnt constraints deletion: 4980 -> 2518
1036.70/1036.92	c learnt constraints deletion: 4885 -> 2476
1049.59/1049.84	c learnt constraints deletion: 4985 -> 2534
1061.20/1061.42	c learnt constraints deletion: 5079 -> 2589
1080.79/1081.01	c learnt constraints deletion: 5107 -> 2611
1092.39/1092.63	c learnt constraints deletion: 5081 -> 2606
1105.29/1105.51	c learnt constraints deletion: 5130 -> 2640
1117.49/1117.74	c learnt constraints deletion: 5093 -> 2606
1130.18/1130.42	c learnt constraints deletion: 5519 -> 2760
1139.78/1140.04	c learnt constraints deletion: 5138 -> 2570
1152.37/1152.63	c learnt constraints deletion: 5116 -> 2563
1166.27/1166.54	c learnt constraints deletion: 5307 -> 2663
1181.28/1181.55	c learnt constraints deletion: 5370 -> 2698
1195.37/1195.63	c learnt constraints deletion: 5461 -> 2749
1207.67/1207.99	c learnt constraints deletion: 5324 -> 2684
1219.87/1220.16	c learnt constraints deletion: 5420 -> 2738
1231.97/1232.29	c learnt constraints deletion: 5701 -> 2895
1241.57/1241.89	c learnt constraints deletion: 5545 -> 2814
1253.86/1254.12	c learnt constraints deletion: 5804 -> 2947
1264.06/1264.30	c learnt constraints deletion: 5527 -> 2797
1274.75/1275.01	c learnt constraints deletion: 5338 -> 2700
1285.45/1285.78	c learnt constraints deletion: 5319 -> 2687
1295.95/1296.21	c learnt constraints deletion: 5386 -> 2717
1307.15/1307.44	c learnt constraints deletion: 5348 -> 2694
1318.75/1319.05	c learnt constraints deletion: 5307 -> 2672
1329.95/1330.27	c learnt constraints deletion: 5275 -> 2654
1342.95/1343.28	c learnt constraints deletion: 5330 -> 2679
1353.15/1353.47	c learnt constraints deletion: 5169 -> 2593
1365.74/1366.06	c learnt constraints deletion: 5368 -> 2686
1379.24/1379.51	c learnt constraints deletion: 5411 -> 2708
1393.44/1393.72	c learnt constraints deletion: 5236 -> 2625
1407.94/1408.23	c learnt constraints deletion: 5361 -> 2693
1419.84/1420.12	c learnt constraints deletion: 5271 -> 2637
1431.64/1431.90	c learnt constraints deletion: 5410 -> 2711
1444.43/1444.79	c learnt constraints deletion: 5335 -> 2670
1458.03/1458.39	c learnt constraints deletion: 5322 -> 2666
1476.93/1477.20	c learnt constraints deletion: 5432 -> 2724
1490.02/1490.31	c learnt constraints deletion: 5328 -> 2667
1500.92/1501.29	c learnt constraints deletion: 5110 -> 2559
1512.13/1512.42	c learnt constraints deletion: 5158 -> 2591
1531.42/1531.79	c learnt constraints deletion: 5261 -> 2635
1545.52/1545.86	c learnt constraints deletion: 5442 -> 2731
1559.72/1560.07	c learnt constraints deletion: 5267 -> 2648
1577.51/1577.80	c learnt constraints deletion: 5489 -> 2762
1590.01/1590.36	c learnt constraints deletion: 5541 -> 2792
1608.91/1609.22	c learnt constraints deletion: 5671 -> 2836
1622.50/1622.87	c learnt constraints deletion: 5632 -> 2820
1638.20/1638.58	c learnt constraints deletion: 5780 -> 2897
1653.90/1654.20	c learnt constraints deletion: 5804 -> 2913
1670.20/1670.56	c learnt constraints deletion: 5890 -> 2960
1686.00/1686.32	c learnt constraints deletion: 5826 -> 2933
1701.69/1702.08	c learnt constraints deletion: 5929 -> 2990
1717.19/1717.53	c learnt constraints deletion: 5919 -> 2988
1730.99/1731.38	c learnt constraints deletion: 5831 -> 2950
1749.08/1749.45	c learnt constraints deletion: 5989 -> 3036
1763.99/1764.39	c learnt constraints deletion: 6028 -> 3059
1780.48/1780.81	c learnt constraints deletion: 6001 -> 3050
1799.18/1799.54	c learnt constraints deletion: 6079 -> 3095

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-3706642-1338116303/watcher-3706642-1338116303 -o /tmp/evaluation-result-3706642-1338116303/solver-3706642-1338116303 -C 1800 -W 1900 -M 15500 HOME/toysat --pb HOME/instance-3706642-1338116303.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.84 1.97 1.99 3/176 23481
/proc/meminfo: memFree=28282160/32873648 swapFree=7104/7104
[pid=23481] ppid=23479 vsize=6208 CPUtime=0 cores=0,2,4,6
/proc/23481/stat : 23481 (toysat) R 23479 23481 20135 0 -1 4202496 796 0 0 0 0 0 0 0 20 0 1 0 277755741 6356992 717 33554432000 4194304 8973514 140735473439520 140735453092024 7937344 0 0 0 34082818 0 0 0 17 0 0 0 0 0 0
/proc/23481/statm: 1552 717 411 1167 0 333 0

[startup+0.0167599 s]
/proc/loadavg: 1.84 1.97 1.99 3/176 23481
/proc/meminfo: memFree=28282160/32873648 swapFree=7104/7104
[pid=23481] ppid=23479 vsize=7232 CPUtime=0.01 cores=0,2,4,6
/proc/23481/stat : 23481 (toysat) R 23479 23481 20135 0 -1 4202496 1075 0 0 0 1 0 0 0 20 0 1 0 277755741 7405568 996 33554432000 4194304 8973514 140735473439520 140735453092024 7937344 0 0 0 34082818 0 0 0 17 0 0 0 0 0 0
/proc/23481/statm: 1808 996 416 1167 0 589 0
Current children cumulated CPU time (s) 0.01
Current children cumulated vsize (KiB) 7232

[startup+0.100213 s]
/proc/loadavg: 1.84 1.97 1.99 3/176 23481
/proc/meminfo: memFree=28282160/32873648 swapFree=7104/7104
[pid=23481] ppid=23479 vsize=13376 CPUtime=0.09 cores=0,2,4,6
/proc/23481/stat : 23481 (toysat) R 23479 23481 20135 0 -1 4202496 2493 0 0 0 9 0 0 0 20 0 1 0 277755741 13697024 2414 33554432000 4194304 8973514 140735473439520 140735453092024 7662855 0 2 0 34082818 0 0 0 17 0 0 0 0 0 0
/proc/23481/statm: 3344 2414 416 1167 0 2125 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 13376

[startup+0.300126 s]
/proc/loadavg: 1.84 1.97 1.99 3/176 23481
/proc/meminfo: memFree=28282160/32873648 swapFree=7104/7104
[pid=23481] ppid=23479 vsize=13376 CPUtime=0.29 cores=0,2,4,6
/proc/23481/stat : 23481 (toysat) R 23479 23481 20135 0 -1 4202496 2625 0 0 0 29 0 0 0 20 0 1 0 277755741 13697024 2546 33554432000 4194304 8973514 140735473439520 140735473439016 7937344 0 0 0 34082818 0 0 0 17 0 0 0 0 0 0
/proc/23481/statm: 3344 2546 424 1167 0 2125 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 13376

[startup+0.700143 s]
/proc/loadavg: 1.84 1.97 1.99 3/176 23481
/proc/meminfo: memFree=28282160/32873648 swapFree=7104/7104
[pid=23481] ppid=23479 vsize=13376 CPUtime=0.69 cores=0,2,4,6
/proc/23481/stat : 23481 (toysat) R 23479 23481 20135 0 -1 4202496 2655 0 0 0 69 0 0 0 20 0 1 0 277755741 13697024 2576 33554432000 4194304 8973514 140735473439520 140735473439016 7937344 0 0 0 34082818 0 0 0 17 0 0 0 0 0 0
/proc/23481/statm: 3344 2576 454 1167 0 2125 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 13376

[startup+1.50015 s]
/proc/loadavg: 1.84 1.97 1.99 3/177 23482
/proc/meminfo: memFree=28273008/32873648 swapFree=7104/7104
[pid=23481] ppid=23479 vsize=14400 CPUtime=1.49 cores=0,2,4,6
/proc/23481/stat : 23481 (toysat) R 23479 23481 20135 0 -1 4202496 2911 0 0 0 149 0 0 0 20 0 1 0 277755741 14745600 2832 33554432000 4194304 8973514 140735473439520 140735473438784 7937344 0 0 0 34082818 0 0 0 17 0 0 0 0 0 0
/proc/23481/statm: 3600 2832 454 1167 0 2381 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 14400

[startup+3.10018 s]
/proc/loadavg: 1.84 1.97 1.99 3/177 23482
/proc/meminfo: memFree=28270280/32873648 swapFree=7104/7104
[pid=23481] ppid=23479 vsize=17472 CPUtime=3.08 cores=0,2,4,6
/proc/23481/stat : 23481 (toysat) R 23479 23481 20135 0 -1 4202496 3679 0 0 0 307 1 0 0 20 0 1 0 277755741 17891328 3600 33554432000 4194304 8973514 140735473439520 140735473438784 7937344 0 0 0 34082818 0 0 0 17 2 0 0 0 0 0
/proc/23481/statm: 4368 3600 454 1167 0 3149 0
Current children cumulated CPU time (s) 3.08
Current children cumulated vsize (KiB) 17472

[startup+6.30024 s]
/proc/loadavg: 2.01 2.00 2.00 3/177 23482
/proc/meminfo: memFree=28263900/32873648 swapFree=7104/7104
[pid=23481] ppid=23479 vsize=21568 CPUtime=6.29 cores=0,2,4,6
/proc/23481/stat : 23481 (toysat) R 23479 23481 20135 0 -1 4202496 4704 0 0 0 627 2 0 0 20 0 1 0 277755741 22085632 4625 33554432000 4194304 8973514 140735473439520 140735473439016 4209212 0 2 0 34082818 0 0 0 17 2 0 0 0 0 0
/proc/23481/statm: 5392 4625 455 1167 0 4173 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 21568

[startup+12.7002 s]
/proc/loadavg: 2.01 2.00 2.00 3/177 23482
/proc/meminfo: memFree=28258496/32873648 swapFree=7104/7104
[pid=23481] ppid=23479 vsize=22592 CPUtime=12.68 cores=0,2,4,6
/proc/23481/stat : 23481 (toysat) R 23479 23481 20135 0 -1 4202496 4960 0 0 0 1264 4 0 0 20 0 1 0 277755741 23134208 4881 33554432000 4194304 8973514 140735473439520 140735473421504 7937344 0 0 0 34082818 0 0 0 17 2 0 0 0 0 0
/proc/23481/statm: 5648 4881 455 1167 0 4429 0
Current children cumulated CPU time (s) 12.68
Current children cumulated vsize (KiB) 22592

[startup+25.5002 s]
/proc/loadavg: 2.01 2.00 2.00 3/177 23482
/proc/meminfo: memFree=28251008/32873648 swapFree=7104/7104
[pid=23481] ppid=23479 vsize=25664 CPUtime=25.47 cores=0,2,4,6
/proc/23481/stat : 23481 (toysat) R 23479 23481 20135 0 -1 4202496 5735 0 0 0 2540 7 0 0 20 0 1 0 277755741 26279936 5654 33554432000 4194304 8973514 140735473439520 140735473439016 7937344 0 0 0 34082818 0 0 0 17 2 0 0 0 0 0
/proc/23481/statm: 6416 5654 455 1167 0 5197 0
Current children cumulated CPU time (s) 25.47
Current children cumulated vsize (KiB) 25664

[startup+51.1002 s]
/proc/loadavg: 2.01 2.00 2.00 3/177 23482
/proc/meminfo: memFree=28235380/32873648 swapFree=7104/7104
[pid=23481] ppid=23479 vsize=32832 CPUtime=51.07 cores=0,2,4,6
/proc/23481/stat : 23481 (toysat) R 23479 23481 20135 0 -1 4202496 7527 0 0 0 5090 17 0 0 20 0 1 0 277755741 33619968 7446 33554432000 4194304 8973514 140735473439520 140735473421504 7661935 0 2 0 34082818 0 0 0 17 2 0 0 0 0 0
/proc/23481/statm: 8208 7446 455 1167 0 6989 0
Current children cumulated CPU time (s) 51.07
Current children cumulated vsize (KiB) 32832

[startup+102.306 s]
/proc/loadavg: 2.00 2.00 2.00 3/178 23485
/proc/meminfo: memFree=28222204/32873648 swapFree=7104/7104
[pid=23481] ppid=23479 vsize=37952 CPUtime=102.26 cores=0,2,4,6
/proc/23481/stat : 23481 (toysat) R 23479 23481 20135 0 -1 4202496 8811 0 0 0 10192 34 0 0 20 0 1 0 277755741 38862848 8726 33554432000 4194304 8973514 140735473439520 140735473438784 7672543 0 2 0 34082818 0 0 0 17 2 0 0 0 0 0
/proc/23481/statm: 9488 8726 455 1167 0 8269 0
Current children cumulated CPU time (s) 102.26
Current children cumulated vsize (KiB) 37952

[startup+162.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/178 23508
/proc/meminfo: memFree=28220176/32873648 swapFree=7104/7104
[pid=23481] ppid=23479 vsize=37952 CPUtime=162.25 cores=0,2,4,6
/proc/23481/stat : 23481 (toysat) R 23479 23481 20135 0 -1 4202496 9581 0 0 0 16172 53 0 0 20 0 1 0 277755741 38862848 8726 33554432000 4194304 8973514 140735473439520 140735473439016 7937344 0 0 0 34082818 0 0 0 17 2 0 0 0 0 0
/proc/23481/statm: 9488 8726 455 1167 0 8269 0
Current children cumulated CPU time (s) 162.25
Current children cumulated vsize (KiB) 37952

[startup+222.3 s]
/proc/loadavg: 2.04 2.01 2.00 3/177 23509
/proc/meminfo: memFree=28215752/32873648 swapFree=7104/7104
[pid=23481] ppid=23479 vsize=37952 CPUtime=222.24 cores=0,2,4,6
/proc/23481/stat : 23481 (toysat) R 23479 23481 20135 0 -1 4202496 12141 0 0 0 22149 75 0 0 20 0 1 0 277755741 38862848 8726 33554432000 4194304 8973514 140735473439520 140735473438784 7937344 0 0 0 34082818 0 0 0 17 2 0 0 0 0 0
/proc/23481/statm: 9488 8726 455 1167 0 8269 0
Current children cumulated CPU time (s) 222.24
Current children cumulated vsize (KiB) 37952

[startup+282.3 s]
/proc/loadavg: 2.01 2.01 2.00 3/177 23509
/proc/meminfo: memFree=28208792/32873648 swapFree=7104/7104
[pid=23481] ppid=23479 vsize=42048 CPUtime=282.23 cores=0,2,4,6
/proc/23481/stat : 23481 (toysat) R 23479 23481 20135 0 -1 4202496 13680 0 0 0 28126 97 0 0 20 0 1 0 277755741 43057152 9750 33554432000 4194304 8973514 140735473439520 140735473439016 7841851 0 2 0 34082818 0 0 0 17 2 0 0 0 0 0
/proc/23481/statm: 10512 9750 455 1167 0 9293 0
Current children cumulated CPU time (s) 282.23
Current children cumulated vsize (KiB) 42048

[startup+342.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 23509
/proc/meminfo: memFree=28199692/32873648 swapFree=7104/7104
[pid=23481] ppid=23479 vsize=46144 CPUtime=342.22 cores=0,2,4,6
/proc/23481/stat : 23481 (toysat) R 23479 23481 20135 0 -1 4202496 15218 0 0 0 34103 119 0 0 20 0 1 0 277755741 47251456 10774 33554432000 4194304 8973514 140735473439520 140735473437504 7937344 0 0 0 34082818 0 0 0 17 2 0 0 0 0 0
/proc/23481/statm: 11536 10774 455 1167 0 10317 0
Current children cumulated CPU time (s) 342.22
Current children cumulated vsize (KiB) 46144

[startup+402.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 23509
/proc/meminfo: memFree=28199860/32873648 swapFree=7104/7104
[pid=23481] ppid=23479 vsize=42048 CPUtime=402.2 cores=0,2,4,6
/proc/23481/stat : 23481 (toysat) R 23479 23481 20135 0 -1 4202496 15220 0 0 0 40083 137 0 0 20 0 1 0 277755741 43057152 9750 33554432000 4194304 8973514 140735473439520 140735473439016 7937344 0 0 0 34082818 0 0 0 17 2 0 0 0 0 0
/proc/23481/statm: 10512 9750 455 1167 0 9293 0
Current children cumulated CPU time (s) 402.2
Current children cumulated vsize (KiB) 42048

[startup+462.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/176 23509
/proc/meminfo: memFree=28192304/32873648 swapFree=7104/7104
[pid=23481] ppid=23479 vsize=48192 CPUtime=462.2 cores=0,2,4,6
/proc/23481/stat : 23481 (toysat) R 23479 23481 20135 0 -1 4202496 17012 0 0 0 46063 157 0 0 20 0 1 0 277755741 49348608 11286 33554432000 4194304 8973514 140735473439520 140735473439016 7937344 0 0 0 34082818 0 0 0 17 2 0 0 0 0 0
/proc/23481/statm: 12048 11286 455 1167 0 10829 0
Current children cumulated CPU time (s) 462.2
Current children cumulated vsize (KiB) 48192

[startup+522.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 23511
/proc/meminfo: memFree=28191316/32873648 swapFree=7104/7104
[pid=23481] ppid=23479 vsize=46144 CPUtime=522.19 cores=0,2,4,6
/proc/23481/stat : 23481 (toysat) R 23479 23481 20135 0 -1 4202496 17013 0 0 0 52041 178 0 0 20 0 1 0 277755741 47251456 10774 33554432000 4194304 8973514 140735473439520 140735473438784 7937344 0 0 0 34082818 0 0 0 17 2 0 0 0 0 0
/proc/23481/statm: 11536 10774 455 1167 0 10317 0
Current children cumulated CPU time (s) 522.19
Current children cumulated vsize (KiB) 46144

[startup+582.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 23511
/proc/meminfo: memFree=28188716/32873648 swapFree=7104/7104
[pid=23481] ppid=23479 vsize=50240 CPUtime=582.17 cores=0,2,4,6
/proc/23481/stat : 23481 (toysat) R 23479 23481 20135 0 -1 4202496 19061 0 0 0 58018 199 0 0 20 0 1 0 277755741 51445760 11798 33554432000 4194304 8973514 140735473439520 140735473439016 7841851 0 2 0 34082818 0 0 0 17 2 0 0 0 0 0
/proc/23481/statm: 12560 11798 455 1167 0 11341 0
Current children cumulated CPU time (s) 582.17
Current children cumulated vsize (KiB) 50240

[startup+642.3 s]

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

[startup+822.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 23515
/proc/meminfo: memFree=28188612/32873648 swapFree=7104/7104
[pid=23481] ppid=23479 vsize=50240 CPUtime=822.13 cores=0,2,4,6
/proc/23481/stat : 23481 (toysat) R 23479 23481 20135 0 -1 4202496 27009 0 0 0 81928 285 0 0 20 0 1 0 277755741 51445760 11798 33554432000 4194304 8973514 140735473439520 140735473437440 7841851 0 2 0 34082818 0 0 0 17 2 0 0 0 0 0
/proc/23481/statm: 12560 11798 455 1167 0 11341 0
Current children cumulated CPU time (s) 822.13
Current children cumulated vsize (KiB) 50240

[startup+882.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 23515
/proc/meminfo: memFree=28193200/32873648 swapFree=7104/7104
[pid=23481] ppid=23479 vsize=46144 CPUtime=882.12 cores=0,2,4,6
/proc/23481/stat : 23481 (toysat) R 23479 23481 20135 0 -1 4202496 27009 0 0 0 87910 302 0 0 20 0 1 0 277755741 47251456 10774 33554432000 4194304 8973514 140735473439520 140735473439016 7937344 0 0 0 34082818 0 0 0 17 2 0 0 0 0 0
/proc/23481/statm: 11536 10774 455 1167 0 10317 0
Current children cumulated CPU time (s) 882.12
Current children cumulated vsize (KiB) 46144

[startup+942.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 23515
/proc/meminfo: memFree=28180776/32873648 swapFree=7104/7104
[pid=23481] ppid=23479 vsize=54336 CPUtime=942.11 cores=0,2,4,6
/proc/23481/stat : 23481 (toysat) R 23479 23481 20135 0 -1 4202496 29057 0 0 0 93889 322 0 0 20 0 1 0 277755741 55640064 12822 33554432000 4194304 8973514 140735473439520 140735473439016 7937344 0 0 0 34082818 0 0 0 17 2 0 0 0 0 0
/proc/23481/statm: 13584 12822 455 1167 0 12365 0
Current children cumulated CPU time (s) 942.11
Current children cumulated vsize (KiB) 54336

[startup+1002.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 23515
/proc/meminfo: memFree=28182600/32873648 swapFree=7104/7104
[pid=23481] ppid=23479 vsize=56384 CPUtime=1002.11 cores=0,2,4,6
/proc/23481/stat : 23481 (toysat) R 23479 23481 20135 0 -1 4202496 29569 0 0 0 99868 343 0 0 20 0 1 0 277755741 57737216 13334 33554432000 4194304 8973514 140735473439520 140735473437440 7937344 0 0 0 34082818 0 0 0 17 2 0 0 0 0 0
/proc/23481/statm: 14096 13334 455 1167 0 12877 0
Current children cumulated CPU time (s) 1002.11
Current children cumulated vsize (KiB) 56384

[startup+1062.3 s]
/proc/loadavg: 2.07 2.02 2.00 3/177 23515
/proc/meminfo: memFree=28164152/32873648 swapFree=7104/7104
[pid=23481] ppid=23479 vsize=71744 CPUtime=1062.09 cores=0,2,4,6
/proc/23481/stat : 23481 (toysat) R 23479 23481 20135 0 -1 4202496 33411 0 0 0 105844 365 0 0 20 0 1 0 277755741 73465856 17174 33554432000 4194304 8973514 140735473439520 140735473438784 7937344 0 0 0 34082818 0 0 0 17 2 0 0 0 0 0
/proc/23481/statm: 17936 17174 455 1167 0 16717 0
Current children cumulated CPU time (s) 1062.09
Current children cumulated vsize (KiB) 71744

[startup+1122.3 s]
/proc/loadavg: 2.02 2.01 2.00 3/177 23516
/proc/meminfo: memFree=28162232/32873648 swapFree=7104/7104
[pid=23481] ppid=23479 vsize=73792 CPUtime=1122.09 cores=0,2,4,6
/proc/23481/stat : 23481 (toysat) R 23479 23481 20135 0 -1 4202496 33925 0 0 0 111824 385 0 0 20 0 1 0 277755741 75563008 17686 33554432000 4194304 8973514 140735473439520 140735473439016 7937344 0 0 0 34082818 0 0 0 17 2 0 0 0 0 0
/proc/23481/statm: 18448 17686 455 1167 0 17229 0
Current children cumulated CPU time (s) 1122.09
Current children cumulated vsize (KiB) 73792

[startup+1182.3 s]
/proc/loadavg: 2.01 2.00 2.00 3/177 23516
/proc/meminfo: memFree=28167964/32873648 swapFree=7104/7104
[pid=23481] ppid=23479 vsize=62528 CPUtime=1182.07 cores=0,2,4,6
/proc/23481/stat : 23481 (toysat) R 23479 23481 20135 0 -1 4202496 34952 0 0 0 117800 407 0 0 20 0 1 0 277755741 64028672 14870 33554432000 4194304 8973514 140735473439520 140735473438784 7937344 0 0 0 34082818 0 0 0 17 2 0 0 0 0 0
/proc/23481/statm: 15632 14870 455 1167 0 14413 0
Current children cumulated CPU time (s) 1182.07
Current children cumulated vsize (KiB) 62528

[startup+1242.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 23516
/proc/meminfo: memFree=28171688/32873648 swapFree=7104/7104
[pid=23481] ppid=23479 vsize=63552 CPUtime=1242.06 cores=0,2,4,6
/proc/23481/stat : 23481 (toysat) R 23479 23481 20135 0 -1 4202496 35208 0 0 0 123779 427 0 0 20 0 1 0 277755741 65077248 15126 33554432000 4194304 8973514 140735473439520 140735473437504 7841851 0 2 0 34082818 0 0 0 17 2 0 0 0 0 0
/proc/23481/statm: 15888 15126 455 1167 0 14669 0
Current children cumulated CPU time (s) 1242.06
Current children cumulated vsize (KiB) 63552

[startup+1302.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/178 23519
/proc/meminfo: memFree=28174700/32873648 swapFree=7104/7104
[pid=23481] ppid=23479 vsize=58432 CPUtime=1302.06 cores=0,2,4,6
/proc/23481/stat : 23481 (toysat) R 23479 23481 20135 0 -1 4202496 35977 0 0 0 129758 448 0 0 20 0 1 0 277755741 59834368 13846 33554432000 4194304 8973514 140735473439520 140735473439016 7937344 0 0 0 34082818 0 0 0 17 2 0 0 0 0 0
/proc/23481/statm: 14608 13846 455 1167 0 13389 0
Current children cumulated CPU time (s) 1302.06
Current children cumulated vsize (KiB) 58432

[startup+1362.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 23519
/proc/meminfo: memFree=28177536/32873648 swapFree=7104/7104
[pid=23481] ppid=23479 vsize=50240 CPUtime=1362.04 cores=0,2,4,6
/proc/23481/stat : 23481 (toysat) R 23479 23481 20135 0 -1 4202496 35978 0 0 0 135735 469 0 0 20 0 1 0 277755741 51445760 11798 33554432000 4194304 8973514 140735473439520 140735473439016 7937344 0 0 0 34082818 0 0 0 17 2 0 0 0 0 0
/proc/23481/statm: 12560 11798 455 1167 0 11341 0
Current children cumulated CPU time (s) 1362.04
Current children cumulated vsize (KiB) 50240

[startup+1422.31 s]
/proc/loadavg: 2.07 2.02 2.00 3/177 23520
/proc/meminfo: memFree=28173624/32873648 swapFree=7104/7104
[pid=23481] ppid=23479 vsize=54336 CPUtime=1422.04 cores=0,2,4,6
/proc/23481/stat : 23481 (toysat) R 23479 23481 20135 0 -1 4202496 38282 0 0 0 141719 485 0 0 20 0 1 0 277755741 55640064 12822 33554432000 4194304 8973514 140735473439520 140735473421504 4459464 0 0 0 34082818 0 0 0 17 2 0 0 0 0 0
/proc/23481/statm: 13584 12822 455 1167 0 12365 0
Current children cumulated CPU time (s) 1422.04
Current children cumulated vsize (KiB) 54336

[startup+1482.3 s]
/proc/loadavg: 2.02 2.01 2.00 3/177 23520
/proc/meminfo: memFree=28173252/32873648 swapFree=7104/7104
[pid=23481] ppid=23479 vsize=54336 CPUtime=1482.03 cores=0,2,4,6
/proc/23481/stat : 23481 (toysat) R 23479 23481 20135 0 -1 4202496 38282 0 0 0 147697 506 0 0 20 0 1 0 277755741 55640064 12822 33554432000 4194304 8973514 140735473439520 140735473439016 7937344 0 0 0 34082818 0 0 0 17 2 0 0 0 0 0
/proc/23481/statm: 13584 12822 455 1167 0 12365 0
Current children cumulated CPU time (s) 1482.03
Current children cumulated vsize (KiB) 54336

[startup+1542.3 s]
/proc/loadavg: 2.17 2.05 2.01 3/177 23520
/proc/meminfo: memFree=28180360/32873648 swapFree=7104/7104
[pid=23481] ppid=23479 vsize=54336 CPUtime=1542.02 cores=0,2,4,6
/proc/23481/stat : 23481 (toysat) R 23479 23481 20135 0 -1 4202496 38795 0 0 0 153674 528 0 0 20 0 1 0 277755741 55640064 12822 33554432000 4194304 8973514 140735473439520 140735473438784 7841851 0 2 0 34082818 0 0 0 17 2 0 0 0 0 0
/proc/23481/statm: 13584 12822 455 1167 0 12365 0
Current children cumulated CPU time (s) 1542.02
Current children cumulated vsize (KiB) 54336

[startup+1602.3 s]
/proc/loadavg: 2.06 2.04 2.01 3/177 23520
/proc/meminfo: memFree=28169012/32873648 swapFree=7104/7104
[pid=23481] ppid=23479 vsize=61504 CPUtime=1602.01 cores=0,2,4,6
/proc/23481/stat : 23481 (toysat) R 23479 23481 20135 0 -1 4202496 40587 0 0 0 159652 549 0 0 20 0 1 0 277755741 62980096 14614 33554432000 4194304 8973514 140735473439520 140735473438784 7841851 0 2 0 34082818 0 0 0 17 2 0 0 0 0 0
/proc/23481/statm: 15376 14614 455 1167 0 14157 0
Current children cumulated CPU time (s) 1602.01
Current children cumulated vsize (KiB) 61504

[startup+1662.3 s]
/proc/loadavg: 2.02 2.03 2.00 3/177 23520
/proc/meminfo: memFree=28165720/32873648 swapFree=7104/7104
[pid=23481] ppid=23479 vsize=61504 CPUtime=1662 cores=0,2,4,6
/proc/23481/stat : 23481 (toysat) R 23479 23481 20135 0 -1 4202496 40589 0 0 0 165632 568 0 0 20 0 1 0 277755741 62980096 14614 33554432000 4194304 8973514 140735473439520 140735473439016 7937344 0 0 0 34082818 0 0 0 17 2 0 0 0 0 0
/proc/23481/statm: 15376 14614 455 1167 0 14157 0
Current children cumulated CPU time (s) 1662
Current children cumulated vsize (KiB) 61504

[startup+1722.3 s]
/proc/loadavg: 2.05 2.04 2.00 3/178 23522
/proc/meminfo: memFree=28151540/32873648 swapFree=7104/7104
[pid=23481] ppid=23479 vsize=75840 CPUtime=1721.99 cores=0,2,4,6
/proc/23481/stat : 23481 (toysat) R 23479 23481 20135 0 -1 4202496 44174 0 0 0 171612 587 0 0 20 0 1 0 277755741 77660160 18199 33554432000 4194304 8973514 140735473439520 140735473439016 7937344 0 0 0 34082818 0 0 0 17 2 0 0 0 0 0
/proc/23481/statm: 18960 18199 455 1167 0 17741 0
Current children cumulated CPU time (s) 1721.99
Current children cumulated vsize (KiB) 75840

[startup+1782.3 s]
/proc/loadavg: 2.05 2.04 2.00 3/177 23522
/proc/meminfo: memFree=28127204/32873648 swapFree=7104/7104
[pid=23481] ppid=23479 vsize=99392 CPUtime=1781.98 cores=0,2,4,6
/proc/23481/stat : 23481 (toysat) R 23479 23481 20135 0 -1 4202496 50066 0 0 0 177589 609 0 0 20 0 1 0 277755741 101777408 24087 33554432000 4194304 8973514 140735473439520 140735473439016 4209212 0 2 0 34082818 0 0 0 17 2 0 0 0 0 0
/proc/23481/statm: 24848 24087 455 1167 0 23629 0
Current children cumulated CPU time (s) 1781.98
Current children cumulated vsize (KiB) 99392



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1800.4 s]
/proc/loadavg: 2.04 2.04 2.00 2/175 23523
/proc/meminfo: memFree=28196288/32873648 swapFree=7104/7104
[pid=23481] ppid=23479 vsize=99392 CPUtime=1800.08 cores=0,2,4,6
/proc/23481/stat : 23481 (toysat) R 23479 23481 20135 0 -1 4202496 50066 0 0 0 179394 614 0 0 20 0 1 0 277755741 101777408 24087 33554432000 4194304 8973514 140735473439520 140735473439016 4208879 0 2 0 34082818 0 0 0 17 2 0 0 0 0 0
/proc/23481/statm: 24848 24087 455 1167 0 23629 0
Current children cumulated CPU time (s) 1800.08
Current children cumulated vsize (KiB) 99392

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.09
CPU user time (s): 1793.94
CPU system time (s): 6.15106
CPU usage (%): 99.9824
Max. virtual memory (cumulated for all children) (KiB): 99392

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1793.94
system time used= 6.15106
maximum resident set size= 96348
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 50066
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= 52
involuntary context switches= 1885

runsolver used 3.47147 second user time and 9.2136 second system time

The end

Launcher Data 

Begin job on node127 at 2012-05-27 12:58:23
IDJOB=3706642
IDBENCH=2045
IDSOLVER=2285
FILE ID=node127/3706642-1338116303
RUNJOBID= node127-1338112697-23244
PBS_JOBID= 14624433
Free space on /tmp= 71172 MiB

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

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

MD5SUM BENCH= 05a03b946ede4da21fcf30fd621632f5
RANDOM SEED=1571843551

node127.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.348
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.69
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.348
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.348
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.94
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.348
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.348
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.91
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.348
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.348
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.91
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.348
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.91
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:


/proc/meminfo:
MemTotal:       32873648 kB
MemFree:        28283068 kB
Buffers:          381204 kB
Cached:          3348560 kB
SwapCached:            0 kB
Active:          1136676 kB
Inactive:        2616900 kB
Active(anon):      25456 kB
Inactive(anon):        0 kB
Active(file):    1111220 kB
Inactive(file):  2616900 kB
Unevictable:        7104 kB
Mlocked:            7104 kB
SwapTotal:      67108856 kB
SwapFree:       67108856 kB
Dirty:             15168 kB
Writeback:             0 kB
AnonPages:         30696 kB
Mapped:            15908 kB
Shmem:               200 kB
Slab:             698352 kB
SReclaimable:     142844 kB
SUnreclaim:       555508 kB
KernelStack:        1456 kB
PageTables:         4112 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83545680 kB
Committed_AS:     138168 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      346400 kB
VmallocChunk:   34341988052 kB
HardwareCorrupted:     0 kB
AnonHugePages:         0 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= 71160 MiB
End job on node127 at 2012-05-27 13:28:25