Trace number 4079164

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.329949 0.33362

General information on the benchmark

Name/OPT-BIGINT-LIN/leberre/opb-paranoid/misc2010/random/
rand.smallist/normalized-rand2fa1f8.cudf.paranoid.opb
MD5SUMbb2495276a4f9e5b3c3f083b3c185f8e
Bench CategoryOPT-BIGINT-LIN (optimisation, big 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.146977
Has Objective FunctionYES
Satisfiable
(Un)Satisfiability was proved
Best value of the objective function
Optimality of the best value was proved
Number of variables6478
Total number of constraints20128
Number of constraints which are clauses20125
Number of constraints which are cardinality constraints (but not clauses)3
Number of constraints which are nor clauses,nor cardinality constraints0
Minimum length of a constraint1
Maximum length of a constraint1147
Number of terms in the objective function 3057
Biggest coefficient in the objective function 1914
Number of bits for the biggest coefficient in the objective function 11
Sum of the numbers in the objective function 2193442
Number of bits of the sum of numbers in the objective function 22
Biggest number in a constraint 1914
Number of bits of the biggest number in a constraint 11
Biggest sum of numbers in a constraint 2193442
Number of bits of the biggest sum of numbers22
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-07T05:10:51+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-4079164-1465269051.opb"]
0.00/0.01	c use --random-gen="1243132970 1834841283 492299070 1863480083 2453063852 3639986644 3914729234 2817953064 459406402 1921823341 3671961083 3034918399 1835347908 3428487687 213938592 2024748275 266032044 3018207709 3536174717 840445787 3004931721 2761645106 235964111 1477219327 695469868 2612928957 2706754505 3647943133 3536328256 2263544161 401447928 2527139026 616131639 3744267294 2421933954 1433155853 2130530812 2355171848 2232709012 2180635997 185879848 1001425574 1633943378 4158016221 1911093740 1595467192 2954545263 2932532993 1943545744 3883738803 509807217 3676334541 3780818192 3731740504 3248632516 3076914297 3159914805 4183097113 1116902478 703793168 2712816700 316066494 3552185368 1345267300 720172091 3460776345 3484153561 2113344259 1977567490 431668198 1873355180 834562233 3633625801 636101600 1632485584 1015180420 351384321 1412591732 4064884801 2005309712 1642973367 1845029858 965363951 3617824778 1480245604 3992986316 2238522451 487166720 3791401530 2760176308 2584975821 2166114751 3762482476 3845249720 2454585248 2388577923 2705889761 70313515 2801814525 3141446366 3704270988 69857378 2665711586 236020611 2339221959 248532881 1103129443 1683397521 1635044242 3934980579 3190804141 1497111606 3745421018 1055950730 1087558297 1492918106 475915605 2345448403 530011327 430674166 3479635393 570361834 1988860353 438284138 2836156595 4291374651 518368513 2488390427 3034153712 3772958890 3438134856 934175888 568849360 1720504055 3119572894 4228330736 632684541 2612369700 1411525406 3858833820 2893771697 309295884 1441370347 1588109519 1456009734 3514064540 3304972156 1156356289 4139750999 2093401981 3088019907 555610996 638779982 1382711232 72773668 2346447702 4148965876 3781922871 1678615652 1040553834 3682436329 4155358865 2588162441 859976656 1179128304 2449871896 577241562 4108907486 3004047909 2927759959 1213387510 118946839 4064703099 3135181152 2976223310 3249182775 4029152439 2613466898 3403935698 1412154621 978873398 3849081184 508491251 1025759577 231302273 2704567258 2180020224 2333714075 3473674939 1683494853 1959980743 3431889715 3957552203 3760063843 416954145 2226283832 4183848203 2807266928 4077410347 4020373152 1989804885 259578779 4012735258 1566686240 1607838499 3339531890 2537644206 800330464 4046043961 4112002935 3159201285 2973040227 3161648508 1058615412 3101901978 2155309374 851870994 1777668718 1738744880 3915861843 3416957429 815023010 3437693341 804912844 3662200751 2858873544 4026958723 3680396848 2808704328 1508143639 1724033276 832588926 1413110739 3214322493 130793018 3204312744 2337469753 3338845780 2514302976 4190281852 2499901554 1771113 1720105720 2728444144 199590156 3844677394 2164287796 1119775186 3665641568 3472365478 1850605407 1541381097 2801981624 1003663930 2733520864 168685485 255 362436" option to reproduce the execution
0.09/0.15	c #vars 6478
0.09/0.15	c #constraints 20128
0.19/0.29	c BCD2: Hardening is enabled.
0.19/0.29	c BCD2: BiasedSearch is enabled.
0.19/0.29	c Solving starts ...
0.29/0.31	s UNSATISFIABLE
0.29/0.31	c total CPU time = 0.317s
0.29/0.31	c total wall clock time = 0.317s

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

pid=28584
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.03 2.05 2.03 3/180 28587
/proc/meminfo: memFree=30370764/32872528 swapFree=11320/319964
[pid=28587] ppid=28584 vsize=729532 CPUtime=0 cores=1,3,5,7
/proc/28587/stat : 28587 (toysat) R 28584 28587 20210 0 -1 4202496 2721 0 0 0 0 0 0 0 20 0 4 0 108838340 747040768 3082 33554432000 4194304 16246674 140734852681920 140734852681344 13880264 0 2 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/28587/statm: 182895 3091 441 2943 0 179789 0
[pid=28587/tid=28588] ppid=28584 vsize=747964 CPUtime=0 cores=1,3,5,7
/proc/28587/task/28588/stat : 28588 (toysat) S 28584 28587 20210 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 108838340 765915136 3153 33554432000 4194304 16246674 140734852681920 140208222743792 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=28587/tid=28589] ppid=28584 vsize=752060 CPUtime=0 cores=1,3,5,7
/proc/28587/task/28589/stat : 28589 (toysat) S 28584 28587 20210 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 108838340 770109440 3170 33554432000 4194304 16246674 140734852681920 140208212253936 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=28587/tid=28590] ppid=28584 vsize=756156 CPUtime=0 cores=1,3,5,7
/proc/28587/task/28590/stat : 28590 (toysat) S 28584 28587 20210 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 108838340 774303744 3187 33554432000 4194304 16246674 140734852681920 140208133631152 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0

[startup+0.100203 s]
/proc/loadavg: 2.03 2.05 2.03 3/180 28587
/proc/meminfo: memFree=30370764/32872528 swapFree=11320/319964
[pid=28587] ppid=28584 vsize=1221188 CPUtime=0.09 cores=1,3,5,7
/proc/28587/stat : 28587 (toysat) R 28584 28587 20210 0 -1 4202496 25972 0 0 0 6 3 0 0 20 0 4 0 108838340 1250496512 26270 33554432000 4194304 16246674 140734852681920 140734852681232 4220990 0 2 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/28587/statm: 305553 26277 800 2943 0 302447 0
[pid=28587/tid=28588] ppid=28584 vsize=1222212 CPUtime=0 cores=1,3,5,7
/proc/28587/task/28588/stat : 28588 (toysat) S 28584 28587 20210 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 108838340 1251545088 26282 33554432000 4194304 16246674 140734852681920 140208222743792 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=28587/tid=28589] ppid=28584 vsize=1222212 CPUtime=0 cores=1,3,5,7
/proc/28587/task/28589/stat : 28589 (toysat) S 28584 28587 20210 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 108838340 1251545088 26287 33554432000 4194304 16246674 140734852681920 140208212253936 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=28587/tid=28590] ppid=28584 vsize=1222212 CPUtime=0 cores=1,3,5,7
/proc/28587/task/28590/stat : 28590 (toysat) S 28584 28587 20210 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 108838340 1251545088 26292 33554432000 4194304 16246674 140734852681920 140208133631152 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) 1221188

[startup+0.200536 s]
/proc/loadavg: 2.03 2.05 2.03 3/180 28587
/proc/meminfo: memFree=30370764/32872528 swapFree=11320/319964
[pid=28587] ppid=28584 vsize=1302084 CPUtime=0.19 cores=1,3,5,7
/proc/28587/stat : 28587 (toysat) R 28584 28587 20210 0 -1 4202496 45998 0 0 0 14 5 0 0 20 0 4 0 108838340 1333334016 46296 33554432000 4194304 16246674 140734852681920 140734852681232 13789072 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/28587/statm: 325521 46296 837 2943 0 322415 0
[pid=28587/tid=28588] ppid=28584 vsize=1302084 CPUtime=0 cores=1,3,5,7
/proc/28587/task/28588/stat : 28588 (toysat) S 28584 28587 20210 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 108838340 1333334016 46296 33554432000 4194304 16246674 140734852681920 140208222743792 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=28587/tid=28589] ppid=28584 vsize=1302084 CPUtime=0 cores=1,3,5,7
/proc/28587/task/28589/stat : 28589 (toysat) S 28584 28587 20210 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 108838340 1333334016 46296 33554432000 4194304 16246674 140734852681920 140208212253936 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=28587/tid=28590] ppid=28584 vsize=1302084 CPUtime=0 cores=1,3,5,7
/proc/28587/task/28590/stat : 28590 (toysat) S 28584 28587 20210 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 108838340 1333334016 46296 33554432000 4194304 16246674 140734852681920 140208133631152 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) 1302084

[startup+0.300481 s]
/proc/loadavg: 2.03 2.05 2.03 3/180 28587
/proc/meminfo: memFree=30370764/32872528 swapFree=11320/319964
[pid=28587] ppid=28584 vsize=1305156 CPUtime=0.29 cores=1,3,5,7
/proc/28587/stat : 28587 (toysat) R 28584 28587 20210 0 -1 4202496 59537 0 0 0 22 7 0 0 20 0 4 0 108838340 1336479744 59835 33554432000 4194304 16246674 140734852681920 140734852663808 4222282 0 2 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/28587/statm: 326289 59841 855 2943 0 323183 0
[pid=28587/tid=28588] ppid=28584 vsize=1305156 CPUtime=0 cores=1,3,5,7
/proc/28587/task/28588/stat : 28588 (toysat) S 28584 28587 20210 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 108838340 1336479744 59845 33554432000 4194304 16246674 140734852681920 140208222743792 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=28587/tid=28589] ppid=28584 vsize=1305156 CPUtime=0 cores=1,3,5,7
/proc/28587/task/28589/stat : 28589 (toysat) S 28584 28587 20210 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 108838340 1336479744 59847 33554432000 4194304 16246674 140734852681920 140208212253936 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=28587/tid=28590] ppid=28584 vsize=1305156 CPUtime=0 cores=1,3,5,7
/proc/28587/task/28590/stat : 28590 (toysat) S 28584 28587 20210 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 108838340 1336479744 59851 33554432000 4194304 16246674 140734852681920 140208133631152 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) 1305156

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

[startup+0.300481 s]
/proc/loadavg: 2.03 2.05 2.03 3/180 28587
/proc/meminfo: memFree=30370764/32872528 swapFree=11320/319964
[pid=28587] ppid=28584 vsize=1305156 CPUtime=0.29 cores=1,3,5,7
/proc/28587/stat : 28587 (toysat) R 28584 28587 20210 0 -1 4202496 59537 0 0 0 22 7 0 0 20 0 4 0 108838340 1336479744 59835 33554432000 4194304 16246674 140734852681920 140734852663808 4222282 0 2 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/28587/statm: 326289 59841 855 2943 0 323183 0
[pid=28587/tid=28588] ppid=28584 vsize=1305156 CPUtime=0 cores=1,3,5,7
/proc/28587/task/28588/stat : 28588 (toysat) S 28584 28587 20210 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 108838340 1336479744 59845 33554432000 4194304 16246674 140734852681920 140208222743792 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=28587/tid=28589] ppid=28584 vsize=1305156 CPUtime=0 cores=1,3,5,7
/proc/28587/task/28589/stat : 28589 (toysat) S 28584 28587 20210 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 108838340 1336479744 59847 33554432000 4194304 16246674 140734852681920 140208212253936 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=28587/tid=28590] ppid=28584 vsize=1305156 CPUtime=0 cores=1,3,5,7
/proc/28587/task/28590/stat : 28590 (toysat) S 28584 28587 20210 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 108838340 1336479744 59851 33554432000 4194304 16246674 140734852681920 140208133631152 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) 1305156

Child status: 0
Real time (s): 0.33362
CPU time (s): 0.329949
CPU user time (s): 0.241963
CPU system time (s): 0.087986
CPU usage (%): 98.8997
Max. virtual memory (cumulated for all children) (KiB): 1305156

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 0.241963
system time used= 0.087986
maximum resident set size= 245124
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 60984
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= 3

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

The end

Launcher Data 

Begin job on node128 at 2016-06-07 05:10:51
IDJOB=4079164
IDBENCH=72172
IDSOLVER=2542
FILE ID=node128/4079164-1465269051
RUNJOBID= node128-1465264781-27960
PBS_JOBID= 19843253
Free space on /tmp= 71732 MiB

SOLVER NAME= toysat 2016-05-02
BENCH NAME= PB10/normalized-PB10/OPT-BIGINT-LIN/leberre/opb-paranoid/misc2010/random/rand.smallist/normalized-rand2fa1f8.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-4079164-1465269051/watcher-4079164-1465269051 -o /tmp/evaluation-result-4079164-1465269051/solver-4079164-1465269051 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node128-1465264781-27960 --watchdog 1960  toysat +RTS -H1G -M15500m -K1G -RTS --pb --search=bcd2 HOME/instance-4079164-1465269051.opb

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

MD5SUM BENCH= bb2495276a4f9e5b3c3f083b3c185f8e
RANDOM SEED=1645012020

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


/proc/meminfo:
MemTotal:       32872528 kB
MemFree:        30371672 kB
Buffers:          109456 kB
Cached:           250016 kB
SwapCached:         1668 kB
Active:          1216920 kB
Inactive:         228132 kB
Active(anon):    1087776 kB
Inactive(anon):      588 kB
Active(file):     129144 kB
Inactive(file):   227544 kB
Unevictable:      319964 kB
Mlocked:           11320 kB
SwapTotal:      67108856 kB
SwapFree:       67098516 kB
Dirty:             16740 kB
Writeback:             0 kB
AnonPages:       1407836 kB
Mapped:            10960 kB
Shmem:                 0 kB
Slab:             602904 kB
SReclaimable:      46472 kB
SUnreclaim:       556432 kB
KernelStack:        1528 kB
PageTables:         6836 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83545120 kB
Committed_AS:    1551736 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      346412 kB
VmallocChunk:   34341988032 kB
HardwareCorrupted:     0 kB
AnonHugePages:    313344 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 node128 at 2016-06-07 05:10:51