Trace number 3724706

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-BIGINT-LIN/leberre/opb-trendy/misc2010/datasets/9orless/
normalized-plasma-widgets-workspace.cudf.trendy.opb
MD5SUM326ff224195d4181cc1fe63d0e795882
Bench CategoryOPT-BIGINT-LIN (optimisation, big integers, linear constraints)
Best result obtained on this benchmarkSAT
Best value of the objective obtained on this benchmark3494051005557
Best CPU time to get the best result obtained on this benchmark1800.63
Has Objective FunctionYES
Satisfiable
(Un)Satisfiability was proved
Best value of the objective function
Optimality of the best value was proved
Number of variables21101
Total number of constraints100032
Number of constraints which are clauses98467
Number of constraints which are cardinality constraints (but not clauses)1565
Number of constraints which are nor clauses,nor cardinality constraints0
Minimum length of a constraint1
Maximum length of a constraint2962
Number of terms in the objective function 8586
Biggest coefficient in the objective function 79229972375
Number of bits for the biggest coefficient in the objective function 37
Sum of the numbers in the objective function 234599911309658
Number of bits of the sum of numbers in the objective function 48
Biggest number in a constraint 79229972375
Number of bits of the biggest number in a constraint 37
Biggest sum of numbers in a constraint 234599911309658
Number of bits of the biggest sum of numbers48
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

11.00/11.01	c 2012-06-02T14:50:25+0200
11.00/11.01	c arch = x86_64
11.00/11.01	c os = linux
11.00/11.01	c compiler = ghc 7.4
11.00/11.01	c packages:
11.00/11.01	c   OptDir-0.0.1
11.00/11.01	c   array-0.4.0.0
11.00/11.01	c   base-4.5.0.0
11.00/11.01	c   bytestring-0.9.2.1
11.00/11.01	c   containers-0.4.2.1
11.00/11.01	c   deepseq-1.3.0.0
11.00/11.01	c   mtl-2.1.1
11.00/11.01	c   old_locale-1.0.0.4
11.00/11.01	c   parse_dimacs-1.2
11.00/11.01	c   parsec-3.1.2
11.00/11.01	c   queue-0.1.2
11.00/11.01	c   stm-2.3
11.00/11.01	c   time-1.4
11.00/11.01	c command line = ["+RTS","-K1G","-RTS","--pb","HOME/instance-3724706-1338641425.opb"]
11.00/11.01	c #vars 21101
11.00/11.01	c #constraints 100032
11.00/11.01	c Solving starts ...
25.59/25.65	c solving time = 14.611s
25.59/25.65	c #decision = 2220172
25.59/25.65	c #conflict = 1435
25.59/25.65	c #restart = 5
25.59/25.65	o 5238678394918
25.69/25.74	c Solving starts ...
25.99/26.08	c solving time = 0.314s
25.99/26.08	c #decision = 2226355
25.99/26.08	c #conflict = 1435
25.99/26.08	c #restart = 5
25.99/26.08	o 5238678394917
25.99/26.09	c Solving starts ...
26.98/27.03	c solving time = 0.909s
26.98/27.03	c #decision = 2234687
26.98/27.03	c #conflict = 1444
26.98/27.03	c #restart = 5
26.98/27.03	o 5238678394916
26.98/27.04	c Solving starts ...
28.59/28.61	c solving time = 1.548s
28.59/28.61	c #decision = 2246180
28.59/28.61	c #conflict = 1453
28.59/28.61	c #restart = 5
28.59/28.61	o 5159632892796
28.59/28.63	c Solving starts ...
29.59/29.70	c solving time = 1.053s
29.59/29.70	c #decision = 2249435
29.59/29.70	c #conflict = 1455
29.59/29.70	c #restart = 5
29.59/29.70	o 5159614445771
29.69/29.71	c Solving starts ...
30.98/31.09	c solving time = 1.355s
30.98/31.09	c #decision = 2252712
30.98/31.09	c #conflict = 1456
30.98/31.09	c #restart = 5
30.98/31.09	o 5159595998746
31.18/31.20	c Solving starts ...
38.19/38.20	c solving time = 6.977s
38.19/38.20	c #decision = 2258221
38.19/38.20	c #conflict = 1457
38.19/38.20	c #restart = 5
38.19/38.20	o 5159540657671
38.19/38.21	c Solving starts ...
45.48/45.50	c solving time = 7.271s
45.48/45.50	c #decision = 2260932
45.48/45.50	c #conflict = 1458
45.48/45.50	c #restart = 5
45.48/45.50	o 5159540657670
45.48/45.52	c Solving starts ...
53.28/53.33	c solving time = 7.784s
53.28/53.33	c #decision = 2266325
53.28/53.33	c #conflict = 1459
53.28/53.33	c #restart = 5
53.28/53.33	o 5159522210644
53.38/53.43	c Solving starts ...
82.17/82.22	c solving time = 28.755s
82.17/82.22	c #decision = 2271788
82.17/82.22	c #conflict = 1465
82.17/82.22	c #restart = 5
82.17/82.22	o 5159466869569
82.17/82.23	c Solving starts ...
91.07/91.17	c solving time = 8.914s
91.07/91.17	c #decision = 2274471
91.07/91.17	c #conflict = 1467
91.07/91.17	c #restart = 5
91.07/91.17	o 5159466869568
91.07/91.18	c Solving starts ...
102.55/102.68	c solving time = 11.461s
102.55/102.68	c #decision = 2277029
102.55/102.68	c #conflict = 1468
102.55/102.68	c #restart = 5
102.55/102.68	o 5159466869567
102.65/102.78	c Solving starts ...
122.34/122.45	c solving time = 19.637s
122.34/122.45	c #decision = 2279608
122.34/122.45	c #conflict = 1471
122.34/122.45	c #restart = 5
122.34/122.45	o 5159466869566
122.34/122.47	c Solving starts ...
134.64/134.74	c solving time = 12.253s
134.64/134.74	c #decision = 2282170
134.64/134.74	c #conflict = 1472
134.64/134.74	c #restart = 5
134.64/134.74	o 5159466869565
134.64/134.76	c Solving starts ...
147.14/147.27	c solving time = 12.489s
147.14/147.27	c #decision = 2284695
147.14/147.27	c #conflict = 1473
147.14/147.27	c #restart = 5
147.14/147.27	o 5159466869564
147.14/147.29	c Solving starts ...
168.44/168.52	c solving time = 21.207s
168.44/168.52	c #decision = 2287294
168.44/168.52	c #conflict = 1479
168.44/168.52	c #restart = 5
168.44/168.52	o 5159466869563
168.54/168.63	c Solving starts ...
204.03/204.13	c solving time = 35.474s
204.03/204.13	c #decision = 2289825
204.03/204.13	c #conflict = 1483
204.03/204.13	c #restart = 5
204.03/204.13	o 5159466869562
204.03/204.14	c Solving starts ...
217.64/217.80	c solving time = 13.635s
217.64/217.80	c #decision = 2292342
217.64/217.80	c #conflict = 1484
217.64/217.80	c #restart = 5
217.64/217.80	o 5159466869561
217.74/217.81	c Solving starts ...
311.12/311.28	c solving time = 93.426s
311.12/311.28	c #decision = 2295703
311.12/311.28	c #conflict = 1502
311.12/311.28	c #restart = 5
311.12/311.28	o 5159466869560
311.12/311.29	c Solving starts ...
387.41/387.53	c solving time = 76.204s
387.41/387.53	c #decision = 2298224
387.41/387.53	c #conflict = 1511
387.41/387.53	c #restart = 5
387.41/387.53	o 5159466869559
387.41/387.54	c Solving starts ...
418.40/418.57	c solving time = 30.997s
418.40/418.57	c #decision = 2301280
418.40/418.57	c #conflict = 1516
418.40/418.57	c #restart = 5
418.40/418.57	o 5159466869558
418.40/418.58	c Solving starts ...
492.29/492.42	c solving time = 73.799s
492.29/492.42	c #decision = 2303999
492.29/492.42	c #conflict = 1529
492.29/492.42	c #restart = 5
492.29/492.42	o 5159466869557
492.29/492.43	c Solving starts ...
546.49/546.67	c solving time = 54.206s
546.49/546.67	c #decision = 2306492
546.49/546.67	c #conflict = 1535
546.49/546.67	c #restart = 5
546.49/546.67	o 5159466869556
546.49/546.68	c Solving starts ...
577.68/577.89	c solving time = 31.182s
577.68/577.89	c #decision = 2308985
577.68/577.89	c #conflict = 1538
577.68/577.89	c #restart = 5
577.68/577.89	o 5159466869555
577.78/577.91	c Solving starts ...
792.75/792.95	c solving time = 214.987s
792.75/792.95	c #decision = 2311575
792.75/792.95	c #conflict = 1570
792.75/792.95	c #restart = 5
792.75/792.95	o 5159466869554
792.75/792.96	c Solving starts ...
885.83/886.03	c solving time = 93.035s
885.83/886.03	c #decision = 2314100
885.83/886.03	c #conflict = 1581
885.83/886.03	c #restart = 5
885.83/886.04	o 5159466869553
885.83/886.05	c Solving starts ...
1060.80/1061.04	c solving time = 174.935s
1060.80/1061.04	c #decision = 2316736
1060.80/1061.04	c #conflict = 1603
1060.80/1061.04	c #restart = 5
1060.80/1061.04	o 5159466869552
1060.80/1061.05	c Solving starts ...
1283.87/1284.16	c solving time = 223.052s
1283.87/1284.16	c #decision = 2319253
1283.87/1284.16	c #conflict = 1631
1283.87/1284.16	c #restart = 5
1283.87/1284.16	o 5159466869551
1283.87/1284.17	c Solving starts ...
1432.84/1433.10	c solving time = 148.876s
1432.84/1433.10	c #decision = 2321783
1432.84/1433.10	c #conflict = 1650
1432.84/1433.10	c #restart = 5
1432.84/1433.10	o 5159466869550
1432.84/1433.11	c Solving starts ...
1650.22/1650.53	c solving time = 217.365s
1650.22/1650.53	c #decision = 2324319
1650.22/1650.53	c #conflict = 1680
1650.22/1650.53	c #restart = 5
1650.22/1650.53	o 5159466869549
1650.22/1650.55	c Solving starts ...

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

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

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


[startup+0 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 3071
/proc/meminfo: memFree=29232564/32873844 swapFree=7620/7620
[pid=3071] ppid=3069 vsize=7248 CPUtime=0 cores=1,3,5,7
/proc/3071/stat : 3071 (toysat) R 3069 3071 2201 0 -1 4202496 848 0 0 0 0 0 0 0 20 0 1 0 330267309 7421952 768 33554432000 4194304 8989770 140735215629616 140735215629112 7953280 0 0 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/3071/statm: 1812 768 425 1171 0 589 0

[startup+0.00819889 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 3071
/proc/meminfo: memFree=29232564/32873844 swapFree=7620/7620
[pid=3071] ppid=3069 vsize=7248 CPUtime=0 cores=1,3,5,7
/proc/3071/stat : 3071 (toysat) R 3069 3071 2201 0 -1 4202496 902 0 0 0 0 0 0 0 20 0 1 0 330267309 7421952 822 33554432000 4194304 8989770 140735215629616 140735215629112 7953280 0 0 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/3071/statm: 1812 822 425 1171 0 589 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 7248

[startup+0.100247 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 3071
/proc/meminfo: memFree=29232564/32873844 swapFree=7620/7620
[pid=3071] ppid=3069 vsize=11344 CPUtime=0.09 cores=1,3,5,7
/proc/3071/stat : 3071 (toysat) R 3069 3071 2201 0 -1 4202496 2114 0 0 0 9 0 0 0 20 0 1 0 330267309 11616256 2034 33554432000 4194304 8989770 140735215629616 140735215629112 7953280 0 0 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/3071/statm: 2836 2034 430 1171 0 1613 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 11344

[startup+0.300286 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 3071
/proc/meminfo: memFree=29232564/32873844 swapFree=7620/7620
[pid=3071] ppid=3069 vsize=23632 CPUtime=0.29 cores=1,3,5,7
/proc/3071/stat : 3071 (toysat) R 3069 3071 2201 0 -1 4202496 5187 0 0 0 28 1 0 0 20 0 1 0 330267309 24199168 5107 33554432000 4194304 8989770 140735215629616 140735215629112 7953280 0 0 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/3071/statm: 5908 5107 431 1171 0 4685 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 23632

[startup+0.700298 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 3071
/proc/meminfo: memFree=29232564/32873844 swapFree=7620/7620
[pid=3071] ppid=3069 vsize=51280 CPUtime=0.69 cores=1,3,5,7
/proc/3071/stat : 3071 (toysat) R 3069 3071 2201 0 -1 4202496 12099 0 0 0 66 3 0 0 20 0 1 0 330267309 52510720 12019 33554432000 4194304 8989770 140735215629616 140735215629112 7953280 0 2 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/3071/statm: 12820 12019 431 1171 0 11597 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 51280

[startup+1.5003 s]
/proc/loadavg: 2.00 2.00 2.00 3/180 3072
/proc/meminfo: memFree=29170044/32873844 swapFree=7620/7620
[pid=3071] ppid=3069 vsize=90192 CPUtime=1.49 cores=1,3,5,7
/proc/3071/stat : 3071 (toysat) R 3069 3071 2201 0 -1 4202496 21827 0 0 0 144 5 0 0 20 0 1 0 330267309 92356608 21747 33554432000 4194304 8989770 140735215629616 140735215629112 7857787 0 2 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/3071/statm: 22548 21747 431 1171 0 21325 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 90192

[startup+3.10021 s]
/proc/loadavg: 2.00 2.00 2.00 3/180 3072
/proc/meminfo: memFree=29096884/32873844 swapFree=7620/7620
[pid=3071] ppid=3069 vsize=145488 CPUtime=3.09 cores=1,3,5,7
/proc/3071/stat : 3071 (toysat) R 3069 3071 2201 0 -1 4202496 35673 0 0 0 301 8 0 0 20 0 1 0 330267309 148979712 35593 33554432000 4194304 8989770 140735215629616 140735215629112 7953280 0 0 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/3071/statm: 36372 35593 447 1171 0 35149 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 145488

[startup+6.30022 s]
/proc/loadavg: 2.00 2.00 2.00 3/180 3072
/proc/meminfo: memFree=29089072/32873844 swapFree=7620/7620
[pid=3071] ppid=3069 vsize=145488 CPUtime=6.28 cores=1,3,5,7
/proc/3071/stat : 3071 (toysat) R 3069 3071 2201 0 -1 4202496 35673 0 0 0 619 9 0 0 20 0 1 0 330267309 148979712 35593 33554432000 4194304 8989770 140735215629616 140735215629112 7857787 0 2 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/3071/statm: 36372 35593 447 1171 0 35149 0
Current children cumulated CPU time (s) 6.28
Current children cumulated vsize (KiB) 145488

[startup+12.7003 s]
/proc/loadavg: 2.00 2.00 2.00 3/180 3072
/proc/meminfo: memFree=29088988/32873844 swapFree=7620/7620
[pid=3071] ppid=3069 vsize=145488 CPUtime=12.69 cores=1,3,5,7
/proc/3071/stat : 3071 (toysat) R 3069 3071 2201 0 -1 4202496 35686 0 0 0 1258 11 0 0 20 0 1 0 330267309 148979712 35606 33554432000 4194304 8989770 140735215629616 140735215629112 7953280 0 0 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/3071/statm: 36372 35606 460 1171 0 35149 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 145488

[startup+25.5004 s]
/proc/loadavg: 2.00 2.00 2.00 3/180 3072
/proc/meminfo: memFree=29083832/32873844 swapFree=7620/7620
[pid=3071] ppid=3069 vsize=145488 CPUtime=25.49 cores=1,3,5,7
/proc/3071/stat : 3071 (toysat) R 3069 3071 2201 0 -1 4202496 35686 0 0 0 2536 13 0 0 20 0 1 0 330267309 148979712 35606 33554432000 4194304 8989770 140735215629616 140735215628880 5384152 0 0 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/3071/statm: 36372 35606 460 1171 0 35149 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 145488

[startup+51.1003 s]
/proc/loadavg: 2.07 2.02 2.00 3/180 3072
/proc/meminfo: memFree=29080832/32873844 swapFree=7620/7620
[pid=3071] ppid=3069 vsize=148560 CPUtime=51.08 cores=1,3,5,7
/proc/3071/stat : 3071 (toysat) R 3069 3071 2201 0 -1 4202496 36467 0 0 0 5087 21 0 0 20 0 1 0 330267309 152125440 36387 33554432000 4194304 8989770 140735215629616 140735215629112 7857787 0 2 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/3071/statm: 37140 36387 473 1171 0 35917 0
Current children cumulated CPU time (s) 51.08
Current children cumulated vsize (KiB) 148560

[startup+102.307 s]
/proc/loadavg: 2.03 2.01 2.00 3/179 3072
/proc/meminfo: memFree=29073400/32873844 swapFree=7620/7620
[pid=3071] ppid=3069 vsize=158800 CPUtime=102.26 cores=1,3,5,7
/proc/3071/stat : 3071 (toysat) R 3069 3071 2201 0 -1 4202496 39042 0 0 0 10191 35 0 0 20 0 1 0 330267309 162611200 38947 33554432000 4194304 8989770 140735215629616 140735215629112 7953280 0 0 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/3071/statm: 39700 38947 473 1171 0 38477 0
Current children cumulated CPU time (s) 102.26
Current children cumulated vsize (KiB) 158800

[startup+162.3 s]
/proc/loadavg: 2.04 2.02 2.00 3/179 3072
/proc/meminfo: memFree=29059752/32873844 swapFree=7620/7620
[pid=3071] ppid=3069 vsize=169040 CPUtime=162.24 cores=1,3,5,7
/proc/3071/stat : 3071 (toysat) R 3069 3071 2201 0 -1 4202496 41614 0 0 0 16170 54 0 0 20 0 1 0 330267309 173096960 41507 33554432000 4194304 8989770 140735215629616 140735215629112 4204286 0 2 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/3071/statm: 42260 41507 473 1171 0 41037 0
Current children cumulated CPU time (s) 162.24
Current children cumulated vsize (KiB) 169040

[startup+222.3 s]
/proc/loadavg: 2.01 2.02 2.00 3/179 3073
/proc/meminfo: memFree=29059376/32873844 swapFree=7620/7620
[pid=3071] ppid=3069 vsize=173136 CPUtime=222.23 cores=1,3,5,7
/proc/3071/stat : 3071 (toysat) R 3069 3071 2201 0 -1 4202496 42638 0 0 0 22152 71 0 0 20 0 1 0 330267309 177291264 42531 33554432000 4194304 8989770 140735215629616 140735215629112 7953280 0 0 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/3071/statm: 43284 42531 473 1171 0 42061 0
Current children cumulated CPU time (s) 222.23
Current children cumulated vsize (KiB) 173136

[startup+282.3 s]
/proc/loadavg: 2.00 2.01 2.00 3/179 3073
/proc/meminfo: memFree=29052368/32873844 swapFree=7620/7620
[pid=3071] ppid=3069 vsize=176208 CPUtime=282.23 cores=1,3,5,7
/proc/3071/stat : 3071 (toysat) R 3069 3071 2201 0 -1 4202496 43406 0 0 0 28137 86 0 0 20 0 1 0 330267309 180436992 43299 33554432000 4194304 8989770 140735215629616 140735215628880 7675404 0 2 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/3071/statm: 44052 43299 473 1171 0 42829 0
Current children cumulated CPU time (s) 282.23
Current children cumulated vsize (KiB) 176208

[startup+342.3 s]
/proc/loadavg: 2.00 2.00 2.00 4/179 3073
/proc/meminfo: memFree=29044124/32873844 swapFree=7620/7620
[pid=3071] ppid=3069 vsize=179280 CPUtime=342.22 cores=1,3,5,7
/proc/3071/stat : 3071 (toysat) R 3069 3071 2201 0 -1 4202496 44174 0 0 0 34120 102 0 0 20 0 1 0 330267309 183582720 44067 33554432000 4194304 8989770 140735215629616 140735215629112 4208816 0 2 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/3071/statm: 44820 44067 473 1171 0 43597 0
Current children cumulated CPU time (s) 342.22
Current children cumulated vsize (KiB) 179280

[startup+402.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 3073
/proc/meminfo: memFree=29047064/32873844 swapFree=7620/7620
[pid=3071] ppid=3069 vsize=181328 CPUtime=402.21 cores=1,3,5,7
/proc/3071/stat : 3071 (toysat) R 3069 3071 2201 0 -1 4202496 44686 0 0 0 40105 116 0 0 20 0 1 0 330267309 185679872 44579 33554432000 4194304 8989770 140735215629616 140735215628880 7953280 0 0 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/3071/statm: 45332 44579 473 1171 0 44109 0
Current children cumulated CPU time (s) 402.21
Current children cumulated vsize (KiB) 181328

[startup+462.3 s]
/proc/loadavg: 2.04 2.01 2.00 3/179 3073
/proc/meminfo: memFree=29040992/32873844 swapFree=7620/7620
[pid=3071] ppid=3069 vsize=183376 CPUtime=462.19 cores=1,3,5,7
/proc/3071/stat : 3071 (toysat) R 3069 3071 2201 0 -1 4202496 45198 0 0 0 46087 132 0 0 20 0 1 0 330267309 187777024 45091 33554432000 4194304 8989770 140735215629616 140735215629112 4204638 0 2 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/3071/statm: 45844 45091 473 1171 0 44621 0
Current children cumulated CPU time (s) 462.19
Current children cumulated vsize (KiB) 183376

[startup+522.3 s]
/proc/loadavg: 2.01 2.01 2.00 3/179 3074
/proc/meminfo: memFree=29050736/32873844 swapFree=7620/7620
[pid=3071] ppid=3069 vsize=186448 CPUtime=522.18 cores=1,3,5,7
/proc/3071/stat : 3071 (toysat) R 3069 3071 2201 0 -1 4202496 45966 0 0 0 52071 147 0 0 20 0 1 0 330267309 190922752 45859 33554432000 4194304 8989770 140735215629616 140735215629112 7857787 0 2 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/3071/statm: 46612 45859 473 1171 0 45389 0
Current children cumulated CPU time (s) 522.18
Current children cumulated vsize (KiB) 186448

[startup+582.3 s]
/proc/loadavg: 2.04 2.02 2.00 3/180 3077
/proc/meminfo: memFree=29031784/32873844 swapFree=7620/7620
[pid=3071] ppid=3069 vsize=188496 CPUtime=582.17 cores=1,3,5,7
/proc/3071/stat : 3071 (toysat) R 3069 3071 2201 0 -1 4202496 46478 0 0 0 58055 162 0 0 20 0 1 0 330267309 193019904 46371 33554432000 4194304 8989770 140735215629616 140735215629112 7953280 0 0 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/3071/statm: 47124 46371 473 1171 0 45901 0
Current children cumulated CPU time (s) 582.17
Current children cumulated vsize (KiB) 188496

[startup+642.3 s]

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

[startup+822.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 3101
/proc/meminfo: memFree=29015884/32873844 swapFree=7620/7620
[pid=3071] ppid=3069 vsize=193616 CPUtime=822.14 cores=1,3,5,7
/proc/3071/stat : 3071 (toysat) R 3069 3071 2201 0 -1 4202496 47758 0 0 0 81996 218 0 0 20 0 1 0 330267309 198262784 47651 33554432000 4194304 8989770 140735215629616 140735215627584 4208879 0 2 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/3071/statm: 48404 47651 473 1171 0 47181 0
Current children cumulated CPU time (s) 822.14
Current children cumulated vsize (KiB) 193616

[startup+882.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 3101
/proc/meminfo: memFree=29035000/32873844 swapFree=7620/7620
[pid=3071] ppid=3069 vsize=193616 CPUtime=882.13 cores=1,3,5,7
/proc/3071/stat : 3071 (toysat) R 3069 3071 2201 0 -1 4202496 47758 0 0 0 87982 231 0 0 20 0 1 0 330267309 198262784 47651 33554432000 4194304 8989770 140735215629616 140735215628880 7953280 0 0 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/3071/statm: 48404 47651 473 1171 0 47181 0
Current children cumulated CPU time (s) 882.13
Current children cumulated vsize (KiB) 193616

[startup+942.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 3140
/proc/meminfo: memFree=28917440/32873844 swapFree=7620/7620
[pid=3071] ppid=3069 vsize=196688 CPUtime=942.12 cores=1,3,5,7
/proc/3071/stat : 3071 (toysat) R 3069 3071 2201 0 -1 4202496 48526 0 0 0 93965 247 0 0 20 0 1 0 330267309 201408512 48419 33554432000 4194304 8989770 140735215629616 140735215629112 7416657 0 0 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/3071/statm: 49172 48419 473 1171 0 47949 0
Current children cumulated CPU time (s) 942.12
Current children cumulated vsize (KiB) 196688

[startup+1002.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 3140
/proc/meminfo: memFree=28870320/32873844 swapFree=7620/7620
[pid=3071] ppid=3069 vsize=196688 CPUtime=1002.11 cores=1,3,5,7
/proc/3071/stat : 3071 (toysat) R 3069 3071 2201 0 -1 4202496 48526 0 0 0 99952 259 0 0 20 0 1 0 330267309 201408512 48419 33554432000 4194304 8989770 140735215629616 140735215629112 7732708 0 0 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/3071/statm: 49172 48419 473 1171 0 47949 0
Current children cumulated CPU time (s) 1002.11
Current children cumulated vsize (KiB) 196688

[startup+1062.3 s]
/proc/loadavg: 2.03 2.01 2.00 3/179 3140
/proc/meminfo: memFree=28831484/32873844 swapFree=7620/7620
[pid=3071] ppid=3069 vsize=196688 CPUtime=1062.1 cores=1,3,5,7
/proc/3071/stat : 3071 (toysat) R 3069 3071 2201 0 -1 4202496 48527 0 0 0 105936 274 0 0 20 0 1 0 330267309 201408512 48419 33554432000 4194304 8989770 140735215629616 140735215629112 7953280 0 0 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/3071/statm: 49172 48419 473 1171 0 47949 0
Current children cumulated CPU time (s) 1062.1
Current children cumulated vsize (KiB) 196688

[startup+1122.3 s]
/proc/loadavg: 2.01 2.01 2.00 3/179 3141
/proc/meminfo: memFree=28791708/32873844 swapFree=7620/7620
[pid=3071] ppid=3069 vsize=198736 CPUtime=1122.1 cores=1,3,5,7
/proc/3071/stat : 3071 (toysat) R 3069 3071 2201 0 -1 4202496 49039 0 0 0 111918 292 0 0 20 0 1 0 330267309 203505664 48931 33554432000 4194304 8989770 140735215629616 140735215628880 7953280 0 0 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/3071/statm: 49684 48931 473 1171 0 48461 0
Current children cumulated CPU time (s) 1122.1
Current children cumulated vsize (KiB) 198736

[startup+1182.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/180 3144
/proc/meminfo: memFree=28753380/32873844 swapFree=7620/7620
[pid=3071] ppid=3069 vsize=198736 CPUtime=1182.08 cores=1,3,5,7
/proc/3071/stat : 3071 (toysat) R 3069 3071 2201 0 -1 4202496 49039 0 0 0 117905 303 0 0 20 0 1 0 330267309 203505664 48931 33554432000 4194304 8989770 140735215629616 140735215629112 7953280 0 0 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/3071/statm: 49684 48931 473 1171 0 48461 0
Current children cumulated CPU time (s) 1182.08
Current children cumulated vsize (KiB) 198736

[startup+1242.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 3144
/proc/meminfo: memFree=28714396/32873844 swapFree=7620/7620
[pid=3071] ppid=3069 vsize=198736 CPUtime=1242.08 cores=1,3,5,7
/proc/3071/stat : 3071 (toysat) R 3069 3071 2201 0 -1 4202496 49039 0 0 0 123890 318 0 0 20 0 1 0 330267309 203505664 48931 33554432000 4194304 8989770 140735215629616 140735215628880 4208870 0 2 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/3071/statm: 49684 48931 473 1171 0 48461 0
Current children cumulated CPU time (s) 1242.08
Current children cumulated vsize (KiB) 198736

[startup+1302.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 3144
/proc/meminfo: memFree=28679228/32873844 swapFree=7620/7620
[pid=3071] ppid=3069 vsize=201808 CPUtime=1302.07 cores=1,3,5,7
/proc/3071/stat : 3071 (toysat) R 3069 3071 2201 0 -1 4202496 49807 0 0 0 129873 334 0 0 20 0 1 0 330267309 206651392 49699 33554432000 4194304 8989770 140735215629616 140735215627584 4209212 0 2 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/3071/statm: 50452 49699 473 1171 0 49229 0
Current children cumulated CPU time (s) 1302.07
Current children cumulated vsize (KiB) 201808

[startup+1362.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 3144
/proc/meminfo: memFree=28654924/32873844 swapFree=7620/7620
[pid=3071] ppid=3069 vsize=201808 CPUtime=1362.05 cores=1,3,5,7
/proc/3071/stat : 3071 (toysat) R 3069 3071 2201 0 -1 4202496 49807 0 0 0 135857 348 0 0 20 0 1 0 330267309 206651392 49699 33554432000 4194304 8989770 140735215629616 140735215629112 4204624 0 2 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/3071/statm: 50452 49699 473 1171 0 49229 0
Current children cumulated CPU time (s) 1362.05
Current children cumulated vsize (KiB) 201808

[startup+1422.31 s]
/proc/loadavg: 2.08 2.03 2.01 3/179 3145
/proc/meminfo: memFree=28632292/32873844 swapFree=7620/7620
[pid=3071] ppid=3069 vsize=201808 CPUtime=1422.05 cores=1,3,5,7
/proc/3071/stat : 3071 (toysat) R 3069 3071 2201 0 -1 4202496 49808 0 0 0 141844 361 0 0 20 0 1 0 330267309 206651392 49699 33554432000 4194304 8989770 140735215629616 140735215629112 7953280 0 0 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/3071/statm: 50452 49699 473 1171 0 49229 0
Current children cumulated CPU time (s) 1422.05
Current children cumulated vsize (KiB) 201808

[startup+1482.3 s]
/proc/loadavg: 2.06 2.03 2.01 3/179 3145
/proc/meminfo: memFree=28610836/32873844 swapFree=7620/7620
[pid=3071] ppid=3069 vsize=203856 CPUtime=1482.04 cores=1,3,5,7
/proc/3071/stat : 3071 (toysat) R 3069 3071 2201 0 -1 4202496 50320 0 0 0 147829 375 0 0 20 0 1 0 330267309 208748544 50211 33554432000 4194304 8989770 140735215629616 140735215629112 4204286 0 2 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/3071/statm: 50964 50211 473 1171 0 49741 0
Current children cumulated CPU time (s) 1482.04
Current children cumulated vsize (KiB) 203856

[startup+1542.3 s]
/proc/loadavg: 2.19 2.08 2.02 3/179 3145
/proc/meminfo: memFree=28583556/32873844 swapFree=7620/7620
[pid=3071] ppid=3069 vsize=203856 CPUtime=1542.03 cores=1,3,5,7
/proc/3071/stat : 3071 (toysat) R 3069 3071 2201 0 -1 4202496 50320 0 0 0 153815 388 0 0 20 0 1 0 330267309 208748544 50211 33554432000 4194304 8989770 140735215629616 140735215628880 4426312 0 0 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/3071/statm: 50964 50211 473 1171 0 49741 0
Current children cumulated CPU time (s) 1542.03
Current children cumulated vsize (KiB) 203856

[startup+1602.3 s]
/proc/loadavg: 2.15 2.09 2.03 3/179 3145
/proc/meminfo: memFree=28561112/32873844 swapFree=7620/7620
[pid=3071] ppid=3069 vsize=203856 CPUtime=1602.02 cores=1,3,5,7
/proc/3071/stat : 3071 (toysat) R 3069 3071 2201 0 -1 4202496 50320 0 0 0 159802 400 0 0 20 0 1 0 330267309 208748544 50211 33554432000 4194304 8989770 140735215629616 140735215627584 4204289 0 2 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/3071/statm: 50964 50211 473 1171 0 49741 0
Current children cumulated CPU time (s) 1602.02
Current children cumulated vsize (KiB) 203856

[startup+1662.3 s]
/proc/loadavg: 2.05 2.07 2.02 3/179 3145
/proc/meminfo: memFree=28538296/32873844 swapFree=7620/7620
[pid=3071] ppid=3069 vsize=205904 CPUtime=1662.01 cores=1,3,5,7
/proc/3071/stat : 3071 (toysat) R 3069 3071 2201 0 -1 4202496 50832 0 0 0 165786 415 0 0 20 0 1 0 330267309 210845696 50723 33554432000 4194304 8989770 140735215629616 140735215629112 4209198 0 2 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/3071/statm: 51476 50723 473 1171 0 50253 0
Current children cumulated CPU time (s) 1662.01
Current children cumulated vsize (KiB) 205904

[startup+1722.3 s]
/proc/loadavg: 2.02 2.06 2.01 3/179 3146
/proc/meminfo: memFree=28519808/32873844 swapFree=7620/7620
[pid=3071] ppid=3069 vsize=206928 CPUtime=1722 cores=1,3,5,7
/proc/3071/stat : 3071 (toysat) R 3069 3071 2201 0 -1 4202496 51088 0 0 0 171773 427 0 0 20 0 1 0 330267309 211894272 50979 33554432000 4194304 8989770 140735215629616 140735215629112 7953280 0 0 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/3071/statm: 51732 50979 473 1171 0 50509 0
Current children cumulated CPU time (s) 1722
Current children cumulated vsize (KiB) 206928

[startup+1782.3 s]
/proc/loadavg: 2.00 2.04 2.01 3/180 3149
/proc/meminfo: memFree=28497468/32873844 swapFree=7620/7620
[pid=3071] ppid=3069 vsize=206928 CPUtime=1781.99 cores=1,3,5,7
/proc/3071/stat : 3071 (toysat) R 3069 3071 2201 0 -1 4202496 51088 0 0 0 177759 440 0 0 20 0 1 0 330267309 211894272 50979 33554432000 4194304 8989770 140735215629616 140735215629112 4204722 0 2 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/3071/statm: 51732 50979 473 1171 0 50509 0
Current children cumulated CPU time (s) 1781.99
Current children cumulated vsize (KiB) 206928



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1800.4 s]
/proc/loadavg: 2.00 2.04 2.01 3/180 3149
/proc/meminfo: memFree=28491916/32873844 swapFree=7620/7620
[pid=3071] ppid=3069 vsize=206928 CPUtime=1800.1 cores=1,3,5,7
/proc/3071/stat : 3071 (toysat) R 3069 3071 2201 0 -1 4202496 51088 0 0 0 179566 444 0 0 20 0 1 0 330267309 211894272 50979 33554432000 4194304 8989770 140735215629616 140735215629112 4204320 0 2 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/3071/statm: 51732 50979 473 1171 0 50509 0
Current children cumulated CPU time (s) 1800.1
Current children cumulated vsize (KiB) 206928

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): 1795.66
CPU system time (s): 4.44632
CPU usage (%): 99.9832
Max. virtual memory (cumulated for all children) (KiB): 206928

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1795.66
system time used= 4.44632
maximum resident set size= 203916
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 51088
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= 32
involuntary context switches= 1863

runsolver used 4.36134 second user time and 9.8535 second system time

The end

Launcher Data

Begin job on node135 at 2012-06-02 14:50:25
IDJOB=3724706
IDBENCH=72472
IDSOLVER=2308
FILE ID=node135/3724706-1338641425
RUNJOBID= node135-1338631508-2218
PBS_JOBID= 14636445
Free space on /tmp= 70992 MiB

SOLVER NAME= toysat 2012-06-01
BENCH NAME= PB10/normalized-PB10/OPT-BIGINT-LIN/leberre/opb-trendy/misc2010/datasets/9orless/normalized-plasma-widgets-workspace.cudf.trendy.opb
COMMAND LINE= HOME/toysat +RTS -K1G -RTS --pb BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-3724706-1338641425/watcher-3724706-1338641425 -o /tmp/evaluation-result-3724706-1338641425/solver-3724706-1338641425 -C 1800 -W 1900 -M 15500  HOME/toysat +RTS -K1G -RTS --pb HOME/instance-3724706-1338641425.opb

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

MD5SUM BENCH= 326ff224195d4181cc1fe63d0e795882
RANDOM SEED=211915840

node135.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.820
cache size	: 8192 KB
physical id	: 0
siblings	: 4
core id		: 0
cpu cores	: 4
apicid		: 0
initial apicid	: 0
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5333.64
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.820
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	: 5332.57
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.820
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	: 5332.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.820
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	: 5332.55
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.820
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	: 5332.54
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.820
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	: 5332.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.820
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	: 5238.35
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.820
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	: 5332.55
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:


/proc/meminfo:
MemTotal:       32873844 kB
MemFree:        29233208 kB
Buffers:          337196 kB
Cached:          2392320 kB
SwapCached:         1676 kB
Active:          1147676 kB
Inactive:        1653928 kB
Active(anon):      61856 kB
Inactive(anon):    12048 kB
Active(file):    1085820 kB
Inactive(file):  1641880 kB
Unevictable:        7620 kB
Mlocked:            7620 kB
SwapTotal:      67108856 kB
SwapFree:       67105796 kB
Dirty:             10968 kB
Writeback:             0 kB
AnonPages:         77096 kB
Mapped:            12396 kB
Shmem:               132 kB
Slab:             698520 kB
SReclaimable:     140548 kB
SUnreclaim:       557972 kB
KernelStack:        1480 kB
PageTables:         3812 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83545776 kB
Committed_AS:     184808 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      346376 kB
VmallocChunk:   34341987860 kB
HardwareCorrupted:     0 kB
AnonHugePages:     16384 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
DirectMap4k:        7872 kB
DirectMap2M:    33538048 kB

Free space on /tmp at the end= 70980 MiB
End job on node135 at 2012-06-02 15:20:28