Trace number 3725342

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-PB07/OPT-SMALLINT-LIN/submittedPB07/aksoy/
area_partials/normalized-fir10_area_partials.opb
MD5SUM8e58fdc516472c37b974ebbf77c2a4fa
Bench CategoryOPT-SMALLINT-LIN (optimisation, small integers, linear constraints)
Best result obtained on this benchmarkOPT
Best value of the objective obtained on this benchmark52
Best CPU time to get the best result obtained on this benchmark1.16482
Has Objective FunctionYES
SatisfiableYES
(Un)Satisfiability was provedYES
Best value of the objective function 52
Optimality of the best value was proved YES
Number of variables2091
Total number of constraints7288
Number of constraints which are clauses7288
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 constraint124
Number of terms in the objective function 486
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 486
Number of bits of the sum of numbers in the objective function 9
Biggest number in a constraint 1
Number of bits of the biggest number in a constraint 1
Biggest sum of numbers in a constraint 486
Number of bits of the biggest sum of numbers9
Number of products (including duplicates)0
Sum of products size (including duplicates)0
Number of different products0
Sum of products size0

Solver Data 

0.09/0.16	c 2012-06-02T14:05:17+0200
0.09/0.16	c arch = x86_64
0.09/0.16	c os = linux
0.09/0.16	c compiler = ghc 7.4
0.09/0.16	c packages:
0.09/0.16	c   OptDir-0.0.1
0.09/0.16	c   array-0.4.0.0
0.09/0.16	c   base-4.5.0.0
0.09/0.16	c   bytestring-0.9.2.1
0.09/0.16	c   containers-0.4.2.1
0.09/0.16	c   deepseq-1.3.0.0
0.09/0.16	c   mtl-2.1.1
0.09/0.16	c   old_locale-1.0.0.4
0.09/0.16	c   parse_dimacs-1.2
0.09/0.16	c   parsec-3.1.2
0.09/0.16	c   queue-0.1.2
0.09/0.16	c   stm-2.3
0.09/0.16	c   time-1.4
0.09/0.16	c command line = ["+RTS","-K1G","-RTS","--pb","HOME/instance-3725342-1338638717.opb"]
0.09/0.16	c #vars 2091
0.09/0.16	c #constraints 7288
0.09/0.16	c Solving starts ...
0.09/0.17	c solving time = 0.004s
0.09/0.17	c #decision = 433
0.09/0.17	c #conflict = 0
0.09/0.17	c #restart = 0
0.09/0.17	o 53
0.09/0.17	c Solving starts ...
2.79/2.88	c solving time = 2.706s
2.79/2.88	c #decision = 40718
2.79/2.88	c #conflict = 1749
2.79/2.88	c #restart = 5
2.79/2.88	o 52
2.79/2.88	c Solving starts ...
9.39/9.41	c learnt constraints deletion: 6317 -> 3159
15.68/15.75	c learnt constraints deletion: 7511 -> 3756
23.38/23.42	c learnt constraints deletion: 8780 -> 4390
30.88/30.99	c learnt constraints deletion: 9455 -> 4731
36.97/37.07	c learnt constraints deletion: 9640 -> 4827
43.17/43.23	c learnt constraints deletion: 10400 -> 5206
50.17/50.21	c learnt constraints deletion: 10409 -> 5205
57.98/58.03	c learnt constraints deletion: 11010 -> 5505
66.16/66.22	c learnt constraints deletion: 11191 -> 5598
73.77/73.82	c learnt constraints deletion: 11803 -> 5911
80.66/80.73	c learnt constraints deletion: 12043 -> 6022
89.08/89.11	c learnt constraints deletion: 12266 -> 6134
96.46/96.53	c learnt constraints deletion: 12700 -> 6356
102.86/102.98	c learnt constraints deletion: 12819 -> 6423
110.97/111.08	c learnt constraints deletion: 12578 -> 6289
120.26/120.39	c learnt constraints deletion: 13436 -> 6723
131.46/131.52	c learnt constraints deletion: 13478 -> 6739
141.56/141.69	c learnt constraints deletion: 13927 -> 6968
149.16/149.28	c learnt constraints deletion: 13650 -> 6825
158.15/158.21	c learnt constraints deletion: 13744 -> 6872
166.75/166.82	c learnt constraints deletion: 14000 -> 7005
174.76/174.90	c learnt constraints deletion: 14883 -> 7442
184.54/184.68	c learnt constraints deletion: 14608 -> 7304
195.35/195.42	c learnt constraints deletion: 15121 -> 7567
203.45/203.57	c learnt constraints deletion: 15284 -> 7654
212.15/212.27	c learnt constraints deletion: 14520 -> 7260
222.55/222.69	c learnt constraints deletion: 15192 -> 7597
231.84/231.93	c learnt constraints deletion: 15330 -> 7670
239.94/240.07	c learnt constraints deletion: 15324 -> 7672
247.44/247.58	c learnt constraints deletion: 15375 -> 7704
257.35/257.49	c learnt constraints deletion: 16781 -> 8392
267.54/267.69	c learnt constraints deletion: 16513 -> 8257
277.84/277.97	c learnt constraints deletion: 16506 -> 8255
287.04/287.11	c learnt constraints deletion: 16714 -> 8366
298.34/298.48	c learnt constraints deletion: 16450 -> 8225
309.23/309.32	c learnt constraints deletion: 16555 -> 8282
318.53/318.63	c learnt constraints deletion: 16950 -> 8485
326.43/326.52	c learnt constraints deletion: 16146 -> 8073
338.22/338.37	c learnt constraints deletion: 16431 -> 8217
348.23/348.37	c learnt constraints deletion: 16568 -> 8284
359.32/359.44	c learnt constraints deletion: 16524 -> 8266
368.82/368.94	c learnt constraints deletion: 17805 -> 8904
380.91/381.08	c learnt constraints deletion: 18110 -> 9055
392.52/392.68	c learnt constraints deletion: 17947 -> 8978
404.31/404.47	c learnt constraints deletion: 18329 -> 9172
414.42/414.53	c learnt constraints deletion: 18470 -> 9248
423.21/423.37	c learnt constraints deletion: 18521 -> 9283
435.91/436.02	c learnt constraints deletion: 18006 -> 9003
450.01/450.10	c learnt constraints deletion: 18035 -> 9019
463.80/463.94	c learnt constraints deletion: 18101 -> 9057
478.20/478.31	c learnt constraints deletion: 17901 -> 8951
491.00/491.14	c learnt constraints deletion: 18318 -> 9161
501.20/501.36	c learnt constraints deletion: 18298 -> 9159
510.39/510.50	c learnt constraints deletion: 18358 -> 9179
523.59/523.79	c learnt constraints deletion: 18427 -> 9214
533.30/533.41	c learnt constraints deletion: 18247 -> 9132
546.39/546.51	c learnt constraints deletion: 18116 -> 9058
558.30/558.42	c learnt constraints deletion: 18324 -> 9168
573.00/573.11	c learnt constraints deletion: 19702 -> 9851
587.19/587.37	c learnt constraints deletion: 19434 -> 9717
601.38/601.59	c learnt constraints deletion: 20012 -> 10010
614.98/615.18	c learnt constraints deletion: 19845 -> 9923
628.99/629.15	c learnt constraints deletion: 19848 -> 9924
643.38/643.59	c learnt constraints deletion: 20012 -> 10006
658.07/658.29	c learnt constraints deletion: 19922 -> 9961
673.18/673.34	c learnt constraints deletion: 19874 -> 9938
686.07/686.29	c learnt constraints deletion: 20128 -> 10065
701.17/701.36	c learnt constraints deletion: 19771 -> 9886
714.77/715.00	c learnt constraints deletion: 19793 -> 9897
731.07/731.27	c learnt constraints deletion: 19670 -> 9835
744.06/744.21	c learnt constraints deletion: 19865 -> 9933
756.15/756.38	c learnt constraints deletion: 19938 -> 9969
768.15/768.30	c learnt constraints deletion: 20174 -> 10087
781.75/781.98	c learnt constraints deletion: 19626 -> 9813
796.85/797.02	c learnt constraints deletion: 19622 -> 9811
810.75/810.96	c learnt constraints deletion: 19695 -> 9848
824.24/824.44	c learnt constraints deletion: 20100 -> 10055
838.15/838.33	c learnt constraints deletion: 19839 -> 9920
852.74/852.98	c learnt constraints deletion: 20079 -> 10040
868.14/868.34	c learnt constraints deletion: 20149 -> 10075
884.74/884.92	c learnt constraints deletion: 21901 -> 10951
897.44/897.63	c learnt constraints deletion: 21279 -> 10640
916.03/916.30	c learnt constraints deletion: 21837 -> 10920
929.33/929.60	c learnt constraints deletion: 21871 -> 10936
945.52/945.78	c learnt constraints deletion: 21954 -> 10977
959.31/959.50	c learnt constraints deletion: 21915 -> 10965
972.92/973.10	c learnt constraints deletion: 21736 -> 10868
988.41/988.63	c learnt constraints deletion: 21982 -> 10991
1002.81/1003.05	c learnt constraints deletion: 22018 -> 11010
1018.21/1018.42	c learnt constraints deletion: 21698 -> 10855
1035.91/1036.14	c learnt constraints deletion: 21927 -> 10964
1049.91/1050.15	c learnt constraints deletion: 21762 -> 10889
1063.61/1063.88	c learnt constraints deletion: 21813 -> 10907
1081.90/1082.12	c learnt constraints deletion: 21849 -> 10927
1095.20/1095.49	c learnt constraints deletion: 21502 -> 10751
1109.00/1109.21	c learnt constraints deletion: 21577 -> 10789
1123.00/1123.20	c learnt constraints deletion: 21565 -> 10783
1137.69/1137.99	c learnt constraints deletion: 21978 -> 10989
1151.79/1152.00	c learnt constraints deletion: 21460 -> 10731
1168.19/1168.49	c learnt constraints deletion: 21750 -> 10880
1181.78/1182.06	c learnt constraints deletion: 21868 -> 10948
1195.18/1195.42	c learnt constraints deletion: 21891 -> 10948
1209.48/1209.74	c learnt constraints deletion: 21985 -> 10998
1224.08/1224.34	c learnt constraints deletion: 21943 -> 10975
1238.29/1238.52	c learnt constraints deletion: 21953 -> 10981
1250.67/1250.92	c learnt constraints deletion: 22008 -> 11016
1263.68/1263.99	c learnt constraints deletion: 21948 -> 10979
1278.37/1278.63	c learnt constraints deletion: 22030 -> 11021
1292.66/1292.96	c learnt constraints deletion: 22134 -> 11074
1305.77/1306.06	c learnt constraints deletion: 22032 -> 11024
1320.96/1321.26	c learnt constraints deletion: 23631 -> 11816
1338.26/1338.51	c learnt constraints deletion: 23544 -> 11772
1357.55/1357.90	c learnt constraints deletion: 23916 -> 11958
1373.66/1373.92	c learnt constraints deletion: 23717 -> 11859
1390.25/1390.52	c learnt constraints deletion: 23861 -> 11931
1409.65/1409.99	c learnt constraints deletion: 24127 -> 12065
1429.54/1429.84	c learnt constraints deletion: 23724 -> 11862
1445.05/1445.38	c learnt constraints deletion: 24071 -> 12045
1461.34/1461.63	c learnt constraints deletion: 24178 -> 12089
1477.64/1477.95	c learnt constraints deletion: 24303 -> 12153
1492.63/1492.97	c learnt constraints deletion: 24010 -> 12005
1508.33/1508.62	c learnt constraints deletion: 24038 -> 12019
1527.43/1527.77	c learnt constraints deletion: 23741 -> 11871
1544.03/1544.32	c learnt constraints deletion: 24172 -> 12086
1561.52/1561.85	c learnt constraints deletion: 24022 -> 12011
1575.42/1575.70	c learnt constraints deletion: 23804 -> 11902
1589.82/1590.16	c learnt constraints deletion: 24009 -> 12005
1605.81/1606.17	c learnt constraints deletion: 24023 -> 12012
1622.52/1622.81	c learnt constraints deletion: 24115 -> 12059
1639.91/1640.21	c learnt constraints deletion: 23951 -> 11978
1654.01/1654.33	c learnt constraints deletion: 24233 -> 12127
1671.51/1671.85	c learnt constraints deletion: 23829 -> 11915
1686.40/1686.71	c learnt constraints deletion: 23322 -> 11661
1705.80/1706.14	c learnt constraints deletion: 24071 -> 12037
1718.30/1718.67	c learnt constraints deletion: 23466 -> 11733
1737.50/1737.80	c learnt constraints deletion: 24186 -> 12093
1751.29/1751.61	c learnt constraints deletion: 23502 -> 11751
1768.09/1768.42	c learnt constraints deletion: 24043 -> 12023
1782.79/1783.16	c learnt constraints deletion: 24122 -> 12066
1796.49/1796.83	c learnt constraints deletion: 24223 -> 12124

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-3725342-1338638717/watcher-3725342-1338638717 -o /tmp/evaluation-result-3725342-1338638717/solver-3725342-1338638717 -C 1800 -W 1900 -M 15500 HOME/toysat +RTS -K1G -RTS --pb HOME/instance-3725342-1338638717.opb 

running on 4 cores: 1,3,5,7

Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1800 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1830 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 1900 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB
Current StackSize limit: 10240 KiB


[startup+0 s]
/proc/loadavg: 1.92 2.00 1.97 3/176 4505
/proc/meminfo: memFree=27574504/32873648 swapFree=7368/7368
[pid=4505] ppid=4503 vsize=6224 CPUtime=0 cores=1,3,5,7
/proc/4505/stat : 4505 (toysat) R 4503 4505 3777 0 -1 4202496 823 0 0 0 0 0 0 0 20 0 1 0 329995827 6373376 742 33554432000 4194304 8989770 140735296545232 140735296544496 7857787 0 2 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/4505/statm: 1556 743 428 1171 0 333 0

[startup+0.0669461 s]
/proc/loadavg: 1.92 2.00 1.97 3/176 4505
/proc/meminfo: memFree=27574504/32873648 swapFree=7368/7368
[pid=4505] ppid=4503 vsize=10320 CPUtime=0.06 cores=1,3,5,7
/proc/4505/stat : 4505 (toysat) R 4503 4505 3777 0 -1 4202496 1859 0 0 0 6 0 0 0 20 0 1 0 329995827 10567680 1778 33554432000 4194304 8989770 140735296545232 140735296544496 7953280 0 0 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/4505/statm: 2580 1778 431 1171 0 1357 0
Current children cumulated CPU time (s) 0.06
Current children cumulated vsize (KiB) 10320

[startup+0.100299 s]
/proc/loadavg: 1.92 2.00 1.97 3/176 4505
/proc/meminfo: memFree=27574504/32873648 swapFree=7368/7368
[pid=4505] ppid=4503 vsize=12368 CPUtime=0.09 cores=1,3,5,7
/proc/4505/stat : 4505 (toysat) R 4503 4505 3777 0 -1 4202496 2328 0 0 0 9 0 0 0 20 0 1 0 329995827 12664832 2247 33554432000 4194304 8989770 140735296545232 140735296544496 7857787 0 2 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/4505/statm: 3092 2248 431 1171 0 1869 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 12368

[startup+0.300278 s]
/proc/loadavg: 1.92 2.00 1.97 3/176 4505
/proc/meminfo: memFree=27574504/32873648 swapFree=7368/7368
[pid=4505] ppid=4503 vsize=16464 CPUtime=0.29 cores=1,3,5,7
/proc/4505/stat : 4505 (toysat) R 4503 4505 3777 0 -1 4202496 3212 0 0 0 29 0 0 0 20 0 1 0 329995827 16859136 3131 33554432000 4194304 8989770 140735296545232 140735296544496 7857787 0 2 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/4505/statm: 4116 3131 471 1171 0 2893 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 16464

[startup+0.700295 s]
/proc/loadavg: 1.92 2.00 1.97 3/176 4505
/proc/meminfo: memFree=27574504/32873648 swapFree=7368/7368
[pid=4505] ppid=4503 vsize=16464 CPUtime=0.69 cores=1,3,5,7
/proc/4505/stat : 4505 (toysat) R 4503 4505 3777 0 -1 4202496 3441 0 0 0 69 0 0 0 20 0 1 0 329995827 16859136 3360 33554432000 4194304 8989770 140735296545232 140735296544496 7953280 0 0 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/4505/statm: 4116 3360 471 1171 0 2893 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 16464

[startup+1.5003 s]
/proc/loadavg: 1.92 2.00 1.97 3/177 4506
/proc/meminfo: memFree=27562080/32873648 swapFree=7368/7368
[pid=4505] ppid=4503 vsize=17488 CPUtime=1.48 cores=1,3,5,7
/proc/4505/stat : 4505 (toysat) R 4503 4505 3777 0 -1 4202496 3697 0 0 0 148 0 0 0 20 0 1 0 329995827 17907712 3616 33554432000 4194304 8989770 140735296545232 140735296544728 7953280 0 0 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/4505/statm: 4372 3616 471 1171 0 3149 0
Current children cumulated CPU time (s) 1.48
Current children cumulated vsize (KiB) 17488

[startup+3.1003 s]
/proc/loadavg: 1.93 2.00 1.97 3/177 4506
/proc/meminfo: memFree=27559368/32873648 swapFree=7368/7368
[pid=4505] ppid=4503 vsize=18512 CPUtime=3.09 cores=1,3,5,7
/proc/4505/stat : 4505 (toysat) R 4503 4505 3777 0 -1 4202496 3953 0 0 0 308 1 0 0 20 0 1 0 329995827 18956288 3872 33554432000 4194304 8989770 140735296545232 140735296544728 4208870 0 2 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/4505/statm: 4628 3872 471 1171 0 3405 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 18512

[startup+6.30028 s]
/proc/loadavg: 1.93 2.00 1.97 3/177 4506
/proc/meminfo: memFree=27558116/32873648 swapFree=7368/7368
[pid=4505] ppid=4503 vsize=22608 CPUtime=6.29 cores=1,3,5,7
/proc/4505/stat : 4505 (toysat) R 4503 4505 3777 0 -1 4202496 4767 0 0 0 627 2 0 0 20 0 1 0 329995827 23150592 4686 33554432000 4194304 8989770 140735296545232 140735296544496 7857787 0 2 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/4505/statm: 5652 4686 471 1171 0 4429 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 22608

[startup+12.7003 s]
/proc/loadavg: 1.94 2.00 1.97 3/177 4506
/proc/meminfo: memFree=27551692/32873648 swapFree=7368/7368
[pid=4505] ppid=4503 vsize=26704 CPUtime=12.69 cores=1,3,5,7
/proc/4505/stat : 4505 (toysat) R 4503 4505 3777 0 -1 4202496 6003 0 0 0 1265 4 0 0 20 0 1 0 329995827 27344896 5922 33554432000 4194304 8989770 140735296545232 140735296544496 7953280 0 0 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/4505/statm: 6676 5922 473 1171 0 5453 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 26704

[startup+25.5003 s]
/proc/loadavg: 1.95 2.00 1.97 3/177 4506
/proc/meminfo: memFree=27547940/32873648 swapFree=7368/7368
[pid=4505] ppid=4503 vsize=31824 CPUtime=25.48 cores=1,3,5,7
/proc/4505/stat : 4505 (toysat) R 4503 4505 3777 0 -1 4202496 7293 0 0 0 2540 8 0 0 20 0 1 0 329995827 32587776 7207 33554432000 4194304 8989770 140735296545232 140735296544728 7953280 0 0 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/4505/statm: 7956 7207 473 1171 0 6733 0
Current children cumulated CPU time (s) 25.48
Current children cumulated vsize (KiB) 31824

[startup+51.1003 s]
/proc/loadavg: 1.97 2.00 1.97 3/177 4621
/proc/meminfo: memFree=27630532/32873648 swapFree=7368/7368
[pid=4505] ppid=4503 vsize=37968 CPUtime=51.07 cores=1,3,5,7
/proc/4505/stat : 4505 (toysat) R 4503 4505 3777 0 -1 4202496 9341 0 0 0 5093 14 0 0 20 0 1 0 329995827 38879232 8743 33554432000 4194304 8989770 140735296545232 140735296544496 7953280 0 0 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/4505/statm: 9492 8743 473 1171 0 8269 0
Current children cumulated CPU time (s) 51.07
Current children cumulated vsize (KiB) 37968

[startup+102.307 s]
/proc/loadavg: 2.02 2.01 1.97 3/176 4622
/proc/meminfo: memFree=27622240/32873648 swapFree=7368/7368
[pid=4505] ppid=4503 vsize=43088 CPUtime=102.27 cores=1,3,5,7
/proc/4505/stat : 4505 (toysat) R 4503 4505 3777 0 -1 4202496 10621 0 0 0 10199 28 0 0 20 0 1 0 329995827 44122112 10023 33554432000 4194304 8989770 140735296545232 140735296544728 4453020 0 0 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/4505/statm: 10772 10023 473 1171 0 9549 0
Current children cumulated CPU time (s) 102.27
Current children cumulated vsize (KiB) 43088

[startup+162.3 s]
/proc/loadavg: 2.01 2.01 1.97 3/177 4623
/proc/meminfo: memFree=27622456/32873648 swapFree=7368/7368
[pid=4505] ppid=4503 vsize=46160 CPUtime=162.26 cores=1,3,5,7
/proc/4505/stat : 4505 (toysat) R 4503 4505 3777 0 -1 4202496 12157 0 0 0 16184 42 0 0 20 0 1 0 329995827 47267840 10791 33554432000 4194304 8989770 140735296545232 140735296544496 7857787 0 2 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/4505/statm: 11540 10791 473 1171 0 10317 0
Current children cumulated CPU time (s) 162.26
Current children cumulated vsize (KiB) 46160

[startup+222.3 s]
/proc/loadavg: 2.00 2.00 1.97 3/177 4623
/proc/meminfo: memFree=27614488/32873648 swapFree=7368/7368
[pid=4505] ppid=4503 vsize=50256 CPUtime=222.25 cores=1,3,5,7
/proc/4505/stat : 4505 (toysat) R 4503 4505 3777 0 -1 4202496 13696 0 0 0 22168 57 0 0 20 0 1 0 329995827 51462144 11815 33554432000 4194304 8989770 140735296545232 140735296544496 4213933 0 2 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/4505/statm: 12564 11815 473 1171 0 11341 0
Current children cumulated CPU time (s) 222.25
Current children cumulated vsize (KiB) 50256

[startup+282.3 s]
/proc/loadavg: 2.00 2.00 1.97 3/177 4623
/proc/meminfo: memFree=27608632/32873648 swapFree=7368/7368
[pid=4505] ppid=4503 vsize=54352 CPUtime=282.24 cores=1,3,5,7
/proc/4505/stat : 4505 (toysat) R 4503 4505 3777 0 -1 4202496 14976 0 0 0 28151 73 0 0 20 0 1 0 329995827 55656448 12839 33554432000 4194304 8989770 140735296545232 140735296544496 7857787 0 2 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/4505/statm: 13588 12839 473 1171 0 12365 0
Current children cumulated CPU time (s) 282.24
Current children cumulated vsize (KiB) 54352

[startup+342.3 s]
/proc/loadavg: 2.00 2.00 1.97 3/178 4626
/proc/meminfo: memFree=27610784/32873648 swapFree=7368/7368
[pid=4505] ppid=4503 vsize=50256 CPUtime=342.22 cores=1,3,5,7
/proc/4505/stat : 4505 (toysat) R 4503 4505 3777 0 -1 4202496 14976 0 0 0 34136 86 0 0 20 0 1 0 329995827 51462144 11815 33554432000 4194304 8989770 140735296545232 140735296544728 7953280 0 0 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/4505/statm: 12564 11815 473 1171 0 11341 0
Current children cumulated CPU time (s) 342.22
Current children cumulated vsize (KiB) 50256

[startup+402.3 s]
/proc/loadavg: 2.00 2.00 1.97 3/177 4627
/proc/meminfo: memFree=27603136/32873648 swapFree=7368/7368
[pid=4505] ppid=4503 vsize=57424 CPUtime=402.22 cores=1,3,5,7
/proc/4505/stat : 4505 (toysat) R 4503 4505 3777 0 -1 4202496 17024 0 0 0 40121 101 0 0 20 0 1 0 329995827 58802176 13607 33554432000 4194304 8989770 140735296545232 140735296544496 7857787 0 2 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/4505/statm: 14356 13607 473 1171 0 13133 0
Current children cumulated CPU time (s) 402.22
Current children cumulated vsize (KiB) 57424

[startup+462.3 s]
/proc/loadavg: 2.00 2.00 1.97 3/177 4627
/proc/meminfo: memFree=27605836/32873648 swapFree=7368/7368
[pid=4505] ppid=4503 vsize=54352 CPUtime=462.21 cores=1,3,5,7
/proc/4505/stat : 4505 (toysat) R 4503 4505 3777 0 -1 4202496 17537 0 0 0 46105 116 0 0 20 0 1 0 329995827 55656448 12839 33554432000 4194304 8989770 140735296545232 140735296544728 7953280 0 0 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/4505/statm: 13588 12839 473 1171 0 12365 0
Current children cumulated CPU time (s) 462.21
Current children cumulated vsize (KiB) 54352

[startup+522.3 s]
/proc/loadavg: 2.00 2.00 1.97 3/177 4627
/proc/meminfo: memFree=27603204/32873648 swapFree=7368/7368
[pid=4505] ppid=4503 vsize=56400 CPUtime=522.2 cores=1,3,5,7
/proc/4505/stat : 4505 (toysat) R 4503 4505 3777 0 -1 4202496 18306 0 0 0 52091 129 0 0 20 0 1 0 329995827 57753600 13351 33554432000 4194304 8989770 140735296545232 140735296544496 7857787 0 2 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/4505/statm: 14100 13351 473 1171 0 12877 0
Current children cumulated CPU time (s) 522.2
Current children cumulated vsize (KiB) 56400

[startup+582.3 s]
/proc/loadavg: 2.04 2.01 1.98 3/177 4627
/proc/meminfo: memFree=27605676/32873648 swapFree=7368/7368
[pid=4505] ppid=4503 vsize=54352 CPUtime=582.18 cores=1,3,5,7
/proc/4505/stat : 4505 (toysat) R 4503 4505 3777 0 -1 4202496 18818 0 0 0 58078 140 0 0 20 0 1 0 329995827 55656448 12839 33554432000 4194304 8989770 140735296545232 140735296544728 7953280 0 0 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/4505/statm: 13588 12839 473 1171 0 12365 0
Current children cumulated CPU time (s) 582.18
Current children cumulated vsize (KiB) 54352

[startup+642.3 s]

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

[startup+822.3 s]
/proc/loadavg: 2.03 2.01 1.98 3/177 4628
/proc/meminfo: memFree=27601456/32873648 swapFree=7368/7368
[pid=4505] ppid=4503 vsize=54352 CPUtime=822.15 cores=1,3,5,7
/proc/4505/stat : 4505 (toysat) R 4503 4505 3777 0 -1 4202496 25222 0 0 0 82023 192 0 0 20 0 1 0 329995827 55656448 12839 33554432000 4194304 8989770 140735296545232 140735296544728 7953280 0 0 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/4505/statm: 13588 12839 473 1171 0 12365 0
Current children cumulated CPU time (s) 822.15
Current children cumulated vsize (KiB) 54352

[startup+882.3 s]
/proc/loadavg: 2.01 2.00 1.98 3/177 4628
/proc/meminfo: memFree=27601708/32873648 swapFree=7368/7368
[pid=4505] ppid=4503 vsize=54352 CPUtime=882.14 cores=1,3,5,7
/proc/4505/stat : 4505 (toysat) R 4503 4505 3777 0 -1 4202496 27016 0 0 0 88008 206 0 0 20 0 1 0 329995827 55656448 12839 33554432000 4194304 8989770 140735296545232 140735296544496 7857787 0 2 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/4505/statm: 13588 12839 473 1171 0 12365 0
Current children cumulated CPU time (s) 882.14
Current children cumulated vsize (KiB) 54352

[startup+942.3 s]
/proc/loadavg: 2.00 2.00 1.98 3/178 4631
/proc/meminfo: memFree=27598148/32873648 swapFree=7368/7368
[pid=4505] ppid=4503 vsize=58448 CPUtime=942.12 cores=1,3,5,7
/proc/4505/stat : 4505 (toysat) R 4503 4505 3777 0 -1 4202496 28814 0 0 0 93992 220 0 0 20 0 1 0 329995827 59850752 13863 33554432000 4194304 8989770 140735296545232 140735296544728 4438168 0 0 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/4505/statm: 14612 13863 473 1171 0 13389 0
Current children cumulated CPU time (s) 942.12
Current children cumulated vsize (KiB) 58448

[startup+1002.3 s]
/proc/loadavg: 2.00 2.00 1.98 3/177 4632
/proc/meminfo: memFree=27602352/32873648 swapFree=7368/7368
[pid=4505] ppid=4503 vsize=54352 CPUtime=1002.11 cores=1,3,5,7
/proc/4505/stat : 4505 (toysat) R 4503 4505 3777 0 -1 4202496 30862 0 0 0 99977 234 0 0 20 0 1 0 329995827 55656448 12839 33554432000 4194304 8989770 140735296545232 140735296544728 7953280 0 0 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/4505/statm: 13588 12839 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.03 2.01 1.99 3/177 4632
/proc/meminfo: memFree=27590752/32873648 swapFree=7368/7368
[pid=4505] ppid=4503 vsize=63568 CPUtime=1062.11 cores=1,3,5,7
/proc/4505/stat : 4505 (toysat) R 4503 4505 3777 0 -1 4202496 35215 0 0 0 105961 250 0 0 20 0 1 0 329995827 65093632 15143 33554432000 4194304 8989770 140735296545232 140735296544496 4209212 0 2 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/4505/statm: 15892 15143 473 1171 0 14669 0
Current children cumulated CPU time (s) 1062.11
Current children cumulated vsize (KiB) 63568

[startup+1122.3 s]
/proc/loadavg: 2.01 2.01 1.99 3/177 4632
/proc/meminfo: memFree=27591168/32873648 swapFree=7368/7368
[pid=4505] ppid=4503 vsize=63568 CPUtime=1122.09 cores=1,3,5,7
/proc/4505/stat : 4505 (toysat) R 4503 4505 3777 0 -1 4202496 35728 0 0 0 111947 262 0 0 20 0 1 0 329995827 65093632 15143 33554432000 4194304 8989770 140735296545232 140735296544496 4209212 0 2 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/4505/statm: 15892 15143 473 1171 0 14669 0
Current children cumulated CPU time (s) 1122.09
Current children cumulated vsize (KiB) 63568

[startup+1182.3 s]
/proc/loadavg: 2.00 2.00 1.99 3/177 4632
/proc/meminfo: memFree=27589780/32873648 swapFree=7368/7368
[pid=4505] ppid=4503 vsize=66640 CPUtime=1182.08 cores=1,3,5,7
/proc/4505/stat : 4505 (toysat) R 4503 4505 3777 0 -1 4202496 37520 0 0 0 117933 275 0 0 20 0 1 0 329995827 68239360 15911 33554432000 4194304 8989770 140735296545232 140735296544728 7953280 0 0 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/4505/statm: 16660 15911 473 1171 0 15437 0
Current children cumulated CPU time (s) 1182.08
Current children cumulated vsize (KiB) 66640

[startup+1242.3 s]
/proc/loadavg: 2.00 2.00 1.99 3/177 4632
/proc/meminfo: memFree=27584108/32873648 swapFree=7368/7368
[pid=4505] ppid=4503 vsize=70736 CPUtime=1242.07 cores=1,3,5,7
/proc/4505/stat : 4505 (toysat) R 4503 4505 3777 0 -1 4202496 39824 0 0 0 123918 289 0 0 20 0 1 0 329995827 72433664 16935 33554432000 4194304 8989770 140735296545232 140735296544728 7857787 0 2 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/4505/statm: 17684 16935 473 1171 0 16461 0
Current children cumulated CPU time (s) 1242.07
Current children cumulated vsize (KiB) 70736

[startup+1302.3 s]
/proc/loadavg: 2.00 2.00 1.99 3/178 4634
/proc/meminfo: memFree=27589232/32873648 swapFree=7368/7368
[pid=4505] ppid=4503 vsize=66640 CPUtime=1302.07 cores=1,3,5,7
/proc/4505/stat : 4505 (toysat) R 4503 4505 3777 0 -1 4202496 41106 0 0 0 129903 304 0 0 20 0 1 0 329995827 68239360 15911 33554432000 4194304 8989770 140735296545232 140735296544728 7953280 0 0 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/4505/statm: 16660 15911 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.99 3/177 4634
/proc/meminfo: memFree=27591772/32873648 swapFree=7368/7368
[pid=4505] ppid=4503 vsize=62544 CPUtime=1362.05 cores=1,3,5,7
/proc/4505/stat : 4505 (toysat) R 4503 4505 3777 0 -1 4202496 41619 0 0 0 135889 316 0 0 20 0 1 0 329995827 64045056 14887 33554432000 4194304 8989770 140735296545232 140735296544728 7857787 0 2 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/4505/statm: 15636 14887 473 1171 0 14413 0
Current children cumulated CPU time (s) 1362.05
Current children cumulated vsize (KiB) 62544

[startup+1422.31 s]
/proc/loadavg: 2.00 2.00 1.99 3/177 4634
/proc/meminfo: memFree=27583408/32873648 swapFree=7368/7368
[pid=4505] ppid=4503 vsize=70736 CPUtime=1422.05 cores=1,3,5,7
/proc/4505/stat : 4505 (toysat) R 4503 4505 3777 0 -1 4202496 43923 0 0 0 141878 327 0 0 20 0 1 0 329995827 72433664 16935 33554432000 4194304 8989770 140735296545232 140735296544728 4437616 0 0 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/4505/statm: 17684 16935 473 1171 0 16461 0
Current children cumulated CPU time (s) 1422.05
Current children cumulated vsize (KiB) 70736

[startup+1482.3 s]
/proc/loadavg: 2.00 2.00 1.99 3/177 4634
/proc/meminfo: memFree=27591872/32873648 swapFree=7368/7368
[pid=4505] ppid=4503 vsize=58448 CPUtime=1482.03 cores=1,3,5,7
/proc/4505/stat : 4505 (toysat) R 4503 4505 3777 0 -1 4202496 45206 0 0 0 147861 342 0 0 20 0 1 0 329995827 59850752 13863 33554432000 4194304 8989770 140735296545232 140735296544496 7953280 0 0 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/4505/statm: 14612 13863 473 1171 0 13389 0
Current children cumulated CPU time (s) 1482.03
Current children cumulated vsize (KiB) 58448

[startup+1542.3 s]
/proc/loadavg: 2.03 2.01 2.00 3/178 4637
/proc/meminfo: memFree=27584464/32873648 swapFree=7368/7368
[pid=4505] ppid=4503 vsize=68688 CPUtime=1542.03 cores=1,3,5,7
/proc/4505/stat : 4505 (toysat) R 4503 4505 3777 0 -1 4202496 47766 0 0 0 153847 356 0 0 20 0 1 0 329995827 70336512 16423 33554432000 4194304 8989770 140735296545232 140735296544496 7857787 0 2 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/4505/statm: 17172 16423 473 1171 0 15949 0
Current children cumulated CPU time (s) 1542.03
Current children cumulated vsize (KiB) 68688

[startup+1602.3 s]
/proc/loadavg: 2.01 2.01 2.00 3/177 4637
/proc/meminfo: memFree=27584384/32873648 swapFree=7368/7368
[pid=4505] ppid=4503 vsize=67664 CPUtime=1602.02 cores=1,3,5,7
/proc/4505/stat : 4505 (toysat) R 4503 4505 3777 0 -1 4202496 50071 0 0 0 159831 371 0 0 20 0 1 0 329995827 69287936 16167 33554432000 4194304 8989770 140735296545232 140735296543168 7857787 0 2 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/4505/statm: 16916 16167 473 1171 0 15693 0
Current children cumulated CPU time (s) 1602.02
Current children cumulated vsize (KiB) 67664

[startup+1662.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 4638
/proc/meminfo: memFree=27592780/32873648 swapFree=7368/7368
[pid=4505] ppid=4503 vsize=58448 CPUtime=1662.01 cores=1,3,5,7
/proc/4505/stat : 4505 (toysat) R 4503 4505 3777 0 -1 4202496 51098 0 0 0 165816 385 0 0 20 0 1 0 329995827 59850752 13863 33554432000 4194304 8989770 140735296545232 140735296544496 7953280 0 0 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/4505/statm: 14612 13863 473 1171 0 13389 0
Current children cumulated CPU time (s) 1662.01
Current children cumulated vsize (KiB) 58448

[startup+1722.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 4638
/proc/meminfo: memFree=27589876/32873648 swapFree=7368/7368
[pid=4505] ppid=4503 vsize=58448 CPUtime=1721.99 cores=1,3,5,7
/proc/4505/stat : 4505 (toysat) R 4503 4505 3777 0 -1 4202496 52122 0 0 0 171802 397 0 0 20 0 1 0 329995827 59850752 13863 33554432000 4194304 8989770 140735296545232 140735296544496 7953280 0 0 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/4505/statm: 14612 13863 473 1171 0 13389 0
Current children cumulated CPU time (s) 1721.99
Current children cumulated vsize (KiB) 58448

[startup+1782.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 4638
/proc/meminfo: memFree=27583840/32873648 swapFree=7368/7368
[pid=4505] ppid=4503 vsize=70736 CPUtime=1781.99 cores=1,3,5,7
/proc/4505/stat : 4505 (toysat) R 4503 4505 3777 0 -1 4202496 55196 0 0 0 177788 411 0 0 20 0 1 0 329995827 72433664 16935 33554432000 4194304 8989770 140735296545232 140735296544728 7857787 0 2 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/4505/statm: 17684 16935 473 1171 0 16461 0
Current children cumulated CPU time (s) 1781.99
Current children cumulated vsize (KiB) 70736



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1800.4 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 4638
/proc/meminfo: memFree=27581244/32873648 swapFree=7368/7368
[pid=4505] ppid=4503 vsize=70736 CPUtime=1800.09 cores=1,3,5,7
/proc/4505/stat : 4505 (toysat) R 4503 4505 3777 0 -1 4202496 55964 0 0 0 179593 416 0 0 20 0 1 0 329995827 72433664 16935 33554432000 4194304 8989770 140735296545232 140735296544728 4212986 0 2 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/4505/statm: 17684 16935 473 1171 0 16461 0
Current children cumulated CPU time (s) 1800.09
Current children cumulated vsize (KiB) 70736

Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds

Solver just ended. Dumping a history of the last processes samples

Child ended because it received signal 15 (SIGTERM)
Real time (s): 1800.41
CPU time (s): 1800.1
CPU user time (s): 1795.93
CPU system time (s): 4.16737
CPU usage (%): 99.9828
Max. virtual memory (cumulated for all children) (KiB): 74832

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1795.93
system time used= 4.16737
maximum resident set size= 71836
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 55964
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= 44
involuntary context switches= 1848

runsolver used 3.48047 second user time and 9.14361 second system time

The end

Launcher Data 

Begin job on node149 at 2012-06-02 14:05:17
IDJOB=3725342
IDBENCH=25029
IDSOLVER=2308
FILE ID=node149/3725342-1338638717
RUNJOBID= node149-1338631488-3794
PBS_JOBID= 14636431
Free space on /tmp= 71320 MiB

SOLVER NAME= toysat 2012-06-01
BENCH NAME= PB07/normalized-PB07/OPT-SMALLINT-LIN/submittedPB07/aksoy/area_partials/normalized-fir10_area_partials.opb
COMMAND LINE= HOME/toysat +RTS -K1G -RTS --pb BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-3725342-1338638717/watcher-3725342-1338638717 -o /tmp/evaluation-result-3725342-1338638717/solver-3725342-1338638717 -C 1800 -W 1900 -M 15500  HOME/toysat +RTS -K1G -RTS --pb HOME/instance-3725342-1338638717.opb

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

MD5SUM BENCH= 8e58fdc516472c37b974ebbf77c2a4fa
RANDOM SEED=1143685823

node149.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.145
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.29
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.145
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.145
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	: 5438.55
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.145
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.145
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.145
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	: 5438.55
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.145
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.145
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:        27574132 kB
Buffers:          687308 kB
Cached:          3615648 kB
SwapCached:         2468 kB
Active:          1680016 kB
Inactive:        2747420 kB
Active(anon):     107240 kB
Inactive(anon):     9368 kB
Active(file):    1572776 kB
Inactive(file):  2738052 kB
Unevictable:        7368 kB
Mlocked:            7368 kB
SwapTotal:      67108856 kB
SwapFree:       67104892 kB
Dirty:              7420 kB
Writeback:             0 kB
AnonPages:        119732 kB
Mapped:            16032 kB
Shmem:                96 kB
Slab:             731192 kB
SReclaimable:     175168 kB
SUnreclaim:       556024 kB
KernelStack:        1472 kB
PageTables:         4208 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83545680 kB
Committed_AS:     229060 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      346400 kB
VmallocChunk:   34341988052 kB
HardwareCorrupted:     0 kB
AnonHugePages:    100352 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= 71316 MiB
End job on node149 at 2012-06-02 14:35:20