Trace number 3706326

Some explanations

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

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

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

Solver answer on this benchmark

Solver NameAnswerobjective functionCPU timeWall clock time
toysat 2012-05-17? (TO) 1800.11 1800.41

General information on the benchmark

Name/OPT-BIGINT-LIN/leberre/opb-trendy/misc2010/
datasets/10orplus/normalized-mercurial-common.cudf.trendy.opb
MD5SUM6bb48d2b0ff46f6e7b073e580100f5b4
Bench CategoryOPT-BIGINT-LIN (optimisation, big integers, linear constraints)
Best result obtained on this benchmarkSAT
Best value of the objective obtained on this benchmark3183187736701
Best CPU time to get the best result obtained on this benchmark1800.92
Has Objective FunctionYES
Satisfiable
(Un)Satisfiability was proved
Best value of the objective function
Optimality of the best value was proved
Number of variables21105
Total number of constraints100043
Number of constraints which are clauses98478
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 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.78/10.88	c 2012-05-27T20:02:21+0200
10.78/10.88	c arch = x86_64
10.78/10.88	c os = linux
10.78/10.88	c compiler = ghc 7.4
10.78/10.88	c packages:
10.78/10.88	c   OptDir-0.0.1
10.78/10.88	c   array-0.4.0.0
10.78/10.88	c   base-4.5.0.0
10.78/10.88	c   bytestring-0.9.2.1
10.78/10.88	c   containers-0.4.2.1
10.78/10.88	c   deepseq-1.3.0.0
10.78/10.88	c   mtl-2.1.1
10.78/10.88	c   old_locale-1.0.0.4
10.78/10.88	c   parse_dimacs-1.2
10.78/10.88	c   parsec-3.1.2
10.78/10.88	c   queue-0.1.2
10.78/10.88	c   stm-2.3
10.78/10.88	c   time-1.4
10.78/10.88	c command line = ["--pb","HOME/instance-3706326-1338141741.opb"]
10.78/10.88	c #vars 21105
10.78/10.88	c #constraints 100043
10.78/10.88	c Solving starts ...
24.29/24.39	c solving time = 13.494s
24.29/24.39	c #decision = 2249880
24.29/24.39	c #conflict = 1427
24.29/24.39	c #restart = 5
24.29/24.39	o 5004720124716
24.38/24.41	c Solving starts ...
24.68/24.73	c solving time = 0.302s
24.68/24.73	c #decision = 2255964
24.68/24.73	c #conflict = 1427
24.68/24.73	c #restart = 5
24.68/24.73	o 5004720124715
24.68/24.74	c Solving starts ...
25.28/25.33	c solving time = 0.576s
25.28/25.33	c #decision = 2263186
25.28/25.33	c #conflict = 1431
25.28/25.33	c #restart = 5
25.28/25.33	o 5004720124714
25.38/25.41	c Solving starts ...
26.08/26.18	c solving time = 0.748s
26.08/26.18	c #decision = 2269237
26.08/26.18	c #conflict = 1431
26.08/26.18	c #restart = 5
26.08/26.18	o 5004720124713
26.08/26.19	c Solving starts ...
27.38/27.50	c solving time = 1.282s
27.38/27.50	c #decision = 2275313
27.38/27.50	c #conflict = 1436
27.38/27.50	c #restart = 5
27.38/27.50	o 5004720124712
27.48/27.51	c Solving starts ...
29.47/29.50	c solving time = 1.976s
29.47/29.50	c #decision = 2279555
29.47/29.50	c #conflict = 1443
29.47/29.50	c #restart = 5
29.47/29.50	o 5004701669096
29.47/29.52	c Solving starts ...
33.18/33.29	c solving time = 3.757s
33.18/33.29	c #decision = 2282381
33.18/33.29	c #conflict = 1444
33.18/33.29	c #restart = 5
33.18/33.29	o 5004701669095
33.28/33.30	c Solving starts ...
37.28/37.32	c solving time = 3.994s
37.28/37.32	c #decision = 2285199
37.28/37.32	c #conflict = 1445
37.28/37.32	c #restart = 5
37.28/37.32	o 5004701669094
37.28/37.33	c Solving starts ...
41.58/41.64	c solving time = 4.292s
41.58/41.64	c #decision = 2288023
41.58/41.64	c #conflict = 1446
41.58/41.64	c #restart = 5
41.58/41.64	o 5004701669093
41.58/41.65	c Solving starts ...
46.18/46.23	c solving time = 4.554s
46.18/46.23	c #decision = 2290852
46.18/46.23	c #conflict = 1447
46.18/46.23	c #restart = 5
46.18/46.23	o 5004701669092
46.18/46.24	c Solving starts ...
54.87/54.99	c solving time = 8.730s
54.87/54.99	c #decision = 2293813
54.87/54.99	c #conflict = 1452
54.87/54.99	c #restart = 5
54.87/54.99	o 5004701669091
54.87/55.00	c Solving starts ...
60.48/60.53	c solving time = 5.507s
60.48/60.53	c #decision = 2296605
60.48/60.53	c #conflict = 1453
60.48/60.53	c #restart = 5
60.48/60.53	o 5004701669090
60.48/60.54	c Solving starts ...
66.17/66.29	c solving time = 5.728s
66.17/66.29	c #decision = 2299427
66.17/66.29	c #conflict = 1454
66.17/66.29	c #restart = 5
66.17/66.29	o 5004701669089
66.27/66.30	c Solving starts ...
76.57/76.64	c solving time = 10.322s
76.57/76.64	c #decision = 2303010
76.57/76.64	c #conflict = 1468
76.57/76.64	c #restart = 5
76.57/76.64	o 5004701669088
76.67/76.73	c Solving starts ...
87.87/87.98	c solving time = 11.229s
87.87/87.98	c #decision = 2305795
87.87/87.98	c #conflict = 1472
87.87/87.98	c #restart = 5
87.87/87.98	o 5004701669087
87.87/87.99	c Solving starts ...
94.67/94.78	c solving time = 6.768s
94.67/94.78	c #decision = 2308528
94.67/94.78	c #conflict = 1473
94.67/94.78	c #restart = 5
94.67/94.78	o 5004701669086
94.67/94.79	c Solving starts ...
109.67/109.78	c solving time = 14.973s
109.67/109.78	c #decision = 2311343
109.67/109.78	c #conflict = 1480
109.67/109.78	c #restart = 5
109.67/109.78	o 5004701669085
109.67/109.80	c Solving starts ...
125.16/125.24	c solving time = 15.422s
125.16/125.24	c #decision = 2314069
125.16/125.24	c #conflict = 1484
125.16/125.24	c #restart = 5
125.16/125.24	o 5004701669084
125.16/125.25	c Solving starts ...
143.56/143.63	c solving time = 18.359s
143.56/143.63	c #decision = 2316779
143.56/143.63	c #conflict = 1489
143.56/143.63	c #restart = 5
143.56/143.63	o 5004701669083
143.66/143.72	c Solving starts ...
154.66/154.73	c solving time = 10.986s
154.66/154.73	c #decision = 2319527
154.66/154.73	c #conflict = 1493
154.66/154.73	c #restart = 5
154.66/154.73	o 5004701669082
154.76/154.82	c Solving starts ...
173.46/173.52	c solving time = 18.678s
173.46/173.52	c #decision = 2322250
173.46/173.52	c #conflict = 1498
173.46/173.52	c #restart = 5
173.46/173.52	o 5004701669081
173.46/173.53	c Solving starts ...
184.95/185.03	c solving time = 11.475s
184.95/185.03	c #decision = 2324951
184.95/185.03	c #conflict = 1500
184.95/185.03	c #restart = 5
184.95/185.03	o 5004701669080
184.95/185.04	c Solving starts ...
210.16/210.26	c solving time = 25.194s
210.16/210.26	c #decision = 2327744
210.16/210.26	c #conflict = 1510
210.16/210.26	c #restart = 5
210.16/210.26	o 5004701669079
210.16/210.27	c Solving starts ...
222.65/222.73	c solving time = 12.442s
222.65/222.73	c #decision = 2330411
222.65/222.73	c #conflict = 1512
222.65/222.73	c #restart = 5
222.65/222.73	o 5004701669078
222.65/222.75	c Solving starts ...
390.71/390.86	c solving time = 168.060s
390.71/390.86	c #decision = 2333245
390.71/390.86	c #conflict = 1574
390.71/390.86	c #restart = 5
390.71/390.86	o 5004701669077
390.71/390.88	c Solving starts ...
494.80/494.94	c solving time = 104.029s
494.80/494.94	c #decision = 2335996
494.80/494.94	c #conflict = 1611
494.80/494.94	c #restart = 5
494.80/494.94	o 5004701669076
494.80/494.95	c Solving starts ...
552.29/552.46	c solving time = 57.481s
552.29/552.46	c #decision = 2338712
552.29/552.46	c #conflict = 1630
552.29/552.46	c #restart = 5
552.29/552.46	o 5004701669075
552.29/552.47	c Solving starts ...
615.77/615.91	c solving time = 63.406s
615.77/615.91	c #decision = 2343198
615.77/615.91	c #conflict = 1658
615.77/615.91	c #restart = 5
615.77/615.91	o 5004683213459
615.77/615.92	c Solving starts ...
752.15/752.39	c solving time = 136.430s
752.15/752.39	c #decision = 2345952
752.15/752.39	c #conflict = 1707
752.15/752.39	c #restart = 5
752.15/752.39	o 5004683213458
752.26/752.40	c Solving starts ...
959.32/959.53	c solving time = 207.081s
959.32/959.53	c #decision = 2348727
959.32/959.53	c #conflict = 1785
959.32/959.53	c #restart = 5
959.32/959.54	o 5004683213457
959.32/959.55	c Solving starts ...
1055.82/1056.05	c solving time = 96.475s
1055.82/1056.05	c #decision = 2351450
1055.82/1056.05	c #conflict = 1818
1055.82/1056.05	c #restart = 5
1055.82/1056.06	o 5004683213456
1055.82/1056.07	c Solving starts ...
1149.20/1149.48	c solving time = 93.378s
1149.20/1149.48	c #decision = 2354153
1149.20/1149.48	c #conflict = 1851
1149.20/1149.48	c #restart = 5
1149.20/1149.48	o 5004683213455
1149.20/1149.49	c Solving starts ...
1312.47/1312.76	c solving time = 163.224s
1312.47/1312.76	c #decision = 2356909
1312.47/1312.76	c #conflict = 1909
1312.47/1312.76	c #restart = 5
1312.47/1312.76	o 5004683213454
1312.47/1312.77	c Solving starts ...
1398.46/1398.79	c solving time = 85.985s
1398.46/1398.79	c #decision = 2359622
1398.46/1398.79	c #conflict = 1938
1398.46/1398.79	c #restart = 5
1398.46/1398.79	o 5004683213453
1398.56/1398.89	c Solving starts ...
1712.31/1712.66	c solving time = 313.699s
1712.31/1712.66	c #decision = 2362831
1712.31/1712.66	c #conflict = 2050
1712.31/1712.66	c #restart = 6
1712.31/1712.66	o 5004683213452
1712.31/1712.67	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-3706326-1338141741/watcher-3706326-1338141741 -o /tmp/evaluation-result-3706326-1338141741/solver-3706326-1338141741 -C 1800 -W 1900 -M 15500 HOME/toysat --pb HOME/instance-3706326-1338141741.opb 

running on 4 cores: 0,2,4,6

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


[startup+0 s]
/proc/loadavg: 2.00 2.00 2.00 3/175 29665
/proc/meminfo: memFree=31003352/32873844 swapFree=7112/7112
[pid=29665] ppid=29663 vsize=11812 CPUtime=0 cores=0,2,4,6
/proc/29665/stat : 29665 (runsolver) D 29663 29665 27148 0 -1 4202560 41 0 0 0 0 0 0 0 20 0 1 0 280299783 12095488 51 33554432000 4194304 5436572 140733760686896 140733760683192 4883175 0 0 4096 24578 18446744071579943789 0 0 17 2 0 0 0 0 0
/proc/29665/statm: 2953 51 31 304 0 2645 0

[startup+0.103866 s]
/proc/loadavg: 2.00 2.00 2.00 3/175 29665
/proc/meminfo: memFree=31003352/32873844 swapFree=7112/7112
[pid=29665] ppid=29663 vsize=11328 CPUtime=0.09 cores=0,2,4,6
/proc/29665/stat : 29665 (toysat) R 29663 29665 27148 0 -1 4202496 2099 0 0 0 9 0 0 0 20 0 1 0 280299783 11599872 2020 33554432000 4194304 8973514 140734625602576 140733760683080 7937344 0 2 0 34082818 0 0 0 17 4 0 0 0 0 0
/proc/29665/statm: 2832 2020 418 1167 0 1613 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 11328

[startup+0.200306 s]
/proc/loadavg: 2.00 2.00 2.00 3/175 29665
/proc/meminfo: memFree=31003352/32873844 swapFree=7112/7112
[pid=29665] ppid=29663 vsize=19520 CPUtime=0.18 cores=0,2,4,6
/proc/29665/stat : 29665 (toysat) R 29663 29665 27148 0 -1 4202496 3977 0 0 0 18 0 0 0 20 0 1 0 280299783 19988480 3898 33554432000 4194304 8973514 140734625602576 140733760683080 7937344 0 0 0 34082818 0 0 0 17 4 0 0 0 0 0
/proc/29665/statm: 4880 3898 418 1167 0 3661 0
Current children cumulated CPU time (s) 0.18
Current children cumulated vsize (KiB) 19520

[startup+0.300312 s]
/proc/loadavg: 2.00 2.00 2.00 3/175 29665
/proc/meminfo: memFree=31003352/32873844 swapFree=7112/7112
[pid=29665] ppid=29663 vsize=24640 CPUtime=0.28 cores=0,2,4,6
/proc/29665/stat : 29665 (toysat) R 29663 29665 27148 0 -1 4202496 5427 0 0 0 27 1 0 0 20 0 1 0 280299783 25231360 5348 33554432000 4194304 8973514 140734625602576 140733760683080 7841851 0 2 0 34082818 0 0 0 17 4 0 0 0 0 0
/proc/29665/statm: 6160 5348 418 1167 0 4941 0
Current children cumulated CPU time (s) 0.28
Current children cumulated vsize (KiB) 24640

[startup+0.700274 s]
/proc/loadavg: 2.00 2.00 2.00 3/175 29665
/proc/meminfo: memFree=31003352/32873844 swapFree=7112/7112
[pid=29665] ppid=29663 vsize=52288 CPUtime=0.68 cores=0,2,4,6
/proc/29665/stat : 29665 (toysat) R 29663 29665 27148 0 -1 4202496 12339 0 0 0 66 2 0 0 20 0 1 0 280299783 53542912 12260 33554432000 4194304 8973514 140734625602576 140733760683080 7937344 0 0 0 34082818 0 0 0 17 4 0 0 0 0 0
/proc/29665/statm: 13072 12260 418 1167 0 11853 0
Current children cumulated CPU time (s) 0.68
Current children cumulated vsize (KiB) 52288

[startup+1.50027 s]
/proc/loadavg: 2.00 2.00 2.00 3/176 29666
/proc/meminfo: memFree=30930540/32873844 swapFree=7112/7112
[pid=29665] ppid=29663 vsize=91200 CPUtime=1.49 cores=0,2,4,6
/proc/29665/stat : 29665 (toysat) R 29663 29665 27148 0 -1 4202496 22067 0 0 0 144 5 0 0 20 0 1 0 280299783 93388800 21988 33554432000 4194304 8973514 140734625602576 140734625601416 7937344 0 0 0 34082818 0 0 0 17 4 0 0 0 0 0
/proc/29665/statm: 22800 21988 418 1167 0 21581 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 91200

[startup+3.10022 s]
/proc/loadavg: 2.00 2.00 2.00 3/176 29666
/proc/meminfo: memFree=30853164/32873844 swapFree=7112/7112
[pid=29665] ppid=29663 vsize=145472 CPUtime=3.09 cores=0,2,4,6
/proc/29665/stat : 29665 (toysat) R 29663 29665 27148 0 -1 4202496 35656 0 0 0 302 7 0 0 20 0 1 0 280299783 148963328 35577 33554432000 4194304 8973514 140734625602576 140734625602072 7937344 0 0 0 34082818 0 0 0 17 4 0 0 0 0 0
/proc/29665/statm: 36368 35577 433 1167 0 35149 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 145472

[startup+6.30024 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 29667
/proc/meminfo: memFree=30852536/32873844 swapFree=7112/7112
[pid=29665] ppid=29663 vsize=145472 CPUtime=6.29 cores=0,2,4,6
/proc/29665/stat : 29665 (toysat) R 29663 29665 27148 0 -1 4202496 35656 0 0 0 621 8 0 0 20 0 1 0 280299783 148963328 35577 33554432000 4194304 8973514 140734625602576 140734625601840 4209272 0 2 0 34082818 0 0 0 17 4 0 0 0 0 0
/proc/29665/statm: 36368 35577 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.00 2.00 2.00 3/177 29667
/proc/meminfo: memFree=30852312/32873844 swapFree=7112/7112
[pid=29665] ppid=29663 vsize=145472 CPUtime=12.68 cores=0,2,4,6
/proc/29665/stat : 29665 (toysat) R 29663 29665 27148 0 -1 4202496 35668 0 0 0 1258 10 0 0 20 0 1 0 280299783 148963328 35589 33554432000 4194304 8973514 140734625602576 140734625602072 7937344 0 0 0 34082818 0 0 0 17 4 0 0 0 0 0
/proc/29665/statm: 36368 35589 445 1167 0 35149 0
Current children cumulated CPU time (s) 12.68
Current children cumulated vsize (KiB) 145472

[startup+25.5003 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 29667
/proc/meminfo: memFree=30845492/32873844 swapFree=7112/7112
[pid=29665] ppid=29663 vsize=145472 CPUtime=25.48 cores=0,2,4,6
/proc/29665/stat : 29665 (toysat) R 29663 29665 27148 0 -1 4202496 35680 0 0 0 2536 12 0 0 20 0 1 0 280299783 148963328 35601 33554432000 4194304 8973514 140734625602576 140734625602072 7937344 0 0 0 34082818 0 0 0 17 4 0 0 0 0 0
/proc/29665/statm: 36368 35601 457 1167 0 35149 0
Current children cumulated CPU time (s) 25.48
Current children cumulated vsize (KiB) 145472

[startup+51.1003 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 29667
/proc/meminfo: memFree=30830612/32873844 swapFree=7112/7112
[pid=29665] ppid=29663 vsize=156736 CPUtime=51.07 cores=0,2,4,6
/proc/29665/stat : 29665 (toysat) R 29663 29665 27148 0 -1 4202496 38496 0 0 0 5084 23 0 0 20 0 1 0 280299783 160497664 38417 33554432000 4194304 8973514 140734625602576 140734625601840 7937344 0 0 0 34082818 0 0 0 17 4 0 0 0 0 0
/proc/29665/statm: 39184 38417 457 1167 0 37965 0
Current children cumulated CPU time (s) 51.07
Current children cumulated vsize (KiB) 156736

[startup+102.3 s]
/proc/loadavg: 2.06 2.01 2.00 3/177 29667
/proc/meminfo: memFree=30809532/32873844 swapFree=7112/7112
[pid=29665] ppid=29663 vsize=171072 CPUtime=102.27 cores=0,2,4,6
/proc/29665/stat : 29665 (toysat) R 29663 29665 27148 0 -1 4202496 42080 0 0 0 10186 41 0 0 20 0 1 0 280299783 175177728 42001 33554432000 4194304 8973514 140734625602576 140734625602072 7841851 0 2 0 34082818 0 0 0 17 4 0 0 0 0 0
/proc/29665/statm: 42768 42001 457 1167 0 41549 0
Current children cumulated CPU time (s) 102.27
Current children cumulated vsize (KiB) 171072

[startup+162.3 s]
/proc/loadavg: 2.02 2.01 2.00 3/177 29667
/proc/meminfo: memFree=30792296/32873844 swapFree=7112/7112
[pid=29665] ppid=29663 vsize=181312 CPUtime=162.26 cores=0,2,4,6
/proc/29665/stat : 29665 (toysat) R 29663 29665 27148 0 -1 4202496 44640 0 0 0 16166 60 0 0 20 0 1 0 280299783 185663488 44561 33554432000 4194304 8973514 140734625602576 140734625601840 4208823 0 2 0 34082818 0 0 0 17 4 0 0 0 0 0
/proc/29665/statm: 45328 44561 457 1167 0 44109 0
Current children cumulated CPU time (s) 162.26
Current children cumulated vsize (KiB) 181312

[startup+222.306 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 29667
/proc/meminfo: memFree=30782996/32873844 swapFree=7112/7112
[pid=29665] ppid=29663 vsize=188480 CPUtime=222.26 cores=0,2,4,6
/proc/29665/stat : 29665 (toysat) R 29663 29665 27148 0 -1 4202496 46432 0 0 0 22147 79 0 0 20 0 1 0 280299783 193003520 46353 33554432000 4194304 8973514 140734625602576 140734625600512 7937344 0 0 0 34082818 0 0 0 17 4 0 0 0 0 0
/proc/29665/statm: 47120 46353 457 1167 0 45901 0
Current children cumulated CPU time (s) 222.26
Current children cumulated vsize (KiB) 188480

[startup+282.3 s]
/proc/loadavg: 1.95 1.98 1.99 3/177 29706
/proc/meminfo: memFree=31089728/32873844 swapFree=7112/7112
[pid=29665] ppid=29663 vsize=191552 CPUtime=282.24 cores=0,2,4,6
/proc/29665/stat : 29665 (toysat) R 29663 29665 27148 0 -1 4202496 47210 0 0 0 28130 94 0 0 20 0 1 0 280299783 196149248 47126 33554432000 4194304 8973514 140734625602576 140734625600512 7841851 0 2 0 34082818 0 0 0 17 4 0 0 0 0 0
/proc/29665/statm: 47888 47126 457 1167 0 46669 0
Current children cumulated CPU time (s) 282.24
Current children cumulated vsize (KiB) 191552

[startup+342.3 s]
/proc/loadavg: 1.98 1.98 1.99 3/177 29707
/proc/meminfo: memFree=31083432/32873844 swapFree=7112/7112
[pid=29665] ppid=29663 vsize=191552 CPUtime=342.22 cores=0,2,4,6
/proc/29665/stat : 29665 (toysat) R 29663 29665 27148 0 -1 4202496 47221 0 0 0 34116 106 0 0 20 0 1 0 280299783 196149248 47126 33554432000 4194304 8973514 140734625602576 140734625601840 4209168 0 2 0 34082818 0 0 0 17 4 0 0 0 0 0
/proc/29665/statm: 47888 47126 457 1167 0 46669 0
Current children cumulated CPU time (s) 342.22
Current children cumulated vsize (KiB) 191552

[startup+402.3 s]
/proc/loadavg: 1.99 1.98 1.99 3/177 29707
/proc/meminfo: memFree=31078316/32873844 swapFree=7112/7112
[pid=29665] ppid=29663 vsize=194624 CPUtime=402.21 cores=0,2,4,6
/proc/29665/stat : 29665 (toysat) R 29663 29665 27148 0 -1 4202496 47995 0 0 0 40098 123 0 0 20 0 1 0 280299783 199294976 47894 33554432000 4194304 8973514 140734625602576 140734625601840 4208820 0 2 0 34082818 0 0 0 17 4 0 0 0 0 0
/proc/29665/statm: 48656 47894 457 1167 0 47437 0
Current children cumulated CPU time (s) 402.21
Current children cumulated vsize (KiB) 194624

[startup+462.3 s]
/proc/loadavg: 1.99 1.98 1.99 3/178 29710
/proc/meminfo: memFree=31073152/32873844 swapFree=7112/7112
[pid=29665] ppid=29663 vsize=194624 CPUtime=462.2 cores=0,2,4,6
/proc/29665/stat : 29665 (toysat) R 29663 29665 27148 0 -1 4202496 47995 0 0 0 46082 138 0 0 20 0 1 0 280299783 199294976 47894 33554432000 4194304 8973514 140734625602576 140734625601840 7937344 0 0 0 34082818 0 0 0 17 4 0 0 0 0 0
/proc/29665/statm: 48656 47894 457 1167 0 47437 0
Current children cumulated CPU time (s) 462.2
Current children cumulated vsize (KiB) 194624

[startup+522.3 s]
/proc/loadavg: 1.99 1.98 1.99 3/177 29710
/proc/meminfo: memFree=31067208/32873844 swapFree=7112/7112
[pid=29665] ppid=29663 vsize=197696 CPUtime=522.19 cores=0,2,4,6
/proc/29665/stat : 29665 (toysat) R 29663 29665 27148 0 -1 4202496 48763 0 0 0 52064 155 0 0 20 0 1 0 280299783 202440704 48662 33554432000 4194304 8973514 140734625602576 140734625600512 7841851 0 2 0 34082818 0 0 0 17 4 0 0 0 0 0
/proc/29665/statm: 49424 48662 457 1167 0 48205 0
Current children cumulated CPU time (s) 522.19
Current children cumulated vsize (KiB) 197696

[startup+582.3 s]
/proc/loadavg: 1.99 1.98 1.99 3/177 29710
/proc/meminfo: memFree=31063108/32873844 swapFree=7112/7112
[pid=29665] ppid=29663 vsize=199744 CPUtime=582.18 cores=0,2,4,6
/proc/29665/stat : 29665 (toysat) R 29663 29665 27148 0 -1 4202496 49276 0 0 0 58048 170 0 0 20 0 1 0 280299783 204537856 49174 33554432000 4194304 8973514 140734625602576 140734625602072 4204292 0 2 0 34082818 0 0 0 17 4 0 0 0 0 0
/proc/29665/statm: 49936 49174 457 1167 0 48717 0
Current children cumulated CPU time (s) 582.18
Current children cumulated vsize (KiB) 199744

[startup+642.3 s]

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

[startup+882.306 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 29711
/proc/meminfo: memFree=31046536/32873844 swapFree=7112/7112
[pid=29665] ppid=29663 vsize=205888 CPUtime=882.14 cores=0,2,4,6
/proc/29665/stat : 29665 (toysat) R 29663 29665 27148 0 -1 4202496 50813 0 0 0 87967 247 0 0 20 0 1 0 280299783 210829312 50710 33554432000 4194304 8973514 140734625602576 140734625602072 7841851 0 2 0 34082818 0 0 0 17 4 0 0 0 0 0
/proc/29665/statm: 51472 50710 457 1167 0 50253 0
Current children cumulated CPU time (s) 882.14
Current children cumulated vsize (KiB) 205888

[startup+942.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 29712
/proc/meminfo: memFree=31045540/32873844 swapFree=7112/7112
[pid=29665] ppid=29663 vsize=206912 CPUtime=942.13 cores=0,2,4,6
/proc/29665/stat : 29665 (toysat) R 29663 29665 27148 0 -1 4202496 51069 0 0 0 93951 262 0 0 20 0 1 0 280299783 211877888 50966 33554432000 4194304 8973514 140734625602576 140734625601840 7841851 0 2 0 34082818 0 0 0 17 4 0 0 0 0 0
/proc/29665/statm: 51728 50966 457 1167 0 50509 0
Current children cumulated CPU time (s) 942.13
Current children cumulated vsize (KiB) 206912

[startup+1002.3 s]
/proc/loadavg: 2.03 2.01 2.00 3/177 29712
/proc/meminfo: memFree=31043308/32873844 swapFree=7112/7112
[pid=29665] ppid=29663 vsize=208960 CPUtime=1002.11 cores=0,2,4,6
/proc/29665/stat : 29665 (toysat) R 29663 29665 27148 0 -1 4202496 51581 0 0 0 99931 280 0 0 20 0 1 0 280299783 213975040 51478 33554432000 4194304 8973514 140734625602576 140734625601840 4208887 0 2 0 34082818 0 0 0 17 4 0 0 0 0 0
/proc/29665/statm: 52240 51478 457 1167 0 51021 0
Current children cumulated CPU time (s) 1002.11
Current children cumulated vsize (KiB) 208960

[startup+1062.3 s]
/proc/loadavg: 2.10 2.04 2.01 3/178 29715
/proc/meminfo: memFree=31041528/32873844 swapFree=7112/7112
[pid=29665] ppid=29663 vsize=208960 CPUtime=1062.11 cores=0,2,4,6
/proc/29665/stat : 29665 (toysat) R 29663 29665 27148 0 -1 4202496 51582 0 0 0 105915 296 0 0 20 0 1 0 280299783 213975040 51478 33554432000 4194304 8973514 140734625602576 140734625602072 7937344 0 0 0 34082818 0 0 0 17 4 0 0 0 0 0
/proc/29665/statm: 52240 51478 457 1167 0 51021 0
Current children cumulated CPU time (s) 1062.11
Current children cumulated vsize (KiB) 208960

[startup+1122.3 s]
/proc/loadavg: 2.12 2.06 2.01 3/177 29715
/proc/meminfo: memFree=31038588/32873844 swapFree=7112/7112
[pid=29665] ppid=29663 vsize=212032 CPUtime=1122.1 cores=0,2,4,6
/proc/29665/stat : 29665 (toysat) R 29663 29665 27148 0 -1 4202496 52350 0 0 0 111901 309 0 0 20 0 1 0 280299783 217120768 52246 33554432000 4194304 8973514 140734625602576 140734625600512 7841851 0 2 0 34082818 0 0 0 17 4 0 0 0 0 0
/proc/29665/statm: 53008 52246 457 1167 0 51789 0
Current children cumulated CPU time (s) 1122.1
Current children cumulated vsize (KiB) 212032

[startup+1182.3 s]
/proc/loadavg: 2.04 2.04 2.00 3/177 29715
/proc/meminfo: memFree=31030336/32873844 swapFree=7112/7112
[pid=29665] ppid=29663 vsize=215104 CPUtime=1182.08 cores=0,2,4,6
/proc/29665/stat : 29665 (toysat) R 29663 29665 27148 0 -1 4202496 53118 0 0 0 117884 324 0 0 20 0 1 0 280299783 220266496 53014 33554432000 4194304 8973514 140734625602576 140734625602072 7937344 0 0 0 34082818 0 0 0 17 4 0 0 0 0 0
/proc/29665/statm: 53776 53014 457 1167 0 52557 0
Current children cumulated CPU time (s) 1182.08
Current children cumulated vsize (KiB) 215104

[startup+1242.3 s]
/proc/loadavg: 2.09 2.06 2.01 3/177 29716
/proc/meminfo: memFree=31030212/32873844 swapFree=7112/7112
[pid=29665] ppid=29663 vsize=215104 CPUtime=1242.08 cores=0,2,4,6
/proc/29665/stat : 29665 (toysat) R 29663 29665 27148 0 -1 4202496 53118 0 0 0 123869 339 0 0 20 0 1 0 280299783 220266496 53014 33554432000 4194304 8973514 140734625602576 140734625602072 7841851 0 2 0 34082818 0 0 0 17 4 0 0 0 0 0
/proc/29665/statm: 53776 53014 457 1167 0 52557 0
Current children cumulated CPU time (s) 1242.08
Current children cumulated vsize (KiB) 215104

[startup+1302.3 s]
/proc/loadavg: 2.07 2.06 2.01 3/177 29716
/proc/meminfo: memFree=31027112/32873844 swapFree=7112/7112
[pid=29665] ppid=29663 vsize=215104 CPUtime=1302.07 cores=0,2,4,6
/proc/29665/stat : 29665 (toysat) R 29663 29665 27148 0 -1 4202496 53118 0 0 0 129855 352 0 0 20 0 1 0 280299783 220266496 53014 33554432000 4194304 8973514 140734625602576 140734625600512 7937344 0 0 0 34082818 0 0 0 17 4 0 0 0 0 0
/proc/29665/statm: 53776 53014 457 1167 0 52557 0
Current children cumulated CPU time (s) 1302.07
Current children cumulated vsize (KiB) 215104

[startup+1362.3 s]
/proc/loadavg: 2.06 2.06 2.01 3/177 29716
/proc/meminfo: memFree=31024444/32873844 swapFree=7112/7112
[pid=29665] ppid=29663 vsize=218176 CPUtime=1362.06 cores=0,2,4,6
/proc/29665/stat : 29665 (toysat) R 29663 29665 27148 0 -1 4202496 53886 0 0 0 135837 369 0 0 20 0 1 0 280299783 223412224 53782 33554432000 4194304 8973514 140734625602576 140734625602072 4209212 0 2 0 34082818 0 0 0 17 4 0 0 0 0 0
/proc/29665/statm: 54544 53782 457 1167 0 53325 0
Current children cumulated CPU time (s) 1362.06
Current children cumulated vsize (KiB) 218176

[startup+1422.3 s]
/proc/loadavg: 2.02 2.05 2.00 3/177 29716
/proc/meminfo: memFree=31020284/32873844 swapFree=7112/7112
[pid=29665] ppid=29663 vsize=220224 CPUtime=1422.06 cores=0,2,4,6
/proc/29665/stat : 29665 (toysat) R 29663 29665 27148 0 -1 4202496 54398 0 0 0 141820 386 0 0 20 0 1 0 280299783 225509376 54294 33554432000 4194304 8973514 140734625602576 140734625602072 4209136 0 2 0 34082818 0 0 0 17 4 0 0 0 0 0
/proc/29665/statm: 55056 54294 457 1167 0 53837 0
Current children cumulated CPU time (s) 1422.06
Current children cumulated vsize (KiB) 220224

[startup+1482.3 s]
/proc/loadavg: 2.01 2.04 2.00 3/178 29717
/proc/meminfo: memFree=31015688/32873844 swapFree=7112/7112
[pid=29665] ppid=29663 vsize=221248 CPUtime=1482.04 cores=0,2,4,6
/proc/29665/stat : 29665 (toysat) R 29663 29665 27148 0 -1 4202496 54654 0 0 0 147803 401 0 0 20 0 1 0 280299783 226557952 54550 33554432000 4194304 8973514 140734625602576 140734625601840 7937344 0 0 0 34082818 0 0 0 17 4 0 0 0 0 0
/proc/29665/statm: 55312 54550 457 1167 0 54093 0
Current children cumulated CPU time (s) 1482.04
Current children cumulated vsize (KiB) 221248

[startup+1542.31 s]
/proc/loadavg: 2.00 2.03 2.00 3/177 29718
/proc/meminfo: memFree=31015696/32873844 swapFree=7112/7112
[pid=29665] ppid=29663 vsize=221248 CPUtime=1542.04 cores=0,2,4,6
/proc/29665/stat : 29665 (toysat) R 29663 29665 27148 0 -1 4202496 54654 0 0 0 153789 415 0 0 20 0 1 0 280299783 226557952 54550 33554432000 4194304 8973514 140734625602576 140734625601840 4204289 0 2 0 34082818 0 0 0 17 4 0 0 0 0 0
/proc/29665/statm: 55312 54550 457 1167 0 54093 0
Current children cumulated CPU time (s) 1542.04
Current children cumulated vsize (KiB) 221248

[startup+1602.3 s]
/proc/loadavg: 2.00 2.02 2.00 3/177 29718
/proc/meminfo: memFree=31013520/32873844 swapFree=7112/7112
[pid=29665] ppid=29663 vsize=221248 CPUtime=1602.02 cores=0,2,4,6
/proc/29665/stat : 29665 (toysat) R 29663 29665 27148 0 -1 4202496 54654 0 0 0 159776 426 0 0 20 0 1 0 280299783 226557952 54550 33554432000 4194304 8973514 140734625602576 140734625600576 7937344 0 0 0 34082818 0 0 0 17 4 0 0 0 0 0
/proc/29665/statm: 55312 54550 457 1167 0 54093 0
Current children cumulated CPU time (s) 1602.02
Current children cumulated vsize (KiB) 221248

[startup+1662.3 s]
/proc/loadavg: 2.00 2.02 2.00 3/178 29721
/proc/meminfo: memFree=31010536/32873844 swapFree=7112/7112
[pid=29665] ppid=29663 vsize=221248 CPUtime=1662.02 cores=0,2,4,6
/proc/29665/stat : 29665 (toysat) R 29663 29665 27148 0 -1 4202496 54654 0 0 0 165763 439 0 0 20 0 1 0 280299783 226557952 54550 33554432000 4194304 8973514 140734625602576 140734625602072 7841851 0 2 0 34082818 0 0 0 17 4 0 0 0 0 0
/proc/29665/statm: 55312 54550 457 1167 0 54093 0
Current children cumulated CPU time (s) 1662.02
Current children cumulated vsize (KiB) 221248

[startup+1722.3 s]
/proc/loadavg: 2.00 2.01 2.00 3/177 29721
/proc/meminfo: memFree=31009296/32873844 swapFree=7112/7112
[pid=29665] ppid=29663 vsize=222272 CPUtime=1722 cores=0,2,4,6
/proc/29665/stat : 29665 (toysat) R 29663 29665 27148 0 -1 4202496 54910 0 0 0 171745 455 0 0 20 0 1 0 280299783 227606528 54806 33554432000 4194304 8973514 140734625602576 140734625602072 7937344 0 0 0 34082818 0 0 0 17 4 0 0 0 0 0
/proc/29665/statm: 55568 54806 457 1167 0 54349 0
Current children cumulated CPU time (s) 1722
Current children cumulated vsize (KiB) 222272

[startup+1782.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 29721
/proc/meminfo: memFree=31005204/32873844 swapFree=7112/7112
[pid=29665] ppid=29663 vsize=224320 CPUtime=1782 cores=0,2,4,6
/proc/29665/stat : 29665 (toysat) R 29663 29665 27148 0 -1 4202496 55422 0 0 0 177732 468 0 0 20 0 1 0 280299783 229703680 55318 33554432000 4194304 8973514 140734625602576 140734625601840 7937344 0 0 0 34082818 0 0 0 17 4 0 0 0 0 0
/proc/29665/statm: 56080 55318 457 1167 0 54861 0
Current children cumulated CPU time (s) 1782
Current children cumulated vsize (KiB) 224320



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1800.4 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 29721
/proc/meminfo: memFree=31003344/32873844 swapFree=7112/7112
[pid=29665] ppid=29663 vsize=224320 CPUtime=1800.11 cores=0,2,4,6
/proc/29665/stat : 29665 (toysat) R 29663 29665 27148 0 -1 4202496 55422 0 0 0 179539 472 0 0 20 0 1 0 280299783 229703680 55318 33554432000 4194304 8973514 140734625602576 140734625601840 7937344 0 0 0 34082818 0 0 0 17 4 0 0 0 0 0
/proc/29665/statm: 56080 55318 457 1167 0 54861 0
Current children cumulated CPU time (s) 1800.11
Current children cumulated vsize (KiB) 224320

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

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

[startup+1800.4 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 29721
/proc/meminfo: memFree=31003344/32873844 swapFree=7112/7112
[pid=29665] ppid=29663 vsize=224320 CPUtime=1800.11 cores=0,2,4,6
/proc/29665/stat : 29665 (toysat) R 29663 29665 27148 0 -1 4202496 55422 0 0 0 179539 472 0 0 20 0 1 0 280299783 229703680 55318 33554432000 4194304 8973514 140734625602576 140734625601840 7937344 0 0 0 34082818 0 0 0 17 4 0 0 0 0 0
/proc/29665/statm: 56080 55318 457 1167 0 54861 0
Current children cumulated CPU time (s) 1800.11
Current children cumulated vsize (KiB) 224320

Child ended because it received signal 15 (SIGTERM)
Real time (s): 1800.41
CPU time (s): 1800.11
CPU user time (s): 1795.39
CPU system time (s): 4.72128
CPU usage (%): 99.9836
Max. virtual memory (cumulated for all children) (KiB): 224320

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1795.39
system time used= 4.72128
maximum resident set size= 221272
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 55422
page faults= 0
swaps= 0
block input operations= 0
block output operations= 0
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 32
involuntary context switches= 2083

runsolver used 3.50247 second user time and 8.75367 second system time

The end

Launcher Data

Begin job on node119 at 2012-05-27 20:02:21
IDJOB=3706326
IDBENCH=72395
IDSOLVER=2285
FILE ID=node119/3706326-1338141741
RUNJOBID= node119-1338113000-27164
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/10orplus/normalized-mercurial-common.cudf.trendy.opb
COMMAND LINE= HOME/toysat --pb BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-3706326-1338141741/watcher-3706326-1338141741 -o /tmp/evaluation-result-3706326-1338141741/solver-3706326-1338141741 -C 1800 -W 1900 -M 15500  HOME/toysat --pb HOME/instance-3706326-1338141741.opb

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

MD5SUM BENCH= 6bb48d2b0ff46f6e7b073e580100f5b4
RANDOM SEED=1562692951

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:        31003492 kB
Buffers:          304972 kB
Cached:           342616 kB
SwapCached:         1844 kB
Active:           937736 kB
Inactive:         134144 kB
Active(anon):     424412 kB
Inactive(anon):     2068 kB
Active(file):     513324 kB
Inactive(file):   132076 kB
Unevictable:        7112 kB
Mlocked:            7112 kB
SwapTotal:      67108856 kB
SwapFree:       67100196 kB
Dirty:             10760 kB
Writeback:             0 kB
AnonPages:        431488 kB
Mapped:            13600 kB
Shmem:                 8 kB
Slab:             657644 kB
SReclaimable:      99764 kB
SUnreclaim:       557880 kB
KernelStack:        1424 kB
PageTables:         4676 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83545776 kB
Committed_AS:     543168 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      346368 kB
VmallocChunk:   34341987984 kB
HardwareCorrupted:     0 kB
AnonHugePages:    405504 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:32:24