Trace number 3706332

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.02 1800.31

General information on the benchmark

Name/OPT-BIGINT-LIN/leberre/opb-trendy/misc2010/datasets/
9orless/normalized-mono-gac.cudf.trendy.opb
MD5SUMaecff64161ca76fae524b50cd0e11fc3
Bench CategoryOPT-BIGINT-LIN (optimisation, big integers, linear constraints)
Best result obtained on this benchmarkSAT
Best value of the objective obtained on this benchmark3177795208946
Best CPU time to get the best result obtained on this benchmark1800.68
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.99/11.04	c 2012-05-27T20:06:25+0200
10.99/11.04	c arch = x86_64
10.99/11.04	c os = linux
10.99/11.04	c compiler = ghc 7.4
10.99/11.04	c packages:
10.99/11.04	c   OptDir-0.0.1
10.99/11.04	c   array-0.4.0.0
10.99/11.04	c   base-4.5.0.0
10.99/11.04	c   bytestring-0.9.2.1
10.99/11.04	c   containers-0.4.2.1
10.99/11.04	c   deepseq-1.3.0.0
10.99/11.04	c   mtl-2.1.1
10.99/11.04	c   old_locale-1.0.0.4
10.99/11.04	c   parse_dimacs-1.2
10.99/11.04	c   parsec-3.1.2
10.99/11.04	c   queue-0.1.2
10.99/11.04	c   stm-2.3
10.99/11.04	c   time-1.4
10.99/11.04	c command line = ["--pb","HOME/instance-3706332-1338141985.opb"]
10.99/11.04	c #vars 21101
10.99/11.04	c #constraints 100032
10.99/11.04	c Solving starts ...
25.29/25.30	c solving time = 14.233s
25.29/25.30	c #decision = 2162640
25.29/25.30	c #conflict = 1382
25.29/25.30	c #restart = 5
25.29/25.30	o 5713947547017
25.29/25.32	c Solving starts ...
25.58/25.65	c solving time = 0.313s
25.58/25.65	c #decision = 2168836
25.58/25.65	c #conflict = 1382
25.58/25.65	c #restart = 5
25.58/25.65	o 5713947547016
25.58/25.67	c Solving starts ...
26.18/26.28	c solving time = 0.591s
26.18/26.28	c #decision = 2176186
26.18/26.28	c #conflict = 1386
26.18/26.28	c #restart = 5
26.18/26.28	o 5713947547015
26.30/26.38	c Solving starts ...
27.08/27.16	c solving time = 0.755s
27.08/27.16	c #decision = 2182351
27.08/27.16	c #conflict = 1386
27.08/27.16	c #restart = 5
27.08/27.16	o 5713947547014
27.08/27.17	c Solving starts ...
28.49/28.52	c solving time = 1.322s
28.49/28.52	c #decision = 2188546
28.49/28.52	c #conflict = 1391
28.49/28.52	c #restart = 5
28.49/28.52	o 5713947547013
28.49/28.54	c Solving starts ...
31.38/31.49	c solving time = 2.929s
31.38/31.49	c #decision = 2192290
31.38/31.49	c #conflict = 1401
31.38/31.49	c #restart = 5
31.38/31.49	o 5713947547012
31.49/31.50	c Solving starts ...
38.28/38.39	c solving time = 6.866s
38.28/38.39	c #decision = 2195537
38.28/38.39	c #conflict = 1403
38.28/38.39	c #restart = 5
38.28/38.39	o 5713929099988
38.39/38.40	c Solving starts ...
83.98/84.09	c solving time = 45.661s
83.98/84.09	c #decision = 2198077
83.98/84.09	c #conflict = 1412
83.98/84.09	c #restart = 5
83.98/84.09	o 5713929099987
84.08/84.11	c Solving starts ...
123.47/123.58	c solving time = 39.433s
123.47/123.58	c #decision = 2200566
123.47/123.58	c #conflict = 1419
123.47/123.58	c #restart = 5
123.47/123.58	o 5713929099986
123.47/123.59	c Solving starts ...
170.65/170.71	c solving time = 47.088s
170.65/170.71	c #decision = 2203120
170.65/170.71	c #conflict = 1427
170.65/170.71	c #restart = 5
170.65/170.71	o 5713929099985
170.65/170.72	c Solving starts ...
202.85/202.93	c solving time = 32.179s
202.85/202.93	c #decision = 2205670
202.85/202.93	c #conflict = 1432
202.85/202.93	c #restart = 5
202.85/202.93	o 5713929099984
202.85/202.94	c Solving starts ...
249.34/249.41	c solving time = 46.436s
249.34/249.41	c #decision = 2208159
249.34/249.41	c #conflict = 1438
249.34/249.41	c #restart = 5
249.34/249.41	o 5713929099983
249.34/249.42	c Solving starts ...
317.43/317.53	c solving time = 68.076s
317.43/317.53	c #decision = 2210658
317.43/317.53	c #conflict = 1448
317.43/317.53	c #restart = 5
317.43/317.53	o 5713929099982
317.43/317.54	c Solving starts ...
357.83/357.97	c solving time = 40.398s
357.83/357.97	c #decision = 2213157
357.83/357.97	c #conflict = 1453
357.83/357.97	c #restart = 5
357.83/357.97	o 5713929099981
357.83/357.98	c Solving starts ...
419.51/419.64	c solving time = 61.632s
419.51/419.64	c #decision = 2215693
419.51/419.64	c #conflict = 1462
419.51/419.64	c #restart = 5
419.51/419.64	o 5713929099980
419.61/419.75	c Solving starts ...
518.80/518.97	c solving time = 99.186s
518.80/518.97	c #decision = 2218322
518.80/518.97	c #conflict = 1478
518.80/518.97	c #restart = 5
518.80/518.97	o 5713929099979
518.80/518.98	c Solving starts ...
610.58/610.75	c solving time = 91.725s
610.58/610.75	c #decision = 2220809
610.58/610.75	c #conflict = 1490
610.58/610.75	c #restart = 5
610.58/610.75	o 5713929099978
610.58/610.76	c Solving starts ...
760.56/760.74	c solving time = 149.937s
760.56/760.74	c #decision = 2223299
760.56/760.74	c #conflict = 1510
760.56/760.74	c #restart = 5
760.56/760.74	o 5713929099977
760.56/760.76	c Solving starts ...
874.95/875.14	c solving time = 114.345s
874.95/875.14	c #decision = 2225797
874.95/875.14	c #conflict = 1525
874.95/875.14	c #restart = 5
874.95/875.14	o 5713929099976
874.95/875.15	c Solving starts ...
925.04/925.21	c solving time = 50.026s
925.04/925.21	c #decision = 2228293
925.04/925.21	c #conflict = 1531
925.04/925.21	c #restart = 5
925.04/925.21	o 5713929099975
925.04/925.22	c Solving starts ...
1005.02/1005.23	c solving time = 79.968s
1005.02/1005.23	c #decision = 2231471
1005.02/1005.23	c #conflict = 1549
1005.02/1005.23	c #restart = 5
1005.02/1005.23	o 5713929099974
1005.02/1005.24	c Solving starts ...
1130.10/1130.35	c solving time = 125.071s
1130.10/1130.35	c #decision = 2234603
1130.10/1130.35	c #conflict = 1569
1130.10/1130.35	c #restart = 5
1130.10/1130.35	o 5713929099973
1130.10/1130.36	c Solving starts ...
1185.51/1185.75	c solving time = 55.356s
1185.51/1185.75	c #decision = 2237843
1185.51/1185.75	c #conflict = 1583
1185.51/1185.75	c #restart = 5
1185.51/1185.75	o 5713929099972
1185.51/1185.76	c Solving starts ...
1306.77/1307.07	c solving time = 121.267s
1306.77/1307.07	c #decision = 2240327
1306.77/1307.07	c #conflict = 1599
1306.77/1307.07	c #restart = 5
1306.77/1307.07	o 5713929099971
1306.77/1307.09	c Solving starts ...
1390.67/1390.98	c solving time = 83.860s
1390.67/1390.98	c #decision = 2242860
1390.67/1390.98	c #conflict = 1610
1390.67/1390.98	c #restart = 5
1390.67/1390.98	o 5713929099970
1390.76/1391.09	c Solving starts ...
1479.95/1480.28	c solving time = 89.155s
1479.95/1480.28	c #decision = 2245342
1479.95/1480.28	c #conflict = 1621
1479.95/1480.28	c #restart = 5
1479.95/1480.28	o 5713929099969
1480.05/1480.30	c Solving starts ...
1540.15/1540.42	c solving time = 60.095s
1540.15/1540.42	c #decision = 2247811
1540.15/1540.42	c #conflict = 1628
1540.15/1540.42	c #restart = 5
1540.15/1540.42	o 5713929099968
1540.15/1540.44	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-3706332-1338141985/watcher-3706332-1338141985 -o /tmp/evaluation-result-3706332-1338141985/solver-3706332-1338141985 -C 1800 -W 1900 -M 15500 HOME/toysat --pb HOME/instance-3706332-1338141985.opb 

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

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


[startup+0 s]
/proc/loadavg: 1.92 1.98 1.99 3/176 29705
/proc/meminfo: memFree=31231392/32873844 swapFree=7112/7112
[pid=29705] ppid=29703 vsize=7232 CPUtime=0 cores=1,3,5,7
/proc/29705/stat : 29705 (toysat) R 29703 29705 27148 0 -1 4202496 827 0 0 0 0 0 0 0 20 0 1 0 280324151 7405568 747 33554432000 4194304 8973514 140737102709536 140734150102376 4209325 0 2 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/29705/statm: 1808 751 411 1167 0 589 0

[startup+0.084387 s]
/proc/loadavg: 1.92 1.98 1.99 3/176 29705
/proc/meminfo: memFree=31231392/32873844 swapFree=7112/7112
[pid=29705] ppid=29703 vsize=11328 CPUtime=0.08 cores=1,3,5,7
/proc/29705/stat : 29705 (toysat) R 29703 29705 27148 0 -1 4202496 1971 0 0 0 8 0 0 0 20 0 1 0 280324151 11599872 1891 33554432000 4194304 8973514 140737102709536 140734150102376 7937344 0 0 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/29705/statm: 2832 1891 418 1167 0 1613 0
Current children cumulated CPU time (s) 0.08
Current children cumulated vsize (KiB) 11328

[startup+0.100314 s]
/proc/loadavg: 1.92 1.98 1.99 3/176 29705
/proc/meminfo: memFree=31231392/32873844 swapFree=7112/7112
[pid=29705] ppid=29703 vsize=11328 CPUtime=0.09 cores=1,3,5,7
/proc/29705/stat : 29705 (toysat) R 29703 29705 27148 0 -1 4202496 2101 0 0 0 9 0 0 0 20 0 1 0 280324151 11599872 2021 33554432000 4194304 8973514 140737102709536 140734150102376 7937344 0 0 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/29705/statm: 2832 2021 418 1167 0 1613 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 11328

[startup+0.300309 s]
/proc/loadavg: 1.92 1.98 1.99 3/176 29705
/proc/meminfo: memFree=31231392/32873844 swapFree=7112/7112
[pid=29705] ppid=29703 vsize=23616 CPUtime=0.29 cores=1,3,5,7
/proc/29705/stat : 29705 (toysat) R 29703 29705 27148 0 -1 4202496 5173 0 0 0 29 0 0 0 20 0 1 0 280324151 24182784 5093 33554432000 4194304 8973514 140737102709536 140737102709032 7841851 0 2 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/29705/statm: 5904 5093 418 1167 0 4685 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 23616

[startup+0.700308 s]
/proc/loadavg: 1.92 1.98 1.99 3/176 29705
/proc/meminfo: memFree=31231392/32873844 swapFree=7112/7112
[pid=29705] ppid=29703 vsize=52288 CPUtime=0.69 cores=1,3,5,7
/proc/29705/stat : 29705 (toysat) R 29703 29705 27148 0 -1 4202496 12341 0 0 0 67 2 0 0 20 0 1 0 280324151 53542912 12261 33554432000 4194304 8973514 140737102709536 140737102709032 7937344 0 0 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/29705/statm: 13072 12261 418 1167 0 11853 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 52288

[startup+1.50031 s]
/proc/loadavg: 1.92 1.98 1.99 3/177 29706
/proc/meminfo: memFree=31167648/32873844 swapFree=7112/7112
[pid=29705] ppid=29703 vsize=91200 CPUtime=1.49 cores=1,3,5,7
/proc/29705/stat : 29705 (toysat) R 29703 29705 27148 0 -1 4202496 22069 0 0 0 145 4 0 0 20 0 1 0 280324151 93388800 21989 33554432000 4194304 8973514 140737102709536 140737102707520 7937344 0 0 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/29705/statm: 22800 21989 418 1167 0 21581 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 91200

[startup+3.10023 s]
/proc/loadavg: 1.92 1.98 1.99 3/177 29706
/proc/meminfo: memFree=31095728/32873844 swapFree=7112/7112
[pid=29705] ppid=29703 vsize=145472 CPUtime=3.09 cores=1,3,5,7
/proc/29705/stat : 29705 (toysat) R 29703 29705 27148 0 -1 4202496 35658 0 0 0 302 7 0 0 20 0 1 0 280324151 148963328 35578 33554432000 4194304 8973514 140737102709536 140737102709032 7937344 0 0 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/29705/statm: 36368 35578 433 1167 0 35149 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 145472

[startup+6.30023 s]
/proc/loadavg: 1.93 1.98 1.99 3/177 29706
/proc/meminfo: memFree=31089512/32873844 swapFree=7112/7112
[pid=29705] ppid=29703 vsize=145472 CPUtime=6.29 cores=1,3,5,7
/proc/29705/stat : 29705 (toysat) R 29703 29705 27148 0 -1 4202496 35658 0 0 0 621 8 0 0 20 0 1 0 280324151 148963328 35578 33554432000 4194304 8973514 140737102709536 140737102709032 7937344 0 0 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/29705/statm: 36368 35578 433 1167 0 35149 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 145472

[startup+12.7003 s]
/proc/loadavg: 1.93 1.98 1.99 3/177 29706
/proc/meminfo: memFree=31089644/32873844 swapFree=7112/7112
[pid=29705] ppid=29703 vsize=145472 CPUtime=12.69 cores=1,3,5,7
/proc/29705/stat : 29705 (toysat) R 29703 29705 27148 0 -1 4202496 35670 0 0 0 1258 11 0 0 20 0 1 0 280324151 148963328 35590 33554432000 4194304 8973514 140737102709536 140737102709032 4208833 0 2 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/29705/statm: 36368 35590 445 1167 0 35149 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 145472

[startup+25.5003 s]
/proc/loadavg: 1.95 1.98 1.99 3/177 29706
/proc/meminfo: memFree=31089496/32873844 swapFree=7112/7112
[pid=29705] ppid=29703 vsize=145472 CPUtime=25.49 cores=1,3,5,7
/proc/29705/stat : 29705 (toysat) R 29703 29705 27148 0 -1 4202496 35682 0 0 0 2536 13 0 0 20 0 1 0 280324151 148963328 35602 33554432000 4194304 8973514 140737102709536 140737102692632 7937344 0 0 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/29705/statm: 36368 35602 457 1167 0 35149 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 145472

[startup+51.1003 s]
/proc/loadavg: 1.96 1.98 1.99 3/177 29706
/proc/meminfo: memFree=31085620/32873844 swapFree=7112/7112
[pid=29705] ppid=29703 vsize=149568 CPUtime=51.08 cores=1,3,5,7
/proc/29705/stat : 29705 (toysat) R 29703 29705 27148 0 -1 4202496 36706 0 0 0 5084 24 0 0 20 0 1 0 280324151 153157632 36626 33554432000 4194304 8973514 140737102709536 140737102708800 4209136 0 2 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/29705/statm: 37392 36626 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: 1.98 1.98 1.99 3/177 29707
/proc/meminfo: memFree=31083308/32873844 swapFree=7112/7112
[pid=29705] ppid=29703 vsize=151616 CPUtime=102.28 cores=1,3,5,7
/proc/29705/stat : 29705 (toysat) R 29703 29705 27148 0 -1 4202496 37218 0 0 0 10193 35 0 0 20 0 1 0 280324151 155254784 37138 33554432000 4194304 8973514 140737102709536 140737102708800 4209376 0 2 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/29705/statm: 37904 37138 457 1167 0 36685 0
Current children cumulated CPU time (s) 102.28
Current children cumulated vsize (KiB) 151616

[startup+162.3 s]
/proc/loadavg: 1.99 1.98 1.99 3/177 29707
/proc/meminfo: memFree=31078316/32873844 swapFree=7112/7112
[pid=29705] ppid=29703 vsize=153664 CPUtime=162.25 cores=1,3,5,7
/proc/29705/stat : 29705 (toysat) R 29703 29705 27148 0 -1 4202496 37746 0 0 0 16176 49 0 0 20 0 1 0 280324151 157351936 37650 33554432000 4194304 8973514 140737102709536 140737102709032 7841851 0 2 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/29705/statm: 38416 37650 457 1167 0 37197 0
Current children cumulated CPU time (s) 162.25
Current children cumulated vsize (KiB) 153664

[startup+222.3 s]
/proc/loadavg: 1.99 1.98 1.99 3/178 29710
/proc/meminfo: memFree=31073152/32873844 swapFree=7112/7112
[pid=29705] ppid=29703 vsize=158784 CPUtime=222.25 cores=1,3,5,7
/proc/29705/stat : 29705 (toysat) R 29703 29705 27148 0 -1 4202496 39027 0 0 0 22160 65 0 0 20 0 1 0 280324151 162594816 38930 33554432000 4194304 8973514 140737102709536 140737102709032 7841851 0 2 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/29705/statm: 39696 38930 457 1167 0 38477 0
Current children cumulated CPU time (s) 222.25
Current children cumulated vsize (KiB) 158784

[startup+282.3 s]
/proc/loadavg: 1.99 1.98 1.99 3/177 29710
/proc/meminfo: memFree=31067208/32873844 swapFree=7112/7112
[pid=29705] ppid=29703 vsize=161856 CPUtime=282.24 cores=1,3,5,7
/proc/29705/stat : 29705 (toysat) R 29703 29705 27148 0 -1 4202496 39795 0 0 0 28142 82 0 0 20 0 1 0 280324151 165740544 39698 33554432000 4194304 8973514 140737102709536 140737102707456 7937344 0 0 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/29705/statm: 40464 39698 457 1167 0 39245 0
Current children cumulated CPU time (s) 282.24
Current children cumulated vsize (KiB) 161856

[startup+342.3 s]
/proc/loadavg: 1.99 1.98 1.99 3/177 29710
/proc/meminfo: memFree=31062984/32873844 swapFree=7112/7112
[pid=29705] ppid=29703 vsize=163904 CPUtime=342.22 cores=1,3,5,7
/proc/29705/stat : 29705 (toysat) R 29703 29705 27148 0 -1 4202496 40307 0 0 0 34123 99 0 0 20 0 1 0 280324151 167837696 40210 33554432000 4194304 8973514 140737102709536 140737102707456 7937344 0 0 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/29705/statm: 40976 40210 457 1167 0 39757 0
Current children cumulated CPU time (s) 342.22
Current children cumulated vsize (KiB) 163904

[startup+402.3 s]
/proc/loadavg: 2.03 2.00 2.00 3/177 29711
/proc/meminfo: memFree=31056536/32873844 swapFree=7112/7112
[pid=29705] ppid=29703 vsize=166976 CPUtime=402.22 cores=1,3,5,7
/proc/29705/stat : 29705 (toysat) R 29703 29705 27148 0 -1 4202496 41075 0 0 0 40108 114 0 0 20 0 1 0 280324151 170983424 40978 33554432000 4194304 8973514 140737102709536 140737102707456 7841851 0 2 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/29705/statm: 41744 40978 457 1167 0 40525 0
Current children cumulated CPU time (s) 402.22
Current children cumulated vsize (KiB) 166976

[startup+462.3 s]
/proc/loadavg: 2.01 2.00 2.00 3/177 29711
/proc/meminfo: memFree=31054912/32873844 swapFree=7112/7112
[pid=29705] ppid=29703 vsize=169024 CPUtime=462.21 cores=1,3,5,7
/proc/29705/stat : 29705 (toysat) R 29703 29705 27148 0 -1 4202496 41590 0 0 0 46091 130 0 0 20 0 1 0 280324151 173080576 41490 33554432000 4194304 8973514 140737102709536 140737102708800 4208827 0 2 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/29705/statm: 42256 41490 457 1167 0 41037 0
Current children cumulated CPU time (s) 462.21
Current children cumulated vsize (KiB) 169024

[startup+522.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 29711
/proc/meminfo: memFree=31051812/32873844 swapFree=7112/7112
[pid=29705] ppid=29703 vsize=169024 CPUtime=522.2 cores=1,3,5,7
/proc/29705/stat : 29705 (toysat) R 29703 29705 27148 0 -1 4202496 41590 0 0 0 52074 146 0 0 20 0 1 0 280324151 173080576 41490 33554432000 4194304 8973514 140737102709536 140737102709032 7937344 0 0 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/29705/statm: 42256 41490 457 1167 0 41037 0
Current children cumulated CPU time (s) 522.2
Current children cumulated vsize (KiB) 169024

[startup+582.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 29711
/proc/meminfo: memFree=31049760/32873844 swapFree=7112/7112
[pid=29705] ppid=29703 vsize=171072 CPUtime=582.19 cores=1,3,5,7
/proc/29705/stat : 29705 (toysat) R 29703 29705 27148 0 -1 4202496 42102 0 0 0 58058 161 0 0 20 0 1 0 280324151 175177728 42002 33554432000 4194304 8973514 140737102709536 140737102708800 4209212 0 2 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/29705/statm: 42768 42002 457 1167 0 41549 0
Current children cumulated CPU time (s) 582.19
Current children cumulated vsize (KiB) 171072

[startup+642.3 s]

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

[startup+882.3 s]
/proc/loadavg: 2.11 2.06 2.01 3/177 29715
/proc/meminfo: memFree=31038588/32873844 swapFree=7112/7112
[pid=29705] ppid=29703 vsize=178240 CPUtime=882.14 cores=1,3,5,7
/proc/29705/stat : 29705 (toysat) R 29703 29705 27148 0 -1 4202496 43895 0 0 0 87973 241 0 0 20 0 1 0 280324151 182517760 43794 33554432000 4194304 8973514 140737102709536 140737102707456 7937344 0 0 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/29705/statm: 44560 43794 457 1167 0 43341 0
Current children cumulated CPU time (s) 882.14
Current children cumulated vsize (KiB) 178240

[startup+942.3 s]
/proc/loadavg: 2.04 2.04 2.00 3/177 29715
/proc/meminfo: memFree=31030336/32873844 swapFree=7112/7112
[pid=29705] ppid=29703 vsize=181312 CPUtime=942.13 cores=1,3,5,7
/proc/29705/stat : 29705 (toysat) R 29703 29705 27148 0 -1 4202496 44665 0 0 0 93954 259 0 0 20 0 1 0 280324151 185663488 44562 33554432000 4194304 8973514 140737102709536 140737102707456 7937344 0 0 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/29705/statm: 45328 44562 457 1167 0 44109 0
Current children cumulated CPU time (s) 942.13
Current children cumulated vsize (KiB) 181312

[startup+1002.3 s]
/proc/loadavg: 2.08 2.06 2.01 3/177 29716
/proc/meminfo: memFree=31030212/32873844 swapFree=7112/7112
[pid=29705] ppid=29703 vsize=181312 CPUtime=1002.12 cores=1,3,5,7
/proc/29705/stat : 29705 (toysat) R 29703 29705 27148 0 -1 4202496 44665 0 0 0 99938 274 0 0 20 0 1 0 280324151 185663488 44562 33554432000 4194304 8973514 140737102709536 140737102707456 7841851 0 2 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/29705/statm: 45328 44562 457 1167 0 44109 0
Current children cumulated CPU time (s) 1002.12
Current children cumulated vsize (KiB) 181312

[startup+1062.3 s]
/proc/loadavg: 2.06 2.06 2.01 3/177 29716
/proc/meminfo: memFree=31026988/32873844 swapFree=7112/7112
[pid=29705] ppid=29703 vsize=184384 CPUtime=1062.11 cores=1,3,5,7
/proc/29705/stat : 29705 (toysat) R 29703 29705 27148 0 -1 4202496 45433 0 0 0 105921 290 0 0 20 0 1 0 280324151 188809216 45330 33554432000 4194304 8973514 140737102709536 140737102709032 7841851 0 0 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/29705/statm: 46096 45330 457 1167 0 44877 0
Current children cumulated CPU time (s) 1062.11
Current children cumulated vsize (KiB) 184384

[startup+1122.3 s]
/proc/loadavg: 2.06 2.06 2.01 3/177 29716
/proc/meminfo: memFree=31024444/32873844 swapFree=7112/7112
[pid=29705] ppid=29703 vsize=184384 CPUtime=1122.1 cores=1,3,5,7
/proc/29705/stat : 29705 (toysat) R 29703 29705 27148 0 -1 4202496 45433 0 0 0 111904 306 0 0 20 0 1 0 280324151 188809216 45330 33554432000 4194304 8973514 140737102709536 140737102707456 7841851 0 2 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/29705/statm: 46096 45330 457 1167 0 44877 0
Current children cumulated CPU time (s) 1122.1
Current children cumulated vsize (KiB) 184384

[startup+1182.3 s]
/proc/loadavg: 2.02 2.05 2.00 3/177 29716
/proc/meminfo: memFree=31020284/32873844 swapFree=7112/7112
[pid=29705] ppid=29703 vsize=186432 CPUtime=1182.09 cores=1,3,5,7
/proc/29705/stat : 29705 (toysat) R 29703 29705 27148 0 -1 4202496 45945 0 0 0 117885 324 0 0 20 0 1 0 280324151 190906368 45842 33554432000 4194304 8973514 140737102709536 140737102709032 7937344 0 0 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/29705/statm: 46608 45842 457 1167 0 45389 0
Current children cumulated CPU time (s) 1182.09
Current children cumulated vsize (KiB) 186432

[startup+1242.3 s]
/proc/loadavg: 2.00 2.04 2.00 3/178 29717
/proc/meminfo: memFree=31015688/32873844 swapFree=7112/7112
[pid=29705] ppid=29703 vsize=189504 CPUtime=1242.09 cores=1,3,5,7
/proc/29705/stat : 29705 (toysat) R 29703 29705 27148 0 -1 4202496 46713 0 0 0 123868 341 0 0 20 0 1 0 280324151 194052096 46610 33554432000 4194304 8973514 140737102709536 140737102708800 7937344 0 0 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/29705/statm: 47376 46610 457 1167 0 46157 0
Current children cumulated CPU time (s) 1242.09
Current children cumulated vsize (KiB) 189504

[startup+1302.3 s]
/proc/loadavg: 2.00 2.03 2.00 3/177 29718
/proc/meminfo: memFree=31015696/32873844 swapFree=7112/7112
[pid=29705] ppid=29703 vsize=189504 CPUtime=1302.08 cores=1,3,5,7
/proc/29705/stat : 29705 (toysat) R 29703 29705 27148 0 -1 4202496 46713 0 0 0 129853 355 0 0 20 0 1 0 280324151 194052096 46610 33554432000 4194304 8973514 140737102709536 140737102709032 7841851 0 2 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/29705/statm: 47376 46610 457 1167 0 46157 0
Current children cumulated CPU time (s) 1302.08
Current children cumulated vsize (KiB) 189504

[startup+1362.3 s]
/proc/loadavg: 2.00 2.02 2.00 3/177 29718
/proc/meminfo: memFree=31013520/32873844 swapFree=7112/7112
[pid=29705] ppid=29703 vsize=191552 CPUtime=1362.07 cores=1,3,5,7
/proc/29705/stat : 29705 (toysat) R 29703 29705 27148 0 -1 4202496 47225 0 0 0 135833 374 0 0 20 0 1 0 280324151 196149248 47122 33554432000 4194304 8973514 140737102709536 140737102707456 7841851 0 2 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/29705/statm: 47888 47122 457 1167 0 46669 0
Current children cumulated CPU time (s) 1362.07
Current children cumulated vsize (KiB) 191552

[startup+1422.31 s]
/proc/loadavg: 2.00 2.01 2.00 3/178 29721
/proc/meminfo: memFree=31010536/32873844 swapFree=7112/7112
[pid=29705] ppid=29703 vsize=194624 CPUtime=1422.07 cores=1,3,5,7
/proc/29705/stat : 29705 (toysat) R 29703 29705 27148 0 -1 4202496 47993 0 0 0 141815 392 0 0 20 0 1 0 280324151 199294976 47890 33554432000 4194304 8973514 140737102709536 140737102709032 4208833 0 2 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/29705/statm: 48656 47890 457 1167 0 47437 0
Current children cumulated CPU time (s) 1422.07
Current children cumulated vsize (KiB) 194624

[startup+1482.3 s]
/proc/loadavg: 2.00 2.01 2.00 3/177 29721
/proc/meminfo: memFree=31007436/32873844 swapFree=7112/7112
[pid=29705] ppid=29703 vsize=194624 CPUtime=1482.06 cores=1,3,5,7
/proc/29705/stat : 29705 (toysat) R 29703 29705 27148 0 -1 4202496 47993 0 0 0 147795 411 0 0 20 0 1 0 280324151 199294976 47890 33554432000 4194304 8973514 140737102709536 140737102709032 7937344 0 0 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/29705/statm: 48656 47890 457 1167 0 47437 0
Current children cumulated CPU time (s) 1482.06
Current children cumulated vsize (KiB) 194624

[startup+1542.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 29721
/proc/meminfo: memFree=31005576/32873844 swapFree=7112/7112
[pid=29705] ppid=29703 vsize=196672 CPUtime=1542.05 cores=1,3,5,7
/proc/29705/stat : 29705 (toysat) R 29703 29705 27148 0 -1 4202496 48505 0 0 0 153775 430 0 0 20 0 1 0 280324151 201392128 48402 33554432000 4194304 8973514 140737102709536 140737102709032 7937344 0 0 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/29705/statm: 49168 48402 457 1167 0 47949 0
Current children cumulated CPU time (s) 1542.05
Current children cumulated vsize (KiB) 196672

[startup+1602.3 s]
/proc/loadavg: 2.07 2.02 2.00 3/177 30217
/proc/meminfo: memFree=31103188/32873844 swapFree=7112/7112
[pid=29705] ppid=29703 vsize=198720 CPUtime=1602.03 cores=1,3,5,7
/proc/29705/stat : 29705 (toysat) R 29703 29705 27148 0 -1 4202496 49017 0 0 0 159759 444 0 0 20 0 1 0 280324151 203489280 48914 33554432000 4194304 8973514 140737102709536 140737102707520 7937344 0 0 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/29705/statm: 49680 48914 457 1167 0 48461 0
Current children cumulated CPU time (s) 1602.03
Current children cumulated vsize (KiB) 198720

[startup+1662.3 s]
/proc/loadavg: 2.02 2.01 2.00 3/177 30217
/proc/meminfo: memFree=31077148/32873844 swapFree=7112/7112
[pid=29705] ppid=29703 vsize=199744 CPUtime=1662.02 cores=1,3,5,7
/proc/29705/stat : 29705 (toysat) R 29703 29705 27148 0 -1 4202496 49273 0 0 0 165742 460 0 0 20 0 1 0 280324151 204537856 49170 33554432000 4194304 8973514 140737102709536 140737102707520 7841851 0 2 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/29705/statm: 49936 49170 457 1167 0 48717 0
Current children cumulated CPU time (s) 1662.02
Current children cumulated vsize (KiB) 199744

[startup+1722.3 s]
/proc/loadavg: 2.01 2.00 2.00 3/177 30217
/proc/meminfo: memFree=31041300/32873844 swapFree=7112/7112
[pid=29705] ppid=29703 vsize=199744 CPUtime=1722.01 cores=1,3,5,7
/proc/29705/stat : 29705 (toysat) R 29703 29705 27148 0 -1 4202496 49273 0 0 0 171726 475 0 0 20 0 1 0 280324151 204537856 49170 33554432000 4194304 8973514 140737102709536 140737102707520 7841851 0 2 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/29705/statm: 49936 49170 457 1167 0 48717 0
Current children cumulated CPU time (s) 1722.01
Current children cumulated vsize (KiB) 199744

[startup+1782.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 30217
/proc/meminfo: memFree=30997928/32873844 swapFree=7112/7112
[pid=29705] ppid=29703 vsize=199744 CPUtime=1782.01 cores=1,3,5,7
/proc/29705/stat : 29705 (toysat) R 29703 29705 27148 0 -1 4202496 49273 0 0 0 177709 492 0 0 20 0 1 0 280324151 204537856 49170 33554432000 4194304 8973514 140737102709536 140737102709032 7841851 0 2 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/29705/statm: 49936 49170 457 1167 0 48717 0
Current children cumulated CPU time (s) 1782.01
Current children cumulated vsize (KiB) 199744



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1800.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 30217
/proc/meminfo: memFree=30982520/32873844 swapFree=7112/7112
[pid=29705] ppid=29703 vsize=199744 CPUtime=1800.01 cores=1,3,5,7
/proc/29705/stat : 29705 (toysat) R 29703 29705 27148 0 -1 4202496 49273 0 0 0 179505 496 0 0 20 0 1 0 280324151 204537856 49170 33554432000 4194304 8973514 140737102709536 140737102708800 7937344 0 0 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/29705/statm: 49936 49170 457 1167 0 48717 0
Current children cumulated CPU time (s) 1800.01
Current children cumulated vsize (KiB) 199744

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

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

[startup+1800.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 30217
/proc/meminfo: memFree=30982520/32873844 swapFree=7112/7112
[pid=29705] ppid=29703 vsize=199744 CPUtime=1800.01 cores=1,3,5,7
/proc/29705/stat : 29705 (toysat) R 29703 29705 27148 0 -1 4202496 49273 0 0 0 179505 496 0 0 20 0 1 0 280324151 204537856 49170 33554432000 4194304 8973514 140737102709536 140737102708800 7937344 0 0 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/29705/statm: 49936 49170 457 1167 0 48717 0
Current children cumulated CPU time (s) 1800.01
Current children cumulated vsize (KiB) 199744

Child ended because it received signal 15 (SIGTERM)
Real time (s): 1800.31
CPU time (s): 1800.02
CPU user time (s): 1795.06
CPU system time (s): 4.96225
CPU usage (%): 99.984
Max. virtual memory (cumulated for all children) (KiB): 199744

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1795.06
system time used= 4.96225
maximum resident set size= 196680
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 49273
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= 26
involuntary context switches= 1881

runsolver used 3.09153 second user time and 10.5644 second system time

The end

Launcher Data 

Begin job on node119 at 2012-05-27 20:06:25
IDJOB=3706332
IDBENCH=72453
IDSOLVER=2285
FILE ID=node119/3706332-1338141985
RUNJOBID= node119-1338113000-27165
PBS_JOBID= 14624472
Free space on /tmp= 71600 MiB

SOLVER NAME= toysat 2012-05-17
BENCH NAME= PB10/normalized-PB10/OPT-BIGINT-LIN/leberre/opb-trendy/misc2010/datasets/9orless/normalized-mono-gac.cudf.trendy.opb
COMMAND LINE= HOME/toysat --pb BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-3706332-1338141985/watcher-3706332-1338141985 -o /tmp/evaluation-result-3706332-1338141985/solver-3706332-1338141985 -C 1800 -W 1900 -M 15500  HOME/toysat --pb HOME/instance-3706332-1338141985.opb

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

MD5SUM BENCH= aecff64161ca76fae524b50cd0e11fc3
RANDOM SEED=880648016

node119.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.943
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.88
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.943
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.943
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.93
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.943
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.943
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.93
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.943
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.92
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.943
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.943
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:       32873844 kB
MemFree:        31231920 kB
Buffers:          305168 kB
Cached:           343216 kB
SwapCached:         1844 kB
Active:           709740 kB
Inactive:         134712 kB
Active(anon):     195808 kB
Inactive(anon):     2068 kB
Active(file):     513932 kB
Inactive(file):   132644 kB
Unevictable:        7112 kB
Mlocked:            7112 kB
SwapTotal:      67108856 kB
SwapFree:       67100196 kB
Dirty:             10884 kB
Writeback:             0 kB
AnonPages:        201060 kB
Mapped:            13584 kB
Shmem:                 8 kB
Slab:             657496 kB
SReclaimable:      99740 kB
SUnreclaim:       557756 kB
KernelStack:        1456 kB
PageTables:         4356 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83545776 kB
Committed_AS:     314444 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      346368 kB
VmallocChunk:   34341987984 kB
HardwareCorrupted:     0 kB
AnonHugePages:      2048 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= 71592 MiB
End job on node119 at 2012-05-27 20:36:27