Trace number 4107454

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.38594 0.387496

General information on the benchmark

Name/OPT-BIGINT-LIN/leberre/opb-paranoid/misc2010/random/
rand.smallist/normalized-rand6c4744.cudf.paranoid.opb
MD5SUM0abc07b67cc4a7bf034f6170fd84e55e
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.166974
Has Objective FunctionYES
Satisfiable
(Un)Satisfiability was proved
Best value of the objective function
Optimality of the best value was proved
Number of variables6732
Total number of constraints22279
Number of constraints which are clauses22278
Number of constraints which are cardinality constraints (but not clauses)1
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 3177
Biggest coefficient in the objective function 2034
Number of bits for the biggest coefficient in the objective function 11
Sum of the numbers in the objective function 2330962
Number of bits of the sum of numbers in the objective function 22
Biggest number in a constraint 2034
Number of bits of the biggest number in a constraint 11
Biggest sum of numbers in a constraint 2330962
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-18T23:28:17+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-4107454-1466285297.opb"]
0.00/0.01	c use --random-gen="2612718895 392613602 2079106224 833646892 1968420108 3198813672 1498221138 4190019329 2498706767 387160878 4164590215 1008632519 953651518 2091071662 1121880767 1987959921 1384324590 3379234811 689007105 2627528905 1391651503 222176306 4026258606 3069572948 431949697 908781817 622886201 2912096675 2840455981 37366074 46150631 2668084814 327846248 3023488834 3368645211 1383001024 2443025543 3302051876 960462923 411155695 1633592549 925327178 2660694529 1955266247 1749722125 1124374499 2386179153 249447451 2614416103 239875568 2252673825 4289503850 2693720455 4236229775 1323013956 2991189117 3962285293 3787751328 1393189783 3053404492 2217496718 3048703257 3446781817 3998292153 300591470 1599432683 3870428441 1086982534 2999125825 1247369625 1646067997 109360977 810296205 2810903051 2118421845 779137179 1409847508 3183042728 2734352441 64173741 1656559973 3139098784 3334093551 990884535 3214995075 3361067755 4186682873 3402217491 2266666240 2314667000 1301468171 2028469041 1307220405 1987976871 3156913535 1608438195 1628195640 3780056058 688480717 355794123 4029675743 1481993317 3142607672 648986422 564290681 609813826 1166575624 4220741006 3745817351 661053910 2718661770 2970774364 1434381150 3233793848 1875916948 1000287527 3046430540 3906300712 1637951309 2626557132 522642328 2446199425 2882176435 3616579610 2760296229 3196184402 3352467027 3284782468 3327880982 1243731291 4079593470 3246721298 2462155860 2963733983 328858781 4226348242 3158253045 1055929824 2410566965 2852747418 1979108370 3599120752 2328976074 2744972418 1146954179 251710642 2860706488 2954199320 382632362 1936683349 488609676 3638033561 450445443 3008333304 2481804906 420330750 2927992605 3850347743 582939942 3838226362 3211853439 1332387712 843302101 1834933536 2905920322 2412519854 1892202563 2007546789 2077900638 1200369545 103647182 3068604840 65593571 1627585793 2675252226 613610834 3228839688 706388194 2778155947 2749705675 2758876363 1333491796 418321720 1723024951 1279476946 1157982473 4165144197 3164750720 110010764 1137135860 4147748816 794264657 2678596399 518830782 2233275656 3067077322 382156639 3315491652 3309363092 687837889 1873001113 243899228 693978892 802546810 3872082738 1730623855 2765516175 3779843472 3105614943 2938676774 2679819780 965866148 2667058879 2356048263 3112837077 2339960575 4037904855 3395359494 2167860691 3703273326 3168614019 3661441512 2026440001 2737548347 1530849991 3955257173 727268788 3045164738 3408242631 3625500100 2838632052 2052829589 3223629332 389130503 1442165180 3106609077 3015748973 2576183882 4222182338 2230214355 2261746844 604059334 3080604586 1529950319 2941929421 3103209501 4160891199 3984868458 289271302 4087328591 345492137 3509774905 3555638879 2727651969 1473976240 690981809 255 362436" option to reproduce the execution
0.09/0.15	c #vars 6732
0.09/0.15	c #constraints 22279
0.29/0.34	c BCD2: Hardening is enabled.
0.29/0.34	c BCD2: BiasedSearch is enabled.
0.29/0.34	c Solving starts ...
0.29/0.36	s UNSATISFIABLE
0.29/0.36	c total CPU time = 0.367s
0.29/0.36	c total wall clock time = 0.367s

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

pid=10257
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.10 2.11 2.09 3/179 10260
/proc/meminfo: memFree=28365532/32872528 swapFree=496868/529572
[pid=10260] ppid=10257 vsize=707004 CPUtime=0 cores=0,2,4,6
/proc/10260/stat : 10260 (toysat) R 10257 10260 7739 0 -1 4202496 2635 0 0 0 0 0 0 0 20 0 4 0 30575150 723972096 2995 33554432000 4194304 16246674 140737110549824 140737110549248 13880264 0 2 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/10260/statm: 177263 3005 441 2943 0 174157 0
[pid=10260/tid=10261] ppid=10257 vsize=724412 CPUtime=0 cores=0,2,4,6
/proc/10260/task/10261/stat : 10261 (toysat) S 10257 10260 7739 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 30575150 741797888 3065 33554432000 4194304 16246674 140737110549824 140703787101424 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=10260/tid=10262] ppid=10257 vsize=729532 CPUtime=0 cores=0,2,4,6
/proc/10260/task/10262/stat : 10262 (toysat) S 10257 10260 7739 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 30575150 747040768 3083 33554432000 4194304 16246674 140737110549824 140703776611568 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=10260/tid=10263] ppid=10257 vsize=733628 CPUtime=0 cores=0,2,4,6
/proc/10260/task/10263/stat : 10263 (toysat) S 10257 10260 7739 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 30575150 751235072 3099 33554432000 4194304 16246674 140737110549824 140703766138032 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0

[startup+0.100167 s]
/proc/loadavg: 2.10 2.11 2.09 3/179 10260
/proc/meminfo: memFree=28365532/32872528 swapFree=496868/529572
[pid=10260] ppid=10257 vsize=1302084 CPUtime=0.09 cores=0,2,4,6
/proc/10260/stat : 10260 (toysat) R 10257 10260 7739 0 -1 4202496 26168 0 0 0 6 3 0 0 20 0 4 0 30575150 1333334016 26467 33554432000 4194304 16246674 140737110549824 140737110549136 7387561 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/10260/statm: 325521 26481 799 2943 0 322415 0
[pid=10260/tid=10261] ppid=10257 vsize=1302084 CPUtime=0 cores=0,2,4,6
/proc/10260/task/10261/stat : 10261 (toysat) S 10257 10260 7739 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 30575150 1333334016 26492 33554432000 4194304 16246674 140737110549824 140703787101424 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=10260/tid=10262] ppid=10257 vsize=1302084 CPUtime=0 cores=0,2,4,6
/proc/10260/task/10262/stat : 10262 (toysat) S 10257 10260 7739 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 30575150 1333334016 26503 33554432000 4194304 16246674 140737110549824 140703776611568 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=10260/tid=10263] ppid=10257 vsize=1302084 CPUtime=0 cores=0,2,4,6
/proc/10260/task/10263/stat : 10263 (toysat) S 10257 10260 7739 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 30575150 1333334016 26513 33554432000 4194304 16246674 140737110549824 140703766138032 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) 1302084

[startup+0.200511 s]
/proc/loadavg: 2.10 2.11 2.09 3/179 10260
/proc/meminfo: memFree=28365532/32872528 swapFree=496868/529572
[pid=10260] ppid=10257 vsize=1302084 CPUtime=0.19 cores=0,2,4,6
/proc/10260/stat : 10260 (toysat) R 10257 10260 7739 0 -1 4202496 45791 0 0 0 13 6 0 0 20 0 4 0 30575150 1333334016 46090 33554432000 4194304 16246674 140737110549824 140737110531712 13780501 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/10260/statm: 325521 46098 833 2943 0 322415 0
[pid=10260/tid=10261] ppid=10257 vsize=1302084 CPUtime=0 cores=0,2,4,6
/proc/10260/task/10261/stat : 10261 (toysat) S 10257 10260 7739 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 30575150 1333334016 46103 33554432000 4194304 16246674 140737110549824 140703787101424 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=10260/tid=10262] ppid=10257 vsize=1302084 CPUtime=0 cores=0,2,4,6
/proc/10260/task/10262/stat : 10262 (toysat) S 10257 10260 7739 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 30575150 1333334016 46108 33554432000 4194304 16246674 140737110549824 140703776611568 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=10260/tid=10263] ppid=10257 vsize=1302084 CPUtime=0 cores=0,2,4,6
/proc/10260/task/10263/stat : 10263 (toysat) S 10257 10260 7739 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 30575150 1333334016 46113 33554432000 4194304 16246674 140737110549824 140703766138032 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 0.19
Current children cumulated vsize (KiB) 1302084

[startup+0.300473 s]
/proc/loadavg: 2.10 2.11 2.09 3/179 10260
/proc/meminfo: memFree=28365532/32872528 swapFree=496868/529572
[pid=10260] ppid=10257 vsize=1302084 CPUtime=0.29 cores=0,2,4,6
/proc/10260/stat : 10260 (toysat) R 10257 10260 7739 0 -1 4202496 63653 0 0 0 20 9 0 0 20 0 4 0 30575150 1333334016 63951 33554432000 4194304 16246674 140737110549824 140737110531712 6939469 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/10260/statm: 325521 63959 836 2943 0 322415 0
[pid=10260/tid=10261] ppid=10257 vsize=1302084 CPUtime=0 cores=0,2,4,6
/proc/10260/task/10261/stat : 10261 (toysat) S 10257 10260 7739 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 30575150 1333334016 63964 33554432000 4194304 16246674 140737110549824 140703787101424 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=10260/tid=10262] ppid=10257 vsize=1302084 CPUtime=0 cores=0,2,4,6
/proc/10260/task/10262/stat : 10262 (toysat) S 10257 10260 7739 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 30575150 1333334016 63969 33554432000 4194304 16246674 140737110549824 140703776611568 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=10260/tid=10263] ppid=10257 vsize=1302084 CPUtime=0 cores=0,2,4,6
/proc/10260/task/10263/stat : 10263 (toysat) S 10257 10260 7739 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 30575150 1333334016 63974 33554432000 4194304 16246674 140737110549824 140703766138032 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 1302084

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

[startup+0.300473 s]
/proc/loadavg: 2.10 2.11 2.09 3/179 10260
/proc/meminfo: memFree=28365532/32872528 swapFree=496868/529572
[pid=10260] ppid=10257 vsize=1302084 CPUtime=0.29 cores=0,2,4,6
/proc/10260/stat : 10260 (toysat) R 10257 10260 7739 0 -1 4202496 63653 0 0 0 20 9 0 0 20 0 4 0 30575150 1333334016 63951 33554432000 4194304 16246674 140737110549824 140737110531712 6939469 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/10260/statm: 325521 63959 836 2943 0 322415 0
[pid=10260/tid=10261] ppid=10257 vsize=1302084 CPUtime=0 cores=0,2,4,6
/proc/10260/task/10261/stat : 10261 (toysat) S 10257 10260 7739 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 30575150 1333334016 63964 33554432000 4194304 16246674 140737110549824 140703787101424 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=10260/tid=10262] ppid=10257 vsize=1302084 CPUtime=0 cores=0,2,4,6
/proc/10260/task/10262/stat : 10262 (toysat) S 10257 10260 7739 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 30575150 1333334016 63969 33554432000 4194304 16246674 140737110549824 140703776611568 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=10260/tid=10263] ppid=10257 vsize=1302084 CPUtime=0 cores=0,2,4,6
/proc/10260/task/10263/stat : 10263 (toysat) S 10257 10260 7739 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 30575150 1333334016 63974 33554432000 4194304 16246674 140737110549824 140703766138032 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 1302084

Child status: 0
Real time (s): 0.387496
CPU time (s): 0.38594
CPU user time (s): 0.25796
CPU system time (s): 0.12798
CPU usage (%): 99.5984
Max. virtual memory (cumulated for all children) (KiB): 1302084

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 0.25796
system time used= 0.12798
maximum resident set size= 295384
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 73549
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= 2

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

The end

Launcher Data 

Begin job on node141 at 2016-06-18 23:28:17
IDJOB=4107454
IDBENCH=72178
IDSOLVER=2542
FILE ID=node141/4107454-1466285297
RUNJOBID= node141-1466264081-7755
PBS_JOBID= 19918217
Free space on /tmp= 71712 MiB

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

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

MD5SUM BENCH= 0abc07b67cc4a7bf034f6170fd84e55e
RANDOM SEED=25224133

node141.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.547
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.09
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.547
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.547
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.54
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.547
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		: 2666.547
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.56
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.547
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.547
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.547
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:        28366340 kB
Buffers:          165128 kB
Cached:           268552 kB
SwapCached:         2528 kB
Active:          2945172 kB
Inactive:         283780 kB
Active(anon):    2795620 kB
Inactive(anon):     2028 kB
Active(file):     149552 kB
Inactive(file):   281752 kB
Unevictable:      529572 kB
Mlocked:          496868 kB
SwapTotal:      67108856 kB
SwapFree:       67099068 kB
Dirty:             16708 kB
Writeback:             0 kB
AnonPages:       3290776 kB
Mapped:            10988 kB
Shmem:                 0 kB
Slab:             610732 kB
SReclaimable:      54464 kB
SUnreclaim:       556268 kB
KernelStack:        1520 kB
PageTables:        10748 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83545120 kB
Committed_AS:    3469180 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      346412 kB
VmallocChunk:   34341988032 kB
HardwareCorrupted:     0 kB
AnonHugePages:         0 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= 71696 MiB
End job on node141 at 2016-06-18 23:28:18