Trace number 3706327

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/10orplus/normalized-sonata.cudf.trendy.opb
MD5SUM97d18ed2e725eb2e3e65f12e308085a6
Bench CategoryOPT-BIGINT-LIN (optimisation, big integers, linear constraints)
Best result obtained on this benchmarkSAT
Best value of the objective obtained on this benchmark3341467903034
Best CPU time to get the best result obtained on this benchmark1800.78
Has Objective FunctionYES
Satisfiable
(Un)Satisfiability was proved
Best value of the objective function
Optimality of the best value was proved
Number of variables21109
Total number of constraints100061
Number of constraints which are clauses98496
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 8590
Biggest coefficient in the objective function 79340706073
Number of bits for the biggest coefficient in the objective function 37
Sum of the numbers in the objective function 234927793755070
Number of bits of the sum of numbers in the objective function 48
Biggest number in a constraint 79340706073
Number of bits of the biggest number in a constraint 37
Biggest sum of numbers in a constraint 234927793755070
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.78/10.89	c 2012-05-27T20:01:43+0200
10.78/10.89	c arch = x86_64
10.78/10.89	c os = linux
10.78/10.89	c compiler = ghc 7.4
10.78/10.89	c packages:
10.78/10.89	c   OptDir-0.0.1
10.78/10.89	c   array-0.4.0.0
10.78/10.89	c   base-4.5.0.0
10.78/10.89	c   bytestring-0.9.2.1
10.78/10.89	c   containers-0.4.2.1
10.78/10.89	c   deepseq-1.3.0.0
10.78/10.89	c   mtl-2.1.1
10.78/10.89	c   old_locale-1.0.0.4
10.78/10.89	c   parse_dimacs-1.2
10.78/10.89	c   parsec-3.1.2
10.78/10.89	c   queue-0.1.2
10.78/10.89	c   stm-2.3
10.78/10.89	c   time-1.4
10.78/10.89	c command line = ["--pb","HOME/instance-3706327-1338141703.opb"]
10.78/10.89	c #vars 21109
10.78/10.89	c #constraints 100061
10.78/10.89	c Solving starts ...
24.09/24.18	c solving time = 13.265s
24.09/24.18	c #decision = 2226005
24.09/24.18	c #conflict = 1432
24.09/24.18	c #restart = 5
24.09/24.18	o 5801509860725
24.09/24.19	c Solving starts ...
24.49/24.51	c solving time = 0.304s
24.49/24.51	c #decision = 2232197
24.49/24.51	c #conflict = 1432
24.49/24.51	c #restart = 5
24.49/24.51	o 5801509860724
24.49/24.53	c Solving starts ...
25.08/25.17	c solving time = 0.623s
25.08/25.17	c #decision = 2240432
25.08/25.17	c #conflict = 1435
25.08/25.17	c #restart = 5
25.08/25.17	o 5801509860723
25.08/25.18	c Solving starts ...
25.98/26.03	c solving time = 0.826s
25.98/26.03	c #decision = 2246642
25.98/26.03	c #conflict = 1435
25.98/26.03	c #restart = 5
25.98/26.03	o 5801509860722
25.98/26.04	c Solving starts ...
27.29/27.36	c solving time = 1.302s
27.29/27.36	c #decision = 2252864
27.29/27.36	c #conflict = 1440
27.29/27.36	c #restart = 5
27.29/27.36	o 5801509860721
27.29/27.37	c Solving starts ...
30.18/30.25	c solving time = 2.864s
30.18/30.25	c #decision = 2257000
30.18/30.25	c #conflict = 1450
30.18/30.25	c #restart = 5
30.18/30.25	o 5801491396512
30.18/30.27	c Solving starts ...
38.68/38.77	c solving time = 8.484s
38.68/38.77	c #decision = 2259523
38.68/38.77	c #conflict = 1451
38.68/38.77	c #restart = 5
38.68/38.77	o 5801491396511
38.68/38.78	c Solving starts ...
109.98/110.10	c solving time = 71.287s
109.98/110.10	c #decision = 2262056
109.98/110.10	c #conflict = 1462
109.98/110.10	c #restart = 5
109.98/110.10	o 5801491396510
110.08/110.11	c Solving starts ...
169.65/169.76	c solving time = 59.619s
169.65/169.76	c #decision = 2264706
169.65/169.76	c #conflict = 1471
169.65/169.76	c #restart = 5
169.65/169.77	o 5801491396509
169.65/169.78	c Solving starts ...
195.15/195.24	c solving time = 25.430s
195.15/195.24	c #decision = 2268372
195.15/195.24	c #conflict = 1478
195.15/195.24	c #restart = 5
195.15/195.24	o 5801491396508
195.15/195.25	c Solving starts ...
259.13/259.28	c solving time = 63.993s
259.13/259.28	c #decision = 2271016
259.13/259.28	c #conflict = 1488
259.13/259.28	c #restart = 5
259.13/259.28	o 5801491396507
259.13/259.29	c Solving starts ...
285.13/285.20	c solving time = 25.884s
285.13/285.20	c #decision = 2273480
285.13/285.20	c #conflict = 1491
285.13/285.20	c #restart = 5
285.13/285.20	o 5801491396506
285.13/285.21	c Solving starts ...
349.02/349.18	c solving time = 63.932s
349.02/349.18	c #decision = 2276567
349.02/349.18	c #conflict = 1503
349.02/349.18	c #restart = 5
349.02/349.18	o 5801491396505
349.02/349.19	c Solving starts ...
376.41/376.53	c solving time = 27.317s
376.41/376.53	c #decision = 2280626
376.41/376.53	c #conflict = 1509
376.41/376.53	c #restart = 5
376.41/376.53	o 5801491396504
376.51/376.63	c Solving starts ...
494.20/494.37	c solving time = 117.696s
494.20/494.37	c #decision = 2283717
494.20/494.37	c #conflict = 1528
494.20/494.37	c #restart = 5
494.20/494.37	o 5801491396503
494.20/494.38	c Solving starts ...
635.27/635.47	c solving time = 141.045s
635.27/635.47	c #decision = 2286349
635.27/635.47	c #conflict = 1551
635.27/635.47	c #restart = 5
635.27/635.47	o 5801491396502
635.27/635.48	c Solving starts ...
708.17/708.39	c solving time = 72.878s
708.17/708.39	c #decision = 2288779
708.17/708.39	c #conflict = 1560
708.17/708.39	c #restart = 5
708.17/708.39	o 5801491396501
708.27/708.41	c Solving starts ...
781.96/782.15	c solving time = 73.713s
781.96/782.15	c #decision = 2291307
781.96/782.15	c #conflict = 1571
781.96/782.15	c #restart = 5
781.96/782.15	o 5801491396500
781.96/782.17	c Solving starts ...
967.32/967.57	c solving time = 185.357s
967.32/967.57	c #decision = 2293762
967.32/967.57	c #conflict = 1595
967.32/967.57	c #restart = 5
967.32/967.57	o 5801491396499
967.32/967.59	c Solving starts ...
1042.31/1042.51	c solving time = 74.892s
1042.31/1042.51	c #decision = 2296310
1042.31/1042.51	c #conflict = 1608
1042.31/1042.51	c #restart = 5
1042.31/1042.51	o 5801491396498
1042.31/1042.52	c Solving starts ...
1227.79/1228.06	c solving time = 185.480s
1227.79/1228.06	c #decision = 2298776
1227.79/1228.06	c #conflict = 1632
1227.79/1228.06	c #restart = 5
1227.79/1228.06	o 5801491396497
1227.79/1228.07	c Solving starts ...
1302.57/1302.85	c solving time = 74.746s
1302.57/1302.85	c #decision = 2301226
1302.57/1302.85	c #conflict = 1641
1302.57/1302.85	c #restart = 5
1302.57/1302.85	o 5801491396496
1302.57/1302.86	c Solving starts ...
1430.05/1430.35	c solving time = 127.451s
1430.05/1430.35	c #decision = 2303681
1430.05/1430.35	c #conflict = 1657
1430.05/1430.35	c #restart = 5
1430.05/1430.35	o 5801491396495
1430.05/1430.37	c Solving starts ...
1505.14/1505.42	c solving time = 75.019s
1505.14/1505.42	c #decision = 2306187
1505.14/1505.42	c #conflict = 1671
1505.14/1505.42	c #restart = 5
1505.14/1505.42	o 5801491396494
1505.14/1505.43	c Solving starts ...
1753.00/1753.39	c solving time = 247.890s
1753.00/1753.39	c #decision = 2308678
1753.00/1753.39	c #conflict = 1705
1753.00/1753.39	c #restart = 5
1753.00/1753.39	o 5801491396493
1753.00/1753.40	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-3706327-1338141703/watcher-3706327-1338141703 -o /tmp/evaluation-result-3706327-1338141703/solver-3706327-1338141703 -C 1800 -W 1900 -M 15500 HOME/toysat --pb HOME/instance-3706327-1338141703.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.01 2.02 2.00 3/177 16580
/proc/meminfo: memFree=27144348/32873648 swapFree=6848/6848
[pid=16580] ppid=16578 vsize=7232 CPUtime=0 cores=1,3,5,7
/proc/16580/stat : 16580 (toysat) R 16578 16580 14927 0 -1 4202496 843 0 0 0 0 0 0 0 20 0 1 0 280297174 7405568 764 33554432000 4194304 8973514 140734168051408 140734168034424 7937344 0 0 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/16580/statm: 1808 764 411 1167 0 589 0

[startup+0.039735 s]
/proc/loadavg: 2.01 2.02 2.00 3/177 16580
/proc/meminfo: memFree=27144348/32873648 swapFree=6848/6848
[pid=16580] ppid=16578 vsize=8256 CPUtime=0.03 cores=1,3,5,7
/proc/16580/stat : 16580 (toysat) R 16578 16580 14927 0 -1 4202496 1241 0 0 0 3 0 0 0 20 0 1 0 280297174 8454144 1162 33554432000 4194304 8973514 140734168051408 140734168050904 7937344 0 0 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/16580/statm: 2064 1162 412 1167 0 845 0
Current children cumulated CPU time (s) 0.03
Current children cumulated vsize (KiB) 8256

[startup+0.100264 s]
/proc/loadavg: 2.01 2.02 2.00 3/177 16580
/proc/meminfo: memFree=27144348/32873648 swapFree=6848/6848
[pid=16580] ppid=16578 vsize=11328 CPUtime=0.09 cores=1,3,5,7
/proc/16580/stat : 16580 (toysat) R 16578 16580 14927 0 -1 4202496 2027 0 0 0 9 0 0 0 20 0 1 0 280297174 11599872 1948 33554432000 4194304 8973514 140734168051408 140734168050904 4209439 0 2 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/16580/statm: 2832 1954 418 1167 0 1613 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 11328

[startup+0.300283 s]
/proc/loadavg: 2.01 2.02 2.00 3/177 16580
/proc/meminfo: memFree=27144348/32873648 swapFree=6848/6848
[pid=16580] ppid=16578 vsize=23616 CPUtime=0.29 cores=1,3,5,7
/proc/16580/stat : 16580 (toysat) R 16578 16580 14927 0 -1 4202496 5172 0 0 0 29 0 0 0 20 0 1 0 280297174 24182784 5093 33554432000 4194304 8973514 140734168051408 140734168050904 7937344 0 0 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/16580/statm: 5904 5093 418 1167 0 4685 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 23616

[startup+0.700292 s]
/proc/loadavg: 2.01 2.02 2.00 3/177 16580
/proc/meminfo: memFree=27144348/32873648 swapFree=6848/6848
[pid=16580] ppid=16578 vsize=52288 CPUtime=0.68 cores=1,3,5,7
/proc/16580/stat : 16580 (toysat) R 16578 16580 14927 0 -1 4202496 12340 0 0 0 67 1 0 0 20 0 1 0 280297174 53542912 12261 33554432000 4194304 8973514 140734168051408 140734168050904 7937344 0 0 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/16580/statm: 13072 12261 418 1167 0 11853 0
Current children cumulated CPU time (s) 0.68
Current children cumulated vsize (KiB) 52288

[startup+1.50029 s]
/proc/loadavg: 2.01 2.02 2.00 3/178 16581
/proc/meminfo: memFree=27080284/32873648 swapFree=6848/6848
[pid=16580] ppid=16578 vsize=91200 CPUtime=1.49 cores=1,3,5,7
/proc/16580/stat : 16580 (toysat) R 16578 16580 14927 0 -1 4202496 22068 0 0 0 145 4 0 0 20 0 1 0 280297174 93388800 21989 33554432000 4194304 8973514 140734168051408 140734168050904 7937344 0 0 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/16580/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: 2.01 2.02 2.00 3/178 16581
/proc/meminfo: memFree=27003280/32873648 swapFree=6848/6848
[pid=16580] ppid=16578 vsize=145472 CPUtime=3.09 cores=1,3,5,7
/proc/16580/stat : 16580 (toysat) R 16578 16580 14927 0 -1 4202496 35657 0 0 0 303 6 0 0 20 0 1 0 280297174 148963328 35578 33554432000 4194304 8973514 140734168051408 140734168050904 7937344 0 0 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/16580/statm: 36368 35578 433 1167 0 35149 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 145472

[startup+6.30025 s]
/proc/loadavg: 2.01 2.02 2.00 3/178 16581
/proc/meminfo: memFree=27003284/32873648 swapFree=6848/6848
[pid=16580] ppid=16578 vsize=145472 CPUtime=6.29 cores=1,3,5,7
/proc/16580/stat : 16580 (toysat) R 16578 16580 14927 0 -1 4202496 35657 0 0 0 622 7 0 0 20 0 1 0 280297174 148963328 35578 33554432000 4194304 8973514 140734168051408 140734168050672 4209212 0 2 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/16580/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: 2.01 2.02 2.00 3/178 16581
/proc/meminfo: memFree=27003480/32873648 swapFree=6848/6848
[pid=16580] ppid=16578 vsize=145472 CPUtime=12.69 cores=1,3,5,7
/proc/16580/stat : 16580 (toysat) R 16578 16580 14927 0 -1 4202496 35669 0 0 0 1260 9 0 0 20 0 1 0 280297174 148963328 35590 33554432000 4194304 8973514 140734168051408 140734168050904 7937344 0 0 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/16580/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: 2.01 2.02 2.00 3/177 16581
/proc/meminfo: memFree=27003888/32873648 swapFree=6848/6848
[pid=16580] ppid=16578 vsize=145472 CPUtime=25.48 cores=1,3,5,7
/proc/16580/stat : 16580 (toysat) R 16578 16580 14927 0 -1 4202496 35681 0 0 0 2537 11 0 0 20 0 1 0 280297174 148963328 35602 33554432000 4194304 8973514 140734168051408 140734168050904 7937344 0 0 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/16580/statm: 36368 35602 457 1167 0 35149 0
Current children cumulated CPU time (s) 25.48
Current children cumulated vsize (KiB) 145472

[startup+51.1004 s]
/proc/loadavg: 2.00 2.01 2.00 3/177 16581
/proc/meminfo: memFree=26999672/32873648 swapFree=6848/6848
[pid=16580] ppid=16578 vsize=149568 CPUtime=51.08 cores=1,3,5,7
/proc/16580/stat : 16580 (toysat) R 16578 16580 14927 0 -1 4202496 36705 0 0 0 5089 19 0 0 20 0 1 0 280297174 153157632 36626 33554432000 4194304 8973514 140734168051408 140734168050672 4209212 0 2 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/16580/statm: 37392 36626 457 1167 0 36173 0
Current children cumulated CPU time (s) 51.08
Current children cumulated vsize (KiB) 149568

[startup+102.3 s]
/proc/loadavg: 2.00 2.01 2.00 3/177 16582
/proc/meminfo: memFree=26999672/32873648 swapFree=6848/6848
[pid=16580] ppid=16578 vsize=149568 CPUtime=102.27 cores=1,3,5,7
/proc/16580/stat : 16580 (toysat) R 16578 16580 14927 0 -1 4202496 36705 0 0 0 10198 29 0 0 20 0 1 0 280297174 153157632 36626 33554432000 4194304 8973514 140734168051408 140734168050672 4209598 0 2 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/16580/statm: 37392 36626 457 1167 0 36173 0
Current children cumulated CPU time (s) 102.27
Current children cumulated vsize (KiB) 149568

[startup+162.3 s]
/proc/loadavg: 1.96 1.99 1.99 3/177 16621
/proc/meminfo: memFree=27286720/32873648 swapFree=6848/6848
[pid=16580] ppid=16578 vsize=151616 CPUtime=162.26 cores=1,3,5,7
/proc/16580/stat : 16580 (toysat) R 16578 16580 14927 0 -1 4202496 37233 0 0 0 16182 44 0 0 20 0 1 0 280297174 155254784 37138 33554432000 4194304 8973514 140734168051408 140734168050904 7841851 0 2 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/16580/statm: 37904 37138 457 1167 0 36685 0
Current children cumulated CPU time (s) 162.26
Current children cumulated vsize (KiB) 151616

[startup+222.307 s]
/proc/loadavg: 1.98 1.99 1.99 3/177 16621
/proc/meminfo: memFree=27278092/32873648 swapFree=6848/6848
[pid=16580] ppid=16578 vsize=156736 CPUtime=222.24 cores=1,3,5,7
/proc/16580/stat : 16580 (toysat) R 16578 16580 14927 0 -1 4202496 38526 0 0 0 22165 59 0 0 20 0 1 0 280297174 160497664 38418 33554432000 4194304 8973514 140734168051408 140734168050672 4209212 0 2 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/16580/statm: 39184 38418 457 1167 0 37965 0
Current children cumulated CPU time (s) 222.24
Current children cumulated vsize (KiB) 156736

[startup+282.3 s]
/proc/loadavg: 1.99 1.99 1.99 3/177 16621
/proc/meminfo: memFree=27272332/32873648 swapFree=6848/6848
[pid=16580] ppid=16578 vsize=159808 CPUtime=282.23 cores=1,3,5,7
/proc/16580/stat : 16580 (toysat) R 16578 16580 14927 0 -1 4202496 39294 0 0 0 28150 73 0 0 20 0 1 0 280297174 163643392 39186 33554432000 4194304 8973514 140734168051408 140734168050904 4209212 0 2 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/16580/statm: 39952 39186 457 1167 0 38733 0
Current children cumulated CPU time (s) 282.23
Current children cumulated vsize (KiB) 159808

[startup+342.3 s]
/proc/loadavg: 1.99 1.99 1.99 3/177 16621
/proc/meminfo: memFree=27266732/32873648 swapFree=6848/6848
[pid=16580] ppid=16578 vsize=161856 CPUtime=342.22 cores=1,3,5,7
/proc/16580/stat : 16580 (toysat) R 16578 16580 14927 0 -1 4202496 39806 0 0 0 34137 85 0 0 20 0 1 0 280297174 165740544 39698 33554432000 4194304 8973514 140734168051408 140734168050904 7937344 0 0 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/16580/statm: 40464 39698 457 1167 0 39245 0
Current children cumulated CPU time (s) 342.22
Current children cumulated vsize (KiB) 161856

[startup+402.3 s]
/proc/loadavg: 1.99 1.99 1.99 3/177 16622
/proc/meminfo: memFree=27257864/32873648 swapFree=6848/6848
[pid=16580] ppid=16578 vsize=166976 CPUtime=402.21 cores=1,3,5,7
/proc/16580/stat : 16580 (toysat) R 16578 16580 14927 0 -1 4202496 41086 0 0 0 40121 100 0 0 20 0 1 0 280297174 170983424 40978 33554432000 4194304 8973514 140734168051408 140734168050904 7841851 0 2 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/16580/statm: 41744 40978 457 1167 0 40525 0
Current children cumulated CPU time (s) 402.21
Current children cumulated vsize (KiB) 166976

[startup+462.3 s]
/proc/loadavg: 1.99 1.99 1.99 3/177 16622
/proc/meminfo: memFree=27254588/32873648 swapFree=6848/6848
[pid=16580] ppid=16578 vsize=166976 CPUtime=462.2 cores=1,3,5,7
/proc/16580/stat : 16580 (toysat) R 16578 16580 14927 0 -1 4202496 41086 0 0 0 46106 114 0 0 20 0 1 0 280297174 170983424 40978 33554432000 4194304 8973514 140734168051408 140734168050672 7841851 0 2 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/16580/statm: 41744 40978 457 1167 0 40525 0
Current children cumulated CPU time (s) 462.2
Current children cumulated vsize (KiB) 166976

[startup+522.3 s]
/proc/loadavg: 1.99 1.99 1.99 3/178 16625
/proc/meminfo: memFree=27249684/32873648 swapFree=6848/6848
[pid=16580] ppid=16578 vsize=169024 CPUtime=522.19 cores=1,3,5,7
/proc/16580/stat : 16580 (toysat) R 16578 16580 14927 0 -1 4202496 41598 0 0 0 52089 130 0 0 20 0 1 0 280297174 173080576 41490 33554432000 4194304 8973514 140734168051408 140734168050904 7662101 0 2 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/16580/statm: 42256 41490 457 1167 0 41037 0
Current children cumulated CPU time (s) 522.19
Current children cumulated vsize (KiB) 169024

[startup+582.3 s]
/proc/loadavg: 1.99 1.99 1.99 3/177 16625
/proc/meminfo: memFree=27249816/32873648 swapFree=6848/6848
[pid=16580] ppid=16578 vsize=169024 CPUtime=582.18 cores=1,3,5,7
/proc/16580/stat : 16580 (toysat) R 16578 16580 14927 0 -1 4202496 41598 0 0 0 58074 144 0 0 20 0 1 0 280297174 173080576 41490 33554432000 4194304 8973514 140734168051408 140734168049344 7937344 0 0 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/16580/statm: 42256 41490 457 1167 0 41037 0
Current children cumulated CPU time (s) 582.18
Current children cumulated vsize (KiB) 169024

[startup+642.3 s]

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

[startup+822.3 s]
/proc/loadavg: 2.03 2.00 2.00 3/177 16626
/proc/meminfo: memFree=27236416/32873648 swapFree=6848/6848
[pid=16580] ppid=16578 vsize=177216 CPUtime=822.15 cores=1,3,5,7
/proc/16580/stat : 16580 (toysat) R 16578 16580 14927 0 -1 4202496 43646 0 0 0 82015 200 0 0 20 0 1 0 280297174 181469184 43538 33554432000 4194304 8973514 140734168051408 140734168050904 4209198 0 2 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/16580/statm: 44304 43538 457 1167 0 43085 0
Current children cumulated CPU time (s) 822.15
Current children cumulated vsize (KiB) 177216

[startup+882.307 s]
/proc/loadavg: 2.01 2.00 2.00 3/177 16626
/proc/meminfo: memFree=27234192/32873648 swapFree=6848/6848
[pid=16580] ppid=16578 vsize=177216 CPUtime=882.14 cores=1,3,5,7
/proc/16580/stat : 16580 (toysat) R 16578 16580 14927 0 -1 4202496 43646 0 0 0 88001 213 0 0 20 0 1 0 280297174 181469184 43538 33554432000 4194304 8973514 140734168051408 140734168050672 7841851 0 2 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/16580/statm: 44304 43538 457 1167 0 43085 0
Current children cumulated CPU time (s) 882.14
Current children cumulated vsize (KiB) 177216

[startup+942.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 16626
/proc/meminfo: memFree=27231276/32873648 swapFree=6848/6848
[pid=16580] ppid=16578 vsize=177216 CPUtime=942.13 cores=1,3,5,7
/proc/16580/stat : 16580 (toysat) R 16578 16580 14927 0 -1 4202496 43646 0 0 0 93988 225 0 0 20 0 1 0 280297174 181469184 43538 33554432000 4194304 8973514 140734168051408 140734168050672 4205032 0 2 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/16580/statm: 44304 43538 457 1167 0 43085 0
Current children cumulated CPU time (s) 942.13
Current children cumulated vsize (KiB) 177216

[startup+1002.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 16627
/proc/meminfo: memFree=27227060/32873648 swapFree=6848/6848
[pid=16580] ppid=16578 vsize=179264 CPUtime=1002.12 cores=1,3,5,7
/proc/16580/stat : 16580 (toysat) R 16578 16580 14927 0 -1 4202496 44158 0 0 0 99973 239 0 0 20 0 1 0 280297174 183566336 44050 33554432000 4194304 8973514 140734168051408 140734168049344 4208879 0 2 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/16580/statm: 44816 44050 457 1167 0 43597 0
Current children cumulated CPU time (s) 1002.12
Current children cumulated vsize (KiB) 179264

[startup+1062.3 s]
/proc/loadavg: 2.08 2.02 2.01 3/177 16627
/proc/meminfo: memFree=27220736/32873648 swapFree=6848/6848
[pid=16580] ppid=16578 vsize=182336 CPUtime=1062.11 cores=1,3,5,7
/proc/16580/stat : 16580 (toysat) R 16578 16580 14927 0 -1 4202496 44927 0 0 0 105955 256 0 0 20 0 1 0 280297174 186712064 44818 33554432000 4194304 8973514 140734168051408 140734168050904 4209340 0 2 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/16580/statm: 45584 44818 457 1167 0 44365 0
Current children cumulated CPU time (s) 1062.11
Current children cumulated vsize (KiB) 182336

[startup+1122.3 s]
/proc/loadavg: 2.09 2.03 2.00 3/178 16630
/proc/meminfo: memFree=27220608/32873648 swapFree=6848/6848
[pid=16580] ppid=16578 vsize=182336 CPUtime=1122.1 cores=1,3,5,7
/proc/16580/stat : 16580 (toysat) R 16578 16580 14927 0 -1 4202496 44927 0 0 0 111942 268 0 0 20 0 1 0 280297174 186712064 44818 33554432000 4194304 8973514 140734168051408 140734168050672 7841851 0 2 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/16580/statm: 45584 44818 457 1167 0 44365 0
Current children cumulated CPU time (s) 1122.1
Current children cumulated vsize (KiB) 182336

[startup+1182.3 s]
/proc/loadavg: 2.03 2.02 2.00 3/177 16630
/proc/meminfo: memFree=27218632/32873648 swapFree=6848/6848
[pid=16580] ppid=16578 vsize=182336 CPUtime=1182.09 cores=1,3,5,7
/proc/16580/stat : 16580 (toysat) R 16578 16580 14927 0 -1 4202496 44927 0 0 0 117929 280 0 0 20 0 1 0 280297174 186712064 44818 33554432000 4194304 8973514 140734168051408 140734168049344 4209142 0 2 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/16580/statm: 45584 44818 457 1167 0 44365 0
Current children cumulated CPU time (s) 1182.09
Current children cumulated vsize (KiB) 182336

[startup+1242.3 s]
/proc/loadavg: 2.08 2.03 2.00 3/177 16630
/proc/meminfo: memFree=27213236/32873648 swapFree=6848/6848
[pid=16580] ppid=16578 vsize=184384 CPUtime=1242.08 cores=1,3,5,7
/proc/16580/stat : 16580 (toysat) R 16578 16580 14927 0 -1 4202496 45440 0 0 0 123915 293 0 0 20 0 1 0 280297174 188809216 45330 33554432000 4194304 8973514 140734168051408 140734168049408 4209212 0 2 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/16580/statm: 46096 45330 457 1167 0 44877 0
Current children cumulated CPU time (s) 1242.08
Current children cumulated vsize (KiB) 184384

[startup+1302.3 s]
/proc/loadavg: 2.07 2.04 2.00 3/177 16631
/proc/meminfo: memFree=27213300/32873648 swapFree=6848/6848
[pid=16580] ppid=16578 vsize=184384 CPUtime=1302.07 cores=1,3,5,7
/proc/16580/stat : 16580 (toysat) R 16578 16580 14927 0 -1 4202496 45440 0 0 0 129900 307 0 0 20 0 1 0 280297174 188809216 45330 33554432000 4194304 8973514 140734168051408 140734168049344 4209212 0 2 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/16580/statm: 46096 45330 457 1167 0 44877 0
Current children cumulated CPU time (s) 1302.07
Current children cumulated vsize (KiB) 184384

[startup+1362.3 s]
/proc/loadavg: 2.02 2.03 2.00 3/176 16631
/proc/meminfo: memFree=27208716/32873648 swapFree=6848/6848
[pid=16580] ppid=16578 vsize=187456 CPUtime=1362.07 cores=1,3,5,7
/proc/16580/stat : 16580 (toysat) R 16578 16580 14927 0 -1 4202496 46208 0 0 0 135885 322 0 0 20 0 1 0 280297174 191954944 46098 33554432000 4194304 8973514 140734168051408 140734168050904 7841851 0 2 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/16580/statm: 46864 46098 457 1167 0 45645 0
Current children cumulated CPU time (s) 1362.07
Current children cumulated vsize (KiB) 187456

[startup+1422.3 s]
/proc/loadavg: 2.01 2.02 2.00 3/177 16632
/proc/meminfo: memFree=27204700/32873648 swapFree=6848/6848
[pid=16580] ppid=16578 vsize=187456 CPUtime=1422.06 cores=1,3,5,7
/proc/16580/stat : 16580 (toysat) R 16578 16580 14927 0 -1 4202496 46208 0 0 0 141871 335 0 0 20 0 1 0 280297174 191954944 46098 33554432000 4194304 8973514 140734168051408 140734168050672 4204270 0 2 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/16580/statm: 46864 46098 457 1167 0 45645 0
Current children cumulated CPU time (s) 1422.06
Current children cumulated vsize (KiB) 187456

[startup+1482.3 s]
/proc/loadavg: 2.00 2.02 2.00 3/177 16632
/proc/meminfo: memFree=27202716/32873648 swapFree=6848/6848
[pid=16580] ppid=16578 vsize=189504 CPUtime=1482.05 cores=1,3,5,7
/proc/16580/stat : 16580 (toysat) R 16578 16580 14927 0 -1 4202496 46721 0 0 0 147853 352 0 0 20 0 1 0 280297174 194052096 46610 33554432000 4194304 8973514 140734168051408 140734168049344 4214011 0 2 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/16580/statm: 47376 46610 457 1167 0 46157 0
Current children cumulated CPU time (s) 1482.05
Current children cumulated vsize (KiB) 189504

[startup+1542.31 s]
/proc/loadavg: 2.08 2.03 2.01 3/177 16632
/proc/meminfo: memFree=27199124/32873648 swapFree=6848/6848
[pid=16580] ppid=16578 vsize=191552 CPUtime=1542.04 cores=1,3,5,7
/proc/16580/stat : 16580 (toysat) R 16578 16580 14927 0 -1 4202496 47233 0 0 0 153838 366 0 0 20 0 1 0 280297174 196149248 47122 33554432000 4194304 8973514 140734168051408 140734168050672 7841851 0 2 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/16580/statm: 47888 47122 457 1167 0 46669 0
Current children cumulated CPU time (s) 1542.04
Current children cumulated vsize (KiB) 191552

[startup+1602.3 s]
/proc/loadavg: 2.03 2.02 2.00 3/177 16633
/proc/meminfo: memFree=27196200/32873648 swapFree=6848/6848
[pid=16580] ppid=16578 vsize=192576 CPUtime=1602.03 cores=1,3,5,7
/proc/16580/stat : 16580 (toysat) R 16578 16580 14927 0 -1 4202496 47489 0 0 0 159823 380 0 0 20 0 1 0 280297174 197197824 47378 33554432000 4194304 8973514 140734168051408 140734168050672 4204592 0 2 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/16580/statm: 48144 47378 457 1167 0 46925 0
Current children cumulated CPU time (s) 1602.03
Current children cumulated vsize (KiB) 192576

[startup+1662.3 s]
/proc/loadavg: 2.01 2.01 2.00 3/177 16633
/proc/meminfo: memFree=27195084/32873648 swapFree=6848/6848
[pid=16580] ppid=16578 vsize=192576 CPUtime=1662.02 cores=1,3,5,7
/proc/16580/stat : 16580 (toysat) R 16578 16580 14927 0 -1 4202496 47489 0 0 0 165810 392 0 0 20 0 1 0 280297174 197197824 47378 33554432000 4194304 8973514 140734168051408 140734168049344 7937344 0 0 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/16580/statm: 48144 47378 457 1167 0 46925 0
Current children cumulated CPU time (s) 1662.02
Current children cumulated vsize (KiB) 192576

[startup+1722.3 s]
/proc/loadavg: 2.00 2.01 2.00 3/178 16636
/proc/meminfo: memFree=27194952/32873648 swapFree=6848/6848
[pid=16580] ppid=16578 vsize=192576 CPUtime=1722.01 cores=1,3,5,7
/proc/16580/stat : 16580 (toysat) R 16578 16580 14927 0 -1 4202496 47490 0 0 0 171793 408 0 0 20 0 1 0 280297174 197197824 47378 33554432000 4194304 8973514 140734168051408 140734168049344 4214011 0 2 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/16580/statm: 48144 47378 457 1167 0 46925 0
Current children cumulated CPU time (s) 1722.01
Current children cumulated vsize (KiB) 192576

[startup+1782.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 16636
/proc/meminfo: memFree=27192604/32873648 swapFree=6848/6848
[pid=16580] ppid=16578 vsize=194624 CPUtime=1782 cores=1,3,5,7
/proc/16580/stat : 16580 (toysat) R 16578 16580 14927 0 -1 4202496 48002 0 0 0 177778 422 0 0 20 0 1 0 280297174 199294976 47890 33554432000 4194304 8973514 140734168051408 140734168050904 7841851 0 2 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/16580/statm: 48656 47890 457 1167 0 47437 0
Current children cumulated CPU time (s) 1782
Current children cumulated vsize (KiB) 194624



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1800.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 16636
/proc/meminfo: memFree=27192852/32873648 swapFree=6848/6848
[pid=16580] ppid=16578 vsize=194624 CPUtime=1800 cores=1,3,5,7
/proc/16580/stat : 16580 (toysat) R 16578 16580 14927 0 -1 4202496 48002 0 0 0 179573 427 0 0 20 0 1 0 280297174 199294976 47890 33554432000 4194304 8973514 140734168051408 140734168050672 7732850 0 0 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/16580/statm: 48656 47890 457 1167 0 47437 0
Current children cumulated CPU time (s) 1800
Current children cumulated vsize (KiB) 194624

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.31
CPU time (s): 1800.02
CPU user time (s): 1795.74
CPU system time (s): 4.27735
CPU usage (%): 99.9837
Max. virtual memory (cumulated for all children) (KiB): 194624

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1795.74
system time used= 4.27735
maximum resident set size= 191560
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 48002
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= 36
involuntary context switches= 1862

runsolver used 3.49247 second user time and 9.75152 second system time

The end

Launcher Data 

Begin job on node113 at 2012-05-27 20:01:43
IDJOB=3706327
IDBENCH=72385
IDSOLVER=2285
FILE ID=node113/3706327-1338141703
RUNJOBID= node113-1338122976-14944
PBS_JOBID= 14624493
Free space on /tmp= 71384 MiB

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

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

MD5SUM BENCH= 97d18ed2e725eb2e3e65f12e308085a6
RANDOM SEED=261305602

node113.alineos.net Linux 2.6.32-71.29.1.el6.x86_64 #1 SMP Mon Jun 27 19:49:27 BST 2011

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

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

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

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

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

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

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

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


/proc/meminfo:
MemTotal:       32873648 kB
MemFree:        27144876 kB
Buffers:          348448 kB
Cached:          4099908 kB
SwapCached:            0 kB
Active:          1502128 kB
Inactive:        3392428 kB
Active(anon):     448568 kB
Inactive(anon):        0 kB
Active(file):    1053560 kB
Inactive(file):  3392428 kB
Unevictable:        6848 kB
Mlocked:            6848 kB
SwapTotal:      67108856 kB
SwapFree:       67108856 kB
Dirty:             10780 kB
Writeback:            16 kB
AnonPages:        452728 kB
Mapped:            16264 kB
Shmem:               200 kB
Slab:             695608 kB
SReclaimable:     139224 kB
SUnreclaim:       556384 kB
KernelStack:        1464 kB
PageTables:         4956 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83545680 kB
Committed_AS:     559864 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      346400 kB
VmallocChunk:   34341988052 kB
HardwareCorrupted:     0 kB
AnonHugePages:    430080 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= 71376 MiB
End job on node113 at 2012-05-27 20:31:46