Trace number 3706333

Some explanations

A solver is run under the control of another program named runsolver. runsolver is in charge of imposing the CPU time limit and the memory limit to the solver. It also monitors some information about the process. The trace of the execution of a solver is divided into four (or five) parts:
  1. SOLVER DATA
    This is the output of the solver (stdout and stderr).
    Note that some very long lines in this section may be truncated by your web browser ! In such a case, you may want to use the "Download as text" link to get the trace as a text file.

    When the --timestamp option is passed to the runsolver program, each line output by the solver is prepended with a timestamp which indicates at what time the line was output by the solver. Times are relative to the start of the program, given in seconds. The first timestamp (if present) is estimated CPU time. The last timestamp is wall clock time.

    As some 'v lines' may be very long (sometimes several megabytes), the 'v line' output by your solver may be split on several lines to help limit the size of the trace recorded in the database. In any case, the exact output of your solver is preserved in a trace file.
  2. VERIFIER DATA
    The output of the solver is piped to a verifier program which will search a value line "v " and, if found, will check that the given interpretation satisfies all constraints.
  3. CONVERSION SCRIPT DATA (Optionnal)
    When a conversion script is used, this section shows the messages that were output by the conversion script.
  4. WATCHER DATA
    This is the informations gathered by the runsolver program. It first prints the different limits. There's a first limit on CPU time set to X seconds (see the parameters in the trace). After this time has ellapsed, runsolver sends a SIGTERM and 2 seconds later a SIGKILL to the solver. For safety, there's also another limit set to X+30 seconds which will send a SIGXPU to the solver. The last limit is on the virtual memory used by the process (see the parameters in the trace).
    Every ten seconds, the runsolver process fetches the content of /proc/loadavg, /proc/pid/stat and /proc/pid/statm (see man proc) and prints it as raw data. This is only recorded in case we need to investigate the behaviour of a solver. The memory used by the solver (vsize) is also given every ten seconds.
    When the solver exits, runsolver prints some informations such as status and time. CPU usage is the ratio CPU Time/Real Time.
  5. LAUNCHER DATA
    These informations are related to the script which will launch the solver. The most important informations are the command line given to the solver, the md5sum of the different files and the dump of the /proc/cpuinfo and /proc/meminfo which provides some useful information on the computer.

Solver answer on this benchmark

Solver NameAnswerobjective functionCPU timeWall clock time
toysat 2012-05-17? (TO) 1800.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 

10.79/10.87	c 2012-05-27T20:09:06+0200
10.79/10.87	c arch = x86_64
10.79/10.87	c os = linux
10.79/10.87	c compiler = ghc 7.4
10.79/10.87	c packages:
10.79/10.87	c   OptDir-0.0.1
10.79/10.87	c   array-0.4.0.0
10.79/10.87	c   base-4.5.0.0
10.79/10.87	c   bytestring-0.9.2.1
10.79/10.87	c   containers-0.4.2.1
10.79/10.87	c   deepseq-1.3.0.0
10.79/10.87	c   mtl-2.1.1
10.79/10.87	c   old_locale-1.0.0.4
10.79/10.87	c   parse_dimacs-1.2
10.79/10.87	c   parsec-3.1.2
10.79/10.87	c   queue-0.1.2
10.79/10.87	c   stm-2.3
10.79/10.87	c   time-1.4
10.79/10.87	c command line = ["--pb","HOME/instance-3706333-1338142146.opb"]
10.79/10.87	c #vars 21101
10.79/10.87	c #constraints 100032
10.79/10.87	c Solving starts ...
23.98/24.00	c solving time = 13.105s
23.98/24.00	c #decision = 2220172
23.98/24.00	c #conflict = 1435
23.98/24.00	c #restart = 5
23.98/24.00	o 5238678394918
23.98/24.08	c Solving starts ...
24.28/24.39	c solving time = 0.295s
24.28/24.39	c #decision = 2226355
24.28/24.39	c #conflict = 1435
24.28/24.39	c #restart = 5
24.28/24.39	o 5238678394917
24.38/24.41	c Solving starts ...
25.19/25.28	c solving time = 0.859s
25.19/25.28	c #decision = 2234687
25.19/25.28	c #conflict = 1444
25.19/25.28	c #restart = 5
25.19/25.28	o 5238678394916
25.19/25.30	c Solving starts ...
26.78/26.80	c solving time = 1.481s
26.78/26.80	c #decision = 2246180
26.78/26.80	c #conflict = 1453
26.78/26.80	c #restart = 5
26.78/26.80	o 5159632892796
26.78/26.81	c Solving starts ...
27.78/27.85	c solving time = 1.025s
27.78/27.85	c #decision = 2249435
27.78/27.85	c #conflict = 1455
27.78/27.85	c #restart = 5
27.78/27.85	o 5159614445771
27.78/27.86	c Solving starts ...
29.08/29.17	c solving time = 1.293s
29.08/29.17	c #decision = 2252712
29.08/29.17	c #conflict = 1456
29.08/29.17	c #restart = 5
29.08/29.17	o 5159595998746
29.08/29.18	c Solving starts ...
35.78/35.80	c solving time = 6.595s
35.78/35.80	c #decision = 2258221
35.78/35.80	c #conflict = 1457
35.78/35.80	c #restart = 5
35.78/35.80	o 5159540657671
35.78/35.81	c Solving starts ...
42.68/42.70	c solving time = 6.870s
42.68/42.70	c #decision = 2260932
42.68/42.70	c #conflict = 1458
42.68/42.70	c #restart = 5
42.68/42.70	o 5159540657670
42.68/42.71	c Solving starts ...
49.98/50.00	c solving time = 7.274s
49.98/50.00	c #decision = 2266325
49.98/50.00	c #conflict = 1459
49.98/50.00	c #restart = 5
49.98/50.00	o 5159522210644
49.98/50.09	c Solving starts ...
76.88/76.98	c solving time = 26.872s
76.88/76.98	c #decision = 2271788
76.88/76.98	c #conflict = 1465
76.88/76.98	c #restart = 5
76.88/76.98	o 5159466869569
76.88/77.00	c Solving starts ...
84.97/85.02	c solving time = 8.001s
84.97/85.02	c #decision = 2274471
84.97/85.02	c #conflict = 1467
84.97/85.02	c #restart = 5
84.97/85.02	o 5159466869568
84.97/85.03	c Solving starts ...
95.26/95.32	c solving time = 10.266s
95.26/95.32	c #decision = 2277029
95.26/95.32	c #conflict = 1468
95.26/95.32	c #restart = 5
95.26/95.32	o 5159466869567
95.36/95.41	c Solving starts ...
113.46/113.53	c solving time = 18.104s
113.46/113.53	c #decision = 2279608
113.46/113.53	c #conflict = 1471
113.46/113.53	c #restart = 5
113.46/113.53	o 5159466869566
113.46/113.54	c Solving starts ...
124.16/124.29	c solving time = 10.725s
124.16/124.29	c #decision = 2282170
124.16/124.29	c #conflict = 1472
124.16/124.29	c #restart = 5
124.16/124.29	o 5159466869565
124.26/124.38	c Solving starts ...
135.35/135.42	c solving time = 11.027s
135.35/135.42	c #decision = 2284695
135.35/135.42	c #conflict = 1473
135.35/135.42	c #restart = 5
135.35/135.42	o 5159466869564
135.35/135.43	c Solving starts ...
154.34/154.49	c solving time = 19.030s
154.34/154.49	c #decision = 2287294
154.34/154.49	c #conflict = 1479
154.34/154.49	c #restart = 5
154.34/154.49	o 5159466869563
154.44/154.50	c Solving starts ...
187.24/187.39	c solving time = 32.868s
187.24/187.39	c #decision = 2289825
187.24/187.39	c #conflict = 1483
187.24/187.39	c #restart = 5
187.24/187.39	o 5159466869562
187.34/187.40	c Solving starts ...
199.44/199.54	c solving time = 12.113s
199.44/199.54	c #decision = 2292342
199.44/199.54	c #conflict = 1484
199.44/199.54	c #restart = 5
199.44/199.54	o 5159466869561
199.44/199.55	c Solving starts ...
285.72/285.86	c solving time = 86.276s
285.72/285.86	c #decision = 2295703
285.72/285.86	c #conflict = 1502
285.72/285.86	c #restart = 5
285.72/285.86	o 5159466869560
285.72/285.87	c Solving starts ...
356.11/356.30	c solving time = 70.405s
356.11/356.30	c #decision = 2298224
356.11/356.30	c #conflict = 1511
356.11/356.30	c #restart = 5
356.11/356.30	o 5159466869559
356.22/356.31	c Solving starts ...
384.21/384.30	c solving time = 27.969s
384.21/384.30	c #decision = 2301280
384.21/384.30	c #conflict = 1516
384.21/384.30	c #restart = 5
384.21/384.30	o 5159466869558
384.21/384.32	c Solving starts ...
452.19/452.31	c solving time = 67.963s
452.19/452.31	c #decision = 2303999
452.19/452.31	c #conflict = 1529
452.19/452.31	c #restart = 5
452.19/452.31	o 5159466869557
452.19/452.32	c Solving starts ...
501.89/502.03	c solving time = 49.683s
501.89/502.03	c #decision = 2306492
501.89/502.03	c #conflict = 1535
501.89/502.03	c #restart = 5
501.89/502.03	o 5159466869556
501.89/502.04	c Solving starts ...
530.29/530.46	c solving time = 28.394s
530.29/530.46	c #decision = 2308985
530.29/530.46	c #conflict = 1538
530.29/530.46	c #restart = 5
530.29/530.46	o 5159466869555
530.29/530.47	c Solving starts ...
730.85/731.07	c solving time = 200.553s
730.85/731.07	c #decision = 2311575
730.85/731.07	c #conflict = 1570
730.85/731.07	c #restart = 5
730.85/731.07	o 5159466869554
730.85/731.09	c Solving starts ...
817.25/817.41	c solving time = 86.299s
817.25/817.41	c #decision = 2314100
817.25/817.41	c #conflict = 1581
817.25/817.41	c #restart = 5
817.25/817.41	o 5159466869553
817.25/817.43	c Solving starts ...
979.82/980.07	c solving time = 162.597s
979.82/980.07	c #decision = 2316736
979.82/980.07	c #conflict = 1603
979.82/980.07	c #restart = 5
979.82/980.07	o 5159466869552
979.82/980.08	c Solving starts ...
1187.79/1188.02	c solving time = 207.890s
1187.79/1188.02	c #decision = 2319253
1187.79/1188.02	c #conflict = 1631
1187.79/1188.02	c #restart = 5
1187.79/1188.02	o 5159466869551
1187.79/1188.03	c Solving starts ...
1325.96/1326.27	c solving time = 138.195s
1325.96/1326.27	c #decision = 2321783
1325.96/1326.27	c #conflict = 1650
1325.96/1326.27	c #restart = 5
1325.96/1326.27	o 5159466869550
1325.96/1326.28	c Solving starts ...
1528.44/1528.72	c solving time = 202.395s
1528.44/1528.72	c #decision = 2324319
1528.44/1528.72	c #conflict = 1680
1528.44/1528.72	c #restart = 5
1528.44/1528.72	o 5159466869549
1528.44/1528.73	c Solving starts ...
1680.42/1680.72	c solving time = 151.945s
1680.42/1680.72	c #decision = 2328355
1680.42/1680.72	c #conflict = 1702
1680.42/1680.72	c #restart = 5
1680.42/1680.72	o 5159448422525
1680.42/1680.73	c Solving starts ...
1689.41/1689.72	c solving time = 8.968s
1689.41/1689.72	c #decision = 2330846
1689.41/1689.72	c #conflict = 1702
1689.41/1689.72	c #restart = 5
1689.41/1689.72	o 5159448422524
1689.41/1689.73	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-3706333-1338142146/watcher-3706333-1338142146 -o /tmp/evaluation-result-3706333-1338142146/solver-3706333-1338142146 -C 1800 -W 1900 -M 15500 HOME/toysat --pb HOME/instance-3706333-1338142146.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.09 2.03 2.00 4/176 21554
/proc/meminfo: memFree=31088512/32873648 swapFree=7112/7112
[pid=21554] ppid=21552 vsize=6208 CPUtime=0 cores=1,3,5,7
/proc/21554/stat : 21554 (toysat) R 21552 21554 18885 0 -1 4202496 750 0 0 0 0 0 0 0 20 0 1 0 280340521 6356992 672 33554432000 4194304 8973514 140733715923872 140734125609832 7937344 0 0 0 34082818 0 0 0 17 1 0 0 0 0 0
/proc/21554/statm: 1552 672 411 1167 0 333 0

[startup+0.0826171 s]
/proc/loadavg: 2.09 2.03 2.00 4/176 21554
/proc/meminfo: memFree=31088512/32873648 swapFree=7112/7112
[pid=21554] ppid=21552 vsize=11328 CPUtime=0.07 cores=1,3,5,7
/proc/21554/stat : 21554 (toysat) R 21552 21554 18885 0 -1 4202496 1970 0 0 0 7 0 0 0 20 0 1 0 280340521 11599872 1892 33554432000 4194304 8973514 140733715923872 140734125609832 7841851 0 2 0 34082818 0 0 0 17 1 0 0 0 0 0
/proc/21554/statm: 2832 1892 418 1167 0 1613 0
Current children cumulated CPU time (s) 0.07
Current children cumulated vsize (KiB) 11328

[startup+0.100195 s]
/proc/loadavg: 2.09 2.03 2.00 4/176 21554
/proc/meminfo: memFree=31088512/32873648 swapFree=7112/7112
[pid=21554] ppid=21552 vsize=11328 CPUtime=0.08 cores=1,3,5,7
/proc/21554/stat : 21554 (toysat) R 21552 21554 18885 0 -1 4202496 2100 0 0 0 8 0 0 0 20 0 1 0 280340521 11599872 2022 33554432000 4194304 8973514 140733715923872 140734125609832 7841851 0 2 0 34082818 0 0 0 17 1 0 0 0 0 0
/proc/21554/statm: 2832 2022 418 1167 0 1613 0
Current children cumulated CPU time (s) 0.08
Current children cumulated vsize (KiB) 11328

[startup+0.300166 s]
/proc/loadavg: 2.09 2.03 2.00 4/176 21554
/proc/meminfo: memFree=31088512/32873648 swapFree=7112/7112
[pid=21554] ppid=21552 vsize=23616 CPUtime=0.29 cores=1,3,5,7
/proc/21554/stat : 21554 (toysat) R 21552 21554 18885 0 -1 4202496 5172 0 0 0 28 1 0 0 20 0 1 0 280340521 24182784 5094 33554432000 4194304 8973514 140733715923872 140734125609832 7937344 0 0 0 34082818 0 0 0 17 1 0 0 0 0 0
/proc/21554/statm: 5904 5094 418 1167 0 4685 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 23616

[startup+0.700159 s]
/proc/loadavg: 2.09 2.03 2.00 4/176 21554
/proc/meminfo: memFree=31088512/32873648 swapFree=7112/7112
[pid=21554] ppid=21552 vsize=52288 CPUtime=0.69 cores=1,3,5,7
/proc/21554/stat : 21554 (toysat) R 21552 21554 18885 0 -1 4202496 12340 0 0 0 67 2 0 0 20 0 1 0 280340521 53542912 12262 33554432000 4194304 8973514 140733715923872 140733715923368 7841851 0 2 0 34082818 0 0 0 17 1 0 0 0 0 0
/proc/21554/statm: 13072 12262 418 1167 0 11853 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 52288

[startup+1.50017 s]
/proc/loadavg: 2.08 2.03 2.00 3/177 21555
/proc/meminfo: memFree=31024388/32873648 swapFree=7112/7112
[pid=21554] ppid=21552 vsize=91200 CPUtime=1.48 cores=1,3,5,7
/proc/21554/stat : 21554 (toysat) R 21552 21554 18885 0 -1 4202496 22068 0 0 0 145 3 0 0 20 0 1 0 280340521 93388800 21990 33554432000 4194304 8973514 140733715923872 140733715923368 7937344 0 0 0 34082818 0 0 0 17 1 0 0 0 0 0
/proc/21554/statm: 22800 21990 418 1167 0 21581 0
Current children cumulated CPU time (s) 1.48
Current children cumulated vsize (KiB) 91200

[startup+3.10021 s]
/proc/loadavg: 2.08 2.03 2.00 3/177 21555
/proc/meminfo: memFree=30947012/32873648 swapFree=7112/7112
[pid=21554] ppid=21552 vsize=145472 CPUtime=3.08 cores=1,3,5,7
/proc/21554/stat : 21554 (toysat) R 21552 21554 18885 0 -1 4202496 35657 0 0 0 302 6 0 0 20 0 1 0 280340521 148963328 35579 33554432000 4194304 8973514 140733715923872 140733715923368 7937344 0 0 0 34082818 0 0 0 17 1 0 0 0 0 0
/proc/21554/statm: 36368 35579 433 1167 0 35149 0
Current children cumulated CPU time (s) 3.08
Current children cumulated vsize (KiB) 145472

[startup+6.30022 s]
/proc/loadavg: 2.08 2.03 2.00 3/177 21555
/proc/meminfo: memFree=30946684/32873648 swapFree=7112/7112
[pid=21554] ppid=21552 vsize=145472 CPUtime=6.28 cores=1,3,5,7
/proc/21554/stat : 21554 (toysat) R 21552 21554 18885 0 -1 4202496 35657 0 0 0 621 7 0 0 20 0 1 0 280340521 148963328 35579 33554432000 4194304 8973514 140733715923872 140733715923368 4208850 0 2 0 34082818 0 0 0 17 1 0 0 0 0 0
/proc/21554/statm: 36368 35579 433 1167 0 35149 0
Current children cumulated CPU time (s) 6.28
Current children cumulated vsize (KiB) 145472

[startup+12.7003 s]
/proc/loadavg: 2.07 2.02 2.00 3/177 21555
/proc/meminfo: memFree=30946796/32873648 swapFree=7112/7112
[pid=21554] ppid=21552 vsize=145472 CPUtime=12.68 cores=1,3,5,7
/proc/21554/stat : 21554 (toysat) R 21552 21554 18885 0 -1 4202496 35669 0 0 0 1259 9 0 0 20 0 1 0 280340521 148963328 35591 33554432000 4194304 8973514 140733715923872 140733715923368 7841851 0 2 0 34082818 0 0 0 17 1 0 0 0 0 0
/proc/21554/statm: 36368 35591 445 1167 0 35149 0
Current children cumulated CPU time (s) 12.68
Current children cumulated vsize (KiB) 145472

[startup+25.5002 s]
/proc/loadavg: 2.06 2.02 2.00 3/177 21555
/proc/meminfo: memFree=30946204/32873648 swapFree=7112/7112
[pid=21554] ppid=21552 vsize=145472 CPUtime=25.49 cores=1,3,5,7
/proc/21554/stat : 21554 (toysat) R 21552 21554 18885 0 -1 4202496 35681 0 0 0 2538 11 0 0 20 0 1 0 280340521 148963328 35603 33554432000 4194304 8973514 140733715923872 140733715923368 7937344 0 0 0 34082818 0 0 0 17 1 0 0 0 0 0
/proc/21554/statm: 36368 35603 457 1167 0 35149 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 145472

[startup+51.1002 s]
/proc/loadavg: 2.03 2.02 2.00 3/177 21555
/proc/meminfo: memFree=30942300/32873648 swapFree=7112/7112
[pid=21554] ppid=21552 vsize=149568 CPUtime=51.08 cores=1,3,5,7
/proc/21554/stat : 21554 (toysat) R 21552 21554 18885 0 -1 4202496 36705 0 0 0 5089 19 0 0 20 0 1 0 280340521 153157632 36627 33554432000 4194304 8973514 140733715923872 140733715923368 7937344 0 0 0 34082818 0 0 0 17 1 0 0 0 0 0
/proc/21554/statm: 37392 36627 457 1167 0 36173 0
Current children cumulated CPU time (s) 51.08
Current children cumulated vsize (KiB) 149568

[startup+102.307 s]
/proc/loadavg: 2.01 2.02 2.00 3/178 21558
/proc/meminfo: memFree=30930188/32873648 swapFree=7112/7112
[pid=21554] ppid=21552 vsize=160832 CPUtime=102.27 cores=1,3,5,7
/proc/21554/stat : 21554 (toysat) R 21552 21554 18885 0 -1 4202496 39535 0 0 0 10195 32 0 0 20 0 1 0 280340521 164691968 39443 33554432000 4194304 8973514 140733715923872 140733715921792 7937344 0 0 0 34082818 0 0 0 17 1 0 0 0 0 0
/proc/21554/statm: 40208 39443 457 1167 0 38989 0
Current children cumulated CPU time (s) 102.27
Current children cumulated vsize (KiB) 160832

[startup+162.3 s]
/proc/loadavg: 2.00 2.01 2.00 3/177 21559
/proc/meminfo: memFree=30920448/32873648 swapFree=7112/7112
[pid=21554] ppid=21552 vsize=171072 CPUtime=162.25 cores=1,3,5,7
/proc/21554/stat : 21554 (toysat) R 21552 21554 18885 0 -1 4202496 42109 0 0 0 16175 50 0 0 20 0 1 0 280340521 175177728 42003 33554432000 4194304 8973514 140733715923872 140733715923368 7841851 0 2 0 34082818 0 0 0 17 1 0 0 0 0 0
/proc/21554/statm: 42768 42003 457 1167 0 41549 0
Current children cumulated CPU time (s) 162.25
Current children cumulated vsize (KiB) 171072

[startup+222.3 s]
/proc/loadavg: 2.04 2.02 2.00 3/177 21559
/proc/meminfo: memFree=30915000/32873648 swapFree=7112/7112
[pid=21554] ppid=21552 vsize=176192 CPUtime=222.23 cores=1,3,5,7
/proc/21554/stat : 21554 (toysat) R 21552 21554 18885 0 -1 4202496 43389 0 0 0 22156 67 0 0 20 0 1 0 280340521 180420608 43283 33554432000 4194304 8973514 140733715923872 140733715921856 4204292 0 2 0 34082818 0 0 0 17 1 0 0 0 0 0
/proc/21554/statm: 44048 43283 457 1167 0 42829 0
Current children cumulated CPU time (s) 222.23
Current children cumulated vsize (KiB) 176192

[startup+282.3 s]
/proc/loadavg: 2.01 2.02 2.00 3/177 21559
/proc/meminfo: memFree=30915000/32873648 swapFree=7112/7112
[pid=21554] ppid=21552 vsize=176192 CPUtime=282.22 cores=1,3,5,7
/proc/21554/stat : 21554 (toysat) R 21552 21554 18885 0 -1 4202496 43389 0 0 0 28142 80 0 0 20 0 1 0 280340521 180420608 43283 33554432000 4194304 8973514 140733715923872 140733715921856 7937344 0 0 0 34082818 0 0 0 17 1 0 0 0 0 0
/proc/21554/statm: 44048 43283 457 1167 0 42829 0
Current children cumulated CPU time (s) 282.22
Current children cumulated vsize (KiB) 176192

[startup+342.3 s]
/proc/loadavg: 2.00 2.01 2.00 3/177 21559
/proc/meminfo: memFree=30910096/32873648 swapFree=7112/7112
[pid=21554] ppid=21552 vsize=179264 CPUtime=342.21 cores=1,3,5,7
/proc/21554/stat : 21554 (toysat) R 21552 21554 18885 0 -1 4202496 44157 0 0 0 34126 95 0 0 20 0 1 0 280340521 183566336 44051 33554432000 4194304 8973514 140733715923872 140733715923136 7937344 0 0 0 34082818 0 0 0 17 1 0 0 0 0 0
/proc/21554/statm: 44816 44051 457 1167 0 43597 0
Current children cumulated CPU time (s) 342.21
Current children cumulated vsize (KiB) 179264

[startup+402.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 21559
/proc/meminfo: memFree=30906128/32873648 swapFree=7112/7112
[pid=21554] ppid=21552 vsize=183360 CPUtime=402.21 cores=1,3,5,7
/proc/21554/stat : 21554 (toysat) R 21552 21554 18885 0 -1 4202496 45181 0 0 0 40109 112 0 0 20 0 1 0 280340521 187760640 45075 33554432000 4194304 8973514 140733715923872 140733715923136 7937344 0 0 0 34082818 0 0 0 17 1 0 0 0 0 0
/proc/21554/statm: 45840 45075 457 1167 0 44621 0
Current children cumulated CPU time (s) 402.21
Current children cumulated vsize (KiB) 183360

[startup+462.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 21560
/proc/meminfo: memFree=30902904/32873648 swapFree=7112/7112
[pid=21554] ppid=21552 vsize=186432 CPUtime=462.2 cores=1,3,5,7
/proc/21554/stat : 21554 (toysat) R 21552 21554 18885 0 -1 4202496 45949 0 0 0 46091 129 0 0 20 0 1 0 280340521 190906368 45843 33554432000 4194304 8973514 140733715923872 140733715923136 4209212 0 2 0 34082818 0 0 0 17 1 0 0 0 0 0
/proc/21554/statm: 46608 45843 457 1167 0 45389 0
Current children cumulated CPU time (s) 462.2
Current children cumulated vsize (KiB) 186432

[startup+522.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 21560
/proc/meminfo: memFree=30900852/32873648 swapFree=7112/7112
[pid=21554] ppid=21552 vsize=188480 CPUtime=522.19 cores=1,3,5,7
/proc/21554/stat : 21554 (toysat) R 21552 21554 18885 0 -1 4202496 46461 0 0 0 52073 146 0 0 20 0 1 0 280340521 193003520 46355 33554432000 4194304 8973514 140733715923872 140733715923136 7841851 0 2 0 34082818 0 0 0 17 1 0 0 0 0 0
/proc/21554/statm: 47120 46355 457 1167 0 45901 0
Current children cumulated CPU time (s) 522.19
Current children cumulated vsize (KiB) 188480

[startup+582.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 21560
/proc/meminfo: memFree=30896884/32873648 swapFree=7112/7112
[pid=21554] ppid=21552 vsize=191552 CPUtime=582.18 cores=1,3,5,7
/proc/21554/stat : 21554 (toysat) R 21552 21554 18885 0 -1 4202496 47229 0 0 0 58056 162 0 0 20 0 1 0 280340521 196149248 47123 33554432000 4194304 8973514 140733715923872 140733715923368 7937344 0 0 0 34082818 0 0 0 17 1 0 0 0 0 0
/proc/21554/statm: 47888 47123 457 1167 0 46669 0
Current children cumulated CPU time (s) 582.18
Current children cumulated vsize (KiB) 191552

[startup+642.3 s]

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

[startup+822.3 s]
/proc/loadavg: 2.02 2.02 2.00 3/176 21564
/proc/meminfo: memFree=30894808/32873648 swapFree=7112/7112
[pid=21554] ppid=21552 vsize=193600 CPUtime=822.14 cores=1,3,5,7
/proc/21554/stat : 21554 (toysat) R 21552 21554 18885 0 -1 4202496 47743 0 0 0 81993 221 0 0 20 0 1 0 280340521 198246400 47635 33554432000 4194304 8973514 140733715923872 140733715923368 7841851 0 2 0 34082818 0 0 0 17 1 0 0 0 0 0
/proc/21554/statm: 48400 47635 457 1167 0 47181 0
Current children cumulated CPU time (s) 822.14
Current children cumulated vsize (KiB) 193600

[startup+882.3 s]
/proc/loadavg: 2.00 2.01 2.00 3/177 21565
/proc/meminfo: memFree=30889772/32873648 swapFree=7112/7112
[pid=21554] ppid=21552 vsize=196672 CPUtime=882.13 cores=1,3,5,7
/proc/21554/stat : 21554 (toysat) R 21552 21554 18885 0 -1 4202496 48512 0 0 0 87980 233 0 0 20 0 1 0 280340521 201392128 48403 33554432000 4194304 8973514 140733715923872 140733715921792 7841851 0 2 0 34082818 0 0 0 17 1 0 0 0 0 0
/proc/21554/statm: 49168 48403 457 1167 0 47949 0
Current children cumulated CPU time (s) 882.13
Current children cumulated vsize (KiB) 196672

[startup+942.3 s]
/proc/loadavg: 2.00 2.01 2.00 3/177 21565
/proc/meminfo: memFree=30889912/32873648 swapFree=7112/7112
[pid=21554] ppid=21552 vsize=196672 CPUtime=942.12 cores=1,3,5,7
/proc/21554/stat : 21554 (toysat) R 21552 21554 18885 0 -1 4202496 48512 0 0 0 93965 247 0 0 20 0 1 0 280340521 201392128 48403 33554432000 4194304 8973514 140733715923872 140733715921856 7937344 0 0 0 34082818 0 0 0 17 1 0 0 0 0 0
/proc/21554/statm: 49168 48403 457 1167 0 47949 0
Current children cumulated CPU time (s) 942.12
Current children cumulated vsize (KiB) 196672

[startup+1002.3 s]
/proc/loadavg: 2.06 2.02 2.00 3/177 21565
/proc/meminfo: memFree=30888052/32873648 swapFree=7112/7112
[pid=21554] ppid=21552 vsize=198720 CPUtime=1002.12 cores=1,3,5,7
/proc/21554/stat : 21554 (toysat) R 21552 21554 18885 0 -1 4202496 49024 0 0 0 99950 262 0 0 20 0 1 0 280340521 203489280 48915 33554432000 4194304 8973514 140733715923872 140733715921792 7937344 0 0 0 34082818 0 0 0 17 1 0 0 0 0 0
/proc/21554/statm: 49680 48915 457 1167 0 48461 0
Current children cumulated CPU time (s) 1002.12
Current children cumulated vsize (KiB) 198720

[startup+1062.3 s]
/proc/loadavg: 2.02 2.01 2.00 3/177 21566
/proc/meminfo: memFree=30887416/32873648 swapFree=7112/7112
[pid=21554] ppid=21552 vsize=198720 CPUtime=1062.11 cores=1,3,5,7
/proc/21554/stat : 21554 (toysat) R 21552 21554 18885 0 -1 4202496 49024 0 0 0 105935 276 0 0 20 0 1 0 280340521 203489280 48915 33554432000 4194304 8973514 140733715923872 140733715923368 7841851 0 2 0 34082818 0 0 0 17 1 0 0 0 0 0
/proc/21554/statm: 49680 48915 457 1167 0 48461 0
Current children cumulated CPU time (s) 1062.11
Current children cumulated vsize (KiB) 198720

[startup+1122.3 s]
/proc/loadavg: 2.01 2.01 2.00 3/177 21566
/proc/meminfo: memFree=30886304/32873648 swapFree=7112/7112
[pid=21554] ppid=21552 vsize=198720 CPUtime=1122.1 cores=1,3,5,7
/proc/21554/stat : 21554 (toysat) R 21552 21554 18885 0 -1 4202496 49024 0 0 0 111921 289 0 0 20 0 1 0 280340521 203489280 48915 33554432000 4194304 8973514 140733715923872 140733715923368 7937344 0 0 0 34082818 0 0 0 17 1 0 0 0 0 0
/proc/21554/statm: 49680 48915 457 1167 0 48461 0
Current children cumulated CPU time (s) 1122.1
Current children cumulated vsize (KiB) 198720

[startup+1182.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 21566
/proc/meminfo: memFree=30886180/32873648 swapFree=7112/7112
[pid=21554] ppid=21552 vsize=198720 CPUtime=1182.08 cores=1,3,5,7
/proc/21554/stat : 21554 (toysat) R 21552 21554 18885 0 -1 4202496 49024 0 0 0 117907 301 0 0 20 0 1 0 280340521 203489280 48915 33554432000 4194304 8973514 140733715923872 140733715921792 7937344 0 0 0 34082818 0 0 0 17 1 0 0 0 0 0
/proc/21554/statm: 49680 48915 457 1167 0 48461 0
Current children cumulated CPU time (s) 1182.08
Current children cumulated vsize (KiB) 198720

[startup+1242.3 s]
/proc/loadavg: 2.04 2.01 2.00 3/177 21605
/proc/meminfo: memFree=30822776/32873648 swapFree=7112/7112
[pid=21554] ppid=21552 vsize=201792 CPUtime=1242.07 cores=1,3,5,7
/proc/21554/stat : 21554 (toysat) R 21552 21554 18885 0 -1 4202496 49792 0 0 0 123889 318 0 0 20 0 1 0 280340521 206635008 49683 33554432000 4194304 8973514 140733715923872 140733715923136 7841851 0 2 0 34082818 0 0 0 17 1 0 0 0 0 0
/proc/21554/statm: 50448 49683 457 1167 0 49229 0
Current children cumulated CPU time (s) 1242.07
Current children cumulated vsize (KiB) 201792

[startup+1302.3 s]
/proc/loadavg: 2.01 2.01 2.00 3/178 21608
/proc/meminfo: memFree=30792272/32873648 swapFree=7112/7112
[pid=21554] ppid=21552 vsize=201792 CPUtime=1302.07 cores=1,3,5,7
/proc/21554/stat : 21554 (toysat) R 21552 21554 18885 0 -1 4202496 49792 0 0 0 129875 332 0 0 20 0 1 0 280340521 206635008 49683 33554432000 4194304 8973514 140733715923872 140733715923136 4209344 0 2 0 34082818 0 0 0 17 1 0 0 0 0 0
/proc/21554/statm: 50448 49683 457 1167 0 49229 0
Current children cumulated CPU time (s) 1302.07
Current children cumulated vsize (KiB) 201792

[startup+1362.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 21609
/proc/meminfo: memFree=30760064/32873648 swapFree=7112/7112
[pid=21554] ppid=21552 vsize=203840 CPUtime=1362.06 cores=1,3,5,7
/proc/21554/stat : 21554 (toysat) R 21552 21554 18885 0 -1 4202496 50304 0 0 0 135856 350 0 0 20 0 1 0 280340521 208732160 50195 33554432000 4194304 8973514 140733715923872 140733715923368 4208852 0 2 0 34082818 0 0 0 17 1 0 0 0 0 0
/proc/21554/statm: 50960 50195 457 1167 0 49741 0
Current children cumulated CPU time (s) 1362.06
Current children cumulated vsize (KiB) 203840

[startup+1422.31 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 21609
/proc/meminfo: memFree=30732172/32873648 swapFree=7112/7112
[pid=21554] ppid=21552 vsize=203840 CPUtime=1422.05 cores=1,3,5,7
/proc/21554/stat : 21554 (toysat) R 21552 21554 18885 0 -1 4202496 50304 0 0 0 141841 364 0 0 20 0 1 0 280340521 208732160 50195 33554432000 4194304 8973514 140733715923872 140733715921792 7841851 0 2 0 34082818 0 0 0 17 1 0 0 0 0 0
/proc/21554/statm: 50960 50195 457 1167 0 49741 0
Current children cumulated CPU time (s) 1422.05
Current children cumulated vsize (KiB) 203840

[startup+1482.3 s]
/proc/loadavg: 2.04 2.01 2.00 3/178 21610
/proc/meminfo: memFree=30706400/32873648 swapFree=7112/7112
[pid=21554] ppid=21552 vsize=203840 CPUtime=1482.05 cores=1,3,5,7
/proc/21554/stat : 21554 (toysat) R 21552 21554 18885 0 -1 4202496 50304 0 0 0 147825 380 0 0 20 0 1 0 280340521 208732160 50195 33554432000 4194304 8973514 140733715923872 140733715923136 7841851 0 2 0 34082818 0 0 0 17 1 0 0 0 0 0
/proc/21554/statm: 50960 50195 457 1167 0 49741 0
Current children cumulated CPU time (s) 1482.05
Current children cumulated vsize (KiB) 203840

[startup+1542.3 s]
/proc/loadavg: 2.09 2.02 2.00 3/177 21610
/proc/meminfo: memFree=30684904/32873648 swapFree=7112/7112
[pid=21554] ppid=21552 vsize=206912 CPUtime=1542.03 cores=1,3,5,7
/proc/21554/stat : 21554 (toysat) R 21552 21554 18885 0 -1 4202496 51072 0 0 0 153809 394 0 0 20 0 1 0 280340521 211877888 50963 33554432000 4194304 8973514 140733715923872 140733715923368 4209336 0 2 0 34082818 0 0 0 17 1 0 0 0 0 0
/proc/21554/statm: 51728 50963 457 1167 0 50509 0
Current children cumulated CPU time (s) 1542.03
Current children cumulated vsize (KiB) 206912

[startup+1602.3 s]
/proc/loadavg: 2.03 2.02 2.00 3/177 21610
/proc/meminfo: memFree=30669404/32873648 swapFree=7112/7112
[pid=21554] ppid=21552 vsize=206912 CPUtime=1602.02 cores=1,3,5,7
/proc/21554/stat : 21554 (toysat) R 21552 21554 18885 0 -1 4202496 51072 0 0 0 159794 408 0 0 20 0 1 0 280340521 211877888 50963 33554432000 4194304 8973514 140733715923872 140733715923136 4213511 0 2 0 34082818 0 0 0 17 1 0 0 0 0 0
/proc/21554/statm: 51728 50963 457 1167 0 50509 0
Current children cumulated CPU time (s) 1602.02
Current children cumulated vsize (KiB) 206912

[startup+1662.3 s]
/proc/loadavg: 2.01 2.01 2.00 3/177 21611
/proc/meminfo: memFree=30652104/32873648 swapFree=7112/7112
[pid=21554] ppid=21552 vsize=206912 CPUtime=1662.01 cores=1,3,5,7
/proc/21554/stat : 21554 (toysat) R 21552 21554 18885 0 -1 4202496 51072 0 0 0 165780 421 0 0 20 0 1 0 280340521 211877888 50963 33554432000 4194304 8973514 140733715923872 140733715923368 4209365 0 2 0 34082818 0 0 0 17 1 0 0 0 0 0
/proc/21554/statm: 51728 50963 457 1167 0 50509 0
Current children cumulated CPU time (s) 1662.01
Current children cumulated vsize (KiB) 206912

[startup+1722.3 s]
/proc/loadavg: 2.05 2.02 2.00 3/177 21611
/proc/meminfo: memFree=30627304/32873648 swapFree=7112/7112
[pid=21554] ppid=21552 vsize=212032 CPUtime=1722.01 cores=1,3,5,7
/proc/21554/stat : 21554 (toysat) R 21552 21554 18885 0 -1 4202496 52352 0 0 0 171758 443 0 0 20 0 1 0 280340521 217120768 52243 33554432000 4194304 8973514 140733715923872 140733715923368 7937344 0 0 0 34082818 0 0 0 17 1 0 0 0 0 0
/proc/21554/statm: 53008 52243 457 1167 0 51789 0
Current children cumulated CPU time (s) 1722.01
Current children cumulated vsize (KiB) 212032

[startup+1782.3 s]
/proc/loadavg: 2.02 2.02 2.00 3/177 21611
/proc/meminfo: memFree=30608496/32873648 swapFree=7112/7112
[pid=21554] ppid=21552 vsize=212032 CPUtime=1781.99 cores=1,3,5,7
/proc/21554/stat : 21554 (toysat) R 21552 21554 18885 0 -1 4202496 52352 0 0 0 177744 455 0 0 20 0 1 0 280340521 217120768 52243 33554432000 4194304 8973514 140733715923872 140733715923368 4204402 0 2 0 34082818 0 0 0 17 1 0 0 0 0 0
/proc/21554/statm: 53008 52243 457 1167 0 51789 0
Current children cumulated CPU time (s) 1781.99
Current children cumulated vsize (KiB) 212032



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1800.4 s]
/proc/loadavg: 2.01 2.02 2.00 3/177 21611
/proc/meminfo: memFree=30602760/32873648 swapFree=7112/7112
[pid=21554] ppid=21552 vsize=212032 CPUtime=1800.1 cores=1,3,5,7
/proc/21554/stat : 21554 (toysat) R 21552 21554 18885 0 -1 4202496 52352 0 0 0 179550 460 0 0 20 0 1 0 280340521 217120768 52243 33554432000 4194304 8973514 140733715923872 140733715923368 7841851 0 2 0 34082818 0 0 0 17 1 0 0 0 0 0
/proc/21554/statm: 53008 52243 457 1167 0 51789 0
Current children cumulated CPU time (s) 1800.1
Current children cumulated vsize (KiB) 212032

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.5
CPU system time (s): 4.6083
CPU usage (%): 99.9835
Max. virtual memory (cumulated for all children) (KiB): 212032

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1795.5
system time used= 4.6083
maximum resident set size= 208972
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 52352
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= 33
involuntary context switches= 2292

runsolver used 3.44148 second user time and 9.08462 second system time

The end

Launcher Data 

Begin job on node126 at 2012-05-27 20:09:06
IDJOB=3706333
IDBENCH=72472
IDSOLVER=2285
FILE ID=node126/3706333-1338142146
RUNJOBID= node126-1338111870-18902
PBS_JOBID= 14624471
Free space on /tmp= 71348 MiB

SOLVER NAME= toysat 2012-05-17
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 --pb BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-3706333-1338142146/watcher-3706333-1338142146 -o /tmp/evaluation-result-3706333-1338142146/solver-3706333-1338142146 -C 1800 -W 1900 -M 15500  HOME/toysat --pb HOME/instance-3706333-1338142146.opb

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

MD5SUM BENCH= 326ff224195d4181cc1fe63d0e795882
RANDOM SEED=1156206576

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

processor	: 1
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.456
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.456
cache size	: 8192 KB
physical id	: 0
siblings	: 4
core id		: 1
cpu cores	: 4
apicid		: 2
initial apicid	: 2
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5331.92
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.456
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.456
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.92
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.456
cache size	: 8192 KB
physical id	: 1
siblings	: 4
core id		: 2
cpu cores	: 4
apicid		: 20
initial apicid	: 20
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5331.91
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 6
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.456
cache size	: 8192 KB
physical id	: 0
siblings	: 4
core id		: 3
cpu cores	: 4
apicid		: 6
initial apicid	: 6
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5331.90
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 7
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.456
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.92
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:


/proc/meminfo:
MemTotal:       32873648 kB
MemFree:        31088784 kB
Buffers:          306472 kB
Cached:           588288 kB
SwapCached:        17756 kB
Active:           812856 kB
Inactive:         165232 kB
Active(anon):      64732 kB
Inactive(anon):    20452 kB
Active(file):     748124 kB
Inactive(file):   144780 kB
Unevictable:        7112 kB
Mlocked:            7112 kB
SwapTotal:      67108856 kB
SwapFree:       67086932 kB
Dirty:             10912 kB
Writeback:             0 kB
AnonPages:         72744 kB
Mapped:            11496 kB
Shmem:                 0 kB
Slab:             668604 kB
SReclaimable:     112852 kB
SUnreclaim:       555752 kB
KernelStack:        1480 kB
PageTables:         4232 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83545680 kB
Committed_AS:     187976 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      346400 kB
VmallocChunk:   34341988052 kB
HardwareCorrupted:     0 kB
AnonHugePages:     59392 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= 71340 MiB
End job on node126 at 2012-05-27 20:39:09