Trace number 4103945

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.311952 0.313323

General information on the benchmark

Namenormalized-PB06/OPT-BIGINT/mps-v2-20-10/MIPLIB/
miplib2003/normalized-mps-v2-20-10-qiu.opb
MD5SUM42437a98f8f475fdcbcf3676beea9d9f
Bench CategoryOPT-BIGINT (optimisation, big integers)
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.311952
Has Objective FunctionYES
SatisfiableNO
(Un)Satisfiability was provedYES
Best value of the objective function
Optimality of the best value was proved
Number of variables23808
Total number of constraints1192
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 constraints1192
Minimum length of a constraint31
Maximum length of a constraint5940
Number of terms in the objective function 7968
Biggest coefficient in the objective function 9098351345664
Number of bits for the biggest coefficient in the objective function 44
Sum of the numbers in the objective function 4803935111035752
Number of bits of the sum of numbers in the objective function 53
Biggest number in a constraint 9098351345664
Number of bits of the biggest number in a constraint 44
Biggest sum of numbers in a constraint 4803935111035752
Number of bits of the biggest sum of numbers53
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-18T10:47:52+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-4103945-1466239672.opb"]
0.00/0.01	c use --random-gen="3321730370 4000828221 1883872114 572376658 2169150702 3400867213 318116382 441359139 3392619239 3855988618 865085457 1596710837 4051741934 3631902854 3624829417 2862237441 3785629570 1409489603 192900668 1284586979 178604845 3091161625 1864530165 1815739627 2270171393 816721917 2299629377 848910219 1742052128 249995214 1547560556 1554537343 2284619603 2821521428 1298433735 522268578 2738739099 1413245340 1066203307 279701508 3059437135 2570155521 4132043337 3310380128 267147262 921614067 766925567 548104905 4148418654 1597043511 2789043216 2456664381 3093101365 1740154136 4209119595 2050177979 1781616401 4123184590 3188409170 3848439267 933100531 2177189235 977856184 4041917481 2488453737 4121348736 2554290440 2504528888 2309847978 1121764312 3870111279 1581110779 1182127483 2247236531 1854392910 2200175269 4066052757 657317984 2164643594 3322720327 1310561568 1885663191 2868489395 2785299618 639591359 2212170564 3589593981 676412069 2921143094 3155266477 2044453265 2086178002 1711262915 928523141 3847378612 2252699824 1098596740 3811015077 2093803030 107684416 1014921497 1062262518 90634591 2203645916 2018518977 3273318850 3938827465 2544333859 1367098417 1283358633 589843154 1912744393 3710138625 3717757810 432046134 241155860 1285421372 3407790567 2420870298 1853396865 1939208746 3912509911 4292636213 262858747 4238315971 4222767731 1279162983 4110406223 3188480679 3095553870 3718805194 3746559909 1162628120 1940342140 3026763611 2495744587 3525394017 3050147131 1136150557 992127427 4233818949 2965054626 1007970781 3687391113 1700900257 2784809114 3954506431 1174533502 3007136883 3814189702 687640205 3911381555 1898862499 2255899090 2588501901 3072090783 170330026 3962926867 1427380921 1841030579 3554342199 2858786072 877952566 3452264273 212171118 3084872900 2692326670 3976989530 2107177974 2439949827 4156656318 2705471452 1346225086 4200142624 3215206038 1103301489 4228623397 2183518213 2395876722 1100893382 88695773 4207017742 2411300740 3904132533 3095696655 3362210374 2020484403 1774518613 71908524 2886059783 1373764820 2431971756 3152614031 2218856528 1867716424 188457469 2309133073 2631253255 925483014 342706379 3373830584 2107500809 1889403696 3571507013 2373395907 632767354 3999300454 2731728978 259277201 2080668281 3545968819 127952693 3738895851 2285925491 3703727961 3060542887 1634303952 2455667963 1377239711 475724730 2391936997 2436977395 3390846755 689919140 1005736689 1380630792 3162193903 1311838919 4053884538 2932171983 2825351579 4050503310 2153969458 4049150051 1897738185 2887284686 4134543415 82312362 2769738922 2772130806 9488523 2097459166 2287342388 4250692707 3762114430 3558700656 2390617562 433783744 739575897 1691914179 2138819866 3731242499 989404842 956863427 2626568737 1038401518 255 362436" option to reproduce the execution
0.19/0.22	c #vars 23808
0.19/0.22	c #constraints 1192
0.19/0.27	c BCD2: Hardening is enabled.
0.19/0.27	c BCD2: BiasedSearch is enabled.
0.19/0.27	c Solving starts ...
0.19/0.30	s UNSATISFIABLE
0.19/0.30	c total CPU time = 0.298s
0.19/0.30	c total wall clock time = 0.299s

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

pid=28078
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.03 2.00 3/179 28081
/proc/meminfo: memFree=27444492/32872528 swapFree=7780/7780
[pid=28081] ppid=28078 vsize=798140 CPUtime=0 cores=1,3,5,7
/proc/28081/stat : 28081 (toysat) R 28078 28081 23276 0 -1 4202496 2993 0 0 0 0 0 0 0 20 0 4 0 26012031 817295360 2842 33554432000 4194304 16246674 140734500414448 140734500413872 13880264 0 2 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/28081/statm: 200047 2852 441 2943 0 196941 0
[pid=28081/tid=28082] ppid=28078 vsize=815548 CPUtime=0 cores=1,3,5,7
/proc/28081/task/28082/stat : 28082 (toysat) S 28078 28081 23276 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 26012031 835121152 2912 33554432000 4194304 16246674 140734500414448 139708154752240 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=28081/tid=28083] ppid=28078 vsize=819644 CPUtime=0 cores=1,3,5,7
/proc/28081/task/28083/stat : 28083 (toysat) S 28078 28081 23276 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 26012031 839315456 2928 33554432000 4194304 16246674 140734500414448 139708144262384 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=28081/tid=28084] ppid=28078 vsize=823740 CPUtime=0 cores=1,3,5,7
/proc/28081/task/28084/stat : 28084 (toysat) S 28078 28081 23276 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 26012031 843509760 2944 33554432000 4194304 16246674 140734500414448 139708133788848 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0

[startup+0.100178 s]
/proc/loadavg: 2.02 2.03 2.00 3/179 28081
/proc/meminfo: memFree=27444492/32872528 swapFree=7780/7780
[pid=28081] ppid=28078 vsize=1304132 CPUtime=0.09 cores=1,3,5,7
/proc/28081/stat : 28081 (toysat) R 28078 28081 23276 0 -1 4202496 31403 0 0 0 5 4 0 0 20 0 4 0 26012031 1335431168 31191 33554432000 4194304 16246674 140734500414448 140734500413592 7364033 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/28081/statm: 326033 31207 800 2943 0 322927 0
[pid=28081/tid=28082] ppid=28078 vsize=1304132 CPUtime=0 cores=1,3,5,7
/proc/28081/task/28082/stat : 28082 (toysat) S 28078 28081 23276 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 26012031 1335431168 31217 33554432000 4194304 16246674 140734500414448 139708154752240 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=28081/tid=28083] ppid=28078 vsize=1304132 CPUtime=0 cores=1,3,5,7
/proc/28081/task/28083/stat : 28083 (toysat) S 28078 28081 23276 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 26012031 1335431168 31229 33554432000 4194304 16246674 140734500414448 139708144262384 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=28081/tid=28084] ppid=28078 vsize=1304132 CPUtime=0 cores=1,3,5,7
/proc/28081/task/28084/stat : 28084 (toysat) S 28078 28081 23276 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 26012031 1335431168 31240 33554432000 4194304 16246674 140734500414448 139708133788848 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 1304132

[startup+0.20052 s]
/proc/loadavg: 2.02 2.03 2.00 3/179 28081
/proc/meminfo: memFree=27444492/32872528 swapFree=7780/7780
[pid=28081] ppid=28078 vsize=1311300 CPUtime=0.19 cores=1,3,5,7
/proc/28081/stat : 28081 (toysat) R 28078 28081 23276 0 -1 4202496 46227 0 0 0 12 7 0 0 20 0 4 0 26012031 1342771200 46525 33554432000 4194304 16246674 140734500414448 140734500413592 4220897 0 2 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/28081/statm: 327825 46525 801 2943 0 324719 0
[pid=28081/tid=28082] ppid=28078 vsize=1311300 CPUtime=0 cores=1,3,5,7
/proc/28081/task/28082/stat : 28082 (toysat) S 28078 28081 23276 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 26012031 1342771200 46525 33554432000 4194304 16246674 140734500414448 139708154752240 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=28081/tid=28083] ppid=28078 vsize=1311300 CPUtime=0 cores=1,3,5,7
/proc/28081/task/28083/stat : 28083 (toysat) S 28078 28081 23276 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 26012031 1342771200 46525 33554432000 4194304 16246674 140734500414448 139708144262384 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=28081/tid=28084] ppid=28078 vsize=1311300 CPUtime=0 cores=1,3,5,7
/proc/28081/task/28084/stat : 28084 (toysat) S 28078 28081 23276 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 26012031 1342771200 46525 33554432000 4194304 16246674 140734500414448 139708133788848 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 0.19
Current children cumulated vsize (KiB) 1311300

[startup+0.300488 s]
/proc/loadavg: 2.02 2.03 2.00 3/179 28081
/proc/meminfo: memFree=27444492/32872528 swapFree=7780/7780
[pid=28081] ppid=28078 vsize=1318468 CPUtime=0.29 cores=1,3,5,7
/proc/28081/stat : 28081 (toysat) R 28078 28081 23276 0 -1 4202496 47893 0 0 0 22 7 0 0 20 0 4 0 26012031 1350111232 48191 33554432000 4194304 16246674 140734500414448 140734500413760 15015658 0 2 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/28081/statm: 329617 48191 830 2943 0 326511 0
[pid=28081/tid=28082] ppid=28078 vsize=1318468 CPUtime=0 cores=1,3,5,7
/proc/28081/task/28082/stat : 28082 (toysat) S 28078 28081 23276 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 26012031 1350111232 48191 33554432000 4194304 16246674 140734500414448 139708154752016 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=28081/tid=28083] ppid=28078 vsize=1318468 CPUtime=0 cores=1,3,5,7
/proc/28081/task/28083/stat : 28083 (toysat) S 28078 28081 23276 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 26012031 1350111232 48191 33554432000 4194304 16246674 140734500414448 139708144262160 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=28081/tid=28084] ppid=28078 vsize=1318468 CPUtime=0 cores=1,3,5,7
/proc/28081/task/28084/stat : 28084 (toysat) S 28078 28081 23276 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 26012031 1350111232 48191 33554432000 4194304 16246674 140734500414448 139708133788848 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 1318468

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

[startup+0.300488 s]
/proc/loadavg: 2.02 2.03 2.00 3/179 28081
/proc/meminfo: memFree=27444492/32872528 swapFree=7780/7780
[pid=28081] ppid=28078 vsize=1318468 CPUtime=0.29 cores=1,3,5,7
/proc/28081/stat : 28081 (toysat) R 28078 28081 23276 0 -1 4202496 47893 0 0 0 22 7 0 0 20 0 4 0 26012031 1350111232 48191 33554432000 4194304 16246674 140734500414448 140734500413760 15015658 0 2 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/28081/statm: 329617 48191 830 2943 0 326511 0
[pid=28081/tid=28082] ppid=28078 vsize=1318468 CPUtime=0 cores=1,3,5,7
/proc/28081/task/28082/stat : 28082 (toysat) S 28078 28081 23276 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 26012031 1350111232 48191 33554432000 4194304 16246674 140734500414448 139708154752016 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=28081/tid=28083] ppid=28078 vsize=1318468 CPUtime=0 cores=1,3,5,7
/proc/28081/task/28083/stat : 28083 (toysat) S 28078 28081 23276 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 26012031 1350111232 48191 33554432000 4194304 16246674 140734500414448 139708144262160 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=28081/tid=28084] ppid=28078 vsize=1318468 CPUtime=0 cores=1,3,5,7
/proc/28081/task/28084/stat : 28084 (toysat) S 28078 28081 23276 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 26012031 1350111232 48191 33554432000 4194304 16246674 140734500414448 139708133788848 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 1318468

Child status: 0
Real time (s): 0.313323
CPU time (s): 0.311952
CPU user time (s): 0.227965
CPU system time (s): 0.083987
CPU usage (%): 99.5624
Max. virtual memory (cumulated for all children) (KiB): 1318468

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 0.227965
system time used= 0.083987
maximum resident set size= 192772
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 47895
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= 20
involuntary context switches= 2

??? 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 node151 at 2016-06-18 10:47:52
IDJOB=4103945
IDBENCH=2512
IDSOLVER=2542
FILE ID=node151/4103945-1466239672
RUNJOBID= node151-1466206051-23293
PBS_JOBID= 19918135
Free space on /tmp= 71732 MiB

SOLVER NAME= toysat 2016-05-02
BENCH NAME= PB06//final/normalized-PB06/OPT-BIGINT/mps-v2-20-10/MIPLIB/miplib2003/normalized-mps-v2-20-10-qiu.opb
COMMAND LINE= toysat +RTS -H1G -MMEMLIMITm -K1G -RTS --pb --search=bcd2 BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4103945-1466239672/watcher-4103945-1466239672 -o /tmp/evaluation-result-4103945-1466239672/solver-4103945-1466239672 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node151-1466206051-23293 --watchdog 1960  toysat +RTS -H1G -M15500m -K1G -RTS --pb --search=bcd2 HOME/instance-4103945-1466239672.opb

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

MD5SUM BENCH= 42437a98f8f475fdcbcf3676beea9d9f
RANDOM SEED=1669820339

node151.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		: 2667.103
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	: 5334.20
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		: 2667.103
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		: 2667.103
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.55
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		: 2667.103
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.55
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		: 2667.103
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.54
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		: 2667.103
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		: 2667.103
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		: 2667.103
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:        27445036 kB
Buffers:           55196 kB
Cached:           207224 kB
SwapCached:         1780 kB
Active:          4474288 kB
Inactive:         198416 kB
Active(anon):    4407964 kB
Inactive(anon):     4436 kB
Active(file):      66324 kB
Inactive(file):   193980 kB
Unevictable:        7780 kB
Mlocked:            7780 kB
SwapTotal:      67108856 kB
SwapFree:       67099228 kB
Dirty:             17484 kB
Writeback:             0 kB
AnonPages:       4418896 kB
Mapped:            11572 kB
Shmem:                 0 kB
Slab:             605324 kB
SReclaimable:      48944 kB
SUnreclaim:       556380 kB
KernelStack:        1504 kB
PageTables:        12816 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83545120 kB
Committed_AS:    4564200 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      346412 kB
VmallocChunk:   34341988032 kB
HardwareCorrupted:     0 kB
AnonHugePages:    192512 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= 71716 MiB
End job on node151 at 2016-06-18 10:47:53