Trace number 3725647

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_2.opb
MD5SUM1e64c526f9351931db225cdff75c2df5
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 benchmark2.74058
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 constraint46
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)3074
Sum of products size (including duplicates)6148
Number of different products3074
Sum of products size6148

Solver Data 

0.00/0.06	c 2012-06-02T14:06:25+0200
0.00/0.06	c arch = x86_64
0.00/0.06	c os = linux
0.00/0.06	c compiler = ghc 7.4
0.00/0.06	c packages:
0.00/0.06	c   OptDir-0.0.1
0.00/0.06	c   array-0.4.0.0
0.00/0.06	c   base-4.5.0.0
0.00/0.06	c   bytestring-0.9.2.1
0.00/0.06	c   containers-0.4.2.1
0.00/0.06	c   deepseq-1.3.0.0
0.00/0.06	c   mtl-2.1.1
0.00/0.06	c   old_locale-1.0.0.4
0.00/0.06	c   parse_dimacs-1.2
0.00/0.06	c   parsec-3.1.2
0.00/0.06	c   queue-0.1.2
0.00/0.06	c   stm-2.3
0.00/0.06	c   time-1.4
0.00/0.06	c command line = ["+RTS","-K1G","-RTS","--pb","HOME/instance-3725647-1338638784.opb"]
0.00/0.06	c #vars 100
0.00/0.06	c #constraints 100
0.00/0.06	c Solving starts ...
0.05/0.06	c solving time = 0.006s
0.05/0.06	c #decision = 93
0.05/0.06	c #conflict = 0
0.05/0.06	c #restart = 0
0.05/0.06	o 7
0.05/0.06	c Solving starts ...
0.05/0.08	c solving time = 0.014s
0.05/0.08	c #decision = 203
0.05/0.08	c #conflict = 19
0.05/0.08	c #restart = 0
0.05/0.08	o 6
0.05/0.08	c Solving starts ...
21.59/21.63	c learnt constraints deletion: 10052 -> 5026
34.78/34.80	c learnt constraints deletion: 10957 -> 5479
49.39/49.44	c learnt constraints deletion: 12192 -> 6096
67.08/67.12	c learnt constraints deletion: 14410 -> 7205
80.57/80.65	c learnt constraints deletion: 13520 -> 6762
97.56/97.62	c learnt constraints deletion: 14858 -> 7429
113.95/114.01	c learnt constraints deletion: 15145 -> 7576
132.35/132.42	c learnt constraints deletion: 16388 -> 8194
150.75/150.82	c learnt constraints deletion: 16668 -> 8336
167.85/167.96	c learnt constraints deletion: 16394 -> 8201
185.44/185.57	c learnt constraints deletion: 16658 -> 8337
205.74/205.80	c learnt constraints deletion: 18994 -> 9509
222.24/222.30	c learnt constraints deletion: 18309 -> 9172
238.64/238.73	c learnt constraints deletion: 18866 -> 9458
255.53/255.67	c learnt constraints deletion: 18714 -> 9357
277.33/277.41	c learnt constraints deletion: 19857 -> 9929
298.72/298.88	c learnt constraints deletion: 19832 -> 9917
320.63/320.72	c learnt constraints deletion: 20044 -> 10027
340.12/340.29	c learnt constraints deletion: 19813 -> 9916
359.82/359.99	c learnt constraints deletion: 20128 -> 10077
378.51/378.62	c learnt constraints deletion: 20336 -> 10187
396.91/397.04	c learnt constraints deletion: 21489 -> 10745
418.61/418.70	c learnt constraints deletion: 22199 -> 11114
438.20/438.36	c learnt constraints deletion: 22318 -> 11181
455.20/455.35	c learnt constraints deletion: 21584 -> 10792
480.51/480.63	c learnt constraints deletion: 22054 -> 11028
503.99/504.13	c learnt constraints deletion: 21819 -> 10914
526.58/526.73	c learnt constraints deletion: 21726 -> 10872
547.28/547.48	c learnt constraints deletion: 21933 -> 10981
566.38/566.58	c learnt constraints deletion: 22198 -> 11120
587.07/587.27	c learnt constraints deletion: 23577 -> 11789
613.77/613.91	c learnt constraints deletion: 23668 -> 11835
641.07/641.28	c learnt constraints deletion: 23772 -> 11891
667.66/667.84	c learnt constraints deletion: 24230 -> 12125
691.16/691.35	c learnt constraints deletion: 24283 -> 12159
712.45/712.67	c learnt constraints deletion: 24655 -> 12328
738.45/738.64	c learnt constraints deletion: 24012 -> 12006
768.75/768.98	c learnt constraints deletion: 24513 -> 12261
794.44/794.64	c learnt constraints deletion: 23918 -> 11967
817.33/817.58	c learnt constraints deletion: 24094 -> 12061
839.32/839.56	c learnt constraints deletion: 24484 -> 12263
860.43/860.60	c learnt constraints deletion: 23675 -> 11838
890.72/890.92	c learnt constraints deletion: 25606 -> 12803
921.32/921.57	c learnt constraints deletion: 26381 -> 13192
950.71/950.97	c learnt constraints deletion: 26377 -> 13194
979.21/979.43	c learnt constraints deletion: 27008 -> 13515
1005.40/1005.68	c learnt constraints deletion: 26860 -> 13447
1026.40/1026.70	c learnt constraints deletion: 26477 -> 13239
1056.90/1057.15	c learnt constraints deletion: 26027 -> 13014
1085.59/1085.89	c learnt constraints deletion: 26133 -> 13072
1114.58/1114.85	c learnt constraints deletion: 26561 -> 13291
1140.48/1140.79	c learnt constraints deletion: 26978 -> 13507
1164.17/1164.41	c learnt constraints deletion: 26098 -> 13049
1195.57/1195.80	c learnt constraints deletion: 26738 -> 13371
1223.56/1223.80	c learnt constraints deletion: 26695 -> 13354
1251.56/1251.89	c learnt constraints deletion: 26855 -> 13439
1275.25/1275.59	c learnt constraints deletion: 26606 -> 13321
1295.45/1295.77	c learnt constraints deletion: 26236 -> 13118
1326.25/1326.57	c learnt constraints deletion: 26938 -> 13469
1359.94/1360.29	c learnt constraints deletion: 28905 -> 14459
1390.04/1390.38	c learnt constraints deletion: 29407 -> 14717
1415.52/1415.84	c learnt constraints deletion: 30185 -> 15117
1447.32/1447.67	c learnt constraints deletion: 29606 -> 14803
1479.61/1479.98	c learnt constraints deletion: 28757 -> 14383
1511.21/1511.53	c learnt constraints deletion: 28952 -> 14486
1540.60/1540.90	c learnt constraints deletion: 29405 -> 14721
1569.20/1569.53	c learnt constraints deletion: 29078 -> 14539
1602.59/1602.99	c learnt constraints deletion: 29094 -> 14549
1634.68/1635.08	c learnt constraints deletion: 29460 -> 14739
1665.27/1665.62	c learnt constraints deletion: 29602 -> 14818
1694.37/1694.77	c learnt constraints deletion: 28905 -> 14453
1726.97/1727.37	c learnt constraints deletion: 28488 -> 14245
1759.57/1759.97	c learnt constraints deletion: 29090 -> 14552
1789.04/1789.40	c learnt constraints deletion: 29504 -> 14767

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-3725647-1338638784/watcher-3725647-1338638784 -o /tmp/evaluation-result-3725647-1338638784/solver-3725647-1338638784 -C 1800 -W 1900 -M 15500 HOME/toysat +RTS -K1G -RTS --pb HOME/instance-3725647-1338638784.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: 1.92 1.98 1.99 3/174 7676
/proc/meminfo: memFree=24102720/32873844 swapFree=7112/7112
[pid=7676] ppid=7674 vsize=6224 CPUtime=0 cores=0,2,4,6
/proc/7676/stat : 7676 (toysat) R 7674 7676 7385 0 -1 4202496 813 0 0 0 0 0 0 0 20 0 1 0 330007012 6373376 733 33554432000 4194304 8989770 140733422068016 140736676459416 7857787 0 2 0 34082818 0 0 0 17 0 0 0 0 0 0
/proc/7676/statm: 1556 733 428 1171 0 333 0

[startup+0.0626029 s]
/proc/loadavg: 1.92 1.98 1.99 3/174 7676
/proc/meminfo: memFree=24102720/32873844 swapFree=7112/7112
[pid=7676] ppid=7674 vsize=14416 CPUtime=0.05 cores=0,2,4,6
/proc/7676/stat : 7676 (toysat) R 7674 7676 7385 0 -1 4202496 2747 0 0 0 5 0 0 0 20 0 1 0 330007012 14761984 2667 33554432000 4194304 8989770 140733422068016 140736676459416 4438168 0 0 0 34082818 0 0 0 17 0 0 0 0 0 0
/proc/7676/statm: 3604 2667 450 1171 0 2381 0
Current children cumulated CPU time (s) 0.05
Current children cumulated vsize (KiB) 14416

[startup+0.10056 s]
/proc/loadavg: 1.92 1.98 1.99 3/174 7676
/proc/meminfo: memFree=24102720/32873844 swapFree=7112/7112
[pid=7676] ppid=7674 vsize=14416 CPUtime=0.09 cores=0,2,4,6
/proc/7676/stat : 7676 (toysat) R 7674 7676 7385 0 -1 4202496 2920 0 0 0 9 0 0 0 20 0 1 0 330007012 14761984 2840 33554432000 4194304 8989770 140733422068016 140736676459416 5394353 0 0 0 34082818 0 0 0 17 0 0 0 0 0 0
/proc/7676/statm: 3604 2840 469 1171 0 2381 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 14416

[startup+0.300235 s]
/proc/loadavg: 1.92 1.98 1.99 3/174 7676
/proc/meminfo: memFree=24102720/32873844 swapFree=7112/7112
[pid=7676] ppid=7674 vsize=19536 CPUtime=0.29 cores=0,2,4,6
/proc/7676/stat : 7676 (toysat) R 7674 7676 7385 0 -1 4202496 4200 0 0 0 29 0 0 0 20 0 1 0 330007012 20004864 4120 33554432000 4194304 8989770 140733422068016 140733422067280 4451817 0 0 0 34082818 0 0 0 17 0 0 0 0 0 0
/proc/7676/statm: 4884 4120 469 1171 0 3661 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 19536

[startup+0.700235 s]
/proc/loadavg: 1.92 1.98 1.99 3/174 7676
/proc/meminfo: memFree=24102720/32873844 swapFree=7112/7112
[pid=7676] ppid=7674 vsize=19536 CPUtime=0.68 cores=0,2,4,6
/proc/7676/stat : 7676 (toysat) R 7674 7676 7385 0 -1 4202496 4200 0 0 0 68 0 0 0 20 0 1 0 330007012 20004864 4120 33554432000 4194304 8989770 140733422068016 140733422067512 4214368 0 2 0 34082818 0 0 0 17 0 0 0 0 0 0
/proc/7676/statm: 4884 4120 469 1171 0 3661 0
Current children cumulated CPU time (s) 0.68
Current children cumulated vsize (KiB) 19536

[startup+1.50024 s]
/proc/loadavg: 1.92 1.98 1.99 3/175 7677
/proc/meminfo: memFree=24077444/32873844 swapFree=7112/7112
[pid=7676] ppid=7674 vsize=19536 CPUtime=1.48 cores=0,2,4,6
/proc/7676/stat : 7676 (toysat) R 7674 7676 7385 0 -1 4202496 4200 0 0 0 148 0 0 0 20 0 1 0 330007012 20004864 4120 33554432000 4194304 8989770 140733422068016 140733422067280 4214456 0 2 0 34082818 0 0 0 17 0 0 0 0 0 0
/proc/7676/statm: 4884 4120 469 1171 0 3661 0
Current children cumulated CPU time (s) 1.48
Current children cumulated vsize (KiB) 19536

[startup+3.1003 s]
/proc/loadavg: 1.92 1.98 1.99 3/175 7677
/proc/meminfo: memFree=24075552/32873844 swapFree=7112/7112
[pid=7676] ppid=7674 vsize=21584 CPUtime=3.09 cores=0,2,4,6
/proc/7676/stat : 7676 (toysat) R 7674 7676 7385 0 -1 4202496 4712 0 0 0 308 1 0 0 20 0 1 0 330007012 22102016 4632 33554432000 4194304 8989770 140733422068016 140733422067280 7857787 0 2 0 34082818 0 0 0 17 4 0 0 0 0 0
/proc/7676/statm: 5396 4632 469 1171 0 4173 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 21584

[startup+6.30029 s]
/proc/loadavg: 1.93 1.98 1.99 3/175 7677
/proc/meminfo: memFree=24071708/32873844 swapFree=7112/7112
[pid=7676] ppid=7674 vsize=24656 CPUtime=6.29 cores=0,2,4,6
/proc/7676/stat : 7676 (toysat) R 7674 7676 7385 0 -1 4202496 5480 0 0 0 627 2 0 0 20 0 1 0 330007012 25247744 5400 33554432000 4194304 8989770 140733422068016 140733422067512 7953280 0 0 0 34082818 0 0 0 17 4 0 0 0 0 0
/proc/7676/statm: 6164 5400 469 1171 0 4941 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 24656

[startup+12.7003 s]
/proc/loadavg: 1.93 1.98 1.99 3/175 7677
/proc/meminfo: memFree=24063884/32873844 swapFree=7112/7112
[pid=7676] ppid=7674 vsize=31824 CPUtime=12.69 cores=0,2,4,6
/proc/7676/stat : 7676 (toysat) R 7674 7676 7385 0 -1 4202496 7273 0 0 0 1266 3 0 0 20 0 1 0 330007012 32587776 7193 33554432000 4194304 8989770 140733422068016 140733422067512 7953280 0 0 0 34082818 0 0 0 17 4 0 0 0 0 0
/proc/7676/statm: 7956 7193 469 1171 0 6733 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 31824

[startup+25.5003 s]
/proc/loadavg: 1.95 1.98 1.99 3/175 7677
/proc/meminfo: memFree=24051756/32873844 swapFree=7112/7112
[pid=7676] ppid=7674 vsize=42064 CPUtime=25.48 cores=0,2,4,6
/proc/7676/stat : 7676 (toysat) R 7674 7676 7385 0 -1 4202496 9839 0 0 0 2544 4 0 0 20 0 1 0 330007012 43073536 9759 33554432000 4194304 8989770 140733422068016 140733422067280 7857787 0 2 0 34082818 0 0 0 17 4 0 0 0 0 0
/proc/7676/statm: 10516 9759 471 1171 0 9293 0
Current children cumulated CPU time (s) 25.48
Current children cumulated vsize (KiB) 42064

[startup+51.1003 s]
/proc/loadavg: 1.96 1.98 1.99 3/175 7678
/proc/meminfo: memFree=24041788/32873844 swapFree=7112/7112
[pid=7676] ppid=7674 vsize=49232 CPUtime=51.08 cores=0,2,4,6
/proc/7676/stat : 7676 (toysat) R 7674 7676 7385 0 -1 4202496 11631 0 0 0 5100 8 0 0 20 0 1 0 330007012 50413568 11551 33554432000 4194304 8989770 140733422068016 140733422067280 7857787 0 2 0 34082818 0 0 0 17 4 0 0 0 0 0
/proc/7676/statm: 12308 11551 471 1171 0 11085 0
Current children cumulated CPU time (s) 51.08
Current children cumulated vsize (KiB) 49232

[startup+102.306 s]
/proc/loadavg: 1.98 1.98 1.99 3/175 7678
/proc/meminfo: memFree=24032748/32873844 swapFree=7112/7112
[pid=7676] ppid=7674 vsize=55376 CPUtime=102.26 cores=0,2,4,6
/proc/7676/stat : 7676 (toysat) R 7674 7676 7385 0 -1 4202496 13958 0 0 0 10212 14 0 0 20 0 1 0 330007012 56705024 13087 33554432000 4194304 8989770 140733422068016 140733422067512 7857787 0 2 0 34082818 0 0 0 17 4 0 0 0 0 0
/proc/7676/statm: 13844 13087 471 1171 0 12621 0
Current children cumulated CPU time (s) 102.26
Current children cumulated vsize (KiB) 55376

[startup+162.3 s]
/proc/loadavg: 1.99 1.98 1.99 3/175 7678
/proc/meminfo: memFree=24020900/32873844 swapFree=7112/7112
[pid=7676] ppid=7674 vsize=62544 CPUtime=162.25 cores=0,2,4,6
/proc/7676/stat : 7676 (toysat) R 7674 7676 7385 0 -1 4202496 16262 0 0 0 16202 23 0 0 20 0 1 0 330007012 64045056 14879 33554432000 4194304 8989770 140733422068016 140733422067512 7857787 0 2 0 34082818 0 0 0 17 4 0 0 0 0 0
/proc/7676/statm: 15636 14879 471 1171 0 14413 0
Current children cumulated CPU time (s) 162.25
Current children cumulated vsize (KiB) 62544

[startup+222.3 s]
/proc/loadavg: 2.11 2.02 2.00 3/176 7681
/proc/meminfo: memFree=24017008/32873844 swapFree=7112/7112
[pid=7676] ppid=7674 vsize=62544 CPUtime=222.24 cores=0,2,4,6
/proc/7676/stat : 7676 (toysat) R 7674 7676 7385 0 -1 4202496 18825 0 0 0 22194 30 0 0 20 0 1 0 330007012 64045056 14879 33554432000 4194304 8989770 140733422068016 140733422067280 7953280 0 0 0 34082818 0 0 0 17 4 0 0 0 0 0
/proc/7676/statm: 15636 14879 471 1171 0 14413 0
Current children cumulated CPU time (s) 222.24
Current children cumulated vsize (KiB) 62544

[startup+282.3 s]
/proc/loadavg: 2.04 2.01 2.00 3/175 7681
/proc/meminfo: memFree=24008796/32873844 swapFree=7112/7112
[pid=7676] ppid=7674 vsize=66640 CPUtime=282.23 cores=0,2,4,6
/proc/7676/stat : 7676 (toysat) R 7674 7676 7385 0 -1 4202496 21129 0 0 0 28185 38 0 0 20 0 1 0 330007012 68239360 15903 33554432000 4194304 8989770 140733422068016 140733422067512 7953280 0 0 0 34082818 0 0 0 17 4 0 0 0 0 0
/proc/7676/statm: 16660 15903 471 1171 0 15437 0
Current children cumulated CPU time (s) 282.23
Current children cumulated vsize (KiB) 66640

[startup+342.3 s]
/proc/loadavg: 2.01 2.00 2.00 3/175 7682
/proc/meminfo: memFree=24009048/32873844 swapFree=7112/7112
[pid=7676] ppid=7674 vsize=62544 CPUtime=342.22 cores=0,2,4,6
/proc/7676/stat : 7676 (toysat) R 7674 7676 7385 0 -1 4202496 23947 0 0 0 34176 46 0 0 20 0 1 0 330007012 64045056 14879 33554432000 4194304 8989770 140733422068016 140733422067512 7953280 0 0 0 34082818 0 0 0 17 4 0 0 0 0 0
/proc/7676/statm: 15636 14879 471 1171 0 14413 0
Current children cumulated CPU time (s) 342.22
Current children cumulated vsize (KiB) 62544

[startup+402.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/175 7682
/proc/meminfo: memFree=24009588/32873844 swapFree=7112/7112
[pid=7676] ppid=7674 vsize=58448 CPUtime=402.21 cores=0,2,4,6
/proc/7676/stat : 7676 (toysat) R 7674 7676 7385 0 -1 4202496 24973 0 0 0 40168 53 0 0 20 0 1 0 330007012 59850752 13855 33554432000 4194304 8989770 140733422068016 140733422067512 7953280 0 0 0 34082818 0 0 0 17 4 0 0 0 0 0
/proc/7676/statm: 14612 13855 471 1171 0 13389 0
Current children cumulated CPU time (s) 402.21
Current children cumulated vsize (KiB) 58448

[startup+462.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/175 7682
/proc/meminfo: memFree=24003888/32873844 swapFree=7112/7112
[pid=7676] ppid=7674 vsize=58448 CPUtime=462.2 cores=0,2,4,6
/proc/7676/stat : 7676 (toysat) R 7674 7676 7385 0 -1 4202496 27791 0 0 0 46161 59 0 0 20 0 1 0 330007012 59850752 13855 33554432000 4194304 8989770 140733422068016 140733422067280 7953280 0 0 0 34082818 0 0 0 17 4 0 0 0 0 0
/proc/7676/statm: 14612 13855 471 1171 0 13389 0
Current children cumulated CPU time (s) 462.2
Current children cumulated vsize (KiB) 58448

[startup+522.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/175 7682
/proc/meminfo: memFree=23988240/32873844 swapFree=7112/7112
[pid=7676] ppid=7674 vsize=70736 CPUtime=522.19 cores=0,2,4,6
/proc/7676/stat : 7676 (toysat) R 7674 7676 7385 0 -1 4202496 32152 0 0 0 52151 68 0 0 20 0 1 0 330007012 72433664 16927 33554432000 4194304 8989770 140733422068016 140733422067512 7857787 0 2 0 34082818 0 0 0 17 4 0 0 0 0 0
/proc/7676/statm: 17684 16927 471 1171 0 16461 0
Current children cumulated CPU time (s) 522.19
Current children cumulated vsize (KiB) 70736

[startup+582.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/175 7682
/proc/meminfo: memFree=23987620/32873844 swapFree=7112/7112
[pid=7676] ppid=7674 vsize=66640 CPUtime=582.17 cores=0,2,4,6
/proc/7676/stat : 7676 (toysat) R 7674 7676 7385 0 -1 4202496 34461 0 0 0 58143 74 0 0 20 0 1 0 330007012 68239360 15903 33554432000 4194304 8989770 140733422068016 140733422067512 7857787 0 2 0 34082818 0 0 0 17 4 0 0 0 0 0
/proc/7676/statm: 16660 15903 471 1171 0 15437 0
Current children cumulated CPU time (s) 582.17
Current children cumulated vsize (KiB) 66640

[startup+642.3 s]

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

[startup+822.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/176 7686
/proc/meminfo: memFree=23966904/32873844 swapFree=7112/7112
[pid=7676] ppid=7674 vsize=70736 CPUtime=822.13 cores=0,2,4,6
/proc/7676/stat : 7676 (toysat) R 7674 7676 7385 0 -1 4202496 52648 0 0 0 82107 106 0 0 20 0 1 0 330007012 72433664 16927 33554432000 4194304 8989770 140733422068016 140733422067512 7857787 0 2 0 34082818 0 0 0 17 4 0 0 0 0 0
/proc/7676/statm: 17684 16927 471 1171 0 16461 0
Current children cumulated CPU time (s) 822.13
Current children cumulated vsize (KiB) 70736

[startup+882.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/175 7686
/proc/meminfo: memFree=23962528/32873844 swapFree=7112/7112
[pid=7676] ppid=7674 vsize=71760 CPUtime=882.12 cores=0,2,4,6
/proc/7676/stat : 7676 (toysat) R 7674 7676 7385 0 -1 4202496 54184 0 0 0 88099 113 0 0 20 0 1 0 330007012 73482240 17183 33554432000 4194304 8989770 140733422068016 140733422067280 7953280 0 0 0 34082818 0 0 0 17 4 0 0 0 0 0
/proc/7676/statm: 17940 17183 471 1171 0 16717 0
Current children cumulated CPU time (s) 882.12
Current children cumulated vsize (KiB) 71760

[startup+942.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/175 7686
/proc/meminfo: memFree=23946624/32873844 swapFree=7112/7112
[pid=7676] ppid=7674 vsize=83024 CPUtime=942.11 cores=0,2,4,6
/proc/7676/stat : 7676 (toysat) R 7674 7676 7385 0 -1 4202496 59051 0 0 0 94092 119 0 0 20 0 1 0 330007012 85016576 19999 33554432000 4194304 8989770 140733422068016 140733422067280 7857787 0 2 0 34082818 0 0 0 17 4 0 0 0 0 0
/proc/7676/statm: 20756 19999 471 1171 0 19533 0
Current children cumulated CPU time (s) 942.11
Current children cumulated vsize (KiB) 83024

[startup+1002.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/175 7687
/proc/meminfo: memFree=23946576/32873844 swapFree=7112/7112
[pid=7676] ppid=7674 vsize=78928 CPUtime=1002.1 cores=0,2,4,6
/proc/7676/stat : 7676 (toysat) R 7674 7676 7385 0 -1 4202496 63916 0 0 0 100083 127 0 0 20 0 1 0 330007012 80822272 18975 33554432000 4194304 8989770 140733422068016 140733422067512 7857787 0 2 0 34082818 0 0 0 17 4 0 0 0 0 0
/proc/7676/statm: 19732 18975 471 1171 0 18509 0
Current children cumulated CPU time (s) 1002.1
Current children cumulated vsize (KiB) 78928

[startup+1062.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/175 7687
/proc/meminfo: memFree=23944096/32873844 swapFree=7112/7112
[pid=7676] ppid=7674 vsize=77904 CPUtime=1062.09 cores=0,2,4,6
/proc/7676/stat : 7676 (toysat) R 7674 7676 7385 0 -1 4202496 67244 0 0 0 106074 135 0 0 20 0 1 0 330007012 79773696 18719 33554432000 4194304 8989770 140733422068016 140733422067512 7953280 0 0 0 34082818 0 0 0 17 4 0 0 0 0 0
/proc/7676/statm: 19476 18719 471 1171 0 18253 0
Current children cumulated CPU time (s) 1062.09
Current children cumulated vsize (KiB) 77904

[startup+1122.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/175 7687
/proc/meminfo: memFree=23942208/32873844 swapFree=7112/7112
[pid=7676] ppid=7674 vsize=74832 CPUtime=1122.07 cores=0,2,4,6
/proc/7676/stat : 7676 (toysat) R 7674 7676 7385 0 -1 4202496 71349 0 0 0 112065 142 0 0 20 0 1 0 330007012 76627968 17951 33554432000 4194304 8989770 140733422068016 140733422067512 7857787 0 2 0 34082818 0 0 0 17 4 0 0 0 0 0
/proc/7676/statm: 18708 17951 471 1171 0 17485 0
Current children cumulated CPU time (s) 1122.07
Current children cumulated vsize (KiB) 74832

[startup+1182.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/175 7687
/proc/meminfo: memFree=23941844/32873844 swapFree=7112/7112
[pid=7676] ppid=7674 vsize=71760 CPUtime=1182.06 cores=0,2,4,6
/proc/7676/stat : 7676 (toysat) R 7674 7676 7385 0 -1 4202496 73141 0 0 0 118057 149 0 0 20 0 1 0 330007012 73482240 17183 33554432000 4194304 8989770 140733422068016 140733422067512 7857787 0 2 0 34082818 0 0 0 17 4 0 0 0 0 0
/proc/7676/statm: 17940 17183 471 1171 0 16717 0
Current children cumulated CPU time (s) 1182.06
Current children cumulated vsize (KiB) 71760

[startup+1242.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/175 7687
/proc/meminfo: memFree=23930544/32873844 swapFree=7112/7112
[pid=7676] ppid=7674 vsize=78928 CPUtime=1242.06 cores=0,2,4,6
/proc/7676/stat : 7676 (toysat) R 7674 7676 7385 0 -1 4202496 78517 0 0 0 124047 159 0 0 20 0 1 0 330007012 80822272 18975 33554432000 4194304 8989770 140733422068016 140733422067512 7953280 0 0 0 34082818 0 0 0 17 4 0 0 0 0 0
/proc/7676/statm: 19732 18975 471 1171 0 18509 0
Current children cumulated CPU time (s) 1242.06
Current children cumulated vsize (KiB) 78928

[startup+1302.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/175 7688
/proc/meminfo: memFree=23946844/32873844 swapFree=7112/7112
[pid=7676] ppid=7674 vsize=58448 CPUtime=1302.05 cores=0,2,4,6
/proc/7676/stat : 7676 (toysat) R 7674 7676 7385 0 -1 4202496 82112 0 0 0 130039 166 0 0 20 0 1 0 330007012 59850752 13855 33554432000 4194304 8989770 140733422068016 140733422067512 7857787 0 2 0 34082818 0 0 0 17 4 0 0 0 0 0
/proc/7676/statm: 14612 13855 471 1171 0 13389 0
Current children cumulated CPU time (s) 1302.05
Current children cumulated vsize (KiB) 58448

[startup+1362.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/175 7688
/proc/meminfo: memFree=23918392/32873844 swapFree=7112/7112
[pid=7676] ppid=7674 vsize=83024 CPUtime=1362.04 cores=0,2,4,6
/proc/7676/stat : 7676 (toysat) R 7674 7676 7385 0 -1 4202496 90048 0 0 0 136031 173 0 0 20 0 1 0 330007012 85016576 19999 33554432000 4194304 8989770 140733422068016 140733422067280 7857787 0 2 0 34082818 0 0 0 17 4 0 0 0 0 0
/proc/7676/statm: 20756 19999 471 1171 0 19533 0
Current children cumulated CPU time (s) 1362.04
Current children cumulated vsize (KiB) 83024

[startup+1422.31 s]
/proc/loadavg: 2.00 2.00 2.00 3/176 7691
/proc/meminfo: memFree=23934568/32873844 swapFree=7112/7112
[pid=7676] ppid=7674 vsize=62544 CPUtime=1422.03 cores=0,2,4,6
/proc/7676/stat : 7676 (toysat) R 7674 7676 7385 0 -1 4202496 93389 0 0 0 142022 181 0 0 20 0 1 0 330007012 64045056 14879 33554432000 4194304 8989770 140733422068016 140733422067512 7953280 0 0 0 34082818 0 0 0 17 4 0 0 0 0 0
/proc/7676/statm: 15636 14879 471 1171 0 14413 0
Current children cumulated CPU time (s) 1422.03
Current children cumulated vsize (KiB) 62544

[startup+1482.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/175 7691
/proc/meminfo: memFree=23913036/32873844 swapFree=7112/7112
[pid=7676] ppid=7674 vsize=78928 CPUtime=1482.01 cores=0,2,4,6
/proc/7676/stat : 7676 (toysat) R 7674 7676 7385 0 -1 4202496 103121 0 0 0 148013 188 0 0 20 0 1 0 330007012 80822272 18975 33554432000 4194304 8989770 140733422068016 140733422067512 7857787 0 2 0 34082818 0 0 0 17 4 0 0 0 0 0
/proc/7676/statm: 19732 18975 471 1171 0 18509 0
Current children cumulated CPU time (s) 1482.01
Current children cumulated vsize (KiB) 78928

[startup+1542.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/175 7691
/proc/meminfo: memFree=23913232/32873844 swapFree=7112/7112
[pid=7676] ppid=7674 vsize=74832 CPUtime=1542 cores=0,2,4,6
/proc/7676/stat : 7676 (toysat) R 7674 7676 7385 0 -1 4202496 106961 0 0 0 154004 196 0 0 20 0 1 0 330007012 76627968 17951 33554432000 4194304 8989770 140733422068016 140733422067512 7857787 0 2 0 34082818 0 0 0 17 4 0 0 0 0 0
/proc/7676/statm: 18708 17951 471 1171 0 17485 0
Current children cumulated CPU time (s) 1542
Current children cumulated vsize (KiB) 74832

[startup+1602.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/175 7692
/proc/meminfo: memFree=23896360/32873844 swapFree=7112/7112
[pid=7676] ppid=7674 vsize=94288 CPUtime=1601.99 cores=0,2,4,6
/proc/7676/stat : 7676 (toysat) R 7674 7676 7385 0 -1 4202496 111828 0 0 0 159995 204 0 0 20 0 1 0 330007012 96550912 22815 33554432000 4194304 8989770 140733422068016 140733422067280 4209220 0 2 0 34082818 0 0 0 17 4 0 0 0 0 0
/proc/7676/statm: 23572 22815 471 1171 0 22349 0
Current children cumulated CPU time (s) 1601.99
Current children cumulated vsize (KiB) 94288

[startup+1662.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/175 7692
/proc/meminfo: memFree=23881248/32873844 swapFree=7112/7112
[pid=7676] ppid=7674 vsize=101456 CPUtime=1661.97 cores=0,2,4,6
/proc/7676/stat : 7676 (toysat) R 7674 7676 7385 0 -1 4202496 117972 0 0 0 165984 213 0 0 20 0 1 0 330007012 103890944 24607 33554432000 4194304 8989770 140733422068016 140733422067512 7953280 0 0 0 34082818 0 0 0 17 4 0 0 0 0 0
/proc/7676/statm: 25364 24607 471 1171 0 24141 0
Current children cumulated CPU time (s) 1661.97
Current children cumulated vsize (KiB) 101456

[startup+1722.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/175 7692
/proc/meminfo: memFree=23880636/32873844 swapFree=7112/7112
[pid=7676] ppid=7674 vsize=95312 CPUtime=1721.97 cores=0,2,4,6
/proc/7676/stat : 7676 (toysat) R 7674 7676 7385 0 -1 4202496 119252 0 0 0 171975 222 0 0 20 0 1 0 330007012 97599488 23071 33554432000 4194304 8989770 140733422068016 140733422067280 7857787 0 2 0 34082818 0 0 0 17 4 0 0 0 0 0
/proc/7676/statm: 23828 23071 471 1171 0 22605 0
Current children cumulated CPU time (s) 1721.97
Current children cumulated vsize (KiB) 95312

[startup+1782.3 s]
/proc/loadavg: 2.03 2.01 2.00 3/175 7692
/proc/meminfo: memFree=23889580/32873844 swapFree=7112/7112
[pid=7676] ppid=7674 vsize=83024 CPUtime=1781.94 cores=0,2,4,6
/proc/7676/stat : 7676 (toysat) R 7674 7676 7385 0 -1 4202496 122348 0 0 0 177965 229 0 0 20 0 1 0 330007012 85016576 19999 33554432000 4194304 8989770 140733422068016 140733422067512 7857787 0 2 0 34082818 0 0 0 17 4 0 0 0 0 0
/proc/7676/statm: 20756 19999 471 1171 0 19533 0
Current children cumulated CPU time (s) 1781.94
Current children cumulated vsize (KiB) 83024



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1800.4 s]
/proc/loadavg: 1.94 1.99 1.99 2/173 7693
/proc/meminfo: memFree=24082344/32873844 swapFree=7112/7112
[pid=7676] ppid=7674 vsize=78928 CPUtime=1800.04 cores=0,2,4,6
/proc/7676/stat : 7676 (toysat) R 7674 7676 7385 0 -1 4202496 124140 0 0 0 179773 231 0 0 20 0 1 0 330007012 80822272 18975 33554432000 4194304 8989770 140733422068016 140733422067512 7953280 0 0 0 34082818 0 0 0 17 4 0 0 0 0 0
/proc/7676/statm: 19732 18975 471 1171 0 18509 0
Current children cumulated CPU time (s) 1800.04
Current children cumulated vsize (KiB) 78928

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): 1797.74
CPU system time (s): 2.31565
CPU usage (%): 99.9804
Max. virtual memory (cumulated for all children) (KiB): 106576

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1797.74
system time used= 2.31565
maximum resident set size= 103548
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 124140
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= 128
involuntary context switches= 1982

runsolver used 2.94455 second user time and 9.06162 second system time

The end

Launcher Data 

Begin job on node104 at 2012-06-02 14:06:25
IDJOB=3725647
IDBENCH=48156
IDSOLVER=2308
FILE ID=node104/3725647-1338638784
RUNJOBID= node104-1338635178-7401
PBS_JOBID= 14636479
Free space on /tmp= 66440 MiB

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

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

MD5SUM BENCH= 1e64c526f9351931db225cdff75c2df5
RANDOM SEED=897590773

node104.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.266
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.53
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.266
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.266
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.91
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.266
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.92
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.266
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.266
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.266
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.266
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.92
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:


/proc/meminfo:
MemTotal:       32873844 kB
MemFree:        24107176 kB
Buffers:          537528 kB
Cached:          7164160 kB
SwapCached:          780 kB
Active:          4699828 kB
Inactive:        3066552 kB
Active(anon):      56516 kB
Inactive(anon):     8072 kB
Active(file):    4643312 kB
Inactive(file):  3058480 kB
Unevictable:        7112 kB
Mlocked:            7112 kB
SwapTotal:      67108856 kB
SwapFree:       67105060 kB
Dirty:             14668 kB
Writeback:             0 kB
AnonPages:         68604 kB
Mapped:            16088 kB
Shmem:                 8 kB
Slab:             860856 kB
SReclaimable:     303200 kB
SUnreclaim:       557656 kB
KernelStack:        1424 kB
PageTables:         3908 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83545776 kB
Committed_AS:     168596 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      346368 kB
VmallocChunk:   34341987984 kB
HardwareCorrupted:     0 kB
AnonHugePages:         0 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= 66412 MiB
End job on node104 at 2012-06-02 14:36:27