Trace number 3724701

Some explanations

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

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

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

Solver answer on this benchmark

Solver NameAnswerobjective functionCPU timeWall clock time
toysat 2012-06-01? (TO) 1800.03 1800.31

General information on the benchmark

Name/OPT-BIGINT-LIN/leberre/opb-trendy/misc2010/
datasets/10orplus/normalized-xvfb.cudf.trendy.opb
MD5SUM19a31dcc7d4af59eaddbb91eafd1bc0a
Bench CategoryOPT-BIGINT-LIN (optimisation, big integers, linear constraints)
Best result obtained on this benchmarkSAT
Best value of the objective obtained on this benchmark3022771522395
Best CPU time to get the best result obtained on this benchmark1801.58
Has Objective FunctionYES
Satisfiable
(Un)Satisfiability was proved
Best value of the objective function
Optimality of the best value was proved
Number of variables21106
Total number of constraints100071
Number of constraints which are clauses98505
Number of constraints which are cardinality constraints (but not clauses)1566
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 8588
Biggest coefficient in the objective function 79285326336
Number of bits for the biggest coefficient in the objective function 37
Sum of the numbers in the objective function 234763814370998
Number of bits of the sum of numbers in the objective function 48
Biggest number in a constraint 79285326336
Number of bits of the biggest number in a constraint 37
Biggest sum of numbers in a constraint 234763814370998
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.69/10.77	c 2012-06-02T14:46:58+0200
10.69/10.77	c arch = x86_64
10.69/10.77	c os = linux
10.69/10.77	c compiler = ghc 7.4
10.69/10.77	c packages:
10.69/10.77	c   OptDir-0.0.1
10.69/10.77	c   array-0.4.0.0
10.69/10.77	c   base-4.5.0.0
10.69/10.77	c   bytestring-0.9.2.1
10.69/10.77	c   containers-0.4.2.1
10.69/10.77	c   deepseq-1.3.0.0
10.69/10.77	c   mtl-2.1.1
10.69/10.77	c   old_locale-1.0.0.4
10.69/10.77	c   parse_dimacs-1.2
10.69/10.77	c   parsec-3.1.2
10.69/10.77	c   queue-0.1.2
10.69/10.77	c   stm-2.3
10.69/10.77	c   time-1.4
10.69/10.77	c command line = ["+RTS","-K1G","-RTS","--pb","HOME/instance-3724701-1338641218.opb"]
10.69/10.77	c #vars 21106
10.69/10.77	c #constraints 100071
10.69/10.77	c Solving starts ...
24.38/24.41	c solving time = 13.611s
24.38/24.41	c #decision = 2223015
24.38/24.41	c #conflict = 1407
24.38/24.41	c #restart = 5
24.38/24.41	o 5797333465057
24.38/24.42	c Solving starts ...
24.69/24.74	c solving time = 0.295s
24.69/24.74	c #decision = 2229175
24.69/24.74	c #conflict = 1407
24.69/24.74	c #restart = 5
24.69/24.74	o 5797333465056
24.69/24.75	c Solving starts ...
25.39/25.40	c solving time = 0.634s
25.39/25.40	c #decision = 2237447
25.39/25.40	c #conflict = 1410
25.39/25.40	c #restart = 5
25.39/25.41	o 5797333465055
25.39/25.42	c Solving starts ...
26.08/26.17	c solving time = 0.728s
26.08/26.17	c #decision = 2243569
26.08/26.17	c #conflict = 1410
26.08/26.17	c #restart = 5
26.08/26.17	o 5797333465054
26.08/26.18	c Solving starts ...
27.38/27.46	c solving time = 1.263s
27.38/27.46	c #decision = 2249722
27.38/27.46	c #conflict = 1415
27.38/27.46	c #restart = 5
27.38/27.46	o 5797333465053
27.38/27.48	c Solving starts ...
54.99/55.01	c solving time = 27.513s
54.99/55.01	c #decision = 2253747
54.99/55.01	c #conflict = 1428
54.99/55.01	c #restart = 5
54.99/55.01	o 5797333465051
54.99/55.03	c Solving starts ...
148.36/148.48	c solving time = 93.420s
148.36/148.48	c #decision = 2259341
148.36/148.48	c #conflict = 1453
148.36/148.48	c #restart = 5
148.36/148.48	o 5797333465050
148.36/148.50	c Solving starts ...
165.06/165.19	c solving time = 16.664s
165.06/165.19	c #decision = 2262064
165.06/165.19	c #conflict = 1462
165.06/165.19	c #restart = 5
165.06/165.19	o 5797333465049
165.15/165.20	c Solving starts ...
181.46/181.60	c solving time = 16.378s
181.46/181.60	c #decision = 2264522
181.46/181.60	c #conflict = 1464
181.46/181.60	c #restart = 5
181.56/181.60	o 5797333465048
181.56/181.62	c Solving starts ...
198.35/198.47	c solving time = 16.828s
198.35/198.47	c #decision = 2266990
198.35/198.47	c #conflict = 1466
198.35/198.47	c #restart = 5
198.35/198.47	o 5797333465047
198.35/198.48	c Solving starts ...
217.85/217.98	c solving time = 19.475s
217.85/217.98	c #decision = 2270281
217.85/217.98	c #conflict = 1476
217.85/217.98	c #restart = 5
217.85/217.98	o 5797333465046
217.85/217.99	c Solving starts ...
235.65/235.71	c solving time = 17.693s
235.65/235.71	c #decision = 2272770
235.65/235.71	c #conflict = 1479
235.65/235.71	c #restart = 5
235.65/235.71	o 5797333465045
235.65/235.72	c Solving starts ...
254.35/254.41	c solving time = 18.661s
254.35/254.41	c #decision = 2275231
254.35/254.41	c #conflict = 1481
254.35/254.41	c #restart = 5
254.35/254.41	o 5797333465044
254.35/254.42	c Solving starts ...
273.75/273.80	c solving time = 19.353s
273.75/273.80	c #decision = 2278232
273.75/273.80	c #conflict = 1485
273.75/273.80	c #restart = 5
273.75/273.80	o 5797333465043
273.85/273.90	c Solving starts ...
292.84/292.95	c solving time = 19.025s
292.84/292.95	c #decision = 2280713
292.84/292.95	c #conflict = 1487
292.84/292.95	c #restart = 5
292.84/292.95	o 5797333465042
292.84/292.97	c Solving starts ...
312.93/313.04	c solving time = 20.047s
312.93/313.04	c #decision = 2283215
312.93/313.04	c #conflict = 1491
312.93/313.04	c #restart = 5
312.93/313.04	o 5797333465041
312.93/313.05	c Solving starts ...
333.13/333.25	c solving time = 20.176s
333.13/333.25	c #decision = 2285662
333.13/333.25	c #conflict = 1493
333.13/333.25	c #restart = 5
333.13/333.25	o 5797333465040
333.13/333.27	c Solving starts ...
353.33/353.40	c solving time = 20.109s
353.33/353.40	c #decision = 2288132
353.33/353.40	c #conflict = 1495
353.33/353.40	c #restart = 5
353.33/353.40	o 5797333465039
353.33/353.41	c Solving starts ...
444.42/444.58	c solving time = 91.124s
444.42/444.58	c #decision = 2290688
444.42/444.58	c #conflict = 1508
444.42/444.58	c #restart = 5
444.42/444.58	o 5797333465038
444.42/444.59	c Solving starts ...
834.35/834.51	c solving time = 389.842s
834.35/834.51	c #decision = 2293330
834.35/834.51	c #conflict = 1567
834.35/834.51	c #restart = 5
834.35/834.51	o 5797333465037
834.35/834.53	c Solving starts ...
969.43/969.61	c solving time = 135.042s
969.43/969.61	c #decision = 2295809
969.43/969.61	c #conflict = 1585
969.43/969.61	c #restart = 5
969.43/969.61	o 5797333465036
969.43/969.63	c Solving starts ...
1112.31/1112.52	c solving time = 142.845s
1112.31/1112.52	c #decision = 2298321
1112.31/1112.52	c #conflict = 1608
1112.31/1112.52	c #restart = 5
1112.31/1112.52	o 5797333465035
1112.31/1112.53	c Solving starts ...
1373.57/1373.89	c solving time = 261.292s
1373.57/1373.89	c #decision = 2300828
1373.57/1373.89	c #conflict = 1644
1373.57/1373.89	c #restart = 5
1373.57/1373.89	o 5797333465034
1373.67/1374.00	c Solving starts ...
1509.46/1509.78	c solving time = 135.735s
1509.46/1509.78	c #decision = 2303297
1509.46/1509.78	c #conflict = 1662
1509.46/1509.78	c #restart = 5
1509.46/1509.78	o 5797333465033
1509.46/1509.79	c Solving starts ...
1710.23/1710.54	c solving time = 200.693s
1710.23/1710.54	c #decision = 2306701
1710.23/1710.54	c #conflict = 1695
1710.23/1710.54	c #restart = 5
1710.23/1710.54	o 5797333465032
1710.23/1710.55	c Solving starts ...

Verifier Data

ERROR: no interpretation found !

Watcher Data

runsolver Copyright (C) 2010-2011 Olivier ROUSSEL

This is runsolver version 3.3.1 (svn: 989)

This program is distributed in the hope that it will be useful,
but WITHOUT ANY WARRANTY; without even the implied warranty of
MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE.  See the
GNU General Public License for more details.

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-3724701-1338641218/watcher-3724701-1338641218 -o /tmp/evaluation-result-3724701-1338641218/solver-3724701-1338641218 -C 1800 -W 1900 -M 15500 HOME/toysat +RTS -K1G -RTS --pb HOME/instance-3724701-1338641218.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 711
/proc/meminfo: memFree=25587596/32873648 swapFree=6852/6852
[pid=711] ppid=709 vsize=6224 CPUtime=0 cores=1,3,5,7
/proc/711/stat : 711 (toysat) R 709 711 32340 0 -1 4202496 787 0 0 0 0 0 0 0 20 0 1 0 330249059 6373376 707 33554432000 4194304 8989770 140736927794208 140736927793704 7953280 0 0 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/711/statm: 1556 707 425 1171 0 333 0

[startup+0.0926459 s]
/proc/loadavg: 1.92 1.98 1.99 3/176 711
/proc/meminfo: memFree=25587596/32873648 swapFree=6852/6852
[pid=711] ppid=709 vsize=11344 CPUtime=0.08 cores=1,3,5,7
/proc/711/stat : 711 (toysat) R 709 711 32340 0 -1 4202496 2053 0 0 0 8 0 0 0 20 0 1 0 330249059 11616256 1973 33554432000 4194304 8989770 140736927794208 140736927793704 7953280 0 0 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/711/statm: 2836 1976 431 1171 0 1613 0
Current children cumulated CPU time (s) 0.08
Current children cumulated vsize (KiB) 11344

[startup+0.100227 s]
/proc/loadavg: 1.92 1.98 1.99 3/176 711
/proc/meminfo: memFree=25587596/32873648 swapFree=6852/6852
[pid=711] ppid=709 vsize=11344 CPUtime=0.09 cores=1,3,5,7
/proc/711/stat : 711 (toysat) R 709 711 32340 0 -1 4202496 2115 0 0 0 9 0 0 0 20 0 1 0 330249059 11616256 2035 33554432000 4194304 8989770 140736927794208 140736927793704 7857787 0 2 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/711/statm: 2836 2035 431 1171 0 1613 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 11344

[startup+0.300218 s]
/proc/loadavg: 1.92 1.98 1.99 3/176 711
/proc/meminfo: memFree=25587596/32873648 swapFree=6852/6852
[pid=711] ppid=709 vsize=24656 CPUtime=0.29 cores=1,3,5,7
/proc/711/stat : 711 (toysat) R 709 711 32340 0 -1 4202496 5443 0 0 0 28 1 0 0 20 0 1 0 330249059 25247744 5363 33554432000 4194304 8989770 140736927794208 140736927793704 7953280 0 0 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/711/statm: 6164 5363 431 1171 0 4941 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 24656

[startup+0.70022 s]
/proc/loadavg: 1.92 1.98 1.99 3/176 711
/proc/meminfo: memFree=25587596/32873648 swapFree=6852/6852
[pid=711] ppid=709 vsize=52304 CPUtime=0.69 cores=1,3,5,7
/proc/711/stat : 711 (toysat) R 709 711 32340 0 -1 4202496 12355 0 0 0 66 3 0 0 20 0 1 0 330249059 53559296 12275 33554432000 4194304 8989770 140736927794208 140736927793704 7953280 0 0 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/711/statm: 13076 12275 431 1171 0 11853 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 52304

[startup+1.50021 s]
/proc/loadavg: 1.92 1.98 1.99 3/177 712
/proc/meminfo: memFree=25523828/32873648 swapFree=6852/6852
[pid=711] ppid=709 vsize=91216 CPUtime=1.49 cores=1,3,5,7
/proc/711/stat : 711 (toysat) R 709 711 32340 0 -1 4202496 22083 0 0 0 144 5 0 0 20 0 1 0 330249059 93405184 22003 33554432000 4194304 8989770 140736927794208 140736927793472 7953280 0 0 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/711/statm: 22804 22003 431 1171 0 21581 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 91216

[startup+3.10018 s]
/proc/loadavg: 1.92 1.98 1.99 3/177 712
/proc/meminfo: memFree=25446452/32873648 swapFree=6852/6852
[pid=711] ppid=709 vsize=145488 CPUtime=3.08 cores=1,3,5,7
/proc/711/stat : 711 (toysat) R 709 711 32340 0 -1 4202496 35673 0 0 0 300 8 0 0 20 0 1 0 330249059 148979712 35593 33554432000 4194304 8989770 140736927794208 140736927793704 7953280 0 0 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/711/statm: 36372 35593 447 1171 0 35149 0
Current children cumulated CPU time (s) 3.08
Current children cumulated vsize (KiB) 145488

[startup+6.3002 s]
/proc/loadavg: 1.93 1.98 1.99 3/177 712
/proc/meminfo: memFree=25446248/32873648 swapFree=6852/6852
[pid=711] ppid=709 vsize=145488 CPUtime=6.29 cores=1,3,5,7
/proc/711/stat : 711 (toysat) R 709 711 32340 0 -1 4202496 35673 0 0 0 620 9 0 0 20 0 1 0 330249059 148979712 35593 33554432000 4194304 8989770 140736927794208 140736927776192 4209212 0 2 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/711/statm: 36372 35593 447 1171 0 35149 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 145488

[startup+12.7002 s]
/proc/loadavg: 1.93 1.98 1.99 3/177 712
/proc/meminfo: memFree=25445032/32873648 swapFree=6852/6852
[pid=711] ppid=709 vsize=145488 CPUtime=12.69 cores=1,3,5,7
/proc/711/stat : 711 (toysat) R 709 711 32340 0 -1 4202496 35686 0 0 0 1257 12 0 0 20 0 1 0 330249059 148979712 35606 33554432000 4194304 8989770 140736927794208 140736927776192 7953280 0 0 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/711/statm: 36372 35606 460 1171 0 35149 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 145488

[startup+25.5003 s]
/proc/loadavg: 1.95 1.98 1.99 3/177 712
/proc/meminfo: memFree=25444764/32873648 swapFree=6852/6852
[pid=711] ppid=709 vsize=145488 CPUtime=25.48 cores=1,3,5,7
/proc/711/stat : 711 (toysat) R 709 711 32340 0 -1 4202496 35699 0 0 0 2534 14 0 0 20 0 1 0 330249059 148979712 35619 33554432000 4194304 8989770 140736927794208 140736927793704 7857787 0 2 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/711/statm: 36372 35619 473 1171 0 35149 0
Current children cumulated CPU time (s) 25.48
Current children cumulated vsize (KiB) 145488

[startup+51.1003 s]
/proc/loadavg: 1.96 1.98 1.99 3/177 712
/proc/meminfo: memFree=25442732/32873648 swapFree=6852/6852
[pid=711] ppid=709 vsize=145488 CPUtime=51.08 cores=1,3,5,7
/proc/711/stat : 711 (toysat) R 709 711 32340 0 -1 4202496 35700 0 0 0 5087 21 0 0 20 0 1 0 330249059 148979712 35619 33554432000 4194304 8989770 140736927794208 140736927793704 7857787 0 2 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/711/statm: 36372 35619 473 1171 0 35149 0
Current children cumulated CPU time (s) 51.08
Current children cumulated vsize (KiB) 145488

[startup+102.3 s]
/proc/loadavg: 1.98 1.98 1.99 3/177 713
/proc/meminfo: memFree=25441908/32873648 swapFree=6852/6852
[pid=711] ppid=709 vsize=145488 CPUtime=102.28 cores=1,3,5,7
/proc/711/stat : 711 (toysat) R 709 711 32340 0 -1 4202496 35707 0 0 0 10194 34 0 0 20 0 1 0 330249059 148979712 35619 33554432000 4194304 8989770 140736927794208 140736927793472 7857787 0 2 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/711/statm: 36372 35619 473 1171 0 35149 0
Current children cumulated CPU time (s) 102.28
Current children cumulated vsize (KiB) 145488

[startup+162.3 s]
/proc/loadavg: 2.04 2.00 2.00 3/177 713
/proc/meminfo: memFree=25438484/32873648 swapFree=6852/6852
[pid=711] ppid=709 vsize=149584 CPUtime=162.25 cores=1,3,5,7
/proc/711/stat : 711 (toysat) R 709 711 32340 0 -1 4202496 36735 0 0 0 16176 49 0 0 20 0 1 0 330249059 153174016 36643 33554432000 4194304 8989770 140736927794208 140736927793704 4209429 0 2 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/711/statm: 37396 36643 473 1171 0 36173 0
Current children cumulated CPU time (s) 162.25
Current children cumulated vsize (KiB) 149584

[startup+222.307 s]
/proc/loadavg: 2.01 2.00 2.00 3/178 716
/proc/meminfo: memFree=25427908/32873648 swapFree=6852/6852
[pid=711] ppid=709 vsize=158800 CPUtime=222.26 cores=1,3,5,7
/proc/711/stat : 711 (toysat) R 709 711 32340 0 -1 4202496 39039 0 0 0 22159 67 0 0 20 0 1 0 330249059 162611200 38947 33554432000 4194304 8989770 140736927794208 140736927776192 7953280 0 0 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/711/statm: 39700 38947 473 1171 0 38477 0
Current children cumulated CPU time (s) 222.26
Current children cumulated vsize (KiB) 158800

[startup+282.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 716
/proc/meminfo: memFree=25418612/32873648 swapFree=6852/6852
[pid=711] ppid=709 vsize=166992 CPUtime=282.24 cores=1,3,5,7
/proc/711/stat : 711 (toysat) R 709 711 32340 0 -1 4202496 41087 0 0 0 28142 82 0 0 20 0 1 0 330249059 170999808 40995 33554432000 4194304 8989770 140736927794208 140736927793704 4209206 0 2 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/711/statm: 41748 40995 473 1171 0 40525 0
Current children cumulated CPU time (s) 282.24
Current children cumulated vsize (KiB) 166992

[startup+342.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 716
/proc/meminfo: memFree=25410556/32873648 swapFree=6852/6852
[pid=711] ppid=709 vsize=174160 CPUtime=342.23 cores=1,3,5,7
/proc/711/stat : 711 (toysat) R 709 711 32340 0 -1 4202496 42879 0 0 0 34122 101 0 0 20 0 1 0 330249059 178339840 42787 33554432000 4194304 8989770 140736927794208 140736927792128 7857787 0 2 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/711/statm: 43540 42787 473 1171 0 42317 0
Current children cumulated CPU time (s) 342.23
Current children cumulated vsize (KiB) 174160

[startup+402.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 717
/proc/meminfo: memFree=25407256/32873648 swapFree=6852/6852
[pid=711] ppid=709 vsize=176208 CPUtime=402.22 cores=1,3,5,7
/proc/711/stat : 711 (toysat) R 709 711 32340 0 -1 4202496 43391 0 0 0 40106 116 0 0 20 0 1 0 330249059 180436992 43299 33554432000 4194304 8989770 140736927794208 140736927793472 4204292 0 2 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/711/statm: 44052 43299 473 1171 0 42829 0
Current children cumulated CPU time (s) 402.22
Current children cumulated vsize (KiB) 176208

[startup+462.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 717
/proc/meminfo: memFree=25402432/32873648 swapFree=6852/6852
[pid=711] ppid=709 vsize=179280 CPUtime=462.21 cores=1,3,5,7
/proc/711/stat : 711 (toysat) R 709 711 32340 0 -1 4202496 44159 0 0 0 46091 130 0 0 20 0 1 0 330249059 183582720 44067 33554432000 4194304 8989770 140736927794208 140736927793704 4209256 0 2 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/711/statm: 44820 44067 473 1171 0 43597 0
Current children cumulated CPU time (s) 462.21
Current children cumulated vsize (KiB) 179280

[startup+522.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 717
/proc/meminfo: memFree=25402308/32873648 swapFree=6852/6852
[pid=711] ppid=709 vsize=179280 CPUtime=522.21 cores=1,3,5,7
/proc/711/stat : 711 (toysat) R 709 711 32340 0 -1 4202496 44159 0 0 0 52076 145 0 0 20 0 1 0 330249059 183582720 44067 33554432000 4194304 8989770 140736927794208 140736927792128 7953280 0 0 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/711/statm: 44820 44067 473 1171 0 43597 0
Current children cumulated CPU time (s) 522.21
Current children cumulated vsize (KiB) 179280

[startup+582.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 717
/proc/meminfo: memFree=25401128/32873648 swapFree=6852/6852
[pid=711] ppid=709 vsize=179280 CPUtime=582.2 cores=1,3,5,7
/proc/711/stat : 711 (toysat) R 709 711 32340 0 -1 4202496 44159 0 0 0 58061 159 0 0 20 0 1 0 330249059 183582720 44067 33554432000 4194304 8989770 140736927794208 140736927793472 4209429 0 2 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/711/statm: 44820 44067 473 1171 0 43597 0
Current children cumulated CPU time (s) 582.2
Current children cumulated vsize (KiB) 179280

[startup+642.3 s]

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

[startup+822.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/178 721
/proc/meminfo: memFree=25395352/32873648 swapFree=6852/6852
[pid=711] ppid=709 vsize=179280 CPUtime=822.16 cores=1,3,5,7
/proc/711/stat : 711 (toysat) R 709 711 32340 0 -1 4202496 44159 0 0 0 82005 211 0 0 20 0 1 0 330249059 183582720 44067 33554432000 4194304 8989770 140736927794208 140736927792128 7953280 0 0 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/711/statm: 44820 44067 473 1171 0 43597 0
Current children cumulated CPU time (s) 822.16
Current children cumulated vsize (KiB) 179280

[startup+882.307 s]
/proc/loadavg: 2.00 2.00 2.00 3/178 745
/proc/meminfo: memFree=25391972/32873648 swapFree=6852/6852
[pid=711] ppid=709 vsize=181328 CPUtime=882.16 cores=1,3,5,7
/proc/711/stat : 711 (toysat) R 709 711 32340 0 -1 4202496 44671 0 0 0 87992 224 0 0 20 0 1 0 330249059 185679872 44579 33554432000 4194304 8989770 140736927794208 140736927793704 4209212 0 2 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/711/statm: 45332 44579 473 1171 0 44109 0
Current children cumulated CPU time (s) 882.16
Current children cumulated vsize (KiB) 181328

[startup+942.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 745
/proc/meminfo: memFree=25390988/32873648 swapFree=6852/6852
[pid=711] ppid=709 vsize=181328 CPUtime=942.14 cores=1,3,5,7
/proc/711/stat : 711 (toysat) R 709 711 32340 0 -1 4202496 44671 0 0 0 93978 236 0 0 20 0 1 0 330249059 185679872 44579 33554432000 4194304 8989770 140736927794208 140736927793472 4208857 0 2 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/711/statm: 45332 44579 473 1171 0 44109 0
Current children cumulated CPU time (s) 942.14
Current children cumulated vsize (KiB) 181328

[startup+1002.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 746
/proc/meminfo: memFree=25383608/32873648 swapFree=6852/6852
[pid=711] ppid=709 vsize=184400 CPUtime=1002.13 cores=1,3,5,7
/proc/711/stat : 711 (toysat) R 709 711 32340 0 -1 4202496 45439 0 0 0 99963 250 0 0 20 0 1 0 330249059 188825600 45347 33554432000 4194304 8989770 140736927794208 140736927792128 7857787 0 2 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/711/statm: 46100 45347 473 1171 0 44877 0
Current children cumulated CPU time (s) 1002.13
Current children cumulated vsize (KiB) 184400

[startup+1062.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 746
/proc/meminfo: memFree=25382616/32873648 swapFree=6852/6852
[pid=711] ppid=709 vsize=184400 CPUtime=1062.12 cores=1,3,5,7
/proc/711/stat : 711 (toysat) R 709 711 32340 0 -1 4202496 45439 0 0 0 105946 266 0 0 20 0 1 0 330249059 188825600 45347 33554432000 4194304 8989770 140736927794208 140736927792128 7857787 0 2 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/711/statm: 46100 45347 473 1171 0 44877 0
Current children cumulated CPU time (s) 1062.12
Current children cumulated vsize (KiB) 184400

[startup+1122.3 s]
/proc/loadavg: 2.07 2.02 2.00 3/177 746
/proc/meminfo: memFree=25379328/32873648 swapFree=6852/6852
[pid=711] ppid=709 vsize=186448 CPUtime=1122.11 cores=1,3,5,7
/proc/711/stat : 711 (toysat) R 709 711 32340 0 -1 4202496 45951 0 0 0 111931 280 0 0 20 0 1 0 330249059 190922752 45859 33554432000 4194304 8989770 140736927794208 140736927793704 7857787 0 0 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/711/statm: 46612 45859 473 1171 0 45389 0
Current children cumulated CPU time (s) 1122.11
Current children cumulated vsize (KiB) 186448

[startup+1182.3 s]
/proc/loadavg: 2.02 2.01 2.00 3/177 746
/proc/meminfo: memFree=25378460/32873648 swapFree=6852/6852
[pid=711] ppid=709 vsize=186448 CPUtime=1182.1 cores=1,3,5,7
/proc/711/stat : 711 (toysat) R 709 711 32340 0 -1 4202496 45951 0 0 0 117918 292 0 0 20 0 1 0 330249059 190922752 45859 33554432000 4194304 8989770 140736927794208 140736927776192 7953280 0 0 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/711/statm: 46612 45859 473 1171 0 45389 0
Current children cumulated CPU time (s) 1182.1
Current children cumulated vsize (KiB) 186448

[startup+1242.3 s]
/proc/loadavg: 2.01 2.00 2.00 3/177 746
/proc/meminfo: memFree=25377468/32873648 swapFree=6852/6852
[pid=711] ppid=709 vsize=186448 CPUtime=1242.1 cores=1,3,5,7
/proc/711/stat : 711 (toysat) R 709 711 32340 0 -1 4202496 45951 0 0 0 123903 307 0 0 20 0 1 0 330249059 190922752 45859 33554432000 4194304 8989770 140736927794208 140736927792128 4213394 0 2 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/711/statm: 46612 45859 473 1171 0 45389 0
Current children cumulated CPU time (s) 1242.1
Current children cumulated vsize (KiB) 186448

[startup+1302.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 747
/proc/meminfo: memFree=25376352/32873648 swapFree=6852/6852
[pid=711] ppid=709 vsize=186448 CPUtime=1302.08 cores=1,3,5,7
/proc/711/stat : 711 (toysat) R 709 711 32340 0 -1 4202496 45951 0 0 0 129888 320 0 0 20 0 1 0 330249059 190922752 45859 33554432000 4194304 8989770 140736927794208 140736927792192 7953280 0 0 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/711/statm: 46612 45859 473 1171 0 45389 0
Current children cumulated CPU time (s) 1302.08
Current children cumulated vsize (KiB) 186448

[startup+1362.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 747
/proc/meminfo: memFree=25376100/32873648 swapFree=6852/6852
[pid=711] ppid=709 vsize=186448 CPUtime=1362.07 cores=1,3,5,7
/proc/711/stat : 711 (toysat) R 709 711 32340 0 -1 4202496 45951 0 0 0 135874 333 0 0 20 0 1 0 330249059 190922752 45859 33554432000 4194304 8989770 140736927794208 140736927792192 7857787 0 2 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/711/statm: 46612 45859 473 1171 0 45389 0
Current children cumulated CPU time (s) 1362.07
Current children cumulated vsize (KiB) 186448

[startup+1422.3 s]
/proc/loadavg: 2.04 2.01 2.00 3/178 750
/proc/meminfo: memFree=25370400/32873648 swapFree=6852/6852
[pid=711] ppid=709 vsize=189520 CPUtime=1422.07 cores=1,3,5,7
/proc/711/stat : 711 (toysat) R 709 711 32340 0 -1 4202496 46719 0 0 0 141858 349 0 0 20 0 1 0 330249059 194068480 46627 33554432000 4194304 8989770 140736927794208 140736927793472 4204320 0 2 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/711/statm: 47380 46627 473 1171 0 46157 0
Current children cumulated CPU time (s) 1422.07
Current children cumulated vsize (KiB) 189520

[startup+1482.3 s]
/proc/loadavg: 2.01 2.01 2.00 3/177 750
/proc/meminfo: memFree=25364324/32873648 swapFree=6852/6852
[pid=711] ppid=709 vsize=189520 CPUtime=1482.06 cores=1,3,5,7
/proc/711/stat : 711 (toysat) R 709 711 32340 0 -1 4202496 46721 0 0 0 147847 359 0 0 20 0 1 0 330249059 194068480 46627 33554432000 4194304 8989770 140736927794208 140736927776192 7857787 0 2 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/711/statm: 47380 46627 473 1171 0 46157 0
Current children cumulated CPU time (s) 1482.06
Current children cumulated vsize (KiB) 189520

[startup+1542.31 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 750
/proc/meminfo: memFree=25360108/32873648 swapFree=6852/6852
[pid=711] ppid=709 vsize=191568 CPUtime=1542.06 cores=1,3,5,7
/proc/711/stat : 711 (toysat) R 709 711 32340 0 -1 4202496 47233 0 0 0 153832 374 0 0 20 0 1 0 330249059 196165632 47139 33554432000 4194304 8989770 140736927794208 140736927793472 7857787 0 2 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/711/statm: 47892 47139 473 1171 0 46669 0
Current children cumulated CPU time (s) 1542.06
Current children cumulated vsize (KiB) 191568

[startup+1602.3 s]
/proc/loadavg: 2.12 2.03 2.01 3/177 751
/proc/meminfo: memFree=25358804/32873648 swapFree=6852/6852
[pid=711] ppid=709 vsize=191568 CPUtime=1602.04 cores=1,3,5,7
/proc/711/stat : 711 (toysat) R 709 711 32340 0 -1 4202496 47233 0 0 0 159814 390 0 0 20 0 1 0 330249059 196165632 47139 33554432000 4194304 8989770 140736927794208 140736927792128 7857787 0 2 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/711/statm: 47892 47139 473 1171 0 46669 0
Current children cumulated CPU time (s) 1602.04
Current children cumulated vsize (KiB) 191568

[startup+1662.3 s]
/proc/loadavg: 2.14 2.05 2.01 3/177 751
/proc/meminfo: memFree=25356384/32873648 swapFree=6852/6852
[pid=711] ppid=709 vsize=192592 CPUtime=1662.03 cores=1,3,5,7
/proc/711/stat : 711 (toysat) R 709 711 32340 0 -1 4202496 47489 0 0 0 165798 405 0 0 20 0 1 0 330249059 197214208 47395 33554432000 4194304 8989770 140736927794208 140736927792128 7953280 0 0 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/711/statm: 48148 47395 473 1171 0 46925 0
Current children cumulated CPU time (s) 1662.03
Current children cumulated vsize (KiB) 192592

[startup+1722.3 s]
/proc/loadavg: 2.09 2.06 2.01 3/177 751
/proc/meminfo: memFree=25354152/32873648 swapFree=6852/6852
[pid=711] ppid=709 vsize=194640 CPUtime=1722.02 cores=1,3,5,7
/proc/711/stat : 711 (toysat) R 709 711 32340 0 -1 4202496 48001 0 0 0 171782 420 0 0 20 0 1 0 330249059 199311360 47907 33554432000 4194304 8989770 140736927794208 140736927792192 7953280 0 0 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/711/statm: 48660 47907 473 1171 0 47437 0
Current children cumulated CPU time (s) 1722.02
Current children cumulated vsize (KiB) 194640

[startup+1782.3 s]
/proc/loadavg: 2.03 2.04 2.01 3/177 790
/proc/meminfo: memFree=25395372/32873648 swapFree=6852/6852
[pid=711] ppid=709 vsize=194640 CPUtime=1782.01 cores=1,3,5,7
/proc/711/stat : 711 (toysat) R 709 711 32340 0 -1 4202496 48001 0 0 0 177769 432 0 0 20 0 1 0 330249059 199311360 47907 33554432000 4194304 8989770 140736927794208 140736927776192 4209212 0 2 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/711/statm: 48660 47907 473 1171 0 47437 0
Current children cumulated CPU time (s) 1782.01
Current children cumulated vsize (KiB) 194640



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1800.3 s]
/proc/loadavg: 2.02 2.04 2.00 3/177 790
/proc/meminfo: memFree=25391016/32873648 swapFree=6852/6852
[pid=711] ppid=709 vsize=194640 CPUtime=1800.02 cores=1,3,5,7
/proc/711/stat : 711 (toysat) R 709 711 32340 0 -1 4202496 48001 0 0 0 179566 436 0 0 20 0 1 0 330249059 199311360 47907 33554432000 4194304 8989770 140736927794208 140736927793472 4209212 0 2 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/711/statm: 48660 47907 473 1171 0 47437 0
Current children cumulated CPU time (s) 1800.02
Current children cumulated vsize (KiB) 194640

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.03
CPU user time (s): 1795.66
CPU system time (s): 4.36134
CPU usage (%): 99.9844
Max. virtual memory (cumulated for all children) (KiB): 194640

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1795.67
system time used= 4.36134
maximum resident set size= 191628
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 48001
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= 17
involuntary context switches= 1972

runsolver used 2.84157 second user time and 10.0025 second system time

The end

Launcher Data

Begin job on node112 at 2012-06-02 14:46:58
IDJOB=3724701
IDBENCH=72400
IDSOLVER=2308
FILE ID=node112/3724701-1338641218
RUNJOBID= node112-1338631508-32357
PBS_JOBID= 14636468
Free space on /tmp= 71228 MiB

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

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

MD5SUM BENCH= 19a31dcc7d4af59eaddbb91eafd1bc0a
RANDOM SEED=967587950

node112.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.763
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.52
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.763
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.763
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.763
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.763
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.763
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.763
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.91
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.763
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:        25587976 kB
Buffers:          531608 kB
Cached:          5829068 kB
SwapCached:            0 kB
Active:          1715964 kB
Inactive:        4711092 kB
Active(anon):      54928 kB
Inactive(anon):    10936 kB
Active(file):    1661036 kB
Inactive(file):  4700156 kB
Unevictable:        6852 kB
Mlocked:            6852 kB
SwapTotal:      67108856 kB
SwapFree:       67108856 kB
Dirty:             10880 kB
Writeback:             0 kB
AnonPages:         70260 kB
Mapped:            16200 kB
Shmem:               200 kB
Slab:             721832 kB
SReclaimable:     165888 kB
SUnreclaim:       555944 kB
KernelStack:        1456 kB
PageTables:         3700 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83545680 kB
Committed_AS:     176896 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      346400 kB
VmallocChunk:   34341988052 kB
HardwareCorrupted:     0 kB
AnonHugePages:         0 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= 71220 MiB
End job on node112 at 2012-06-02 15:17:00