Trace number 3725649

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.06 1800.41

General information on the benchmark

Namenormalized-PB07/OPT-SMALLINT-NLC/submittedPB07/
manquinho/mds/normalized-mds_100_25_4.opb
MD5SUM4c6ab7a9b1b11dc4bf8c6231156cc585
Bench CategoryOPT-SMALLINT-NLC (optimisation, small integers, non linear constraints)
Best result obtained on this benchmarkOPT
Best value of the objective obtained on this benchmark5
Best CPU time to get the best result obtained on this benchmark1.88071
Has Objective FunctionYES
SatisfiableYES
(Un)Satisfiability was provedYES
Best value of the objective function 5
Optimality of the best value was proved YES
Number of variables100
Total number of constraints100
Number of constraints which are clauses0
Number of constraints which are cardinality constraints (but not clauses)0
Number of constraints which are nor clauses,nor cardinality constraints100
Minimum length of a constraint26
Maximum length of a constraint41
Number of terms in the objective function 100
Biggest coefficient in the objective function 1
Number of bits for the biggest coefficient in the objective function 1
Sum of the numbers in the objective function 100
Number of bits of the sum of numbers in the objective function 7
Biggest number in a constraint 1
Number of bits of the biggest number in a constraint 1
Biggest sum of numbers in a constraint 100
Number of bits of the biggest sum of numbers7
Number of products (including duplicates)3070
Sum of products size (including duplicates)6140
Number of different products3070
Sum of products size6140

Solver Data 

0.04/0.05	c 2012-06-02T14:06:14+0200
0.04/0.05	c arch = x86_64
0.04/0.05	c os = linux
0.04/0.05	c compiler = ghc 7.4
0.04/0.05	c packages:
0.04/0.05	c   OptDir-0.0.1
0.04/0.05	c   array-0.4.0.0
0.04/0.05	c   base-4.5.0.0
0.04/0.05	c   bytestring-0.9.2.1
0.04/0.05	c   containers-0.4.2.1
0.04/0.05	c   deepseq-1.3.0.0
0.04/0.05	c   mtl-2.1.1
0.04/0.05	c   old_locale-1.0.0.4
0.04/0.05	c   parse_dimacs-1.2
0.04/0.05	c   parsec-3.1.2
0.04/0.05	c   queue-0.1.2
0.04/0.05	c   stm-2.3
0.04/0.05	c   time-1.4
0.04/0.05	c command line = ["+RTS","-K1G","-RTS","--pb","HOME/instance-3725649-1338638774.opb"]
0.04/0.05	c #vars 100
0.04/0.05	c #constraints 100
0.04/0.05	c Solving starts ...
0.04/0.06	c solving time = 0.012s
0.04/0.06	c #decision = 93
0.04/0.06	c #conflict = 0
0.04/0.06	c #restart = 0
0.04/0.06	o 7
0.04/0.06	c Solving starts ...
10.49/10.52	c solving time = 10.455s
10.49/10.52	c #decision = 9474
10.49/10.52	c #conflict = 5066
10.49/10.52	c #restart = 8
10.49/10.52	o 6
10.49/10.52	c Solving starts ...
10.49/10.53	c learnt constraints deletion: 5058 -> 2529
24.68/24.70	c learnt constraints deletion: 9203 -> 4602
39.18/39.22	c learnt constraints deletion: 11193 -> 5598
53.28/53.39	c learnt constraints deletion: 12375 -> 6188
70.88/70.92	c learnt constraints deletion: 13982 -> 6991
86.06/86.18	c learnt constraints deletion: 13811 -> 6907
104.66/104.73	c learnt constraints deletion: 15472 -> 7736
120.76/120.83	c learnt constraints deletion: 14645 -> 7324
140.46/140.50	c learnt constraints deletion: 16230 -> 8119
158.65/158.74	c learnt constraints deletion: 16368 -> 8191
176.05/176.15	c learnt constraints deletion: 16526 -> 8274
192.75/192.88	c learnt constraints deletion: 16740 -> 8386
210.95/211.09	c learnt constraints deletion: 18635 -> 9342
226.15/226.23	c learnt constraints deletion: 18011 -> 9006
247.04/247.15	c learnt constraints deletion: 17872 -> 8937
269.13/269.27	c learnt constraints deletion: 18727 -> 9368
287.94/288.08	c learnt constraints deletion: 18011 -> 9013
312.43/312.58	c learnt constraints deletion: 20270 -> 10135
335.03/335.14	c learnt constraints deletion: 20299 -> 10153
357.92/358.03	c learnt constraints deletion: 20250 -> 10131
379.62/379.71	c learnt constraints deletion: 20022 -> 10021
400.32/400.47	c learnt constraints deletion: 20431 -> 10231
419.71/419.80	c learnt constraints deletion: 20260 -> 10151
440.01/440.12	c learnt constraints deletion: 21196 -> 10598
466.31/466.43	c learnt constraints deletion: 21495 -> 10749
493.29/493.41	c learnt constraints deletion: 21813 -> 10912
518.59/518.74	c learnt constraints deletion: 21825 -> 10923
542.49/542.69	c learnt constraints deletion: 22163 -> 11098
561.18/561.33	c learnt constraints deletion: 21395 -> 10698
587.37/587.55	c learnt constraints deletion: 22571 -> 11286
612.58/612.75	c learnt constraints deletion: 22154 -> 11080
637.08/637.28	c learnt constraints deletion: 22152 -> 11083
664.27/664.49	c learnt constraints deletion: 23994 -> 12010
687.46/687.62	c learnt constraints deletion: 24471 -> 12257
710.24/710.41	c learnt constraints deletion: 23567 -> 11784
736.85/737.01	c learnt constraints deletion: 23610 -> 11807
764.44/764.66	c learnt constraints deletion: 23916 -> 11964
792.04/792.29	c learnt constraints deletion: 24370 -> 12196
817.23/817.46	c learnt constraints deletion: 24422 -> 12230
844.83/845.00	c learnt constraints deletion: 24371 -> 12186
873.53/873.79	c learnt constraints deletion: 24115 -> 12059
900.42/900.65	c learnt constraints deletion: 23995 -> 12004
926.61/926.88	c learnt constraints deletion: 24014 -> 12018
950.50/950.74	c learnt constraints deletion: 24506 -> 12271
977.09/977.39	c learnt constraints deletion: 26455 -> 13228
1008.79/1009.06	c learnt constraints deletion: 26111 -> 13057
1038.39/1038.69	c learnt constraints deletion: 26266 -> 13139
1067.29/1067.59	c learnt constraints deletion: 26573 -> 13298
1094.19/1094.41	c learnt constraints deletion: 26489 -> 13262
1118.48/1118.73	c learnt constraints deletion: 27336 -> 13694
1148.47/1148.73	c learnt constraints deletion: 26658 -> 13329
1178.56/1178.86	c learnt constraints deletion: 26018 -> 13013
1207.85/1208.13	c learnt constraints deletion: 26176 -> 13097
1235.84/1236.16	c learnt constraints deletion: 26540 -> 13285
1259.24/1259.55	c learnt constraints deletion: 25934 -> 12967
1290.93/1291.24	c learnt constraints deletion: 26302 -> 13151
1322.32/1322.68	c learnt constraints deletion: 26118 -> 13063
1350.02/1350.36	c learnt constraints deletion: 26564 -> 13292
1376.52/1376.83	c learnt constraints deletion: 26773 -> 13404
1398.92/1399.22	c learnt constraints deletion: 25931 -> 12966
1437.11/1437.48	c learnt constraints deletion: 29112 -> 14557
1471.00/1471.31	c learnt constraints deletion: 28850 -> 14425
1504.70/1505.08	c learnt constraints deletion: 28611 -> 14310
1538.69/1539.03	c learnt constraints deletion: 29008 -> 14514
1571.29/1571.66	c learnt constraints deletion: 29349 -> 14692
1601.27/1601.67	c learnt constraints deletion: 28655 -> 14328
1637.86/1638.23	c learnt constraints deletion: 29033 -> 14517
1671.66/1672.00	c learnt constraints deletion: 29003 -> 14507
1704.05/1704.46	c learnt constraints deletion: 28968 -> 14496
1732.74/1733.14	c learnt constraints deletion: 29494 -> 14747
1765.45/1765.80	c learnt constraints deletion: 28622 -> 14311

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-3725649-1338638774/watcher-3725649-1338638774 -o /tmp/evaluation-result-3725649-1338638774/solver-3725649-1338638774 -C 1800 -W 1900 -M 15500 HOME/toysat +RTS -K1G -RTS --pb HOME/instance-3725649-1338638774.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.00 2.00 1.96 3/175 28479
/proc/meminfo: memFree=29627324/32873648 swapFree=7116/7116
[pid=28479] ppid=28477 vsize=6224 CPUtime=0 cores=1,3,5,7
/proc/28479/stat : 28479 (toysat) R 28477 28479 27825 0 -1 4202496 818 0 0 0 0 0 0 0 20 0 1 0 330002855 6373376 738 33554432000 4194304 8989770 140733889036240 140734483046360 7953280 0 0 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/28479/statm: 1556 738 429 1171 0 333 0

[startup+0.051504 s]
/proc/loadavg: 2.00 2.00 1.96 3/175 28479
/proc/meminfo: memFree=29627324/32873648 swapFree=7116/7116
[pid=28479] ppid=28477 vsize=11344 CPUtime=0.04 cores=1,3,5,7
/proc/28479/stat : 28479 (toysat) R 28477 28479 27825 0 -1 4202496 1979 0 0 0 4 0 0 0 20 0 1 0 330002855 11616256 1899 33554432000 4194304 8989770 140733889036240 140734483046360 7953280 0 0 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/28479/statm: 2836 1899 442 1171 0 1613 0
Current children cumulated CPU time (s) 0.04
Current children cumulated vsize (KiB) 11344

[startup+0.100254 s]
/proc/loadavg: 2.00 2.00 1.96 3/175 28479
/proc/meminfo: memFree=29627324/32873648 swapFree=7116/7116
[pid=28479] ppid=28477 vsize=15440 CPUtime=0.09 cores=1,3,5,7
/proc/28479/stat : 28479 (toysat) R 28477 28479 27825 0 -1 4202496 3181 0 0 0 9 0 0 0 20 0 1 0 330002855 15810560 3101 33554432000 4194304 8989770 140733889036240 140734483046360 7953280 0 0 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/28479/statm: 3860 3101 471 1171 0 2637 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 15440

[startup+0.300238 s]
/proc/loadavg: 2.00 2.00 1.96 3/175 28479
/proc/meminfo: memFree=29627324/32873648 swapFree=7116/7116
[pid=28479] ppid=28477 vsize=19536 CPUtime=0.29 cores=1,3,5,7
/proc/28479/stat : 28479 (toysat) R 28477 28479 27825 0 -1 4202496 4205 0 0 0 28 1 0 0 20 0 1 0 330002855 20004864 4125 33554432000 4194304 8989770 140733889036240 140733889035080 7857787 0 2 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/28479/statm: 4884 4125 471 1171 0 3661 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 19536

[startup+0.700225 s]
/proc/loadavg: 2.00 2.00 1.96 3/175 28479
/proc/meminfo: memFree=29627324/32873648 swapFree=7116/7116
[pid=28479] ppid=28477 vsize=19536 CPUtime=0.69 cores=1,3,5,7
/proc/28479/stat : 28479 (toysat) R 28477 28479 27825 0 -1 4202496 4207 0 0 0 66 3 0 0 20 0 1 0 330002855 20004864 4127 33554432000 4194304 8989770 140733889036240 140733889035080 7953280 0 0 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/28479/statm: 4884 4127 471 1171 0 3661 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 19536

[startup+1.50025 s]
/proc/loadavg: 2.00 2.00 1.96 3/176 28480
/proc/meminfo: memFree=29612908/32873648 swapFree=7116/7116
[pid=28479] ppid=28477 vsize=20560 CPUtime=1.49 cores=1,3,5,7
/proc/28479/stat : 28479 (toysat) R 28477 28479 27825 0 -1 4202496 4463 0 0 0 143 6 0 0 20 0 1 0 330002855 21053440 4383 33554432000 4194304 8989770 140733889036240 140733889035504 6587816 0 0 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/28479/statm: 5140 4383 471 1171 0 3917 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 20560

[startup+3.10023 s]
/proc/loadavg: 2.00 2.00 1.96 3/176 28480
/proc/meminfo: memFree=29611544/32873648 swapFree=7116/7116
[pid=28479] ppid=28477 vsize=21584 CPUtime=3.09 cores=1,3,5,7
/proc/28479/stat : 28479 (toysat) R 28477 28479 27825 0 -1 4202496 4719 0 0 0 298 11 0 0 20 0 1 0 330002855 22102016 4639 33554432000 4194304 8989770 140733889036240 140733889035736 7857787 0 2 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/28479/statm: 5396 4639 471 1171 0 4173 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 21584

[startup+6.30017 s]
/proc/loadavg: 2.00 2.00 1.96 3/176 28480
/proc/meminfo: memFree=29608368/32873648 swapFree=7116/7116
[pid=28479] ppid=28477 vsize=25680 CPUtime=6.28 cores=1,3,5,7
/proc/28479/stat : 28479 (toysat) R 28477 28479 27825 0 -1 4202496 5743 0 0 0 608 20 0 0 20 0 1 0 330002855 26296320 5663 33554432000 4194304 8989770 140733889036240 140733889035504 7953280 0 0 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/28479/statm: 6420 5663 471 1171 0 5197 0
Current children cumulated CPU time (s) 6.28
Current children cumulated vsize (KiB) 25680

[startup+12.7002 s]
/proc/loadavg: 2.00 2.00 1.96 3/176 28480
/proc/meminfo: memFree=29601212/32873648 swapFree=7116/7116
[pid=28479] ppid=28477 vsize=30800 CPUtime=12.69 cores=1,3,5,7
/proc/28479/stat : 28479 (toysat) R 28477 28479 27825 0 -1 4202496 7026 0 0 0 1229 40 0 0 20 0 1 0 330002855 31539200 6946 33554432000 4194304 8989770 140733889036240 140733889035736 7857787 0 2 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/28479/statm: 7700 6946 473 1171 0 6477 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 30800

[startup+25.5003 s]
/proc/loadavg: 2.00 2.00 1.96 3/177 28481
/proc/meminfo: memFree=29590212/32873648 swapFree=7116/7116
[pid=28479] ppid=28477 vsize=41040 CPUtime=25.49 cores=1,3,5,7
/proc/28479/stat : 28479 (toysat) R 28477 28479 27825 0 -1 4202496 9586 0 0 0 2469 80 0 0 20 0 1 0 330002855 42024960 9506 33554432000 4194304 8989770 140733889036240 140733889035736 7953280 0 0 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/28479/statm: 10260 9506 473 1171 0 9037 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 41040

[startup+51.1002 s]
/proc/loadavg: 2.00 2.00 1.96 3/177 28481
/proc/meminfo: memFree=29582912/32873648 swapFree=7116/7116
[pid=28479] ppid=28477 vsize=48208 CPUtime=51.08 cores=1,3,5,7
/proc/28479/stat : 28479 (toysat) R 28477 28479 27825 0 -1 4202496 11378 0 0 0 4940 168 0 0 20 0 1 0 330002855 49364992 11298 33554432000 4194304 8989770 140733889036240 140733889035736 7857787 0 2 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/28479/statm: 12052 11298 473 1171 0 10829 0
Current children cumulated CPU time (s) 51.08
Current children cumulated vsize (KiB) 48208

[startup+102.306 s]
/proc/loadavg: 2.05 2.01 1.97 3/177 28520
/proc/meminfo: memFree=29714668/32873648 swapFree=7116/7116
[pid=28479] ppid=28477 vsize=54352 CPUtime=102.27 cores=1,3,5,7
/proc/28479/stat : 28479 (toysat) R 28477 28479 27825 0 -1 4202496 13184 0 0 0 9913 314 0 0 20 0 1 0 330002855 55656448 12834 33554432000 4194304 8989770 140733889036240 140733889035736 4453020 0 0 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/28479/statm: 13588 12834 473 1171 0 12365 0
Current children cumulated CPU time (s) 102.27
Current children cumulated vsize (KiB) 54352

[startup+162.3 s]
/proc/loadavg: 2.02 2.01 1.97 3/177 28521
/proc/meminfo: memFree=29708352/32873648 swapFree=7116/7116
[pid=28479] ppid=28477 vsize=58448 CPUtime=162.26 cores=1,3,5,7
/proc/28479/stat : 28479 (toysat) R 28477 28479 27825 0 -1 4202496 15232 0 0 0 15819 407 0 0 20 0 1 0 330002855 59850752 13858 33554432000 4194304 8989770 140733889036240 140733889035736 7857787 0 2 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/28479/statm: 14612 13858 473 1171 0 13389 0
Current children cumulated CPU time (s) 162.26
Current children cumulated vsize (KiB) 58448

[startup+222.3 s]
/proc/loadavg: 2.00 2.00 1.97 3/177 28521
/proc/meminfo: memFree=29683808/32873648 swapFree=7116/7116
[pid=28479] ppid=28477 vsize=54352 CPUtime=222.25 cores=1,3,5,7
/proc/28479/stat : 28479 (toysat) R 28477 28479 27825 0 -1 4202496 16768 0 0 0 21722 503 0 0 20 0 1 0 330002855 55656448 12834 33554432000 4194304 8989770 140733889036240 140733889035504 7857787 0 2 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/28479/statm: 13588 12834 473 1171 0 12365 0
Current children cumulated CPU time (s) 222.25
Current children cumulated vsize (KiB) 54352

[startup+282.3 s]
/proc/loadavg: 2.00 2.00 1.97 3/178 28524
/proc/meminfo: memFree=29661644/32873648 swapFree=7116/7116
[pid=28479] ppid=28477 vsize=69712 CPUtime=282.23 cores=1,3,5,7
/proc/28479/stat : 28479 (toysat) R 28477 28479 27825 0 -1 4202496 20609 0 0 0 27631 592 0 0 20 0 1 0 330002855 71385088 16674 33554432000 4194304 8989770 140733889036240 140733889035504 7953280 0 0 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/28479/statm: 17428 16674 473 1171 0 16205 0
Current children cumulated CPU time (s) 282.23
Current children cumulated vsize (KiB) 69712

[startup+342.3 s]
/proc/loadavg: 2.00 2.00 1.97 3/177 28524
/proc/meminfo: memFree=29654528/32873648 swapFree=7116/7116
[pid=28479] ppid=28477 vsize=70736 CPUtime=342.23 cores=1,3,5,7
/proc/28479/stat : 28479 (toysat) R 28477 28479 27825 0 -1 4202496 24449 0 0 0 33546 677 0 0 20 0 1 0 330002855 72433664 16930 33554432000 4194304 8989770 140733889036240 140733889035736 7953280 0 0 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/28479/statm: 17684 16930 473 1171 0 16461 0
Current children cumulated CPU time (s) 342.23
Current children cumulated vsize (KiB) 70736

[startup+402.3 s]
/proc/loadavg: 2.03 2.01 1.97 3/177 28524
/proc/meminfo: memFree=29679520/32873648 swapFree=7116/7116
[pid=28479] ppid=28477 vsize=66640 CPUtime=402.21 cores=1,3,5,7
/proc/28479/stat : 28479 (toysat) R 28477 28479 27825 0 -1 4202496 26241 0 0 0 39455 766 0 0 20 0 1 0 330002855 68239360 15906 33554432000 4194304 8989770 140733889036240 140733889035504 7953280 0 0 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/28479/statm: 16660 15906 473 1171 0 15437 0
Current children cumulated CPU time (s) 402.21
Current children cumulated vsize (KiB) 66640

[startup+462.3 s]
/proc/loadavg: 2.01 2.01 1.97 3/177 28525
/proc/meminfo: memFree=29660580/32873648 swapFree=7116/7116
[pid=28479] ppid=28477 vsize=64592 CPUtime=462.21 cores=1,3,5,7
/proc/28479/stat : 28479 (toysat) R 28477 28479 27825 0 -1 4202496 26753 0 0 0 45323 898 0 0 20 0 1 0 330002855 66142208 15394 33554432000 4194304 8989770 140733889036240 140733889035736 7953280 0 0 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/28479/statm: 16148 15394 473 1171 0 14925 0
Current children cumulated CPU time (s) 462.21
Current children cumulated vsize (KiB) 64592

[startup+522.3 s]
/proc/loadavg: 2.00 2.00 1.97 3/177 28525
/proc/meminfo: memFree=29646172/32873648 swapFree=7116/7116
[pid=28479] ppid=28477 vsize=66640 CPUtime=522.19 cores=1,3,5,7
/proc/28479/stat : 28479 (toysat) R 28477 28479 27825 0 -1 4202496 31114 0 0 0 51264 955 0 0 20 0 1 0 330002855 68239360 15906 33554432000 4194304 8989770 140733889036240 140733889035736 7953280 0 0 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/28479/statm: 16660 15906 473 1171 0 15437 0
Current children cumulated CPU time (s) 522.19
Current children cumulated vsize (KiB) 66640

[startup+582.3 s]
/proc/loadavg: 2.00 2.00 1.97 3/177 28525
/proc/meminfo: memFree=29654908/32873648 swapFree=7116/7116
[pid=28479] ppid=28477 vsize=62544 CPUtime=582.18 cores=1,3,5,7
/proc/28479/stat : 28479 (toysat) R 28477 28479 27825 0 -1 4202496 33930 0 0 0 57192 1026 0 0 20 0 1 0 330002855 64045056 14882 33554432000 4194304 8989770 140733889036240 140733889034176 7953280 0 0 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/28479/statm: 15636 14882 473 1171 0 14413 0
Current children cumulated CPU time (s) 582.18
Current children cumulated vsize (KiB) 62544

[startup+642.3 s]

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

[startup+822.3 s]
/proc/loadavg: 2.00 2.00 1.97 3/177 28526
/proc/meminfo: memFree=29617612/32873648 swapFree=7116/7116
[pid=28479] ppid=28477 vsize=83024 CPUtime=822.13 cores=1,3,5,7
/proc/28479/stat : 28479 (toysat) R 28477 28479 27825 0 -1 4202496 50326 0 0 0 80877 1336 0 0 20 0 1 0 330002855 85016576 20002 33554432000 4194304 8989770 140733889036240 140733889035736 7953280 0 0 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/28479/statm: 20756 20002 473 1171 0 19533 0
Current children cumulated CPU time (s) 822.13
Current children cumulated vsize (KiB) 83024

[startup+882.3 s]
/proc/loadavg: 2.00 2.00 1.97 3/178 28529
/proc/meminfo: memFree=29581756/32873648 swapFree=7116/7116
[pid=28479] ppid=28477 vsize=78928 CPUtime=882.13 cores=1,3,5,7
/proc/28479/stat : 28479 (toysat) R 28477 28479 27825 0 -1 4202496 51862 0 0 0 86784 1429 0 0 20 0 1 0 330002855 80822272 18978 33554432000 4194304 8989770 140733889036240 140733889034176 7953280 0 0 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/28479/statm: 19732 18978 473 1171 0 18509 0
Current children cumulated CPU time (s) 882.13
Current children cumulated vsize (KiB) 78928

[startup+942.3 s]
/proc/loadavg: 2.00 2.00 1.97 3/177 28529
/proc/meminfo: memFree=29650052/32873648 swapFree=7116/7116
[pid=28479] ppid=28477 vsize=70736 CPUtime=942.1 cores=1,3,5,7
/proc/28479/stat : 28479 (toysat) R 28477 28479 27825 0 -1 4202496 53412 0 0 0 92701 1509 0 0 20 0 1 0 330002855 72433664 16930 33554432000 4194304 8989770 140733889036240 140733889035736 7857787 0 2 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/28479/statm: 17684 16930 473 1171 0 16461 0
Current children cumulated CPU time (s) 942.1
Current children cumulated vsize (KiB) 70736

[startup+1002.3 s]
/proc/loadavg: 2.00 2.00 1.97 3/177 28529
/proc/meminfo: memFree=29571284/32873648 swapFree=7116/7116
[pid=28479] ppid=28477 vsize=72784 CPUtime=1002.09 cores=1,3,5,7
/proc/28479/stat : 28479 (toysat) R 28477 28479 27825 0 -1 4202496 55593 0 0 0 98665 1544 0 0 20 0 1 0 330002855 74530816 17319 33554432000 4194304 8989770 140733889036240 140733889035736 7696126 0 0 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/28479/statm: 18196 17319 473 1171 0 16973 0
Current children cumulated CPU time (s) 1002.09
Current children cumulated vsize (KiB) 72784

[startup+1062.3 s]
/proc/loadavg: 2.00 2.00 1.97 3/177 28530
/proc/meminfo: memFree=29630980/32873648 swapFree=7116/7116
[pid=28479] ppid=28477 vsize=83024 CPUtime=1062.08 cores=1,3,5,7
/proc/28479/stat : 28479 (toysat) R 28477 28479 27825 0 -1 4202496 61092 0 0 0 104598 1610 0 0 20 0 1 0 330002855 85016576 20002 33554432000 4194304 8989770 140733889036240 140733889035504 4209212 0 2 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/28479/statm: 20756 20002 473 1171 0 19533 0
Current children cumulated CPU time (s) 1062.08
Current children cumulated vsize (KiB) 83024

[startup+1122.3 s]
/proc/loadavg: 2.07 2.02 1.98 3/177 28530
/proc/meminfo: memFree=29658320/32873648 swapFree=7116/7116
[pid=28479] ppid=28477 vsize=62544 CPUtime=1122.08 cores=1,3,5,7
/proc/28479/stat : 28479 (toysat) R 28477 28479 27825 0 -1 4202496 64420 0 0 0 110516 1692 0 0 20 0 1 0 330002855 64045056 14882 33554432000 4194304 8989770 140733889036240 140733889035736 7857787 0 2 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/28479/statm: 15636 14882 473 1171 0 14413 0
Current children cumulated CPU time (s) 1122.08
Current children cumulated vsize (KiB) 62544

[startup+1182.3 s]
/proc/loadavg: 2.02 2.01 1.98 3/177 28530
/proc/meminfo: memFree=29574252/32873648 swapFree=7116/7116
[pid=28479] ppid=28477 vsize=74832 CPUtime=1182.05 cores=1,3,5,7
/proc/28479/stat : 28479 (toysat) R 28477 28479 27825 0 -1 4202496 71343 0 0 0 116412 1793 0 0 20 0 1 0 330002855 76627968 17954 33554432000 4194304 8989770 140733889036240 140733889035736 7953280 0 0 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/28479/statm: 18708 17954 473 1171 0 17485 0
Current children cumulated CPU time (s) 1182.05
Current children cumulated vsize (KiB) 74832

[startup+1242.3 s]
/proc/loadavg: 2.01 2.00 1.98 3/178 28531
/proc/meminfo: memFree=29568148/32873648 swapFree=7116/7116
[pid=28479] ppid=28477 vsize=74832 CPUtime=1242.04 cores=1,3,5,7
/proc/28479/stat : 28479 (toysat) R 28477 28479 27825 0 -1 4202496 75705 0 0 0 122368 1836 0 0 20 0 1 0 330002855 76627968 17954 33554432000 4194304 8989770 140733889036240 140733889035736 7857787 0 2 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/28479/statm: 18708 17954 473 1171 0 17485 0
Current children cumulated CPU time (s) 1242.04
Current children cumulated vsize (KiB) 74832

[startup+1302.3 s]
/proc/loadavg: 2.00 2.00 1.98 3/177 28531
/proc/meminfo: memFree=29615468/32873648 swapFree=7116/7116
[pid=28479] ppid=28477 vsize=76880 CPUtime=1302.04 cores=1,3,5,7
/proc/28479/stat : 28479 (toysat) R 28477 28479 27825 0 -1 4202496 80313 0 0 0 128292 1912 0 0 20 0 1 0 330002855 78725120 18466 33554432000 4194304 8989770 140733889036240 140733889035736 7953280 0 0 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/28479/statm: 19220 18466 473 1171 0 17997 0
Current children cumulated CPU time (s) 1302.04
Current children cumulated vsize (KiB) 76880

[startup+1362.3 s]
/proc/loadavg: 2.00 2.00 1.98 3/177 28532
/proc/meminfo: memFree=29596632/32873648 swapFree=7116/7116
[pid=28479] ppid=28477 vsize=74832 CPUtime=1362.02 cores=1,3,5,7
/proc/28479/stat : 28479 (toysat) R 28477 28479 27825 0 -1 4202496 86201 0 0 0 134193 2009 0 0 20 0 1 0 330002855 76627968 17954 33554432000 4194304 8989770 140733889036240 140733889035504 7953280 0 0 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/28479/statm: 18708 17954 473 1171 0 17485 0
Current children cumulated CPU time (s) 1362.02
Current children cumulated vsize (KiB) 74832

[startup+1422.31 s]
/proc/loadavg: 2.00 2.00 1.98 3/177 28532
/proc/meminfo: memFree=29647784/32873648 swapFree=7116/7116
[pid=28479] ppid=28477 vsize=69712 CPUtime=1422.02 cores=1,3,5,7
/proc/28479/stat : 28479 (toysat) R 28477 28479 27825 0 -1 4202496 88761 0 0 0 140073 2129 0 0 20 0 1 0 330002855 71385088 16674 33554432000 4194304 8989770 140733889036240 140733889035504 7683303 0 2 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/28479/statm: 17428 16674 473 1171 0 16205 0
Current children cumulated CPU time (s) 1422.02
Current children cumulated vsize (KiB) 69712

[startup+1482.3 s]
/proc/loadavg: 2.00 2.00 1.98 3/178 28535
/proc/meminfo: memFree=29619528/32873648 swapFree=7116/7116
[pid=28479] ppid=28477 vsize=92240 CPUtime=1482 cores=1,3,5,7
/proc/28479/stat : 28479 (toysat) R 28477 28479 27825 0 -1 4202496 94393 0 0 0 145978 2222 0 0 20 0 1 0 330002855 94453760 22306 33554432000 4194304 8989770 140733889036240 140733889035504 7857787 0 2 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/28479/statm: 23060 22306 473 1171 0 21837 0
Current children cumulated CPU time (s) 1482
Current children cumulated vsize (KiB) 92240

[startup+1542.3 s]
/proc/loadavg: 2.00 2.00 1.98 3/177 28535
/proc/meminfo: memFree=29601028/32873648 swapFree=7116/7116
[pid=28479] ppid=28477 vsize=95312 CPUtime=1542 cores=1,3,5,7
/proc/28479/stat : 28479 (toysat) R 28477 28479 27825 0 -1 4202496 101561 0 0 0 151876 2324 0 0 20 0 1 0 330002855 97599488 23074 33554432000 4194304 8989770 140733889036240 140733889035504 7953280 0 0 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/28479/statm: 23828 23074 473 1171 0 22605 0
Current children cumulated CPU time (s) 1542
Current children cumulated vsize (KiB) 95312

[startup+1602.3 s]
/proc/loadavg: 2.08 2.02 1.98 3/177 28535
/proc/meminfo: memFree=29564680/32873648 swapFree=7116/7116
[pid=28479] ppid=28477 vsize=99408 CPUtime=1601.97 cores=1,3,5,7
/proc/28479/stat : 28479 (toysat) R 28477 28479 27825 0 -1 4202496 104905 0 0 0 157810 2387 0 0 20 0 1 0 330002855 101793792 24098 33554432000 4194304 8989770 140733889036240 140733889035504 7857787 0 2 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/28479/statm: 24852 24098 473 1171 0 23629 0
Current children cumulated CPU time (s) 1601.97
Current children cumulated vsize (KiB) 99408

[startup+1662.3 s]
/proc/loadavg: 2.02 2.01 1.98 3/177 28536
/proc/meminfo: memFree=29622556/32873648 swapFree=7116/7116
[pid=28479] ppid=28477 vsize=91216 CPUtime=1661.95 cores=1,3,5,7
/proc/28479/stat : 28479 (toysat) R 28477 28479 27825 0 -1 4202496 107724 0 0 0 163780 2415 0 0 20 0 1 0 330002855 93405184 22050 33554432000 4194304 8989770 140733889036240 140733889035736 7953280 0 0 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/28479/statm: 22804 22050 473 1171 0 21581 0
Current children cumulated CPU time (s) 1661.95
Current children cumulated vsize (KiB) 91216

[startup+1722.3 s]
/proc/loadavg: 2.01 2.00 1.98 3/177 28536
/proc/meminfo: memFree=29588728/32873648 swapFree=7116/7116
[pid=28479] ppid=28477 vsize=78928 CPUtime=1721.94 cores=1,3,5,7
/proc/28479/stat : 28479 (toysat) R 28477 28479 27825 0 -1 4202496 111564 0 0 0 169737 2457 0 0 20 0 1 0 330002855 80822272 18978 33554432000 4194304 8989770 140733889036240 140733889035504 7953280 0 0 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/28479/statm: 19732 18978 473 1171 0 18509 0
Current children cumulated CPU time (s) 1721.94
Current children cumulated vsize (KiB) 78928

[startup+1782.3 s]
/proc/loadavg: 2.00 2.00 1.98 3/177 28536
/proc/meminfo: memFree=29587360/32873648 swapFree=7116/7116
[pid=28479] ppid=28477 vsize=82000 CPUtime=1781.94 cores=1,3,5,7
/proc/28479/stat : 28479 (toysat) R 28477 28479 27825 0 -1 4202496 116940 0 0 0 175657 2537 0 0 20 0 1 0 330002855 83968000 19746 33554432000 4194304 8989770 140733889036240 140733889035504 7953280 0 0 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/28479/statm: 20500 19746 473 1171 0 19277 0
Current children cumulated CPU time (s) 1781.94
Current children cumulated vsize (KiB) 82000



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1800.4 s]
/proc/loadavg: 2.00 2.00 1.98 3/177 28536
/proc/meminfo: memFree=29550748/32873648 swapFree=7116/7116
[pid=28479] ppid=28477 vsize=97360 CPUtime=1800.04 cores=1,3,5,7
/proc/28479/stat : 28479 (toysat) R 28477 28479 27825 0 -1 4202496 120780 0 0 0 177451 2553 0 0 20 0 1 0 330002855 99696640 23586 33554432000 4194304 8989770 140733889036240 140733889035504 7857787 0 2 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/28479/statm: 24340 23586 473 1171 0 23117 0
Current children cumulated CPU time (s) 1800.04
Current children cumulated vsize (KiB) 97360

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

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

Child ended because it received signal 15 (SIGTERM)
Real time (s): 1800.41
CPU time (s): 1800.06
CPU user time (s): 1774.52
CPU system time (s): 25.5421
CPU usage (%): 99.9803
Max. virtual memory (cumulated for all children) (KiB): 108624

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1774.52
system time used= 25.5421
maximum resident set size= 105608
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 120780
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= 93
involuntary context switches= 1847

runsolver used 3.2995 second user time and 9.31558 second system time

The end

Launcher Data 

Begin job on node127 at 2012-06-02 14:06:14
IDJOB=3725649
IDBENCH=48143
IDSOLVER=2308
FILE ID=node127/3725649-1338638774
RUNJOBID= node127-1338631505-27842
PBS_JOBID= 14636453
Free space on /tmp= 70472 MiB

SOLVER NAME= toysat 2012-06-01
BENCH NAME= PB07/normalized-PB07/OPT-SMALLINT-NLC/submittedPB07/manquinho/mds/normalized-mds_100_25_4.opb
COMMAND LINE= HOME/toysat +RTS -K1G -RTS --pb BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-3725649-1338638774/watcher-3725649-1338638774 -o /tmp/evaluation-result-3725649-1338638774/solver-3725649-1338638774 -C 1800 -W 1900 -M 15500  HOME/toysat +RTS -K1G -RTS --pb HOME/instance-3725649-1338638774.opb

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

MD5SUM BENCH= 4c6ab7a9b1b11dc4bf8c6231156cc585
RANDOM SEED=1535199912

node127.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.348
cache size	: 8192 KB
physical id	: 0
siblings	: 4
core id		: 0
cpu cores	: 4
apicid		: 0
initial apicid	: 0
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5332.69
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.348
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.348
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.94
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.348
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.348
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		: 2666.348
cache size	: 8192 KB
physical id	: 1
siblings	: 4
core id		: 2
cpu cores	: 4
apicid		: 20
initial apicid	: 20
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5331.91
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 6
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.348
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.348
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:        29627696 kB
Buffers:          363848 kB
Cached:          1766616 kB
SwapCached:         1500 kB
Active:          1203992 kB
Inactive:        1161928 kB
Active(anon):     229236 kB
Inactive(anon):     7932 kB
Active(file):     974756 kB
Inactive(file):  1153996 kB
Unevictable:        7116 kB
Mlocked:            7116 kB
SwapTotal:      67108856 kB
SwapFree:       67104404 kB
Dirty:              7004 kB
Writeback:             0 kB
AnonPages:        240528 kB
Mapped:            12400 kB
Shmem:                92 kB
Slab:             743380 kB
SReclaimable:     187764 kB
SUnreclaim:       555616 kB
KernelStack:        1448 kB
PageTables:         4324 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83545680 kB
Committed_AS:     350676 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      346400 kB
VmallocChunk:   34341988052 kB
HardwareCorrupted:     0 kB
AnonHugePages:    221184 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= 70468 MiB
End job on node127 at 2012-06-02 14:36:16