Trace number 3707274

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.08 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-05-27T17:24:00+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 = ["--pb","HOME/instance-3707274-1338132240.opb"]
0.00/0.06	c #vars 100
0.00/0.06	c #constraints 100
0.00/0.06	c Solving starts ...
0.00/0.07	c solving time = 0.005s
0.00/0.07	c #decision = 93
0.00/0.07	c #conflict = 0
0.00/0.07	c #restart = 0
0.00/0.07	o 7
0.00/0.07	c Solving starts ...
0.00/0.08	c solving time = 0.013s
0.00/0.08	c #decision = 203
0.00/0.08	c #conflict = 19
0.00/0.08	c #restart = 0
0.00/0.08	o 6
0.00/0.08	c Solving starts ...
22.58/22.65	c learnt constraints deletion: 10052 -> 5026
35.78/35.82	c learnt constraints deletion: 10957 -> 5479
50.38/50.40	c learnt constraints deletion: 12192 -> 6096
68.18/68.25	c learnt constraints deletion: 14410 -> 7205
82.17/82.23	c learnt constraints deletion: 13520 -> 6762
99.36/99.43	c learnt constraints deletion: 14858 -> 7429
115.66/115.78	c learnt constraints deletion: 15145 -> 7576
134.06/134.12	c learnt constraints deletion: 16388 -> 8194
152.45/152.54	c learnt constraints deletion: 16668 -> 8336
169.55/169.62	c learnt constraints deletion: 16394 -> 8201
187.04/187.16	c learnt constraints deletion: 16658 -> 8337
207.54/207.65	c learnt constraints deletion: 18994 -> 9509
224.35/224.41	c learnt constraints deletion: 18309 -> 9172
240.64/240.79	c learnt constraints deletion: 18866 -> 9458
257.34/257.42	c learnt constraints deletion: 18714 -> 9357
278.73/278.87	c learnt constraints deletion: 19857 -> 9929
300.03/300.19	c learnt constraints deletion: 19832 -> 9917
322.02/322.17	c learnt constraints deletion: 20044 -> 10027
341.82/341.92	c learnt constraints deletion: 19813 -> 9916
361.72/361.81	c learnt constraints deletion: 20128 -> 10077
380.31/380.47	c learnt constraints deletion: 20336 -> 10187
398.41/398.50	c learnt constraints deletion: 21489 -> 10745
419.91/420.01	c learnt constraints deletion: 22199 -> 11114
439.41/439.58	c learnt constraints deletion: 22318 -> 11181
456.31/456.49	c learnt constraints deletion: 21584 -> 10792
481.29/481.42	c learnt constraints deletion: 22054 -> 11028
504.40/504.56	c learnt constraints deletion: 21819 -> 10914
526.89/527.09	c learnt constraints deletion: 21726 -> 10872
547.88/548.03	c learnt constraints deletion: 21933 -> 10981
566.88/567.02	c learnt constraints deletion: 22198 -> 11120
587.37/587.59	c learnt constraints deletion: 23577 -> 11789
614.07/614.27	c learnt constraints deletion: 23668 -> 11835
641.37/641.57	c learnt constraints deletion: 23772 -> 11891
668.27/668.43	c learnt constraints deletion: 24230 -> 12125
692.26/692.41	c learnt constraints deletion: 24283 -> 12159
713.26/713.45	c learnt constraints deletion: 24655 -> 12328
738.56/738.75	c learnt constraints deletion: 24012 -> 12006
768.05/768.20	c learnt constraints deletion: 24513 -> 12261
793.34/793.55	c learnt constraints deletion: 23918 -> 11967
816.63/816.83	c learnt constraints deletion: 24094 -> 12061
838.43/838.60	c learnt constraints deletion: 24484 -> 12263
859.23/859.45	c learnt constraints deletion: 23675 -> 11838
889.22/889.47	c learnt constraints deletion: 25606 -> 12803
919.43/919.63	c learnt constraints deletion: 26381 -> 13192
948.82/949.04	c learnt constraints deletion: 26377 -> 13194
978.01/978.22	c learnt constraints deletion: 27008 -> 13515
1004.70/1004.93	c learnt constraints deletion: 26860 -> 13447
1025.90/1026.19	c learnt constraints deletion: 26477 -> 13239
1057.09/1057.34	c learnt constraints deletion: 26027 -> 13014
1086.50/1086.80	c learnt constraints deletion: 26133 -> 13072
1115.98/1116.21	c learnt constraints deletion: 26561 -> 13291
1141.68/1141.91	c learnt constraints deletion: 26978 -> 13507
1164.87/1165.11	c learnt constraints deletion: 26098 -> 13049
1195.57/1195.81	c learnt constraints deletion: 26738 -> 13371
1222.96/1223.23	c learnt constraints deletion: 26695 -> 13354
1250.86/1251.11	c learnt constraints deletion: 26855 -> 13439
1275.25/1275.54	c learnt constraints deletion: 26606 -> 13321
1296.25/1296.54	c learnt constraints deletion: 26236 -> 13118
1328.14/1328.47	c learnt constraints deletion: 26938 -> 13469
1362.65/1362.95	c learnt constraints deletion: 28905 -> 14459
1393.44/1393.74	c learnt constraints deletion: 29407 -> 14717
1419.53/1419.80	c learnt constraints deletion: 30185 -> 15117
1452.62/1452.99	c learnt constraints deletion: 29606 -> 14803
1484.91/1485.26	c learnt constraints deletion: 28757 -> 14383
1515.01/1515.31	c learnt constraints deletion: 28952 -> 14486
1542.29/1542.69	c learnt constraints deletion: 29405 -> 14721
1569.40/1569.74	c learnt constraints deletion: 29078 -> 14539
1602.78/1603.17	c learnt constraints deletion: 29094 -> 14549
1635.49/1635.84	c learnt constraints deletion: 29460 -> 14739
1666.48/1666.86	c learnt constraints deletion: 29602 -> 14818
1696.07/1696.42	c learnt constraints deletion: 28905 -> 14453
1729.17/1729.59	c learnt constraints deletion: 28488 -> 14245
1762.27/1762.64	c learnt constraints deletion: 29090 -> 14552
1792.85/1793.24	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-3707274-1338132240/watcher-3707274-1338132240 -o /tmp/evaluation-result-3707274-1338132240/solver-3707274-1338132240 -C 1800 -W 1900 -M 15500 HOME/toysat --pb HOME/instance-3707274-1338132240.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.93 1.99 1.99 3/174 12969
/proc/meminfo: memFree=29800588/32873852 swapFree=7624/7624
[pid=12969] ppid=12967 vsize=6208 CPUtime=0 cores=0,2,4,6
/proc/12969/stat : 12969 (toysat) R 12967 12969 12056 0 -1 4202496 800 0 0 0 0 0 0 0 20 0 1 0 279349439 6356992 721 33554432000 4194304 8973514 140737386944064 140736645311032 7937344 0 0 0 34082818 0 0 0 17 0 0 0 0 0 0
/proc/12969/statm: 1552 721 416 1167 0 333 0

[startup+0.0910881 s]
/proc/loadavg: 1.93 1.99 1.99 3/174 12969
/proc/meminfo: memFree=29800588/32873852 swapFree=7624/7624
[pid=12969] ppid=12967 vsize=14400 CPUtime=0.08 cores=0,2,4,6
/proc/12969/stat : 12969 (toysat) R 12967 12969 12056 0 -1 4202496 2909 0 0 0 8 0 0 0 20 0 1 0 279349439 14745600 2830 33554432000 4194304 8973514 140737386944064 140736645311032 7841851 0 2 0 34082818 0 0 0 17 0 0 0 0 0 0
/proc/12969/statm: 3600 2830 457 1167 0 2381 0
Current children cumulated CPU time (s) 0.08
Current children cumulated vsize (KiB) 14400

[startup+0.100251 s]
/proc/loadavg: 1.93 1.99 1.99 3/174 12969
/proc/meminfo: memFree=29800588/32873852 swapFree=7624/7624
[pid=12969] ppid=12967 vsize=14400 CPUtime=0.09 cores=0,2,4,6
/proc/12969/stat : 12969 (toysat) R 12967 12969 12056 0 -1 4202496 2909 0 0 0 9 0 0 0 20 0 1 0 279349439 14745600 2830 33554432000 4194304 8973514 140737386944064 140736645311032 4419849 0 0 0 34082818 0 0 0 17 0 0 0 0 0 0
/proc/12969/statm: 3600 2830 457 1167 0 2381 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 14400

[startup+0.300233 s]
/proc/loadavg: 1.93 1.99 1.99 3/174 12969
/proc/meminfo: memFree=29800588/32873852 swapFree=7624/7624
[pid=12969] ppid=12967 vsize=18496 CPUtime=0.29 cores=0,2,4,6
/proc/12969/stat : 12969 (toysat) R 12967 12969 12056 0 -1 4202496 3933 0 0 0 29 0 0 0 20 0 1 0 279349439 18939904 3854 33554432000 4194304 8973514 140737386944064 140737386943560 7672565 0 2 0 34082818 0 0 0 17 0 0 0 0 0 0
/proc/12969/statm: 4624 3854 457 1167 0 3405 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 18496

[startup+0.700235 s]
/proc/loadavg: 1.93 1.99 1.99 3/174 12969
/proc/meminfo: memFree=29800588/32873852 swapFree=7624/7624
[pid=12969] ppid=12967 vsize=19520 CPUtime=0.69 cores=0,2,4,6
/proc/12969/stat : 12969 (toysat) R 12967 12969 12056 0 -1 4202496 4189 0 0 0 69 0 0 0 20 0 1 0 279349439 19988480 4110 33554432000 4194304 8973514 140737386944064 140737386943328 4427192 0 0 0 34082818 0 0 0 17 0 0 0 0 0 0
/proc/12969/statm: 4880 4110 457 1167 0 3661 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 19520

[startup+1.50023 s]
/proc/loadavg: 1.93 1.99 1.99 3/175 12970
/proc/meminfo: memFree=29786304/32873852 swapFree=7624/7624
[pid=12969] ppid=12967 vsize=19520 CPUtime=1.49 cores=0,2,4,6
/proc/12969/stat : 12969 (toysat) R 12967 12969 12056 0 -1 4202496 4189 0 0 0 148 1 0 0 20 0 1 0 279349439 19988480 4110 33554432000 4194304 8973514 140737386944064 140737386943560 4204638 0 2 0 34082818 0 0 0 17 0 0 0 0 0 0
/proc/12969/statm: 4880 4110 457 1167 0 3661 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 19520

[startup+3.10023 s]
/proc/loadavg: 1.93 1.99 1.99 3/175 12970
/proc/meminfo: memFree=29784320/32873852 swapFree=7624/7624
[pid=12969] ppid=12967 vsize=21568 CPUtime=3.08 cores=0,2,4,6
/proc/12969/stat : 12969 (toysat) R 12967 12969 12056 0 -1 4202496 4507 0 0 0 307 1 0 0 20 0 1 0 279349439 22085632 4428 33554432000 4194304 8973514 140737386944064 140737386943328 6576707 0 0 0 34082818 0 0 0 17 0 0 0 0 0 0
/proc/12969/statm: 5392 4428 457 1167 0 4173 0
Current children cumulated CPU time (s) 3.08
Current children cumulated vsize (KiB) 21568

[startup+6.30023 s]
/proc/loadavg: 1.94 1.99 1.99 3/175 12970
/proc/meminfo: memFree=29781344/32873852 swapFree=7624/7624
[pid=12969] ppid=12967 vsize=24640 CPUtime=6.29 cores=0,2,4,6
/proc/12969/stat : 12969 (toysat) R 12967 12969 12056 0 -1 4202496 5469 0 0 0 627 2 0 0 20 0 1 0 279349439 25231360 5390 33554432000 4194304 8973514 140737386944064 140737386943560 5387124 0 0 0 34082818 0 0 0 17 0 0 0 0 0 0
/proc/12969/statm: 6160 5390 457 1167 0 4941 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 24640

[startup+12.7002 s]
/proc/loadavg: 1.94 1.99 1.99 3/175 12970
/proc/meminfo: memFree=29773192/32873852 swapFree=7624/7624
[pid=12969] ppid=12967 vsize=31808 CPUtime=12.69 cores=0,2,4,6
/proc/12969/stat : 12969 (toysat) R 12967 12969 12056 0 -1 4202496 7262 0 0 0 1266 3 0 0 20 0 1 0 279349439 32571392 7183 33554432000 4194304 8973514 140737386944064 140737386943328 4209212 0 2 0 34082818 0 0 0 17 0 0 0 0 0 0
/proc/12969/statm: 7952 7183 457 1167 0 6733 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 31808

[startup+25.5003 s]
/proc/loadavg: 1.95 1.99 1.99 3/175 12970
/proc/meminfo: memFree=29759824/32873852 swapFree=7624/7624
[pid=12969] ppid=12967 vsize=43072 CPUtime=25.49 cores=0,2,4,6
/proc/12969/stat : 12969 (toysat) R 12967 12969 12056 0 -1 4202496 10083 0 0 0 2543 6 0 0 20 0 1 0 279349439 44105728 10004 33554432000 4194304 8973514 140737386944064 140737386943560 4208820 0 2 0 34082818 0 0 0 17 2 0 0 0 0 0
/proc/12969/statm: 10768 10004 458 1167 0 9549 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 43072

[startup+51.1003 s]
/proc/loadavg: 1.97 1.99 1.99 3/175 12970
/proc/meminfo: memFree=29749904/32873852 swapFree=7624/7624
[pid=12969] ppid=12967 vsize=49216 CPUtime=51.08 cores=0,2,4,6
/proc/12969/stat : 12969 (toysat) R 12967 12969 12056 0 -1 4202496 11619 0 0 0 5097 11 0 0 20 0 1 0 279349439 50397184 11540 33554432000 4194304 8973514 140737386944064 140737386927160 7937344 0 0 0 34082818 0 0 0 17 2 0 0 0 0 0
/proc/12969/statm: 12304 11540 458 1167 0 11085 0
Current children cumulated CPU time (s) 51.08
Current children cumulated vsize (KiB) 49216

[startup+102.306 s]
/proc/loadavg: 1.98 1.99 1.99 3/175 12970
/proc/meminfo: memFree=29742160/32873852 swapFree=7624/7624
[pid=12969] ppid=12967 vsize=55360 CPUtime=102.27 cores=0,2,4,6
/proc/12969/stat : 12969 (toysat) R 12967 12969 12056 0 -1 4202496 13940 0 0 0 10206 21 0 0 20 0 1 0 279349439 56688640 13081 33554432000 4194304 8973514 140737386944064 140737386943560 7937344 0 0 0 34082818 0 0 0 17 2 0 0 0 0 0
/proc/12969/statm: 13840 13081 458 1167 0 12621 0
Current children cumulated CPU time (s) 102.27
Current children cumulated vsize (KiB) 55360

[startup+162.3 s]
/proc/loadavg: 2.04 2.00 2.00 3/176 12971
/proc/meminfo: memFree=29729568/32873852 swapFree=7624/7624
[pid=12969] ppid=12967 vsize=62528 CPUtime=162.25 cores=0,2,4,6
/proc/12969/stat : 12969 (toysat) R 12967 12969 12056 0 -1 4202496 16500 0 0 0 16193 32 0 0 20 0 1 0 279349439 64028672 14873 33554432000 4194304 8973514 140737386944064 140737386943560 4442152 0 0 0 34082818 0 0 0 17 2 0 0 0 0 0
/proc/12969/statm: 15632 14873 458 1167 0 14413 0
Current children cumulated CPU time (s) 162.25
Current children cumulated vsize (KiB) 62528

[startup+222.3 s]
/proc/loadavg: 2.01 2.00 2.00 3/175 12972
/proc/meminfo: memFree=29726532/32873852 swapFree=7624/7624
[pid=12969] ppid=12967 vsize=62528 CPUtime=222.24 cores=0,2,4,6
/proc/12969/stat : 12969 (toysat) R 12967 12969 12056 0 -1 4202496 19060 0 0 0 22183 41 0 0 20 0 1 0 279349439 64028672 14873 33554432000 4194304 8973514 140737386944064 140737386943328 4213678 0 2 0 34082818 0 0 0 17 2 0 0 0 0 0
/proc/12969/statm: 15632 14873 458 1167 0 14413 0
Current children cumulated CPU time (s) 222.24
Current children cumulated vsize (KiB) 62528

[startup+282.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/175 12972
/proc/meminfo: memFree=29718764/32873852 swapFree=7624/7624
[pid=12969] ppid=12967 vsize=66624 CPUtime=282.22 cores=0,2,4,6
/proc/12969/stat : 12969 (toysat) R 12967 12969 12056 0 -1 4202496 21367 0 0 0 28170 52 0 0 20 0 1 0 279349439 68222976 15897 33554432000 4194304 8973514 140737386944064 140737386943560 7937344 0 0 0 34082818 0 0 0 17 2 0 0 0 0 0
/proc/12969/statm: 16656 15897 458 1167 0 15437 0
Current children cumulated CPU time (s) 282.22
Current children cumulated vsize (KiB) 66624

[startup+342.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/175 12972
/proc/meminfo: memFree=29712000/32873852 swapFree=7624/7624
[pid=12969] ppid=12967 vsize=66624 CPUtime=342.22 cores=0,2,4,6
/proc/12969/stat : 12969 (toysat) R 12967 12969 12056 0 -1 4202496 24183 0 0 0 34158 64 0 0 20 0 1 0 279349439 68222976 15897 33554432000 4194304 8973514 140737386944064 140737386943328 4441196 0 0 0 34082818 0 0 0 17 2 0 0 0 0 0
/proc/12969/statm: 16656 15897 458 1167 0 15437 0
Current children cumulated CPU time (s) 342.22
Current children cumulated vsize (KiB) 66624

[startup+402.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/176 12975
/proc/meminfo: memFree=29715576/32873852 swapFree=7624/7624
[pid=12969] ppid=12967 vsize=58432 CPUtime=402.21 cores=0,2,4,6
/proc/12969/stat : 12969 (toysat) R 12967 12969 12056 0 -1 4202496 25470 0 0 0 40146 75 0 0 20 0 1 0 279349439 59834368 13849 33554432000 4194304 8973514 140737386944064 140737386943560 4427192 0 0 0 34082818 0 0 0 17 2 0 0 0 0 0
/proc/12969/statm: 14608 13849 458 1167 0 13389 0
Current children cumulated CPU time (s) 402.21
Current children cumulated vsize (KiB) 58432

[startup+462.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/175 12975
/proc/meminfo: memFree=29712612/32873852 swapFree=7624/7624
[pid=12969] ppid=12967 vsize=58432 CPUtime=462.2 cores=0,2,4,6
/proc/12969/stat : 12969 (toysat) R 12967 12969 12056 0 -1 4202496 28542 0 0 0 46133 87 0 0 20 0 1 0 279349439 59834368 13849 33554432000 4194304 8973514 140737386944064 140737386943328 4441196 0 0 0 34082818 0 0 0 17 2 0 0 0 0 0
/proc/12969/statm: 14608 13849 458 1167 0 13389 0
Current children cumulated CPU time (s) 462.2
Current children cumulated vsize (KiB) 58432

[startup+522.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/175 12976
/proc/meminfo: memFree=29696296/32873852 swapFree=7624/7624
[pid=12969] ppid=12967 vsize=70720 CPUtime=522.19 cores=0,2,4,6
/proc/12969/stat : 12969 (toysat) R 12967 12969 12056 0 -1 4202496 32895 0 0 0 52119 100 0 0 20 0 1 0 279349439 72417280 16921 33554432000 4194304 8973514 140737386944064 140737386943328 4214448 0 2 0 34082818 0 0 0 17 2 0 0 0 0 0
/proc/12969/statm: 17680 16921 458 1167 0 16461 0
Current children cumulated CPU time (s) 522.19
Current children cumulated vsize (KiB) 70720

[startup+582.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/175 12976
/proc/meminfo: memFree=29695844/32873852 swapFree=7624/7624
[pid=12969] ppid=12967 vsize=66624 CPUtime=582.17 cores=0,2,4,6
/proc/12969/stat : 12969 (toysat) R 12967 12969 12056 0 -1 4202496 35209 0 0 0 58107 110 0 0 20 0 1 0 279349439 68222976 15897 33554432000 4194304 8973514 140737386944064 140737386943560 4427744 0 0 0 34082818 0 0 0 17 2 0 0 0 0 0
/proc/12969/statm: 16656 15897 458 1167 0 15437 0
Current children cumulated CPU time (s) 582.17
Current children cumulated vsize (KiB) 66624

[startup+642.3 s]

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

[startup+822.3 s]
/proc/loadavg: 1.99 2.00 2.00 3/175 13054
/proc/meminfo: memFree=29672680/32873852 swapFree=7624/7624
[pid=12969] ppid=12967 vsize=70720 CPUtime=822.13 cores=0,2,4,6
/proc/12969/stat : 12969 (toysat) R 12967 12969 12056 0 -1 4202496 53395 0 0 0 82062 151 0 0 20 0 1 0 279349439 72417280 16921 33554432000 4194304 8973514 140737386944064 140737386942016 7659601 0 2 0 34082818 0 0 0 17 2 0 0 0 0 0
/proc/12969/statm: 17680 16921 458 1167 0 16461 0
Current children cumulated CPU time (s) 822.13
Current children cumulated vsize (KiB) 70720

[startup+882.3 s]
/proc/loadavg: 1.99 2.00 2.00 3/175 13054
/proc/meminfo: memFree=29588328/32873852 swapFree=7624/7624
[pid=12969] ppid=12967 vsize=72768 CPUtime=882.13 cores=0,2,4,6
/proc/12969/stat : 12969 (toysat) R 12967 12969 12056 0 -1 4202496 55187 0 0 0 88050 163 0 0 20 0 1 0 279349439 74514432 17433 33554432000 4194304 8973514 140737386944064 140737386943328 4208857 0 2 0 34082818 0 0 0 17 2 0 0 0 0 0
/proc/12969/statm: 18192 17433 458 1167 0 16973 0
Current children cumulated CPU time (s) 882.13
Current children cumulated vsize (KiB) 72768

[startup+942.3 s]
/proc/loadavg: 1.99 2.00 2.00 3/175 13054
/proc/meminfo: memFree=29534996/32873852 swapFree=7624/7624
[pid=12969] ppid=12967 vsize=83008 CPUtime=942.12 cores=0,2,4,6
/proc/12969/stat : 12969 (toysat) R 12967 12969 12056 0 -1 4202496 59795 0 0 0 94040 172 0 0 20 0 1 0 279349439 85000192 19993 33554432000 4194304 8973514 140737386944064 140737386943560 4546164 0 0 0 34082818 0 0 0 17 2 0 0 0 0 0
/proc/12969/statm: 20752 19993 458 1167 0 19533 0
Current children cumulated CPU time (s) 942.12
Current children cumulated vsize (KiB) 83008

[startup+1002.3 s]
/proc/loadavg: 1.99 2.00 2.00 3/176 13057
/proc/meminfo: memFree=29509716/32873852 swapFree=7624/7624
[pid=12969] ppid=12967 vsize=78912 CPUtime=1002.1 cores=0,2,4,6
/proc/12969/stat : 12969 (toysat) R 12967 12969 12056 0 -1 4202496 64403 0 0 0 100026 184 0 0 20 0 1 0 279349439 80805888 18969 33554432000 4194304 8973514 140737386944064 140737386943560 4209272 0 2 0 34082818 0 0 0 17 2 0 0 0 0 0
/proc/12969/statm: 19728 18969 458 1167 0 18509 0
Current children cumulated CPU time (s) 1002.1
Current children cumulated vsize (KiB) 78912

[startup+1062.3 s]
/proc/loadavg: 2.05 2.01 2.00 3/175 13057
/proc/meminfo: memFree=29492908/32873852 swapFree=7624/7624
[pid=12969] ppid=12967 vsize=77888 CPUtime=1062.09 cores=0,2,4,6
/proc/12969/stat : 12969 (toysat) R 12967 12969 12056 0 -1 4202496 67731 0 0 0 106013 196 0 0 20 0 1 0 279349439 79757312 18713 33554432000 4194304 8973514 140737386944064 140737386943560 7937344 0 0 0 34082818 0 0 0 17 2 0 0 0 0 0
/proc/12969/statm: 19472 18713 458 1167 0 18253 0
Current children cumulated CPU time (s) 1062.09
Current children cumulated vsize (KiB) 77888

[startup+1122.3 s]
/proc/loadavg: 2.02 2.01 2.00 3/175 13058
/proc/meminfo: memFree=29474564/32873852 swapFree=7624/7624
[pid=12969] ppid=12967 vsize=74816 CPUtime=1122.07 cores=0,2,4,6
/proc/12969/stat : 12969 (toysat) R 12967 12969 12056 0 -1 4202496 71844 0 0 0 112000 207 0 0 20 0 1 0 279349439 76611584 17945 33554432000 4194304 8973514 140737386944064 140737386943560 6571969 0 0 0 34082818 0 0 0 17 2 0 0 0 0 0
/proc/12969/statm: 18704 17945 458 1167 0 17485 0
Current children cumulated CPU time (s) 1122.07
Current children cumulated vsize (KiB) 74816

[startup+1182.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/175 13058
/proc/meminfo: memFree=29452180/32873852 swapFree=7624/7624
[pid=12969] ppid=12967 vsize=71744 CPUtime=1182.07 cores=0,2,4,6
/proc/12969/stat : 12969 (toysat) R 12967 12969 12056 0 -1 4202496 73636 0 0 0 117988 219 0 0 20 0 1 0 279349439 73465856 17177 33554432000 4194304 8973514 140737386944064 140737386943328 4427744 0 0 0 34082818 0 0 0 17 2 0 0 0 0 0
/proc/12969/statm: 17936 17177 458 1167 0 16717 0
Current children cumulated CPU time (s) 1182.07
Current children cumulated vsize (KiB) 71744

[startup+1242.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/175 13058
/proc/meminfo: memFree=29425652/32873852 swapFree=7624/7624
[pid=12969] ppid=12967 vsize=78912 CPUtime=1242.06 cores=0,2,4,6
/proc/12969/stat : 12969 (toysat) R 12967 12969 12056 0 -1 4202496 79012 0 0 0 123976 230 0 0 20 0 1 0 279349439 80805888 18969 33554432000 4194304 8973514 140737386944064 140737386943328 7680108 0 0 0 34082818 0 0 0 17 2 0 0 0 0 0
/proc/12969/statm: 19728 18969 458 1167 0 18509 0
Current children cumulated CPU time (s) 1242.06
Current children cumulated vsize (KiB) 78912

[startup+1302.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/175 13058
/proc/meminfo: memFree=29423880/32873852 swapFree=7624/7624
[pid=12969] ppid=12967 vsize=58432 CPUtime=1302.05 cores=0,2,4,6
/proc/12969/stat : 12969 (toysat) R 12967 12969 12056 0 -1 4202496 82340 0 0 0 129966 239 0 0 20 0 1 0 279349439 59834368 13849 33554432000 4194304 8973514 140737386944064 140737386943560 7937344 0 0 0 34082818 0 0 0 17 2 0 0 0 0 0
/proc/12969/statm: 14608 13849 458 1167 0 13389 0
Current children cumulated CPU time (s) 1302.05
Current children cumulated vsize (KiB) 58432

[startup+1362.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/175 13058
/proc/meminfo: memFree=29382712/32873852 swapFree=7624/7624
[pid=12969] ppid=12967 vsize=90176 CPUtime=1362.04 cores=0,2,4,6
/proc/12969/stat : 12969 (toysat) R 12967 12969 12056 0 -1 4202496 90276 0 0 0 135956 248 0 0 20 0 1 0 279349439 92340224 21785 33554432000 4194304 8973514 140737386944064 140737386943328 4494624 0 0 0 34082818 0 0 0 17 2 0 0 0 0 0
/proc/12969/statm: 22544 21785 458 1167 0 21325 0
Current children cumulated CPU time (s) 1362.04
Current children cumulated vsize (KiB) 90176

[startup+1422.31 s]
/proc/loadavg: 2.00 2.00 2.00 3/175 13059
/proc/meminfo: memFree=29378956/32873852 swapFree=7624/7624
[pid=12969] ppid=12967 vsize=62528 CPUtime=1422.03 cores=0,2,4,6
/proc/12969/stat : 12969 (toysat) R 12967 12969 12056 0 -1 4202496 93604 0 0 0 141945 258 0 0 20 0 1 0 279349439 64028672 14873 33554432000 4194304 8973514 140737386944064 140737386943560 7937344 0 0 0 34082818 0 0 0 17 2 0 0 0 0 0
/proc/12969/statm: 15632 14873 458 1167 0 14413 0
Current children cumulated CPU time (s) 1422.03
Current children cumulated vsize (KiB) 62528

[startup+1482.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/175 13059
/proc/meminfo: memFree=29337108/32873852 swapFree=7624/7624
[pid=12969] ppid=12967 vsize=98368 CPUtime=1482.01 cores=0,2,4,6
/proc/12969/stat : 12969 (toysat) R 12967 12969 12056 0 -1 4202496 102386 0 0 0 147934 267 0 0 20 0 1 0 279349439 100728832 23645 33554432000 4194304 8973514 140737386944064 140737386943328 4427192 0 0 0 34082818 0 0 0 17 2 0 0 0 0 0
/proc/12969/statm: 24592 23645 458 1167 0 23373 0
Current children cumulated CPU time (s) 1482.01
Current children cumulated vsize (KiB) 98368

[startup+1542.3 s]
/proc/loadavg: 2.06 2.02 2.00 3/175 13059
/proc/meminfo: memFree=29335536/32873852 swapFree=7624/7624
[pid=12969] ppid=12967 vsize=85056 CPUtime=1542 cores=0,2,4,6
/proc/12969/stat : 12969 (toysat) R 12967 12969 12056 0 -1 4202496 107189 0 0 0 153921 279 0 0 20 0 1 0 279349439 87097344 20505 33554432000 4194304 8973514 140737386944064 140737386943328 7654116 0 0 0 34082818 0 0 0 17 2 0 0 0 0 0
/proc/12969/statm: 21264 20505 458 1167 0 20045 0
Current children cumulated CPU time (s) 1542
Current children cumulated vsize (KiB) 85056

[startup+1602.3 s]
/proc/loadavg: 2.02 2.01 2.00 3/176 13062
/proc/meminfo: memFree=29307200/32873852 swapFree=7624/7624
[pid=12969] ppid=12967 vsize=94272 CPUtime=1601.98 cores=0,2,4,6
/proc/12969/stat : 12969 (toysat) R 12967 12969 12056 0 -1 4202496 112053 0 0 0 159907 291 0 0 20 0 1 0 279349439 96534528 22809 33554432000 4194304 8973514 140737386944064 140737386943560 4214568 0 2 0 34082818 0 0 0 17 2 0 0 0 0 0
/proc/12969/statm: 23568 22809 458 1167 0 22349 0
Current children cumulated CPU time (s) 1601.98
Current children cumulated vsize (KiB) 94272

[startup+1662.3 s]
/proc/loadavg: 2.01 2.00 2.00 3/175 13062
/proc/meminfo: memFree=29283476/32873852 swapFree=7624/7624
[pid=12969] ppid=12967 vsize=99392 CPUtime=1661.98 cores=0,2,4,6
/proc/12969/stat : 12969 (toysat) R 12967 12969 12056 0 -1 4202496 118197 0 0 0 165893 305 0 0 20 0 1 0 279349439 101777408 24089 33554432000 4194304 8973514 140737386944064 140737386943328 6571953 0 0 0 34082818 0 0 0 17 2 0 0 0 0 0
/proc/12969/statm: 24848 24089 458 1167 0 23629 0
Current children cumulated CPU time (s) 1661.98
Current children cumulated vsize (KiB) 99392

[startup+1722.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/175 13063
/proc/meminfo: memFree=29274248/32873852 swapFree=7624/7624
[pid=12969] ppid=12967 vsize=95296 CPUtime=1721.97 cores=0,2,4,6
/proc/12969/stat : 12969 (toysat) R 12967 12969 12056 0 -1 4202496 119989 0 0 0 171879 318 0 0 20 0 1 0 279349439 97583104 23065 33554432000 4194304 8973514 140737386944064 140737386943560 6571900 0 0 0 34082818 0 0 0 17 2 0 0 0 0 0
/proc/12969/statm: 23824 23065 458 1167 0 22605 0
Current children cumulated CPU time (s) 1721.97
Current children cumulated vsize (KiB) 95296

[startup+1782.3 s]
/proc/loadavg: 2.03 2.01 2.00 3/175 13063
/proc/meminfo: memFree=29273952/32873852 swapFree=7624/7624
[pid=12969] ppid=12967 vsize=83008 CPUtime=1781.96 cores=0,2,4,6
/proc/12969/stat : 12969 (toysat) R 12967 12969 12056 0 -1 4202496 123061 0 0 0 177869 327 0 0 20 0 1 0 279349439 85000192 19993 33554432000 4194304 8973514 140737386944064 140737386943560 7841851 0 2 0 34082818 0 0 0 17 2 0 0 0 0 0
/proc/12969/statm: 20752 19993 458 1167 0 19533 0
Current children cumulated CPU time (s) 1781.96
Current children cumulated vsize (KiB) 83008



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1800.4 s]
/proc/loadavg: 2.02 2.01 2.00 3/175 13063
/proc/meminfo: memFree=29277864/32873852 swapFree=7624/7624
[pid=12969] ppid=12967 vsize=78912 CPUtime=1800.06 cores=0,2,4,6
/proc/12969/stat : 12969 (toysat) R 12967 12969 12056 0 -1 4202496 124853 0 0 0 179675 331 0 0 20 0 1 0 279349439 80805888 18969 33554432000 4194304 8973514 140737386944064 140737386943560 7937344 0 0 0 34082818 0 0 0 17 2 0 0 0 0 0
/proc/12969/statm: 19728 18969 458 1167 0 18509 0
Current children cumulated CPU time (s) 1800.06
Current children cumulated vsize (KiB) 78912

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.08
CPU user time (s): 1796.76
CPU system time (s): 3.3215
CPU usage (%): 99.9815
Max. virtual memory (cumulated for all children) (KiB): 106560

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1796.76
system time used= 3.3215
maximum resident set size= 103524
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 124853
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= 2128

runsolver used 3.67044 second user time and 8.37373 second system time

The end

Launcher Data 

Begin job on node131 at 2012-05-27 17:24:00
IDJOB=3707274
IDBENCH=48156
IDSOLVER=2285
FILE ID=node131/3707274-1338132240
RUNJOBID= node131-1338120080-12072
PBS_JOBID= 14624478
Free space on /tmp= 71724 MiB

SOLVER NAME= toysat 2012-05-17
BENCH NAME= PB07/normalized-PB07/OPT-SMALLINT-NLC/submittedPB07/manquinho/mds/normalized-mds_100_25_2.opb
COMMAND LINE= HOME/toysat --pb BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-3707274-1338132240/watcher-3707274-1338132240 -o /tmp/evaluation-result-3707274-1338132240/solver-3707274-1338132240 -C 1800 -W 1900 -M 15500  HOME/toysat --pb HOME/instance-3707274-1338132240.opb

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

MD5SUM BENCH= 1e64c526f9351931db225cdff75c2df5
RANDOM SEED=2128484482

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

processor	: 7
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.805
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:       32873852 kB
MemFree:        29800852 kB
Buffers:          325292 kB
Cached:          1768104 kB
SwapCached:         2164 kB
Active:           682272 kB
Inactive:        1558268 kB
Active(anon):     148996 kB
Inactive(anon):      808 kB
Active(file):     533276 kB
Inactive(file):  1557460 kB
Unevictable:        7624 kB
Mlocked:            7624 kB
SwapTotal:      67108856 kB
SwapFree:       67099040 kB
Dirty:              7000 kB
Writeback:             0 kB
AnonPages:        153872 kB
Mapped:            16072 kB
Shmem:                 0 kB
Slab:             692756 kB
SReclaimable:     135344 kB
SUnreclaim:       557412 kB
KernelStack:        1440 kB
PageTables:         4276 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83545780 kB
Committed_AS:     269340 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      346360 kB
VmallocChunk:   34341988004 kB
HardwareCorrupted:     0 kB
AnonHugePages:    135168 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= 71716 MiB
End job on node131 at 2012-05-27 17:54:02