Trace number 3725412

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

General information on the benchmark

Name/OPT-SMALLINT-LIN/flexray/
normalized-fx49.opb
MD5SUMe08af5097f76b1d4e2b0ba1d8a42ed5a
Bench CategoryOPT-SMALLINT-LIN (optimisation, small integers, linear constraints)
Best result obtained on this benchmark
Best value of the objective obtained on this benchmark
Best CPU time to get the best result obtained on this benchmark
Has Objective FunctionYES
Satisfiable
(Un)Satisfiability was proved
Best value of the objective function
Optimality of the best value was proved
Number of variables2130
Total number of constraints2495
Number of constraints which are clauses2125
Number of constraints which are cardinality constraints (but not clauses)50
Number of constraints which are nor clauses,nor cardinality constraints320
Minimum length of a constraint2
Maximum length of a constraint320
Number of terms in the objective function 5
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 5
Number of bits of the sum of numbers in the objective function 3
Biggest number in a constraint 42
Number of bits of the biggest number in a constraint 6
Biggest sum of numbers in a constraint 636
Number of bits of the biggest sum of numbers10
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.14	c 2012-06-02T14:36:21+0200
0.09/0.14	c arch = x86_64
0.09/0.14	c os = linux
0.09/0.14	c compiler = ghc 7.4
0.09/0.14	c packages:
0.09/0.14	c   OptDir-0.0.1
0.09/0.14	c   array-0.4.0.0
0.09/0.14	c   base-4.5.0.0
0.09/0.14	c   bytestring-0.9.2.1
0.09/0.14	c   containers-0.4.2.1
0.09/0.14	c   deepseq-1.3.0.0
0.09/0.14	c   mtl-2.1.1
0.09/0.14	c   old_locale-1.0.0.4
0.09/0.14	c   parse_dimacs-1.2
0.09/0.14	c   parsec-3.1.2
0.09/0.14	c   queue-0.1.2
0.09/0.14	c   stm-2.3
0.09/0.14	c   time-1.4
0.09/0.14	c command line = ["+RTS","-K1G","-RTS","--pb","HOME/instance-3725412-1338640581.opb"]
0.09/0.14	c #vars 2130
0.09/0.14	c #constraints 2495
0.09/0.14	c Solving starts ...
9.48/9.54	c learnt constraints deletion: 3216 -> 1608
18.18/18.24	c learnt constraints deletion: 4717 -> 2363
24.68/24.75	c learnt constraints deletion: 4572 -> 2286
29.68/29.79	c learnt constraints deletion: 4293 -> 2155
46.08/46.16	c learnt constraints deletion: 5390 -> 2720
66.87/66.92	c learnt constraints deletion: 5358 -> 2725
93.16/93.28	c learnt constraints deletion: 5141 -> 2594
113.16/113.27	c learnt constraints deletion: 5118 -> 2565
169.75/169.87	c learnt constraints deletion: 5277 -> 2666
201.44/201.53	c learnt constraints deletion: 5521 -> 2761
212.65/212.76	c learnt constraints deletion: 5638 -> 2821
222.05/222.11	c learnt constraints deletion: 5425 -> 2715
235.94/236.09	c learnt constraints deletion: 5740 -> 2873
248.73/248.88	c learnt constraints deletion: 6011 -> 3009
262.24/262.35	c learnt constraints deletion: 6470 -> 3237
276.14/276.26	c learnt constraints deletion: 6395 -> 3204
287.73/287.87	c learnt constraints deletion: 6183 -> 3101
298.93/299.06	c learnt constraints deletion: 6071 -> 3038
310.53/310.68	c learnt constraints deletion: 6015 -> 3010
323.13/323.30	c learnt constraints deletion: 6034 -> 3019
336.63/336.75	c learnt constraints deletion: 6680 -> 3341
380.02/380.19	c learnt constraints deletion: 7351 -> 3689
408.02/408.12	c learnt constraints deletion: 7033 -> 3528
444.71/444.89	c learnt constraints deletion: 7021 -> 3515
463.10/463.28	c learnt constraints deletion: 7222 -> 3615
479.30/479.49	c learnt constraints deletion: 7145 -> 3577
497.00/497.16	c learnt constraints deletion: 7210 -> 3608
519.10/519.22	c learnt constraints deletion: 7027 -> 3519
535.29/535.41	c learnt constraints deletion: 7545 -> 3774
546.69/546.84	c learnt constraints deletion: 7593 -> 3800
559.90/560.02	c learnt constraints deletion: 7650 -> 3839
571.59/571.77	c learnt constraints deletion: 7521 -> 3776
585.39/585.56	c learnt constraints deletion: 7608 -> 3818
601.38/601.57	c learnt constraints deletion: 7491 -> 3748
622.88/623.01	c learnt constraints deletion: 7631 -> 3831
640.88/641.00	c learnt constraints deletion: 7457 -> 3745
658.57/658.73	c learnt constraints deletion: 7399 -> 3719
675.57/675.78	c learnt constraints deletion: 7508 -> 3774
692.37/692.55	c learnt constraints deletion: 7495 -> 3768
711.97/712.12	c learnt constraints deletion: 7818 -> 3909
734.57/734.71	c learnt constraints deletion: 7620 -> 3846
757.06/757.24	c learnt constraints deletion: 8011 -> 4052
775.37/775.57	c learnt constraints deletion: 7875 -> 3987
795.16/795.36	c learnt constraints deletion: 7896 -> 3998
819.86/820.09	c learnt constraints deletion: 7896 -> 3998
849.35/849.53	c learnt constraints deletion: 7965 -> 4039
880.65/880.88	c learnt constraints deletion: 7941 -> 4025
899.34/899.56	c learnt constraints deletion: 7879 -> 3992
917.63/917.87	c learnt constraints deletion: 7991 -> 4048
936.04/936.23	c learnt constraints deletion: 7994 -> 4050
953.43/953.61	c learnt constraints deletion: 7867 -> 3990
974.44/974.67	c learnt constraints deletion: 8003 -> 4055
989.33/989.52	c learnt constraints deletion: 7877 -> 3992
1006.33/1006.56	c learnt constraints deletion: 7910 -> 4007
1020.12/1020.37	c learnt constraints deletion: 7892 -> 4000
1036.81/1037.05	c learnt constraints deletion: 7931 -> 4023
1057.11/1057.37	c learnt constraints deletion: 8529 -> 4265
1069.31/1069.58	c learnt constraints deletion: 8536 -> 4271
1081.71/1081.94	c learnt constraints deletion: 8448 -> 4238
1095.00/1095.28	c learnt constraints deletion: 8566 -> 4297
1110.99/1111.23	c learnt constraints deletion: 8313 -> 4171
1135.00/1135.26	c learnt constraints deletion: 8662 -> 4348
1153.39/1153.64	c learnt constraints deletion: 8508 -> 4274
1177.79/1178.07	c learnt constraints deletion: 8427 -> 4228
1192.28/1192.58	c learnt constraints deletion: 8488 -> 4260
1209.97/1210.25	c learnt constraints deletion: 8443 -> 4239
1224.68/1224.95	c learnt constraints deletion: 8400 -> 4216
1238.87/1239.15	c learnt constraints deletion: 8534 -> 4283
1253.17/1253.40	c learnt constraints deletion: 8367 -> 4200
1269.67/1269.98	c learnt constraints deletion: 8500 -> 4269
1290.46/1290.79	c learnt constraints deletion: 8334 -> 4186
1315.37/1315.62	c learnt constraints deletion: 8664 -> 4348
1329.25/1329.56	c learnt constraints deletion: 8503 -> 4270
1346.95/1347.27	c learnt constraints deletion: 8419 -> 4230
1364.25/1364.57	c learnt constraints deletion: 8289 -> 4164
1382.36/1382.65	c learnt constraints deletion: 8295 -> 4165
1397.25/1397.54	c learnt constraints deletion: 8511 -> 4274
1413.05/1413.38	c learnt constraints deletion: 8624 -> 4330
1428.94/1429.20	c learnt constraints deletion: 8502 -> 4272
1447.94/1448.21	c learnt constraints deletion: 9097 -> 4549
1493.93/1494.29	c learnt constraints deletion: 9973 -> 4998
1537.32/1537.66	c learnt constraints deletion: 9861 -> 4937
1570.92/1571.22	c learnt constraints deletion: 9712 -> 4864
1599.82/1600.15	c learnt constraints deletion: 9686 -> 4848
1631.21/1631.57	c learnt constraints deletion: 9684 -> 4847
1665.21/1665.58	c learnt constraints deletion: 9970 -> 4991
1706.00/1706.35	c learnt constraints deletion: 10212 -> 5117
1740.80/1741.16	c learnt constraints deletion: 9767 -> 4894
1769.69/1770.02	c learnt constraints deletion: 9977 -> 4994
1796.99/1797.39	c learnt constraints deletion: 10020 -> 5016

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

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

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


[startup+0 s]
/proc/loadavg: 2.00 2.00 2.00 3/176 8659
/proc/meminfo: memFree=28254908/32873648 swapFree=6864/6864
[pid=8659] ppid=8657 vsize=6224 CPUtime=0 cores=0,2,4,6
/proc/8659/stat : 8659 (toysat) R 8657 8659 7878 0 -1 4202496 824 0 0 0 0 0 0 0 20 0 1 0 330184930 6373376 744 33554432000 4194304 8989770 140735076443328 140734411463368 7953280 0 0 0 34082818 0 0 0 17 0 0 0 0 0 0
/proc/8659/statm: 1556 744 429 1171 0 333 0

[startup+0.00673699 s]
/proc/loadavg: 2.00 2.00 2.00 3/176 8659
/proc/meminfo: memFree=28254908/32873648 swapFree=6864/6864
[pid=8659] ppid=8657 vsize=6224 CPUtime=0 cores=0,2,4,6
/proc/8659/stat : 8659 (toysat) R 8657 8659 7878 0 -1 4202496 826 0 0 0 0 0 0 0 20 0 1 0 330184930 6373376 746 33554432000 4194304 8989770 140735076443328 140734411463368 5797865 0 0 0 34082818 0 0 0 17 0 0 0 0 0 0
/proc/8659/statm: 1556 746 429 1171 0 333 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 6224

[startup+0.100198 s]
/proc/loadavg: 2.00 2.00 2.00 3/176 8659
/proc/meminfo: memFree=28254908/32873648 swapFree=6864/6864
[pid=8659] ppid=8657 vsize=12368 CPUtime=0.09 cores=0,2,4,6
/proc/8659/stat : 8659 (toysat) R 8657 8659 7878 0 -1 4202496 2371 0 0 0 9 0 0 0 20 0 1 0 330184930 12664832 2291 33554432000 4194304 8989770 140735076443328 140734411463368 6547144 0 0 0 34082818 0 0 0 17 0 0 0 0 0 0
/proc/8659/statm: 3092 2291 431 1171 0 1869 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 12368

[startup+0.300223 s]
/proc/loadavg: 2.00 2.00 2.00 3/176 8659
/proc/meminfo: memFree=28254908/32873648 swapFree=6864/6864
[pid=8659] ppid=8657 vsize=16464 CPUtime=0.29 cores=0,2,4,6
/proc/8659/stat : 8659 (toysat) R 8657 8659 7878 0 -1 4202496 3432 0 0 0 29 0 0 0 20 0 1 0 330184930 16859136 3352 33554432000 4194304 8989770 140735076443328 140734411463368 4426103 0 0 0 34082818 0 0 0 17 0 0 0 0 0 0
/proc/8659/statm: 4116 3352 462 1171 0 2893 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 16464

[startup+0.700218 s]
/proc/loadavg: 2.00 2.00 2.00 3/176 8659
/proc/meminfo: memFree=28254908/32873648 swapFree=6864/6864
[pid=8659] ppid=8657 vsize=16464 CPUtime=0.69 cores=0,2,4,6
/proc/8659/stat : 8659 (toysat) R 8657 8659 7878 0 -1 4202496 3432 0 0 0 69 0 0 0 20 0 1 0 330184930 16859136 3352 33554432000 4194304 8989770 140735076443328 140735076442824 7747254 0 0 0 34082818 0 0 0 17 0 0 0 0 0 0
/proc/8659/statm: 4116 3352 462 1171 0 2893 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 16464

[startup+1.50024 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 8660
/proc/meminfo: memFree=28249132/32873648 swapFree=6864/6864
[pid=8659] ppid=8657 vsize=17488 CPUtime=1.49 cores=0,2,4,6
/proc/8659/stat : 8659 (toysat) R 8657 8659 7878 0 -1 4202496 3688 0 0 0 149 0 0 0 20 0 1 0 330184930 17907712 3608 33554432000 4194304 8989770 140735076443328 140735076442824 7748424 0 0 0 34082818 0 0 0 17 0 0 0 0 0 0
/proc/8659/statm: 4372 3608 462 1171 0 3149 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 17488

[startup+3.10028 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 8660
/proc/meminfo: memFree=28247520/32873648 swapFree=6864/6864
[pid=8659] ppid=8657 vsize=19536 CPUtime=3.09 cores=0,2,4,6
/proc/8659/stat : 8659 (toysat) R 8657 8659 7878 0 -1 4202496 4200 0 0 0 307 2 0 0 20 0 1 0 330184930 20004864 4120 33554432000 4194304 8989770 140735076443328 140735076442592 7953280 0 0 0 34082818 0 0 0 17 2 0 0 0 0 0
/proc/8659/statm: 4884 4120 462 1171 0 3661 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 19536

[startup+6.30026 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 8660
/proc/meminfo: memFree=28239840/32873648 swapFree=6864/6864
[pid=8659] ppid=8657 vsize=24656 CPUtime=6.29 cores=0,2,4,6
/proc/8659/stat : 8659 (toysat) R 8657 8659 7878 0 -1 4202496 5235 0 0 0 625 4 0 0 20 0 1 0 330184930 25247744 5155 33554432000 4194304 8989770 140735076443328 140735076442824 7953280 0 0 0 34082818 0 0 0 17 2 0 0 0 0 0
/proc/8659/statm: 6164 5155 462 1171 0 4941 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 24656

[startup+12.7003 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 8660
/proc/meminfo: memFree=28239184/32873648 swapFree=6864/6864
[pid=8659] ppid=8657 vsize=27728 CPUtime=12.68 cores=0,2,4,6
/proc/8659/stat : 8659 (toysat) R 8657 8659 7878 0 -1 4202496 6092 0 0 0 1260 8 0 0 20 0 1 0 330184930 28393472 6010 33554432000 4194304 8989770 140735076443328 140735076442824 7953280 0 0 0 34082818 0 0 0 17 2 0 0 0 0 0
/proc/8659/statm: 6932 6010 464 1171 0 5709 0
Current children cumulated CPU time (s) 12.68
Current children cumulated vsize (KiB) 27728

[startup+25.5002 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 8660
/proc/meminfo: memFree=28228948/32873648 swapFree=6864/6864
[pid=8659] ppid=8657 vsize=37968 CPUtime=25.47 cores=0,2,4,6
/proc/8659/stat : 8659 (toysat) R 8657 8659 7878 0 -1 4202496 8819 0 0 0 2533 14 0 0 20 0 1 0 330184930 38879232 8730 33554432000 4194304 8989770 140735076443328 140735076442824 7953280 0 0 0 34082818 0 0 0 17 2 0 0 0 0 0
/proc/8659/statm: 9492 8730 464 1171 0 8269 0
Current children cumulated CPU time (s) 25.47
Current children cumulated vsize (KiB) 37968

[startup+51.1002 s]
/proc/loadavg: 2.07 2.02 2.00 3/177 8738
/proc/meminfo: memFree=26780240/32873648 swapFree=6864/6864
[pid=8659] ppid=8657 vsize=53328 CPUtime=51.07 cores=0,2,4,6
/proc/8659/stat : 8659 (toysat) R 8657 8659 7878 0 -1 4202496 12662 0 0 0 5079 28 0 0 20 0 1 0 330184930 54607872 12570 33554432000 4194304 8989770 140735076443328 140735076442824 7953280 0 0 0 34082818 0 0 0 17 2 0 0 0 0 0
/proc/8659/statm: 13332 12570 464 1171 0 12109 0
Current children cumulated CPU time (s) 51.07
Current children cumulated vsize (KiB) 53328

[startup+102.307 s]
/proc/loadavg: 2.02 2.01 2.00 3/177 8738
/proc/meminfo: memFree=26585444/32873648 swapFree=6864/6864
[pid=8659] ppid=8657 vsize=66640 CPUtime=102.26 cores=0,2,4,6
/proc/8659/stat : 8659 (toysat) R 8657 8659 7878 0 -1 4202496 15991 0 0 0 10170 56 0 0 20 0 1 0 330184930 68239360 15898 33554432000 4194304 8989770 140735076443328 140735076442824 6586382 0 0 0 34082818 0 0 0 17 2 0 0 0 0 0
/proc/8659/statm: 16660 15898 464 1171 0 15437 0
Current children cumulated CPU time (s) 102.26
Current children cumulated vsize (KiB) 66640

[startup+162.3 s]
/proc/loadavg: 2.01 2.00 2.00 3/177 8738
/proc/meminfo: memFree=26585188/32873648 swapFree=6864/6864
[pid=8659] ppid=8657 vsize=66640 CPUtime=162.26 cores=0,2,4,6
/proc/8659/stat : 8659 (toysat) R 8657 8659 7878 0 -1 4202496 15991 0 0 0 16135 91 0 0 20 0 1 0 330184930 68239360 15898 33554432000 4194304 8989770 140735076443328 140735076442592 7953280 0 0 0 34082818 0 0 0 17 2 0 0 0 0 0
/proc/8659/statm: 16660 15898 464 1171 0 15437 0
Current children cumulated CPU time (s) 162.26
Current children cumulated vsize (KiB) 66640

[startup+222.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/178 8741
/proc/meminfo: memFree=26580608/32873648 swapFree=6864/6864
[pid=8659] ppid=8657 vsize=71760 CPUtime=222.24 cores=0,2,4,6
/proc/8659/stat : 8659 (toysat) R 8657 8659 7878 0 -1 4202496 17271 0 0 0 22100 124 0 0 20 0 1 0 330184930 73482240 17178 33554432000 4194304 8989770 140735076443328 140735076426424 7953280 0 0 0 34082818 0 0 0 17 2 0 0 0 0 0
/proc/8659/statm: 17940 17178 464 1171 0 16717 0
Current children cumulated CPU time (s) 222.24
Current children cumulated vsize (KiB) 71760

[startup+282.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 8741
/proc/meminfo: memFree=26573184/32873648 swapFree=6864/6864
[pid=8659] ppid=8657 vsize=78928 CPUtime=282.23 cores=0,2,4,6
/proc/8659/stat : 8659 (toysat) R 8657 8659 7878 0 -1 4202496 19575 0 0 0 28068 155 0 0 20 0 1 0 330184930 80822272 18970 33554432000 4194304 8989770 140735076443328 140735076442824 7953280 0 0 0 34082818 0 0 0 17 2 0 0 0 0 0
/proc/8659/statm: 19732 18970 464 1171 0 18509 0
Current children cumulated CPU time (s) 282.23
Current children cumulated vsize (KiB) 78928

[startup+342.3 s]
/proc/loadavg: 2.07 2.02 2.00 3/177 8742
/proc/meminfo: memFree=26576448/32873648 swapFree=6864/6864
[pid=8659] ppid=8657 vsize=74832 CPUtime=342.23 cores=0,2,4,6
/proc/8659/stat : 8659 (toysat) R 8657 8659 7878 0 -1 4202496 19575 0 0 0 34036 187 0 0 20 0 1 0 330184930 76627968 17946 33554432000 4194304 8989770 140735076443328 140735076442824 7953280 0 0 0 34082818 0 0 0 17 2 0 0 0 0 0
/proc/8659/statm: 18708 17946 464 1171 0 17485 0
Current children cumulated CPU time (s) 342.23
Current children cumulated vsize (KiB) 74832

[startup+402.3 s]
/proc/loadavg: 2.02 2.01 2.00 3/177 8742
/proc/meminfo: memFree=26544868/32873648 swapFree=6864/6864
[pid=8659] ppid=8657 vsize=106576 CPUtime=402.22 cores=0,2,4,6
/proc/8659/stat : 8659 (toysat) R 8657 8659 7878 0 -1 4202496 27511 0 0 0 40007 215 0 0 20 0 1 0 330184930 109133824 25882 33554432000 4194304 8989770 140735076443328 140735076442824 7953280 0 0 0 34082818 0 0 0 17 2 0 0 0 0 0
/proc/8659/statm: 26644 25882 464 1171 0 25421 0
Current children cumulated CPU time (s) 402.22
Current children cumulated vsize (KiB) 106576

[startup+462.3 s]
/proc/loadavg: 2.01 2.00 2.00 3/177 8742
/proc/meminfo: memFree=26542664/32873648 swapFree=6864/6864
[pid=8659] ppid=8657 vsize=108624 CPUtime=462.21 cores=0,2,4,6
/proc/8659/stat : 8659 (toysat) R 8657 8659 7878 0 -1 4202496 28023 0 0 0 45975 246 0 0 20 0 1 0 330184930 111230976 26394 33554432000 4194304 8989770 140735076443328 140735076442824 7857787 0 2 0 34082818 0 0 0 17 2 0 0 0 0 0
/proc/8659/statm: 27156 26394 464 1171 0 25933 0
Current children cumulated CPU time (s) 462.21
Current children cumulated vsize (KiB) 108624

[startup+522.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/176 8742
/proc/meminfo: memFree=26556224/32873648 swapFree=6864/6864
[pid=8659] ppid=8657 vsize=95312 CPUtime=522.2 cores=0,2,4,6
/proc/8659/stat : 8659 (toysat) R 8657 8659 7878 0 -1 4202496 28023 0 0 0 51942 278 0 0 20 0 1 0 330184930 97599488 23066 33554432000 4194304 8989770 140735076443328 140735076442824 7953280 0 0 0 34082818 0 0 0 17 2 0 0 0 0 0
/proc/8659/statm: 23828 23066 464 1171 0 22605 0
Current children cumulated CPU time (s) 522.2
Current children cumulated vsize (KiB) 95312

[startup+582.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 8743
/proc/meminfo: memFree=26554792/32873648 swapFree=6864/6864
[pid=8659] ppid=8657 vsize=95312 CPUtime=582.19 cores=0,2,4,6
/proc/8659/stat : 8659 (toysat) R 8657 8659 7878 0 -1 4202496 28023 0 0 0 57911 308 0 0 20 0 1 0 330184930 97599488 23066 33554432000 4194304 8989770 140735076443328 140735076442824 7953280 0 0 0 34082818 0 0 0 17 2 0 0 0 0 0
/proc/8659/statm: 23828 23066 464 1171 0 22605 0
Current children cumulated CPU time (s) 582.19
Current children cumulated vsize (KiB) 95312

[startup+642.3 s]

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

[startup+822.3 s]
/proc/loadavg: 2.07 2.02 2.00 3/178 8747
/proc/meminfo: memFree=26545572/32873648 swapFree=6864/6864
[pid=8659] ppid=8657 vsize=103504 CPUtime=822.15 cores=0,2,4,6
/proc/8659/stat : 8659 (toysat) R 8657 8659 7878 0 -1 4202496 33655 0 0 0 81788 427 0 0 20 0 1 0 330184930 105988096 25114 33554432000 4194304 8989770 140735076443328 140735076442824 7953280 0 0 0 34082818 0 0 0 17 2 0 0 0 0 0
/proc/8659/statm: 25876 25114 464 1171 0 24653 0
Current children cumulated CPU time (s) 822.15
Current children cumulated vsize (KiB) 103504

[startup+882.3 s]
/proc/loadavg: 2.02 2.01 2.00 3/177 8747
/proc/meminfo: memFree=26546172/32873648 swapFree=6864/6864
[pid=8659] ppid=8657 vsize=103504 CPUtime=882.14 cores=0,2,4,6
/proc/8659/stat : 8659 (toysat) R 8657 8659 7878 0 -1 4202496 33655 0 0 0 87753 461 0 0 20 0 1 0 330184930 105988096 25114 33554432000 4194304 8989770 140735076443328 140735076442824 7953280 0 0 0 34082818 0 0 0 17 2 0 0 0 0 0
/proc/8659/statm: 25876 25114 464 1171 0 24653 0
Current children cumulated CPU time (s) 882.14
Current children cumulated vsize (KiB) 103504

[startup+942.3 s]
/proc/loadavg: 2.01 2.00 2.00 3/177 8747
/proc/meminfo: memFree=26545952/32873648 swapFree=6864/6864
[pid=8659] ppid=8657 vsize=103504 CPUtime=942.13 cores=0,2,4,6
/proc/8659/stat : 8659 (toysat) R 8657 8659 7878 0 -1 4202496 33655 0 0 0 93723 490 0 0 20 0 1 0 330184930 105988096 25114 33554432000 4194304 8989770 140735076443328 140735076442824 7857787 0 2 0 34082818 0 0 0 17 2 0 0 0 0 0
/proc/8659/statm: 25876 25114 464 1171 0 24653 0
Current children cumulated CPU time (s) 942.13
Current children cumulated vsize (KiB) 103504

[startup+1002.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 8748
/proc/meminfo: memFree=26546600/32873648 swapFree=6864/6864
[pid=8659] ppid=8657 vsize=103504 CPUtime=1002.12 cores=0,2,4,6
/proc/8659/stat : 8659 (toysat) R 8657 8659 7878 0 -1 4202496 33655 0 0 0 99692 520 0 0 20 0 1 0 330184930 105988096 25114 33554432000 4194304 8989770 140735076443328 140735076442824 7953280 0 0 0 34082818 0 0 0 17 2 0 0 0 0 0
/proc/8659/statm: 25876 25114 464 1171 0 24653 0
Current children cumulated CPU time (s) 1002.12
Current children cumulated vsize (KiB) 103504

[startup+1062.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 8748
/proc/meminfo: memFree=26546268/32873648 swapFree=6864/6864
[pid=8659] ppid=8657 vsize=103504 CPUtime=1062.12 cores=0,2,4,6
/proc/8659/stat : 8659 (toysat) R 8657 8659 7878 0 -1 4202496 33656 0 0 0 105659 553 0 0 20 0 1 0 330184930 105988096 25114 33554432000 4194304 8989770 140735076443328 140735076442824 7953280 0 0 0 34082818 0 0 0 17 2 0 0 0 0 0
/proc/8659/statm: 25876 25114 464 1171 0 24653 0
Current children cumulated CPU time (s) 1062.12
Current children cumulated vsize (KiB) 103504

[startup+1122.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 8748
/proc/meminfo: memFree=26551136/32873648 swapFree=6864/6864
[pid=8659] ppid=8657 vsize=99408 CPUtime=1122.09 cores=0,2,4,6
/proc/8659/stat : 8659 (toysat) R 8657 8659 7878 0 -1 4202496 33670 0 0 0 111628 581 0 0 20 0 1 0 330184930 101793792 24090 33554432000 4194304 8989770 140735076443328 140735076442824 7953280 0 0 0 34082818 0 0 0 17 2 0 0 0 0 0
/proc/8659/statm: 24852 24090 464 1171 0 23629 0
Current children cumulated CPU time (s) 1122.09
Current children cumulated vsize (KiB) 99408

[startup+1182.3 s]
/proc/loadavg: 2.07 2.02 2.00 3/177 8748
/proc/meminfo: memFree=26551012/32873648 swapFree=6864/6864
[pid=8659] ppid=8657 vsize=99408 CPUtime=1182.08 cores=0,2,4,6
/proc/8659/stat : 8659 (toysat) R 8657 8659 7878 0 -1 4202496 33670 0 0 0 117594 614 0 0 20 0 1 0 330184930 101793792 24090 33554432000 4194304 8989770 140735076443328 140735076442824 7953280 0 0 0 34082818 0 0 0 17 2 0 0 0 0 0
/proc/8659/statm: 24852 24090 464 1171 0 23629 0
Current children cumulated CPU time (s) 1182.08
Current children cumulated vsize (KiB) 99408

[startup+1242.3 s]
/proc/loadavg: 2.02 2.01 2.00 3/177 8748
/proc/meminfo: memFree=26550640/32873648 swapFree=6864/6864
[pid=8659] ppid=8657 vsize=99408 CPUtime=1242.07 cores=0,2,4,6
/proc/8659/stat : 8659 (toysat) R 8657 8659 7878 0 -1 4202496 33670 0 0 0 123561 646 0 0 20 0 1 0 330184930 101793792 24090 33554432000 4194304 8989770 140735076443328 140735076442592 7953280 0 0 0 34082818 0 0 0 17 2 0 0 0 0 0
/proc/8659/statm: 24852 24090 464 1171 0 23629 0
Current children cumulated CPU time (s) 1242.07
Current children cumulated vsize (KiB) 99408

[startup+1302.3 s]
/proc/loadavg: 2.01 2.00 2.00 3/177 8749
/proc/meminfo: memFree=26550640/32873648 swapFree=6864/6864
[pid=8659] ppid=8657 vsize=99408 CPUtime=1302.07 cores=0,2,4,6
/proc/8659/stat : 8659 (toysat) R 8657 8659 7878 0 -1 4202496 33670 0 0 0 129525 682 0 0 20 0 1 0 330184930 101793792 24090 33554432000 4194304 8989770 140735076443328 140735076442824 7953280 0 0 0 34082818 0 0 0 17 2 0 0 0 0 0
/proc/8659/statm: 24852 24090 464 1171 0 23629 0
Current children cumulated CPU time (s) 1302.07
Current children cumulated vsize (KiB) 99408

[startup+1362.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 8749
/proc/meminfo: memFree=26550640/32873648 swapFree=6864/6864
[pid=8659] ppid=8657 vsize=99408 CPUtime=1362.05 cores=0,2,4,6
/proc/8659/stat : 8659 (toysat) R 8657 8659 7878 0 -1 4202496 33670 0 0 0 135493 712 0 0 20 0 1 0 330184930 101793792 24090 33554432000 4194304 8989770 140735076443328 140735076442824 7953280 0 0 0 34082818 0 0 0 17 2 0 0 0 0 0
/proc/8659/statm: 24852 24090 464 1171 0 23629 0
Current children cumulated CPU time (s) 1362.05
Current children cumulated vsize (KiB) 99408

[startup+1422.31 s]
/proc/loadavg: 2.00 2.00 2.00 3/178 8752
/proc/meminfo: memFree=26550360/32873648 swapFree=6864/6864
[pid=8659] ppid=8657 vsize=99408 CPUtime=1422.05 cores=0,2,4,6
/proc/8659/stat : 8659 (toysat) R 8657 8659 7878 0 -1 4202496 33670 0 0 0 141460 745 0 0 20 0 1 0 330184930 101793792 24090 33554432000 4194304 8989770 140735076443328 140735076442824 7953280 0 0 0 34082818 0 0 0 17 2 0 0 0 0 0
/proc/8659/statm: 24852 24090 464 1171 0 23629 0
Current children cumulated CPU time (s) 1422.05
Current children cumulated vsize (KiB) 99408

[startup+1482.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/178 8775
/proc/meminfo: memFree=26548604/32873648 swapFree=6864/6864
[pid=8659] ppid=8657 vsize=99408 CPUtime=1482.04 cores=0,2,4,6
/proc/8659/stat : 8659 (toysat) R 8657 8659 7878 0 -1 4202496 33670 0 0 0 147424 780 0 0 20 0 1 0 330184930 101793792 24090 33554432000 4194304 8989770 140735076443328 140735076442824 7953280 0 0 0 34082818 0 0 0 17 2 0 0 0 0 0
/proc/8659/statm: 24852 24090 464 1171 0 23629 0
Current children cumulated CPU time (s) 1482.04
Current children cumulated vsize (KiB) 99408

[startup+1542.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 8775
/proc/meminfo: memFree=26522664/32873648 swapFree=6864/6864
[pid=8659] ppid=8657 vsize=128080 CPUtime=1542.02 cores=0,2,4,6
/proc/8659/stat : 8659 (toysat) R 8657 8659 7878 0 -1 4202496 40838 0 0 0 153390 812 0 0 20 0 1 0 330184930 131153920 31258 33554432000 4194304 8989770 140735076443328 140735076442824 7953280 0 0 0 34082818 0 0 0 17 2 0 0 0 0 0
/proc/8659/statm: 32020 31258 464 1171 0 30797 0
Current children cumulated CPU time (s) 1542.02
Current children cumulated vsize (KiB) 128080

[startup+1602.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 8776
/proc/meminfo: memFree=26522544/32873648 swapFree=6864/6864
[pid=8659] ppid=8657 vsize=128080 CPUtime=1602.01 cores=0,2,4,6
/proc/8659/stat : 8659 (toysat) R 8657 8659 7878 0 -1 4202496 40838 0 0 0 159357 844 0 0 20 0 1 0 330184930 131153920 31258 33554432000 4194304 8989770 140735076443328 140735076442824 7953280 0 0 0 34082818 0 0 0 17 2 0 0 0 0 0
/proc/8659/statm: 32020 31258 464 1171 0 30797 0
Current children cumulated CPU time (s) 1602.01
Current children cumulated vsize (KiB) 128080

[startup+1662.3 s]
/proc/loadavg: 2.07 2.02 2.00 3/177 8776
/proc/meminfo: memFree=26522668/32873648 swapFree=6864/6864
[pid=8659] ppid=8657 vsize=128080 CPUtime=1662.01 cores=0,2,4,6
/proc/8659/stat : 8659 (toysat) R 8657 8659 7878 0 -1 4202496 40838 0 0 0 165327 874 0 0 20 0 1 0 330184930 131153920 31258 33554432000 4194304 8989770 140735076443328 140735076442824 7953280 0 0 0 34082818 0 0 0 17 2 0 0 0 0 0
/proc/8659/statm: 32020 31258 464 1171 0 30797 0
Current children cumulated CPU time (s) 1662.01
Current children cumulated vsize (KiB) 128080

[startup+1722.3 s]
/proc/loadavg: 2.02 2.01 2.00 3/177 8776
/proc/meminfo: memFree=26516468/32873648 swapFree=6864/6864
[pid=8659] ppid=8657 vsize=134224 CPUtime=1722 cores=0,2,4,6
/proc/8659/stat : 8659 (toysat) R 8657 8659 7878 0 -1 4202496 42374 0 0 0 171292 908 0 0 20 0 1 0 330184930 137445376 32794 33554432000 4194304 8989770 140735076443328 140735076442824 7953280 0 0 0 34082818 0 0 0 17 2 0 0 0 0 0
/proc/8659/statm: 33556 32794 464 1171 0 32333 0
Current children cumulated CPU time (s) 1722
Current children cumulated vsize (KiB) 134224

[startup+1782.3 s]
/proc/loadavg: 2.01 2.00 2.00 3/177 8776
/proc/meminfo: memFree=26504812/32873648 swapFree=6864/6864
[pid=8659] ppid=8657 vsize=145488 CPUtime=1781.98 cores=0,2,4,6
/proc/8659/stat : 8659 (toysat) R 8657 8659 7878 0 -1 4202496 45190 0 0 0 177258 940 0 0 20 0 1 0 330184930 148979712 35610 33554432000 4194304 8989770 140735076443328 140735076442824 7953280 0 0 0 34082818 0 0 0 17 2 0 0 0 0 0
/proc/8659/statm: 36372 35610 464 1171 0 35149 0
Current children cumulated CPU time (s) 1781.98
Current children cumulated vsize (KiB) 145488



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1800.4 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 8776
/proc/meminfo: memFree=26513928/32873648 swapFree=6864/6864
[pid=8659] ppid=8657 vsize=136272 CPUtime=1800.1 cores=0,2,4,6
/proc/8659/stat : 8659 (toysat) R 8657 8659 7878 0 -1 4202496 45190 0 0 0 179059 951 0 0 20 0 1 0 330184930 139542528 33306 33554432000 4194304 8989770 140735076443328 140735076442824 7953280 0 0 0 34082818 0 0 0 17 2 0 0 0 0 0
/proc/8659/statm: 34068 33306 464 1171 0 32845 0
Current children cumulated CPU time (s) 1800.1
Current children cumulated vsize (KiB) 136272

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.11
CPU user time (s): 1790.59
CPU system time (s): 9.51455
CPU usage (%): 99.9831
Max. virtual memory (cumulated for all children) (KiB): 145488

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1790.59
system time used= 9.51455
maximum resident set size= 142440
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 45190
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= 31
involuntary context switches= 2235

runsolver used 3.58146 second user time and 8.51271 second system time

The end

Launcher Data

Begin job on node113 at 2012-06-02 14:36:21
IDJOB=3725412
IDBENCH=71848
IDSOLVER=2308
FILE ID=node113/3725412-1338640581
RUNJOBID= node113-1338631506-7894
PBS_JOBID= 14636467
Free space on /tmp= 71040 MiB

SOLVER NAME= toysat 2012-06-01
BENCH NAME= PB09/normalized-PB09/OPT-SMALLINT-LIN/flexray/normalized-fx49.opb
COMMAND LINE= HOME/toysat +RTS -K1G -RTS --pb BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-3725412-1338640581/watcher-3725412-1338640581 -o /tmp/evaluation-result-3725412-1338640581/solver-3725412-1338640581 -C 1800 -W 1900 -M 15500  HOME/toysat +RTS -K1G -RTS --pb HOME/instance-3725412-1338640581.opb

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

MD5SUM BENCH= e08af5097f76b1d4e2b0ba1d8a42ed5a
RANDOM SEED=27403112

node113.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		: 2667.026
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	: 5334.05
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		: 2667.026
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.90
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		: 2667.026
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.54
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		: 2667.026
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		: 2667.026
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		: 2667.026
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		: 2667.026
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.92
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		: 2667.026
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:        28255628 kB
Buffers:          490980 kB
Cached:          3203288 kB
SwapCached:         2020 kB
Active:          1621560 kB
Inactive:        2111856 kB
Active(anon):      38416 kB
Inactive(anon):     1800 kB
Active(file):    1583144 kB
Inactive(file):  2110056 kB
Unevictable:        6864 kB
Mlocked:            6864 kB
SwapTotal:      67108856 kB
SwapFree:       67099596 kB
Dirty:              7568 kB
Writeback:             0 kB
AnonPages:         42796 kB
Mapped:            12880 kB
Shmem:                 0 kB
Slab:             749000 kB
SReclaimable:     192912 kB
SUnreclaim:       556088 kB
KernelStack:        1472 kB
PageTables:         4132 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83545680 kB
Committed_AS:     158680 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      346400 kB
VmallocChunk:   34341988052 kB
HardwareCorrupted:     0 kB
AnonHugePages:     16384 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= 71004 MiB
End job on node113 at 2012-06-02 15:06:23