Trace number 3707110

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

General information on the benchmark

Name/OPT-SMALLINT-LIN/oliveras/
j60opt/normalized-j609_6.std.opb
MD5SUMc2f23b4d86bbd4dfbfd3ee88d1bd5fc8
Bench CategoryOPT-SMALLINT-LIN (optimisation, small integers, linear constraints)
Best result obtained on this benchmarkSAT
Best value of the objective obtained on this benchmark111
Best CPU time to get the best result obtained on this benchmark1802.01
Has Objective FunctionYES
Satisfiable
(Un)Satisfiability was proved
Best value of the objective function
Optimality of the best value was proved
Number of variables36722
Total number of constraints117714
Number of constraints which are clauses116514
Number of constraints which are cardinality constraints (but not clauses)0
Number of constraints which are nor clauses,nor cardinality constraints1200
Minimum length of a constraint1
Maximum length of a constraint51
Number of terms in the objective function 300
Biggest coefficient in the objective function 300
Number of bits for the biggest coefficient in the objective function 9
Sum of the numbers in the objective function 45150
Number of bits of the sum of numbers in the objective function 16
Biggest number in a constraint 300
Number of bits of the biggest number in a constraint 9
Biggest sum of numbers in a constraint 45150
Number of bits of the biggest sum of numbers16
Number of products (including duplicates)0
Sum of products size (including duplicates)0
Number of different products0
Sum of products size0

Quality of the solution as a function of time


Download the above graph as a PDF file / as an EPS file

Solver Data 

2.39/2.40	c 2012-05-27T20:33:31+0200
2.39/2.40	c arch = x86_64
2.39/2.40	c os = linux
2.39/2.40	c compiler = ghc 7.4
2.39/2.40	c packages:
2.39/2.40	c   OptDir-0.0.1
2.39/2.40	c   array-0.4.0.0
2.39/2.40	c   base-4.5.0.0
2.39/2.40	c   bytestring-0.9.2.1
2.39/2.40	c   containers-0.4.2.1
2.39/2.40	c   deepseq-1.3.0.0
2.39/2.40	c   mtl-2.1.1
2.39/2.40	c   old_locale-1.0.0.4
2.39/2.40	c   parse_dimacs-1.2
2.39/2.40	c   parsec-3.1.2
2.39/2.40	c   queue-0.1.2
2.39/2.40	c   stm-2.3
2.39/2.40	c   time-1.4
2.39/2.40	c command line = ["--pb","HOME/instance-3707110-1338143611.opb"]
2.39/2.40	c #vars 36722
2.39/2.40	c #constraints 117714
2.39/2.40	c Solving starts ...
3.29/3.31	c solving time = 0.877s
3.29/3.31	c #decision = 918
3.29/3.31	c #conflict = 251
3.29/3.31	c #restart = 2
3.29/3.31	o 141
3.29/3.36	c Solving starts ...
3.39/3.44	c solving time = 0.058s
3.39/3.44	c #decision = 1065
3.39/3.44	c #conflict = 254
3.39/3.44	c #restart = 2
3.39/3.44	o 136
3.39/3.44	c Solving starts ...
3.39/3.49	c solving time = 0.037s
3.39/3.49	c #decision = 1180
3.39/3.49	c #conflict = 255
3.39/3.49	c #restart = 2
3.39/3.49	o 135
3.39/3.49	c Solving starts ...
3.49/3.56	c solving time = 0.060s
3.49/3.56	c #decision = 1303
3.49/3.56	c #conflict = 263
3.49/3.56	c #restart = 2
3.49/3.56	o 134
3.49/3.56	c Solving starts ...
3.59/3.60	c solving time = 0.035s
3.59/3.60	c #decision = 1408
3.59/3.60	c #conflict = 263
3.59/3.60	c #restart = 2
3.59/3.60	o 133
3.59/3.61	c Solving starts ...
3.59/3.65	c solving time = 0.035s
3.59/3.65	c #decision = 1504
3.59/3.65	c #conflict = 263
3.59/3.65	c #restart = 2
3.59/3.65	o 132
3.59/3.65	c Solving starts ...
3.69/3.70	c solving time = 0.035s
3.69/3.70	c #decision = 1604
3.69/3.70	c #conflict = 264
3.69/3.70	c #restart = 2
3.69/3.70	o 131
3.69/3.70	c Solving starts ...
3.69/3.75	c solving time = 0.038s
3.69/3.75	c #decision = 1693
3.69/3.75	c #conflict = 268
3.69/3.75	c #restart = 2
3.69/3.75	o 130
3.69/3.75	c Solving starts ...
3.79/3.83	c solving time = 0.071s
3.79/3.83	c #decision = 1856
3.79/3.83	c #conflict = 290
3.79/3.83	c #restart = 2
3.79/3.83	o 129
3.79/3.83	c Solving starts ...
3.79/3.88	c solving time = 0.038s
3.79/3.88	c #decision = 1990
3.79/3.88	c #conflict = 298
3.79/3.88	c #restart = 2
3.79/3.88	o 128
3.79/3.88	c Solving starts ...
3.89/3.97	c solving time = 0.075s
3.89/3.97	c #decision = 2181
3.89/3.97	c #conflict = 320
3.89/3.97	c #restart = 2
3.89/3.97	o 127
3.89/3.97	c Solving starts ...
4.09/4.14	c solving time = 0.155s
4.09/4.14	c #decision = 2310
4.09/4.14	c #conflict = 360
4.09/4.14	c #restart = 2
4.09/4.14	o 126
4.09/4.14	c Solving starts ...
4.09/4.18	c solving time = 0.035s
4.09/4.18	c #decision = 2435
4.09/4.18	c #conflict = 362
4.09/4.18	c #restart = 2
4.09/4.18	o 125
4.09/4.18	c Solving starts ...
4.29/4.33	c solving time = 0.138s
4.29/4.33	c #decision = 2565
4.29/4.33	c #conflict = 364
4.29/4.33	c #restart = 2
4.29/4.33	o 124
4.29/4.33	c Solving starts ...
4.49/4.51	c solving time = 0.172s
4.49/4.51	c #decision = 2803
4.49/4.51	c #conflict = 453
4.49/4.51	c #restart = 2
4.49/4.51	o 123
4.49/4.51	c Solving starts ...
4.49/4.55	c solving time = 0.033s
4.49/4.55	c #decision = 2913
4.49/4.55	c #conflict = 453
4.49/4.55	c #restart = 2
4.49/4.55	o 122
4.49/4.56	c Solving starts ...
4.59/4.60	c solving time = 0.038s
4.59/4.60	c #decision = 3022
4.59/4.60	c #conflict = 457
4.59/4.60	c #restart = 2
4.59/4.60	o 121
4.59/4.60	c Solving starts ...
4.59/4.65	c solving time = 0.039s
4.59/4.65	c #decision = 3122
4.59/4.65	c #conflict = 461
4.59/4.65	c #restart = 2
4.59/4.65	o 120
4.59/4.65	c Solving starts ...
4.59/4.69	c solving time = 0.034s
4.59/4.69	c #decision = 3224
4.59/4.69	c #conflict = 463
4.59/4.69	c #restart = 2
4.59/4.69	o 119
4.59/4.69	c Solving starts ...
4.68/4.74	c solving time = 0.034s
4.68/4.74	c #decision = 3313
4.68/4.74	c #conflict = 465
4.68/4.74	c #restart = 2
4.68/4.74	o 118
4.68/4.74	c Solving starts ...
4.68/4.78	c solving time = 0.035s
4.68/4.78	c #decision = 3394
4.68/4.78	c #conflict = 468
4.68/4.78	c #restart = 2
4.68/4.78	o 117
4.68/4.78	c Solving starts ...
19.69/19.77	c solving time = 14.976s
19.69/19.77	c #decision = 12894
19.69/19.77	c #conflict = 6666
19.69/19.77	c #restart = 10
19.69/19.77	o 116
19.69/19.77	c Solving starts ...
38.58/38.62	c solving time = 18.841s
38.58/38.62	c #decision = 22670
38.58/38.62	c #conflict = 13035
38.58/38.62	c #restart = 18
38.58/38.62	o 115
38.58/38.62	c Solving starts ...

Verifier Data 

ERROR: no interpretation found !

Watcher Data 

runsolver Copyright (C) 2010-2011 Olivier ROUSSEL

This is runsolver version 3.3.1 (svn: 989)

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

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-3707110-1338143611/watcher-3707110-1338143611 -o /tmp/evaluation-result-3707110-1338143611/solver-3707110-1338143611 -C 1800 -W 1900 -M 15500 HOME/toysat --pb HOME/instance-3707110-1338143611.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.02 2.01 2.00 3/174 14364
/proc/meminfo: memFree=29504972/32873852 swapFree=7624/7624
[pid=14364] ppid=14362 vsize=6208 CPUtime=0 cores=1,3,5,7
/proc/14364/stat : 14364 (toysat) R 14362 14364 12056 0 -1 4202496 809 0 0 0 0 0 0 0 20 0 1 0 280486598 6356992 729 33554432000 4194304 8973514 140736059171040 140736059170536 7937344 0 0 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/14364/statm: 1552 729 415 1167 0 333 0

[startup+0.072665 s]
/proc/loadavg: 2.02 2.01 2.00 3/174 14364
/proc/meminfo: memFree=29504972/32873852 swapFree=7624/7624
[pid=14364] ppid=14362 vsize=10304 CPUtime=0.07 cores=1,3,5,7
/proc/14364/stat : 14364 (toysat) R 14362 14364 12056 0 -1 4202496 1844 0 0 0 7 0 0 0 20 0 1 0 280486598 10551296 1764 33554432000 4194304 8973514 140736059171040 140736059170536 7937344 0 0 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/14364/statm: 2576 1764 418 1167 0 1357 0
Current children cumulated CPU time (s) 0.07
Current children cumulated vsize (KiB) 10304

[startup+0.100314 s]
/proc/loadavg: 2.02 2.01 2.00 3/174 14364
/proc/meminfo: memFree=29504972/32873852 swapFree=7624/7624
[pid=14364] ppid=14362 vsize=12352 CPUtime=0.09 cores=1,3,5,7
/proc/14364/stat : 14364 (toysat) R 14362 14364 12056 0 -1 4202496 2356 0 0 0 9 0 0 0 20 0 1 0 280486598 12648448 2276 33554432000 4194304 8973514 140736059171040 140736059170536 7937344 0 0 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/14364/statm: 3088 2276 418 1167 0 1869 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 12352

[startup+0.300307 s]
/proc/loadavg: 2.02 2.01 2.00 3/174 14364
/proc/meminfo: memFree=29504972/32873852 swapFree=7624/7624
[pid=14364] ppid=14362 vsize=26688 CPUtime=0.29 cores=1,3,5,7
/proc/14364/stat : 14364 (toysat) R 14362 14364 12056 0 -1 4202496 5940 0 0 0 28 1 0 0 20 0 1 0 280486598 27328512 5860 33554432000 4194304 8973514 140736059171040 140736059170536 7937344 0 0 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/14364/statm: 6672 5860 418 1167 0 5453 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 26688

[startup+0.700307 s]
/proc/loadavg: 2.02 2.01 2.00 3/174 14364
/proc/meminfo: memFree=29504972/32873852 swapFree=7624/7624
[pid=14364] ppid=14362 vsize=52288 CPUtime=0.68 cores=1,3,5,7
/proc/14364/stat : 14364 (toysat) R 14362 14364 12056 0 -1 4202496 12114 0 0 0 65 3 0 0 20 0 1 0 280486598 53542912 12035 33554432000 4194304 8973514 140736059171040 140736059170536 4209439 0 2 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/14364/statm: 13072 12044 418 1167 0 11853 0
Current children cumulated CPU time (s) 0.68
Current children cumulated vsize (KiB) 52288

[startup+1.50031 s]
/proc/loadavg: 2.02 2.01 2.00 3/175 14365
/proc/meminfo: memFree=29434424/32873852 swapFree=7624/7624
[pid=14364] ppid=14362 vsize=100416 CPUtime=1.49 cores=1,3,5,7
/proc/14364/stat : 14364 (toysat) R 14362 14364 12056 0 -1 4202496 24372 0 0 0 143 6 0 0 20 0 1 0 280486598 102825984 24292 33554432000 4194304 8973514 140736059171040 140736059169880 7937344 0 0 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/14364/statm: 25104 24292 418 1167 0 23885 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 100416

[startup+3.10032 s]
/proc/loadavg: 2.02 2.01 2.00 3/175 14365
/proc/meminfo: memFree=29374780/32873852 swapFree=7624/7624
[pid=14364] ppid=14362 vsize=153664 CPUtime=3.09 cores=1,3,5,7
/proc/14364/stat : 14364 (toysat) R 14362 14364 12056 0 -1 4202496 37717 0 0 0 301 8 0 0 20 0 1 0 280486598 157351936 37637 33554432000 4194304 8973514 140736059171040 140736059170304 4209212 0 2 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/14364/statm: 38416 37637 445 1167 0 37197 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 153664

[startup+6.3003 s]
/proc/loadavg: 2.02 2.01 2.00 3/175 14365
/proc/meminfo: memFree=29350112/32873852 swapFree=7624/7624
[pid=14364] ppid=14362 vsize=159808 CPUtime=6.29 cores=1,3,5,7
/proc/14364/stat : 14364 (toysat) R 14362 14364 12056 0 -1 4202496 39264 0 0 0 620 9 0 0 20 0 1 0 280486598 163643392 39184 33554432000 4194304 8973514 140736059171040 140736059170536 7937344 0 0 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/14364/statm: 39952 39184 456 1167 0 38733 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 159808

[startup+12.7003 s]
/proc/loadavg: 2.02 2.01 2.00 3/175 14365
/proc/meminfo: memFree=29336528/32873852 swapFree=7624/7624
[pid=14364] ppid=14362 vsize=166976 CPUtime=12.69 cores=1,3,5,7
/proc/14364/stat : 14364 (toysat) R 14362 14364 12056 0 -1 4202496 41056 0 0 0 1257 12 0 0 20 0 1 0 280486598 170983424 40976 33554432000 4194304 8973514 140736059171040 140736059170536 7937344 0 0 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/14364/statm: 41744 40976 456 1167 0 40525 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 166976

[startup+25.5003 s]
/proc/loadavg: 2.01 2.01 2.00 3/175 14365
/proc/meminfo: memFree=29322592/32873852 swapFree=7624/7624
[pid=14364] ppid=14362 vsize=176192 CPUtime=25.48 cores=1,3,5,7
/proc/14364/stat : 14364 (toysat) R 14362 14364 12056 0 -1 4202496 43360 0 0 0 2532 16 0 0 20 0 1 0 280486598 180420608 43280 33554432000 4194304 8973514 140736059171040 140736059170304 7841851 0 2 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/14364/statm: 44048 43280 456 1167 0 42829 0
Current children cumulated CPU time (s) 25.48
Current children cumulated vsize (KiB) 176192

[startup+51.1004 s]
/proc/loadavg: 2.01 2.00 2.00 3/175 14365
/proc/meminfo: memFree=29293236/32873852 swapFree=7624/7624
[pid=14364] ppid=14362 vsize=194624 CPUtime=51.08 cores=1,3,5,7
/proc/14364/stat : 14364 (toysat) R 14362 14364 12056 0 -1 4202496 47742 0 0 0 5083 25 0 0 20 0 1 0 280486598 199294976 47662 33554432000 4194304 8973514 140736059171040 140736059170536 7937344 0 0 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/14364/statm: 48656 47662 456 1167 0 47437 0
Current children cumulated CPU time (s) 51.08
Current children cumulated vsize (KiB) 194624

[startup+102.307 s]
/proc/loadavg: 2.00 2.00 2.00 3/175 14365
/proc/meminfo: memFree=29239464/32873852 swapFree=7624/7624
[pid=14364] ppid=14362 vsize=223296 CPUtime=102.28 cores=1,3,5,7
/proc/14364/stat : 14364 (toysat) R 14362 14364 12056 0 -1 4202496 55136 0 0 0 10190 38 0 0 20 0 1 0 280486598 228655104 55056 33554432000 4194304 8973514 140736059171040 140736059170536 7937344 0 0 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/14364/statm: 55824 55056 456 1167 0 54605 0
Current children cumulated CPU time (s) 102.28
Current children cumulated vsize (KiB) 223296

[startup+162.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/175 14366
/proc/meminfo: memFree=29176876/32873852 swapFree=7624/7624
[pid=14364] ppid=14362 vsize=250944 CPUtime=162.26 cores=1,3,5,7
/proc/14364/stat : 14364 (toysat) R 14362 14364 12056 0 -1 4202496 62048 0 0 0 16172 54 0 0 20 0 1 0 280486598 256966656 61968 33554432000 4194304 8973514 140736059171040 140736059170536 4209212 0 2 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/14364/statm: 62736 61968 456 1167 0 61517 0
Current children cumulated CPU time (s) 162.26
Current children cumulated vsize (KiB) 250944

[startup+222.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/175 14366
/proc/meminfo: memFree=29118700/32873852 swapFree=7624/7624
[pid=14364] ppid=14362 vsize=275520 CPUtime=222.24 cores=1,3,5,7
/proc/14364/stat : 14364 (toysat) R 14362 14364 12056 0 -1 4202496 68211 0 0 0 22156 68 0 0 20 0 1 0 280486598 282132480 68117 33554432000 4194304 8973514 140736059171040 140736059170536 7841851 0 2 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/14364/statm: 68880 68117 456 1167 0 67661 0
Current children cumulated CPU time (s) 222.24
Current children cumulated vsize (KiB) 275520

[startup+282.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/175 14366
/proc/meminfo: memFree=29068012/32873852 swapFree=7624/7624
[pid=14364] ppid=14362 vsize=299072 CPUtime=282.23 cores=1,3,5,7
/proc/14364/stat : 14364 (toysat) R 14362 14364 12056 0 -1 4202496 74107 0 0 0 28142 81 0 0 20 0 1 0 280486598 306249728 74005 33554432000 4194304 8973514 140736059171040 140736059170536 6571856 0 0 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/14364/statm: 74768 74005 456 1167 0 73549 0
Current children cumulated CPU time (s) 282.23
Current children cumulated vsize (KiB) 299072

[startup+342.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/175 14366
/proc/meminfo: memFree=29020300/32873852 swapFree=7624/7624
[pid=14364] ppid=14362 vsize=320576 CPUtime=342.19 cores=1,3,5,7
/proc/14364/stat : 14364 (toysat) R 14362 14364 12056 0 -1 4202496 79360 0 0 0 34125 94 0 0 20 0 1 0 280486598 328269824 79226 33554432000 4194304 8973514 140736059171040 140736059170536 7841851 0 2 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/14364/statm: 80144 79226 456 1167 0 78925 0
Current children cumulated CPU time (s) 342.19
Current children cumulated vsize (KiB) 320576

[startup+402.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/176 14369
/proc/meminfo: memFree=28976164/32873852 swapFree=7624/7624
[pid=14364] ppid=14362 vsize=340032 CPUtime=402.17 cores=1,3,5,7
/proc/14364/stat : 14364 (toysat) R 14362 14364 12056 0 -1 4202496 84388 0 0 0 40110 107 0 0 20 0 1 0 280486598 348192768 84245 33554432000 4194304 8973514 140736059171040 140736059170304 7672546 0 2 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/14364/statm: 85008 84245 456 1167 0 83789 0
Current children cumulated CPU time (s) 402.17
Current children cumulated vsize (KiB) 340032

[startup+462.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/175 14370
/proc/meminfo: memFree=28932284/32873852 swapFree=7624/7624
[pid=14364] ppid=14362 vsize=357440 CPUtime=462.16 cores=1,3,5,7
/proc/14364/stat : 14364 (toysat) R 14362 14364 12056 0 -1 4202496 88740 0 0 0 46096 120 0 0 20 0 1 0 280486598 366018560 88597 33554432000 4194304 8973514 140736059171040 140736059170536 4435907 0 0 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/14364/statm: 89360 88597 456 1167 0 88141 0
Current children cumulated CPU time (s) 462.16
Current children cumulated vsize (KiB) 357440

[startup+522.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/175 14370
/proc/meminfo: memFree=28890124/32873852 swapFree=7624/7624
[pid=14364] ppid=14362 vsize=377920 CPUtime=522.15 cores=1,3,5,7
/proc/14364/stat : 14364 (toysat) R 14362 14364 12056 0 -1 4202496 93860 0 0 0 52085 130 0 0 20 0 1 0 280486598 386990080 93717 33554432000 4194304 8973514 140736059171040 140736059170536 4372496 0 0 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/14364/statm: 94480 93717 456 1167 0 93261 0
Current children cumulated CPU time (s) 522.15
Current children cumulated vsize (KiB) 377920

[startup+582.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/175 14370
/proc/meminfo: memFree=28847096/32873852 swapFree=7624/7624
[pid=14364] ppid=14362 vsize=395328 CPUtime=582.14 cores=1,3,5,7
/proc/14364/stat : 14364 (toysat) R 14362 14364 12056 0 -1 4202496 98212 0 0 0 58074 140 0 0 20 0 1 0 280486598 404815872 98069 33554432000 4194304 8973514 140736059171040 140736059170536 4427756 0 0 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/14364/statm: 98832 98069 456 1167 0 97613 0
Current children cumulated CPU time (s) 582.14
Current children cumulated vsize (KiB) 395328

[startup+642.3 s]

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

[startup+822.3 s]
/proc/loadavg: 2.04 2.01 2.00 3/175 14371
/proc/meminfo: memFree=28731292/32873852 swapFree=7624/7624
[pid=14364] ppid=14362 vsize=459840 CPUtime=822.11 cores=1,3,5,7
/proc/14364/stat : 14364 (toysat) R 14362 14364 12056 0 -1 4202496 114340 0 0 0 82033 178 0 0 20 0 1 0 280486598 470876160 114197 33554432000 4194304 8973514 140736059171040 140736059169280 7937344 0 0 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/14364/statm: 114960 114197 456 1167 0 113741 0
Current children cumulated CPU time (s) 822.11
Current children cumulated vsize (KiB) 459840

[startup+882.3 s]
/proc/loadavg: 2.01 2.01 2.00 3/175 14371
/proc/meminfo: memFree=28716784/32873852 swapFree=7624/7624
[pid=14364] ppid=14362 vsize=473152 CPUtime=882.1 cores=1,3,5,7
/proc/14364/stat : 14364 (toysat) R 14362 14364 12056 0 -1 4202496 117668 0 0 0 88025 185 0 0 20 0 1 0 280486598 484507648 117525 33554432000 4194304 8973514 140736059171040 140736059170536 6817617 0 0 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/14364/statm: 118288 117525 456 1167 0 117069 0
Current children cumulated CPU time (s) 882.1
Current children cumulated vsize (KiB) 473152

[startup+942.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/175 14371
/proc/meminfo: memFree=28702400/32873852 swapFree=7624/7624
[pid=14364] ppid=14362 vsize=487488 CPUtime=942.08 cores=1,3,5,7
/proc/14364/stat : 14364 (toysat) R 14362 14364 12056 0 -1 4202496 121252 0 0 0 94013 195 0 0 20 0 1 0 280486598 499187712 121109 33554432000 4194304 8973514 140736059171040 140736059170536 7841851 0 2 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/14364/statm: 121872 121109 456 1167 0 120653 0
Current children cumulated CPU time (s) 942.08
Current children cumulated vsize (KiB) 487488

[startup+1002.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/176 14374
/proc/meminfo: memFree=28687200/32873852 swapFree=7624/7624
[pid=14364] ppid=14362 vsize=502848 CPUtime=1002.08 cores=1,3,5,7
/proc/14364/stat : 14364 (toysat) R 14362 14364 12056 0 -1 4202496 125093 0 0 0 100004 204 0 0 20 0 1 0 280486598 514916352 124949 33554432000 4194304 8973514 140736059171040 140736059170536 6571969 0 0 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/14364/statm: 125712 124949 456 1167 0 124493 0
Current children cumulated CPU time (s) 1002.08
Current children cumulated vsize (KiB) 502848

[startup+1062.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/175 14375
/proc/meminfo: memFree=28665536/32873852 swapFree=7624/7624
[pid=14364] ppid=14362 vsize=516160 CPUtime=1062.05 cores=1,3,5,7
/proc/14364/stat : 14364 (toysat) R 14362 14364 12056 0 -1 4202496 128437 0 0 0 105995 210 0 0 20 0 1 0 280486598 528547840 128277 33554432000 4194304 8973514 140736059171040 140736059170536 7680217 0 0 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/14364/statm: 129040 128277 456 1167 0 127821 0
Current children cumulated CPU time (s) 1062.05
Current children cumulated vsize (KiB) 516160

[startup+1122.3 s]
/proc/loadavg: 2.04 2.01 2.00 3/175 14375
/proc/meminfo: memFree=28630844/32873852 swapFree=7624/7624
[pid=14364] ppid=14362 vsize=527424 CPUtime=1122.03 cores=1,3,5,7
/proc/14364/stat : 14364 (toysat) R 14362 14364 12056 0 -1 4202496 131279 0 0 0 111983 220 0 0 20 0 1 0 280486598 540082176 131093 33554432000 4194304 8973514 140736059171040 140736059170536 4441196 0 0 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/14364/statm: 131856 131093 456 1167 0 130637 0
Current children cumulated CPU time (s) 1122.03
Current children cumulated vsize (KiB) 527424

[startup+1182.3 s]
/proc/loadavg: 2.01 2.01 2.00 3/175 14375
/proc/meminfo: memFree=28600028/32873852 swapFree=7624/7624
[pid=14364] ppid=14362 vsize=541760 CPUtime=1182.02 cores=1,3,5,7
/proc/14364/stat : 14364 (toysat) R 14362 14364 12056 0 -1 4202496 134681 0 0 0 117974 228 0 0 20 0 1 0 280486598 554762240 134495 33554432000 4194304 8973514 140736059171040 140736059170536 4427820 0 0 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/14364/statm: 135440 134495 456 1167 0 134221 0
Current children cumulated CPU time (s) 1182.02
Current children cumulated vsize (KiB) 541760

[startup+1242.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/175 14375
/proc/meminfo: memFree=28587628/32873852 swapFree=7624/7624
[pid=14364] ppid=14362 vsize=553024 CPUtime=1242.01 cores=1,3,5,7
/proc/14364/stat : 14364 (toysat) R 14362 14364 12056 0 -1 4202496 137679 0 0 0 123967 234 0 0 20 0 1 0 280486598 566296576 137493 33554432000 4194304 8973514 140736059171040 140736059170536 4209328 0 2 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/14364/statm: 138256 137493 456 1167 0 137037 0
Current children cumulated CPU time (s) 1242.01
Current children cumulated vsize (KiB) 553024

[startup+1302.3 s]
/proc/loadavg: 1.98 2.00 2.00 3/172 14459
/proc/meminfo: memFree=29324896/32873852 swapFree=7624/7624
[pid=14364] ppid=14362 vsize=567360 CPUtime=1302.01 cores=1,3,5,7
/proc/14364/stat : 14364 (toysat) R 14362 14364 12056 0 -1 4202496 141263 0 0 0 129959 242 0 0 20 0 1 0 280486598 580976640 141077 33554432000 4194304 8973514 140736059171040 140736059170536 4427820 0 0 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/14364/statm: 141840 141077 456 1167 0 140621 0
Current children cumulated CPU time (s) 1302.01
Current children cumulated vsize (KiB) 567360

[startup+1362.3 s]
/proc/loadavg: 1.99 2.00 2.00 3/175 14529
/proc/meminfo: memFree=29055608/32873852 swapFree=7624/7624
[pid=14364] ppid=14362 vsize=578624 CPUtime=1361.99 cores=1,3,5,7
/proc/14364/stat : 14364 (toysat) R 14362 14364 12056 0 -1 4202496 144079 0 0 0 135949 250 0 0 20 0 1 0 280486598 592510976 143893 33554432000 4194304 8973514 140736059171040 140736059168960 7841851 0 2 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/14364/statm: 144656 143893 456 1167 0 143437 0
Current children cumulated CPU time (s) 1361.99
Current children cumulated vsize (KiB) 578624

[startup+1422.31 s]
/proc/loadavg: 1.99 2.00 2.00 3/175 14529
/proc/meminfo: memFree=29010100/32873852 swapFree=7624/7624
[pid=14364] ppid=14362 vsize=589888 CPUtime=1421.99 cores=1,3,5,7
/proc/14364/stat : 14364 (toysat) R 14362 14364 12056 0 -1 4202496 146895 0 0 0 141942 257 0 0 20 0 1 0 280486598 604045312 146709 33554432000 4194304 8973514 140736059171040 140736059170536 7937344 0 0 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/14364/statm: 147472 146709 456 1167 0 146253 0
Current children cumulated CPU time (s) 1421.99
Current children cumulated vsize (KiB) 589888

[startup+1482.3 s]
/proc/loadavg: 1.99 2.00 2.00 3/175 14529
/proc/meminfo: memFree=28967692/32873852 swapFree=7624/7624
[pid=14364] ppid=14362 vsize=600128 CPUtime=1481.98 cores=1,3,5,7
/proc/14364/stat : 14364 (toysat) R 14362 14364 12056 0 -1 4202496 149455 0 0 0 147934 264 0 0 20 0 1 0 280486598 614531072 149269 33554432000 4194304 8973514 140736059171040 140736059168960 4441393 0 0 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/14364/statm: 150032 149269 456 1167 0 148813 0
Current children cumulated CPU time (s) 1481.98
Current children cumulated vsize (KiB) 600128

[startup+1542.3 s]
/proc/loadavg: 1.99 2.00 2.00 3/175 14529
/proc/meminfo: memFree=28929748/32873852 swapFree=7624/7624
[pid=14364] ppid=14362 vsize=610368 CPUtime=1541.96 cores=1,3,5,7
/proc/14364/stat : 14364 (toysat) R 14362 14364 12056 0 -1 4202496 152015 0 0 0 153926 270 0 0 20 0 1 0 280486598 625016832 151829 33554432000 4194304 8973514 140736059171040 140736059170536 4427188 0 0 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/14364/statm: 152592 151829 456 1167 0 151373 0
Current children cumulated CPU time (s) 1541.96
Current children cumulated vsize (KiB) 610368

[startup+1602.3 s]
/proc/loadavg: 2.04 2.01 2.00 3/176 14532
/proc/meminfo: memFree=28888572/32873852 swapFree=7624/7624
[pid=14364] ppid=14362 vsize=622656 CPUtime=1601.96 cores=1,3,5,7
/proc/14364/stat : 14364 (toysat) R 14362 14364 12056 0 -1 4202496 155087 0 0 0 159918 278 0 0 20 0 1 0 280486598 637599744 154901 33554432000 4194304 8973514 140736059171040 140736059168960 4415701 0 0 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/14364/statm: 155664 154901 456 1167 0 154445 0
Current children cumulated CPU time (s) 1601.96
Current children cumulated vsize (KiB) 622656

[startup+1662.3 s]
/proc/loadavg: 2.01 2.01 2.00 3/176 14556
/proc/meminfo: memFree=28847948/32873852 swapFree=7624/7624
[pid=14364] ppid=14362 vsize=632896 CPUtime=1661.94 cores=1,3,5,7
/proc/14364/stat : 14364 (toysat) R 14362 14364 12056 0 -1 4202496 157661 0 0 0 165910 284 0 0 20 0 1 0 280486598 648085504 157461 33554432000 4194304 8973514 140736059171040 140736059170536 4441393 0 0 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/14364/statm: 158224 157461 456 1167 0 157005 0
Current children cumulated CPU time (s) 1661.94
Current children cumulated vsize (KiB) 632896

[startup+1722.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/175 14556
/proc/meminfo: memFree=28808640/32873852 swapFree=7624/7624
[pid=14364] ppid=14362 vsize=642112 CPUtime=1721.93 cores=1,3,5,7
/proc/14364/stat : 14364 (toysat) R 14362 14364 12056 0 -1 4202496 159965 0 0 0 171901 292 0 0 20 0 1 0 280486598 657522688 159765 33554432000 4194304 8973514 140736059171040 140736059170536 6845304 0 0 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/14364/statm: 160528 159765 456 1167 0 159309 0
Current children cumulated CPU time (s) 1721.93
Current children cumulated vsize (KiB) 642112

[startup+1782.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/175 14556
/proc/meminfo: memFree=28769236/32873852 swapFree=7624/7624
[pid=14364] ppid=14362 vsize=657472 CPUtime=1781.93 cores=1,3,5,7
/proc/14364/stat : 14364 (toysat) R 14362 14364 12056 0 -1 4202496 163805 0 0 0 177893 300 0 0 20 0 1 0 280486598 673251328 163605 33554432000 4194304 8973514 140736059171040 140736059170536 4427744 0 0 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/14364/statm: 164368 163605 456 1167 0 163149 0
Current children cumulated CPU time (s) 1781.93
Current children cumulated vsize (KiB) 657472



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1800.4 s]
/proc/loadavg: 2.00 2.00 2.00 3/175 14556
/proc/meminfo: memFree=28759284/32873852 swapFree=7624/7624
[pid=14364] ppid=14362 vsize=659520 CPUtime=1800.03 cores=1,3,5,7
/proc/14364/stat : 14364 (toysat) R 14362 14364 12056 0 -1 4202496 164317 0 0 0 179701 302 0 0 20 0 1 0 280486598 675348480 164117 33554432000 4194304 8973514 140736059171040 140736059170536 4441196 0 0 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/14364/statm: 164880 164117 456 1167 0 163661 0
Current children cumulated CPU time (s) 1800.03
Current children cumulated vsize (KiB) 659520

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.04
CPU user time (s): 1797.01
CPU system time (s): 3.03254
CPU usage (%): 99.9796
Max. virtual memory (cumulated for all children) (KiB): 659520

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1797.01
system time used= 3.03254
maximum resident set size= 656468
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 164317
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= 130
involuntary context switches= 1846

runsolver used 3.68144 second user time and 10.0045 second system time

The end

Launcher Data 

Begin job on node131 at 2012-05-27 20:33:31
IDJOB=3707110
IDBENCH=76702
IDSOLVER=2285
FILE ID=node131/3707110-1338143611
RUNJOBID= node131-1338120080-12073
PBS_JOBID= 14624478
Free space on /tmp= 71716 MiB

SOLVER NAME= toysat 2012-05-17
BENCH NAME= PB10/normalized-PB10/OPT-SMALLINT-LIN/oliveras/j60opt/normalized-j609_6.std.opb
COMMAND LINE= HOME/toysat --pb BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-3707110-1338143611/watcher-3707110-1338143611 -o /tmp/evaluation-result-3707110-1338143611/solver-3707110-1338143611 -C 1800 -W 1900 -M 15500  HOME/toysat --pb HOME/instance-3707110-1338143611.opb

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

MD5SUM BENCH= c2f23b4d86bbd4dfbfd3ee88d1bd5fc8
RANDOM SEED=1730513134

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:        29505508 kB
Buffers:          330820 kB
Cached:          1810992 kB
SwapCached:         2164 kB
Active:           939004 kB
Inactive:        1594320 kB
Active(anon):     393076 kB
Inactive(anon):      808 kB
Active(file):     545928 kB
Inactive(file):  1593512 kB
Unevictable:        7624 kB
Mlocked:            7624 kB
SwapTotal:      67108856 kB
SwapFree:       67099040 kB
Dirty:             11156 kB
Writeback:             0 kB
AnonPages:        400304 kB
Mapped:            16072 kB
Shmem:                 0 kB
Slab:             694344 kB
SReclaimable:     136108 kB
SUnreclaim:       558236 kB
KernelStack:        1456 kB
PageTables:         4776 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83545780 kB
Committed_AS:     513384 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      346360 kB
VmallocChunk:   34341988004 kB
HardwareCorrupted:     0 kB
AnonHugePages:    253952 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= 71708 MiB
End job on node131 at 2012-05-27 21:03:34