Trace number 4120354

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 NameAnswerCPU timeWall clock time
toysat 2016-05-02UNSAT 0.252961 0.2566

General information on the benchmark

NamePB15eval/normalized-PB15eval/DEC-SMALLINT-LIN/ProofComplexity-Extracted-Cardinality-Constraints/
ProofComplexity/normalized-tseitin-regular-n40-d3-i1-f.cnf.gz-plain.pb.metafix.opb
MD5SUMcf04ebfdba704f77286b3b5d0d16fb5e
Bench CategoryDEC-SMALLINT-LIN (no 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.025996
Has Objective FunctionNO
Satisfiable
(Un)Satisfiability was proved
Best value of the objective function
Optimality of the best value was proved
Number of variables60
Total number of constraints160
Number of constraints which are clauses160
Number of constraints which are cardinality constraints (but not clauses)0
Number of constraints which are nor clauses,nor cardinality constraints0
Minimum length of a constraint3
Maximum length of a constraint3
Number of terms in the objective function 0
Biggest coefficient in the objective function 0
Number of bits for the biggest coefficient in the objective function 0
Sum of the numbers in the objective function 0
Number of bits of the sum of numbers in the objective function 0
Biggest number in a constraint 2
Number of bits of the biggest number in a constraint 2
Biggest sum of numbers in a constraint 5
Number of bits of the biggest sum of numbers3
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-30T20:24:14+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-4120354-1467311054.opb"]
0.00/0.01	c use --random-gen="617033456 3025272439 3187857770 3657104789 1353403566 535942140 2496982432 1529749713 1029855106 2612594494 3158140220 4018439985 3429455504 2279129676 52215664 2758036594 59473933 4152874017 3870535625 3905908117 2119106958 394506009 1829843777 4048211767 3018990721 3290923535 1384753179 1600059134 1414851923 621729273 523198719 1906854529 1043244408 3023701919 406009363 293014043 599177615 1326681305 2484378695 1928482476 2256730825 1597407810 3449545578 2542767739 3787502123 350702409 3206760549 1676423122 3434667789 1505312881 1763588296 223182190 658653547 2291799698 3507465792 3878460101 913414258 216725133 3146962027 1905262652 474005157 3931839702 3751715140 536142194 313662028 618389474 3842697353 1462663212 2393926301 544328662 483291010 3840372134 4105988487 163659528 2736902700 2503452539 520866462 2536994563 677227543 3288550985 3185665969 2368160252 2500729860 38275913 1235431376 2183994735 2480703837 3917487562 2069989116 1235839195 932071109 3552453379 425569094 3697456289 1070556842 933029905 1044539096 2597896042 2232007042 821112349 1442871714 2917479583 1186421603 3416717863 4220761495 561621257 2872640744 1354586102 1479500017 3760921610 4144482840 628909114 3669545771 1434023166 2709675755 2911645651 1345334393 1828694083 981537735 1041395618 732897622 1480113757 3239381256 517441247 3624559138 3321324536 2848553623 4283802127 1491044134 3787806960 1343605962 3902120860 2861902930 21595393 471846043 3895025133 475708159 1701793375 3605009585 2821938290 284881347 1639651172 2790986652 3276837715 218637748 4269517630 1787565357 1901020443 2462030845 441238057 1244376796 2812226812 1042918984 3825081990 287360455 3426122601 3813999074 2717419353 690086775 2938010458 19073498 2683311224 25127223 4292834958 2943445932 1044817625 2193877862 2334695244 3046569502 795344595 2428495452 3082972225 2530463225 1841546668 517137574 1507561439 3611398396 2758955213 131236324 1638170420 3402441075 1812857847 4288131291 2717711259 2164723004 2813629933 2830110533 776123169 2347029874 4153975326 2681795033 2998440341 3110786723 1881428786 916094191 2478882692 3751966429 1890133012 4219676214 2623745579 1672266144 2409016696 2798024651 3973535794 4292362216 2850674076 4286154196 3227400785 1394773821 1061052143 2496071254 1057429243 1747392231 1979558206 232197707 245887469 1501492022 290568999 2427118377 1364692254 3271986024 2501816775 224337995 299634997 4186295181 997576898 2438367036 995153610 4114039528 648788436 2006104925 4103119473 1618240586 963837055 2976306266 95705446 2469233555 2176224080 2337442275 851145763 1259614519 367721567 2314746936 3875785553 1283622571 1202628948 3766236631 2871963930 4236202106 3122575426 1708652386 3716014239 3153204829 1848390333 3539252589 640175841 255 362436" option to reproduce the execution
0.00/0.01	c #vars 60
0.00/0.01	c #constraints 160
0.00/0.01	c Solving starts ...
0.00/0.01	c ============================[ Search Statistics ]============================
0.00/0.01	c  Time | Restart | Decision | Conflict |      LEARNT     | Fixed    | Removed 
0.00/0.01	c       |         |          |          |    Limit     GC | Var      | Constra 
0.00/0.01	c =============================================================================
0.00/0.01	c  0.0s |       0 |        0 |        0 |       73      0 |        0 |        0
0.00/0.02	c  0.0s |       1 |      140 |      100 |       73      0 |        0 |        0
0.00/0.03	c  0.0s |       2 |      344 |      250 |       81      3 |        0 |        0
0.00/0.04	c  0.0s |       3 |      637 |      475 |       90      7 |        0 |        0
0.00/0.06	c  0.0s |       4 |     1088 |      813 |      100     13 |        0 |        0
0.00/0.09	c  0.1s |       5 |     1694 |     1320 |      111     21 |        0 |        0
0.09/0.13	c  0.1s |       6 |     2736 |     2081 |      136     33 |        0 |        0
0.09/0.19	c  0.2s |       7 |     4331 |     3223 |      150     48 |        1 |        4
0.19/0.24	c  0.2s |       7 |     5458 |     4049 |      150     56 |       14 |       40
0.19/0.24	c #cpu_time = 0.225s
0.19/0.24	c #wall_clock_time = 0.225s
0.19/0.24	c #decision = 5458
0.19/0.24	c #random_decision = 27
0.19/0.24	c #conflict = 4049
0.19/0.24	c #restart = 7
0.19/0.24	s UNSATISFIABLE
0.19/0.24	c total CPU time = 0.240s
0.19/0.24	c total wall clock time = 0.241s

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

pid=12109
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.15 2.10 2.05 3/179 12112
/proc/meminfo: memFree=29356060/32872528 swapFree=1102192/1183952
[pid=12112] ppid=12109 vsize=696764 CPUtime=0 cores=1,3,5,7
/proc/12112/stat : 12112 (toysat) R 12109 12112 11495 0 -1 4202496 2592 0 0 0 0 0 0 0 20 0 4 0 10134613 713486336 3464 33554432000 4194304 16246674 140737404437952 140737404437376 13880264 0 2 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/12112/statm: 174703 3473 441 2943 0 171597 0
[pid=12112/tid=12113] ppid=12109 vsize=714172 CPUtime=0 cores=1,3,5,7
/proc/12112/task/12113/stat : 12113 (toysat) S 12109 12112 11495 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 10134614 731312128 3535 33554432000 4194304 16246674 140737404437952 139997669731568 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=12112/tid=12114] ppid=12109 vsize=718268 CPUtime=0 cores=1,3,5,7
/proc/12112/task/12114/stat : 12114 (toysat) S 12109 12112 11495 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 10134614 735506432 3551 33554432000 4194304 16246674 140737404437952 139997659241712 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=12112/tid=12115] ppid=12109 vsize=723388 CPUtime=0 cores=1,3,5,7
/proc/12112/task/12115/stat : 12115 (toysat) S 12109 12112 11495 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 10134614 740749312 3571 33554432000 4194304 16246674 140737404437952 139997546015920 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0

[startup+0.100117 s]
/proc/loadavg: 2.15 2.10 2.05 3/179 12112
/proc/meminfo: memFree=29356060/32872528 swapFree=1102192/1183952
[pid=12112] ppid=12109 vsize=1218116 CPUtime=0.09 cores=1,3,5,7
/proc/12112/stat : 12112 (toysat) R 12109 12112 11495 0 -1 4202496 25495 0 0 0 5 4 0 0 20 0 4 0 10134613 1247350784 26357 33554432000 4194304 16246674 140737404437952 140737404437376 5546859 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/12112/statm: 304529 26367 709 2943 0 301423 0
[pid=12112/tid=12113] ppid=12109 vsize=1218116 CPUtime=0 cores=1,3,5,7
/proc/12112/task/12113/stat : 12113 (toysat) S 12109 12112 11495 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 10134614 1247350784 26373 33554432000 4194304 16246674 140737404437952 139997669731568 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=12112/tid=12114] ppid=12109 vsize=1218116 CPUtime=0 cores=1,3,5,7
/proc/12112/task/12114/stat : 12114 (toysat) S 12109 12112 11495 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 10134614 1247350784 26380 33554432000 4194304 16246674 140737404437952 139997659241712 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=12112/tid=12115] ppid=12109 vsize=1218116 CPUtime=0 cores=1,3,5,7
/proc/12112/task/12115/stat : 12115 (toysat) S 12109 12112 11495 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 10134614 1247350784 26386 33554432000 4194304 16246674 140737404437952 139997546015920 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) 1218116

[startup+0.200442 s]
/proc/loadavg: 2.15 2.10 2.05 3/179 12112
/proc/meminfo: memFree=29356060/32872528 swapFree=1102192/1183952
[pid=12112] ppid=12109 vsize=1218116 CPUtime=0.19 cores=1,3,5,7
/proc/12112/stat : 12112 (toysat) R 12109 12112 11495 0 -1 4202496 47903 0 0 0 12 7 0 0 20 0 4 0 10134613 1247350784 48765 33554432000 4194304 16246674 140737404437952 140737404437376 5545885 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/12112/statm: 304529 48777 709 2943 0 301423 0
[pid=12112/tid=12113] ppid=12109 vsize=1218116 CPUtime=0 cores=1,3,5,7
/proc/12112/task/12113/stat : 12113 (toysat) S 12109 12112 11495 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 10134614 1247350784 48784 33554432000 4194304 16246674 140737404437952 139997669731568 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=12112/tid=12114] ppid=12109 vsize=1218116 CPUtime=0 cores=1,3,5,7
/proc/12112/task/12114/stat : 12114 (toysat) S 12109 12112 11495 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 10134614 1247350784 48790 33554432000 4194304 16246674 140737404437952 139997659241712 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=12112/tid=12115] ppid=12109 vsize=1218116 CPUtime=0 cores=1,3,5,7
/proc/12112/task/12115/stat : 12115 (toysat) S 12109 12112 11495 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 10134614 1247350784 48797 33554432000 4194304 16246674 140737404437952 139997546015920 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) 1218116

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

Child status: 0
Real time (s): 0.2566
CPU time (s): 0.252961
CPU user time (s): 0.154976
CPU system time (s): 0.097985
CPU usage (%): 98.5818
Max. virtual memory (cumulated for all children) (KiB): 1218116

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 0.154976
system time used= 0.097985
maximum resident set size= 232520
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 57278
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= 23
involuntary context switches= 4

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

The end

Launcher Data 

Begin job on node115 at 2016-06-30 20:24:14
IDJOB=4120354
IDBENCH=109897
IDSOLVER=2542
FILE ID=node115/4120354-1467311054
RUNJOBID= node115-1467308742-11512
PBS_JOBID= 20005276
Free space on /tmp= 71648 MiB

SOLVER NAME= toysat 2016-05-02
BENCH NAME= PB15eval/normalized-PB15eval/DEC-SMALLINT-LIN/ProofComplexity-Extracted-Cardinality-Constraints/ProofComplexity/normalized-tseitin-regular-n40-d3-i1-f.cnf.gz-plain.pb.metafix.opb
COMMAND LINE= toysat +RTS -H1G -MMEMLIMITm -K1G -RTS --pb --search=bcd2 BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4120354-1467311054/watcher-4120354-1467311054 -o /tmp/evaluation-result-4120354-1467311054/solver-4120354-1467311054 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node115-1467308742-11512 --watchdog 1960  toysat +RTS -H1G -M15500m -K1G -RTS --pb --search=bcd2 HOME/instance-4120354-1467311054.opb

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

MD5SUM BENCH= cf04ebfdba704f77286b3b5d0d16fb5e
RANDOM SEED=473338060

node115.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.087
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.17
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.087
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.56
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.087
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		: 2667.087
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.087
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		: 2667.087
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.087
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		: 2667.087
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:        29356984 kB
Buffers:          154328 kB
Cached:           342524 kB
SwapCached:            0 kB
Active:          1373460 kB
Inactive:         217036 kB
Active(anon):    1089676 kB
Inactive(anon):     6556 kB
Active(file):     283784 kB
Inactive(file):   210480 kB
Unevictable:     1183952 kB
Mlocked:         1102192 kB
SwapTotal:      67108856 kB
SwapFree:       67108856 kB
Dirty:             16328 kB
Writeback:             0 kB
AnonPages:       2277260 kB
Mapped:            17072 kB
Shmem:               204 kB
Slab:             607024 kB
SReclaimable:      51436 kB
SUnreclaim:       555588 kB
KernelStack:        1512 kB
PageTables:         8508 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83545120 kB
Committed_AS:    2413844 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      346412 kB
VmallocChunk:   34341988032 kB
HardwareCorrupted:     0 kB
AnonHugePages:    202752 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= 71632 MiB
End job on node115 at 2016-06-30 20:24:14