Trace number 4107286

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 2016-05-02UNSAT 0.45593 0.456986

General information on the benchmark

Name/OPT-SMALLINT-LIN/leberre/opb-paranoid/misc2010/random/
rand.newlist/normalized-rand00ebc7.cudf.paranoid.opb
MD5SUMee292f72b38ce56d0daddb0042ed24c1
Bench CategoryOPT-SMALLINT-LIN (optimisation, small integers, linear constraints)
Best result obtained on this benchmarkUNSAT
Best value of the objective obtained on this benchmark
Best CPU time to get the best result obtained on this benchmark0.085986
Has Objective FunctionYES
Satisfiable
(Un)Satisfiability was proved
Best value of the objective function
Optimality of the best value was proved
Number of variables5518
Total number of constraints24887
Number of constraints which are clauses24610
Number of constraints which are cardinality constraints (but not clauses)277
Number of constraints which are nor clauses,nor cardinality constraints0
Minimum length of a constraint1
Maximum length of a constraint553
Number of terms in the objective function 2053
Biggest coefficient in the objective function 1504
Number of bits for the biggest coefficient in the objective function 11
Sum of the numbers in the objective function 830206
Number of bits of the sum of numbers in the objective function 20
Biggest number in a constraint 1504
Number of bits of the biggest number in a constraint 11
Biggest sum of numbers in a constraint 830206
Number of bits of the biggest sum of numbers20
Number of products (including duplicates)0
Sum of products size (including duplicates)0
Number of different products0
Sum of products size0

Solver Data 

0.00/0.00	c 2016-06-18T23:23:10+0200
0.00/0.00	c version = 0.5.0
0.00/0.00	c githash = 1a49202
0.00/0.00	c compilationtime = 2016-05-02 00:19:28.990761 UTC
0.00/0.00	c arch = x86_64
0.00/0.00	c os = linux
0.00/0.00	c compiler = ghc 7.10
0.00/0.00	c packages:
0.00/0.00	c   OptDir-0.0.3
0.00/0.00	c   array-0.5.1.0
0.00/0.00	c   base-4.8.2.0
0.00/0.00	c   bytestring-0.10.6.0
0.00/0.00	c   bytestring-builder-0.10.6.0.0
0.00/0.00	c   clock-0.7.2
0.00/0.00	c   containers-0.5.6.2
0.00/0.00	c   data-default-0.5.3
0.00/0.00	c   data-default-class-0.0.1
0.00/0.00	c   data-interval-1.2.0
0.00/0.00	c   deepseq-1.4.1.1
0.00/0.00	c   directory-1.2.2.0
0.00/0.00	c   exceptions-0.8.2.1
0.00/0.00	c   extended-reals-0.2.1.0
0.00/0.00	c   filepath-1.4.0.0
0.00/0.00	c   finite-field-0.8.0
0.00/0.00	c   hashable-1.2.4.0
0.00/0.00	c   heaps-0.3.3
0.00/0.00	c   intern-0.9.1.4
0.00/0.00	c   loop-0.3.0
0.00/0.00	c   mtl-2.2.1
0.00/0.00	c   multiset-0.3.2
0.00/0.00	c   mwc-random-0.13.3.2
0.00/0.00	c   parse_dimacs-1.3
0.00/0.00	c   parsec-3.1.9
0.00/0.00	c   prettyclass-1.0.0.0
0.00/0.00	c   primes-0.2.1.0
0.00/0.00	c   primitive-0.6.1.0
0.00/0.00	c   process-1.2.3.0
0.00/0.00	c   pseudo-boolean-0.1.3.0
0.00/0.01	c   queue-0.1.2
0.00/0.01	c   semigroups-0.18.1
0.00/0.01	c   sign-0.4.3
0.00/0.01	c   stm-2.4.4.1
0.00/0.01	c   template-haskell-2.10.0.0
0.00/0.01	c   temporary-1.2.0.4
0.00/0.01	c   time-1.5.0.1
0.00/0.01	c   transformers-0.4.2.0
0.00/0.01	c   transformers-compat-0.5.1.4
0.00/0.01	c   type-level-numbers-0.1.1.1
0.00/0.01	c   unbounded-delays-0.1.0.9
0.00/0.01	c   unordered-containers-0.2.6.0
0.00/0.01	c   vector-0.11.0.0
0.00/0.01	c   vector-space-0.10.3
0.00/0.01	c command line = ["+RTS","-H1G","-M15500m","-K1G","-RTS","--pb","--search=bcd2","HOME/instance-4107286-1466284990.opb"]
0.00/0.01	c use --random-gen="2061421692 895121218 2707409809 3988981867 3031353452 1395117306 569875991 4178935462 3279253730 4004501101 1123878075 664860617 2621321464 2039870430 389514204 816006386 4284500279 3011518857 1217787770 2027796585 3072882001 1271009295 1458676452 1464673160 1716387641 1385505210 1842518810 2504461968 3771372990 3652846241 3557629346 2248016775 4145788687 4032653504 3256280764 3489497132 1669087842 679346359 1494573406 2209917005 460791486 3331301668 2125687473 2297418616 2913076939 3200628652 4125185015 3361306032 2013970117 2811259684 1102965271 2810085558 4239414617 2181535865 3664364041 2172500249 1344066483 1291176270 1167017635 1756462328 1140114687 372142654 4247989083 1919237317 1444579205 3317002586 2275553249 559564700 3031490798 1486562257 3797415023 2133376537 1763668779 873454964 3094359483 1877934000 3956351885 3355584040 2012314555 1318226057 72056827 3223029995 372072873 3762064276 1765409665 652429158 2052686582 2177546590 4016301116 4254093366 3457379886 3460280299 4257048193 3107966082 3212494166 2370480137 992903689 991059208 1299910894 3514377826 422144207 1795787911 754354777 3829477464 3340000825 81902006 277582467 3116365817 3594749354 1592033507 1357660389 2958517351 1515307105 754787958 231659309 35970265 565446778 1538978298 3105075463 3783811540 1489515063 2248127090 3740693590 2770576628 1414179620 2740488281 1175998374 2660901579 3921137180 2626474645 2915658305 1457580712 486724315 2883107087 1309555773 3605332847 2477468212 1399207306 4202107817 2292124909 4162097219 3762703519 4205888595 1609848592 3200382301 1534833158 3505794827 2042652460 2433086022 4033581317 1986986646 1908460730 329307657 3964383709 3333090694 1004214909 3187584480 2915252875 3541120282 1471857348 1405453529 1857184139 2320265043 2567502533 4151881211 3172559825 2788361760 3162430199 3247059668 906865429 3571168178 3964314893 84912759 3759295285 3189195115 3122364872 1689089286 1841241857 1171638282 2213287404 3565357822 1502490022 4167597968 1082089530 969579909 1819629364 1822816582 1486164043 538763247 639145778 679110631 3866087944 102408783 88242912 3218783077 1243160800 2050261088 2849003250 1843539743 2108504967 489588836 3335304623 2495116463 711467697 1845910024 1247312763 1136948106 656562060 685358397 1746426713 3931230411 1051130923 1297324371 1631029845 1028910668 2851305895 3067775638 2344828305 1094604974 3061165316 3676291557 3519216617 3891347192 3832230624 87182418 2499442291 4244795751 1748783664 2151384589 3934018900 2424941464 1029439544 2527090537 636879729 1035700291 1583149171 285990575 1304406475 2109247766 3560796162 665416105 3507081021 276254261 2058876973 2784869549 1324402916 544819113 4028844471 1300232616 3573172139 724560913 927577865 1965805394 2866701420 4013816407 1066282957 255 362436" option to reproduce the execution
0.18/0.20	c #vars 5518
0.18/0.20	c #constraints 24887
0.39/0.43	c BCD2: Hardening is enabled.
0.39/0.43	c BCD2: BiasedSearch is enabled.
0.39/0.43	c Solving starts ...
0.39/0.43	s UNSATISFIABLE
0.39/0.43	c total CPU time = 0.436s
0.39/0.43	c total wall clock time = 0.437s

Verifier Data 

ERROR: no interpretation found !

Watcher Data 

runsolver Copyright (C) 2010-2013 Olivier ROUSSEL

This is runsolver version 3.3.7 (svn: 2553)

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-4107286-1466284990/watcher-4107286-1466284990 -o /tmp/evaluation-result-4107286-1466284990/solver-4107286-1466284990 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node127-1466265123-26752 --watchdog 1960 toysat +RTS -H1G -M15500m -K1G -RTS --pb --search=bcd2 HOME/instance-4107286-1466284990.opb 

pid=30239
running on 4 cores: 0,2,4,6

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


[startup+0 s]
/proc/loadavg: 2.18 2.24 2.19 2/179 30242
/proc/meminfo: memFree=17390508/32872528 swapFree=1191052/1305516
[pid=30242] ppid=30239 vsize=789948 CPUtime=0 cores=0,2,4,6
/proc/30242/stat : 30242 (toysat) R 30239 30242 26736 0 -1 4202496 2957 0 0 0 0 0 0 0 20 0 4 0 30545610 808906752 3317 33554432000 4194304 16246674 140735058276016 140735058275440 13880264 0 2 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/30242/statm: 197999 3325 441 2943 0 194893 0
[pid=30242/tid=30243] ppid=30239 vsize=807356 CPUtime=0 cores=0,2,4,6
/proc/30242/task/30243/stat : 30243 (toysat) S 30239 30242 26736 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 30545610 826732544 3384 33554432000 4194304 16246674 140735058276016 140660250225904 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=30242/tid=30244] ppid=30239 vsize=811452 CPUtime=0 cores=0,2,4,6
/proc/30242/task/30244/stat : 30244 (toysat) S 30239 30242 26736 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 30545610 830926848 3403 33554432000 4194304 16246674 140735058276016 140660239736048 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=30242/tid=30245] ppid=30239 vsize=815548 CPUtime=0 cores=0,2,4,6
/proc/30242/task/30245/stat : 30245 (toysat) S 30239 30242 26736 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 30545610 835121152 3419 33554432000 4194304 16246674 140735058276016 140660229262512 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0

[startup+0.100172 s]
/proc/loadavg: 2.18 2.24 2.19 2/179 30242
/proc/meminfo: memFree=17390508/32872528 swapFree=1191052/1305516
[pid=30242] ppid=30239 vsize=1221188 CPUtime=0.09 cores=0,2,4,6
/proc/30242/stat : 30242 (toysat) R 30239 30242 26736 0 -1 4202496 26258 0 0 0 6 3 0 0 20 0 4 0 30545610 1250496512 26556 33554432000 4194304 16246674 140735058276016 140735058275328 4221019 0 2 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/30242/statm: 305297 26556 798 2943 0 302191 0
[pid=30242/tid=30243] ppid=30239 vsize=1221188 CPUtime=0 cores=0,2,4,6
/proc/30242/task/30243/stat : 30243 (toysat) S 30239 30242 26736 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 30545610 1250496512 26556 33554432000 4194304 16246674 140735058276016 140660250225904 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=30242/tid=30244] ppid=30239 vsize=1221188 CPUtime=0 cores=0,2,4,6
/proc/30242/task/30244/stat : 30244 (toysat) S 30239 30242 26736 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 30545610 1250496512 26556 33554432000 4194304 16246674 140735058276016 140660239736048 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=30242/tid=30245] ppid=30239 vsize=1221188 CPUtime=0 cores=0,2,4,6
/proc/30242/task/30245/stat : 30245 (toysat) S 30239 30242 26736 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 30545610 1250496512 26556 33554432000 4194304 16246674 140735058276016 140660229262512 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 1221188

[startup+0.200469 s]
/proc/loadavg: 2.18 2.24 2.19 2/179 30242
/proc/meminfo: memFree=17390508/32872528 swapFree=1191052/1305516
[pid=30242] ppid=30239 vsize=1312324 CPUtime=0.18 cores=0,2,4,6
/proc/30242/stat : 30242 (toysat) R 30239 30242 26736 0 -1 4202496 48407 0 0 0 12 6 0 0 20 0 4 0 30545610 1343819776 49216 33554432000 4194304 16246674 140735058276016 140735058275328 4221016 0 2 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/30242/statm: 328081 49222 798 2943 0 324975 0
[pid=30242/tid=30243] ppid=30239 vsize=1312324 CPUtime=0 cores=0,2,4,6
/proc/30242/task/30243/stat : 30243 (toysat) S 30239 30242 26736 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 30545610 1343819776 49226 33554432000 4194304 16246674 140735058276016 140660250225904 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=30242/tid=30244] ppid=30239 vsize=1312324 CPUtime=0 cores=0,2,4,6
/proc/30242/task/30244/stat : 30244 (toysat) S 30239 30242 26736 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 30545610 1343819776 49231 33554432000 4194304 16246674 140735058276016 140660239736048 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=30242/tid=30245] ppid=30239 vsize=1312324 CPUtime=0 cores=0,2,4,6
/proc/30242/task/30245/stat : 30245 (toysat) S 30239 30242 26736 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 30545610 1343819776 49235 33554432000 4194304 16246674 140735058276016 140660229262512 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 0.18
Current children cumulated vsize (KiB) 1312324

[startup+0.300469 s]
/proc/loadavg: 2.18 2.24 2.19 2/179 30242
/proc/meminfo: memFree=17390508/32872528 swapFree=1191052/1305516
[pid=30242] ppid=30239 vsize=1313348 CPUtime=0.28 cores=0,2,4,6
/proc/30242/stat : 30242 (toysat) R 30239 30242 26736 0 -1 4202496 48712 0 0 0 22 6 0 0 20 0 4 0 30545610 1344868352 49521 33554432000 4194304 16246674 140735058276016 140735058275328 6198236 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/30242/statm: 328337 49521 835 2943 0 325231 0
[pid=30242/tid=30243] ppid=30239 vsize=1313348 CPUtime=0 cores=0,2,4,6
/proc/30242/task/30243/stat : 30243 (toysat) S 30239 30242 26736 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 30545610 1344868352 49521 33554432000 4194304 16246674 140735058276016 140660250225904 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=30242/tid=30244] ppid=30239 vsize=1313348 CPUtime=0 cores=0,2,4,6
/proc/30242/task/30244/stat : 30244 (toysat) S 30239 30242 26736 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 30545610 1344868352 49521 33554432000 4194304 16246674 140735058276016 140660239736048 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=30242/tid=30245] ppid=30239 vsize=1313348 CPUtime=0 cores=0,2,4,6
/proc/30242/task/30245/stat : 30245 (toysat) S 30239 30242 26736 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 30545610 1344868352 49521 33554432000 4194304 16246674 140735058276016 140660229262512 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 0.28
Current children cumulated vsize (KiB) 1313348

Solver just ended.
??? exit watcher main loop
??? sigkill at end of watcher main loop
??? kill 30242 sig 9
??? end of watcher thread
Dumping a history of the last processes samples

[startup+0.400475 s]
/proc/loadavg: 2.18 2.24 2.19 2/179 30242
/proc/meminfo: memFree=17390508/32872528 swapFree=1191052/1305516
[pid=30242] ppid=30239 vsize=1313348 CPUtime=0.39 cores=0,2,4,6
/proc/30242/stat : 30242 (toysat) R 30239 30242 26736 0 -1 4202496 63608 0 0 0 30 9 0 0 20 0 4 0 30545610 1344868352 64417 33554432000 4194304 16246674 140735058276016 140735058275328 6974006 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/30242/statm: 328337 64424 836 2943 0 325231 0
[pid=30242/tid=30243] ppid=30239 vsize=1313348 CPUtime=0 cores=0,2,4,6
/proc/30242/task/30243/stat : 30243 (toysat) S 30239 30242 26736 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 30545610 1344868352 64429 33554432000 4194304 16246674 140735058276016 140660250225904 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=30242/tid=30244] ppid=30239 vsize=1313348 CPUtime=0 cores=0,2,4,6
/proc/30242/task/30244/stat : 30244 (toysat) S 30239 30242 26736 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 30545610 1344868352 64434 33554432000 4194304 16246674 140735058276016 140660239736048 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=30242/tid=30245] ppid=30239 vsize=1313348 CPUtime=0 cores=0,2,4,6
/proc/30242/task/30245/stat : 30245 (toysat) S 30239 30242 26736 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 30545610 1344868352 64439 33554432000 4194304 16246674 140735058276016 140660229262512 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 0.39
Current children cumulated vsize (KiB) 1313348

Child status: 0
Real time (s): 0.456986
CPU time (s): 0.45593
CPU user time (s): 0.334949
CPU system time (s): 0.120981
CPU usage (%): 99.7689
Max. virtual memory (cumulated for all children) (KiB): 1313348

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 0.334949
system time used= 0.120981
maximum resident set size= 288592
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 71340
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= 21
involuntary context switches= 1

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 0.002999 second user time and 0.005999 second system time

The end

Launcher Data 

Begin job on node127 at 2016-06-18 23:23:10
IDJOB=4107286
IDBENCH=72116
IDSOLVER=2542
FILE ID=node127/4107286-1466284990
RUNJOBID= node127-1466265123-26752
PBS_JOBID= 19918231
Free space on /tmp= 71576 MiB

SOLVER NAME= toysat 2016-05-02
BENCH NAME= PB10/normalized-PB10/OPT-SMALLINT-LIN/leberre/opb-paranoid/misc2010/random/rand.newlist/normalized-rand00ebc7.cudf.paranoid.opb
COMMAND LINE= toysat +RTS -H1G -MMEMLIMITm -K1G -RTS --pb --search=bcd2 BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4107286-1466284990/watcher-4107286-1466284990 -o /tmp/evaluation-result-4107286-1466284990/solver-4107286-1466284990 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node127-1466265123-26752 --watchdog 1960  toysat +RTS -H1G -M15500m -K1G -RTS --pb --search=bcd2 HOME/instance-4107286-1466284990.opb

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

MD5SUM BENCH= ee292f72b38ce56d0daddb0042ed24c1
RANDOM SEED=1977100054

node127.alineos.net Linux 2.6.32-71.29.1.el6.x86_64 #1 SMP Mon Jun 27 19:49:27 BST 2011

/proc/cpuinfo:
processor	: 0
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.769
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.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.769
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	: 5332.55
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.769
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	: 5332.56
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.769
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	: 5332.56
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.769
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	: 5332.55
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.769
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	: 5332.55
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.769
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	: 5332.56
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.769
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	: 5332.55
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:


/proc/meminfo:
MemTotal:       32872528 kB
MemFree:        17391316 kB
Buffers:            6220 kB
Cached:           201796 kB
SwapCached:          332 kB
Active:         13237036 kB
Inactive:         146588 kB
Active(anon):   13113776 kB
Inactive(anon):    64144 kB
Active(file):     123260 kB
Inactive(file):    82444 kB
Unevictable:     1305516 kB
Mlocked:         1191052 kB
SwapTotal:      67108856 kB
SwapFree:       67100260 kB
Dirty:             17224 kB
Writeback:             0 kB
AnonPages:      14507380 kB
Mapped:            10776 kB
Shmem:                 0 kB
Slab:             607020 kB
SReclaimable:      51024 kB
SUnreclaim:       555996 kB
KernelStack:        1472 kB
PageTables:        32148 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83545120 kB
Committed_AS:   14652108 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      346412 kB
VmallocChunk:   34341988032 kB
HardwareCorrupted:     0 kB
AnonHugePages:   1359872 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
DirectMap4k:        7552 kB
DirectMap2M:    33538048 kB

Free space on /tmp at the end= 71560 MiB
End job on node127 at 2016-06-18 23:23:10