Trace number 4093525

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-02OPTIMUM 0.064989 0.0667211

General information on the benchmark

Name/PARTIAL-SMALLINT-LIN/wcsp/dimacs/
normalized-dubois26_ext.wbo
MD5SUMe578c08d6801e291bb18ac58eed1eac5
Bench CategoryPARTIAL-SMALLINT-LIN (both soft and hard constraints, small integers, linear constraints)
Best result obtained on this benchmarkMOPT
Best cost obtained on this benchmark1
Best CPU time to get the best result obtained on this benchmark0.009997
Max-Satisfiable
Max-(Un)Satisfiability was proved
Best value of the cost
Optimality of the best cost was proved
Number of variables156
Total number of constraints286
Number of soft constraints208
Number of constraints which are clauses208
Number of constraints which are cardinality constraints (but not clauses)78
Number of constraints which are nor clauses,nor cardinality constraints0
Minimum length of a constraint2
Maximum length of a constraint3
Top cost 209
Min constraint cost 1
Max constraint cost 1
Sum of constraints costs 208
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-16T18:38:19+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","--wbo","--search=bcd2","HOME/instance-4093525-1466095099.wbo"]
0.00/0.01	c use --random-gen="3994218662 3263774966 1468630558 3267578280 1480511704 2696136622 1332422285 879152886 4148404340 754135254 749132608 2549296825 4010651633 2755974529 1911601778 3017611030 3214864208 3753343580 3703204178 2773485343 963130164 1399799168 1887795835 1163905568 1832011817 2984369599 742288591 23639381 2308440500 811799556 2499878793 3073286251 1548014779 2455540026 1846672599 2293251920 2389471808 2628004892 219721810 1022325651 1175417264 1301217527 1743241608 2432953473 1842523287 1202037226 2356521544 195548731 1311948353 1073949900 2870696371 1973006279 3218141965 317250987 743595157 1056241052 2164836217 226549083 2346656642 243183146 2457846130 1631048878 1753975312 2517600943 1294288396 776611769 3441485905 4215867812 2105880457 3263734616 2549478923 265024535 1616933955 1558980286 2610824493 2927739864 2408163255 351305899 3365927985 53344833 3246531399 3422280710 2957511383 2633858136 2695526000 2176311840 2962358957 3962591074 2742231847 962387748 4110760607 3381453718 2600336238 2810276119 1377875513 3679682562 3002278306 250271068 3272465773 2968931145 1184370520 339348972 3705799787 2846273575 3584375369 3866204784 2120864194 2499210605 2325360962 3194616745 2888070148 3971806074 1490949170 3191763105 3775501165 1148933703 3532406598 1568498705 60945648 3279288050 2763635178 351374974 181813521 1652207927 1837318976 1957990629 3753599823 1800368917 814240468 4107835493 2573135825 2101382959 3436530947 482916808 736355248 2339400542 41599688 2736824713 2777940326 2676497911 2697882458 1143359253 50008650 2415068634 2258958648 1774543851 3244482927 3688174295 4093768535 3713397672 1382371048 3420232684 355610028 1059817184 3509268082 2774430886 2638872493 2895717431 2228453738 3158562893 3592545069 2295288659 832712725 1675670235 1311118623 2279679956 3339541413 3053723058 1041627524 775508353 3986915680 6891941 3307935413 2227202637 1824162483 510112405 1196644551 4092959645 1637491616 2846347024 717206960 567472315 2860747894 953950526 3942474558 1139470612 2344116257 1808439110 1204861221 3492056148 3016235586 2983395490 2558205476 1467594362 961830917 1705039311 3505841181 1848357696 2078973343 2421717399 801278940 3926783632 1274017328 3008630701 1565042928 2292353888 507374623 2196163651 1311046598 515684806 633753574 710822637 238162566 1391877028 1075049464 1977920917 1220742396 2303685417 2897371505 4275799288 3764787500 443448937 1782259584 3854744060 5932410 1392602567 1683298545 1542514479 1435050057 3618040559 547250304 4170232332 1189249896 1703140489 1264777753 1710712702 3563670844 2873061311 4164550652 817309800 1730191399 2934393017 3872451644 3246481085 2373409448 987096856 103964343 3002552351 1984458829 1558925398 564600393 2291623573 3602271386 1414954550 2001694138 3023459029 255 362436" option to reproduce the execution
0.00/0.02	c #vars 156
0.00/0.02	c #constraints 286
0.00/0.02	c BCD2: Hardening is enabled.
0.00/0.02	c BCD2: BiasedSearch is enabled.
0.00/0.02	c Solving starts ...
0.00/0.02	c ============================[ Search Statistics ]============================
0.00/0.02	c  Time | Restart | Decision | Conflict |      LEARNT     | Fixed    | Removed 
0.00/0.02	c       |         |          |          |    Limit     GC | Var      | Constra 
0.00/0.02	c =============================================================================
0.00/0.02	c  0.0s |       0 |        0 |        0 |      242      0 |        0 |        0
0.00/0.04	c  0.0s |       1 |      408 |      100 |      242      0 |        0 |        0
0.00/0.04	c  0.0s |       1 |      671 |      101 |      267      0 |        0 |        0
0.00/0.04	c #cpu_time = 0.013s
0.00/0.04	c #wall_clock_time = 0.013s
0.00/0.04	c #decision = 671
0.00/0.04	c #random_decision = 2
0.00/0.04	c #conflict = 101
0.00/0.04	c #restart = 1
0.00/0.04	o 1
0.00/0.04	c BCD2: hardening fixes 208 literals
0.00/0.04	c BCD2: updating upper bound: 208 -> 0
0.00/0.04	c BCD2: 0 <= obj <= 0
0.00/0.04	c BCD2: #cores=0, #unrelaxed=0, #relaxed=0, #hardened=208
0.00/0.04	c BCD2: #sat=1 #unsat=1 bias=1/2
0.00/0.04	c Solving starts ...
0.00/0.04	c ============================[ Search Statistics ]============================
0.00/0.04	c  Time | Restart | Decision | Conflict |      LEARNT     | Fixed    | Removed 
0.00/0.04	c       |         |          |          |    Limit     GC | Var      | Constra 
0.00/0.04	c =============================================================================
0.00/0.04	c  0.0s |       0 |        0 |        0 |      267      0 |      208 |        0
0.00/0.05	c  0.0s |       1 |      222 |      100 |      267      0 |      210 |        6
0.00/0.06	c  0.0s |       1 |      384 |      172 |      294      0 |      234 |       30
0.00/0.06	c #cpu_time = 0.017s
0.00/0.06	c #wall_clock_time = 0.017s
0.00/0.06	c #decision = 384
0.00/0.06	c #random_decision = 0
0.00/0.06	c #conflict = 172
0.00/0.06	c #restart = 1
0.00/0.06	c lower bound updated to 1
0.00/0.06	s OPTIMUM FOUND
0.00/0.06	v x1 -x2 -x3 x4 x5 -x6 -x7 x8 -x9 x10
0.00/0.06	v x11 -x12 x13 -x14 x15 -x16 -x17 x18 x19 -x20
0.00/0.06	v x21 -x22 x23 -x24 -x25 x26 -x27 x28 -x29 x30
0.00/0.06	v x31 -x32 -x33 x34 -x35 x36 -x37 x38 -x39 x40
0.00/0.06	v -x41 x42 x43 -x44 -x45 x46 x47 -x48 -x49 x50
0.00/0.06	v -x51 x52 x53 -x54 -x55 x56 x57 -x58 -x59 x60
0.00/0.06	v x61 -x62 x63 -x64 x65 -x66 x67 -x68 -x69 x70
0.00/0.06	v x71 -x72 x73 -x74 x75 -x76 -x77 x78 -x79 x80
0.00/0.06	v -x81 x82 x83 -x84 -x85 x86 -x87 x88 -x89 x90
0.00/0.06	v x91 -x92 x93 -x94 -x95 x96 x97 -x98 -x99 x100
0.00/0.06	v -x101 x102 x103 -x104 x105 -x106 x107 -x108 x109 -x110
0.00/0.06	v -x111 x112 x113 -x114 -x115 x116 -x117 x118 x119 -x120
0.00/0.06	v x121 -x122 -x123 x124 -x125 x126 x127 -x128 -x129 x130
0.00/0.06	v -x131 x132 x133 -x134 x135 -x136 -x137 x138 -x139 x140
0.00/0.06	v -x141 x142 x143 -x144 x145 -x146 x147 -x148 x149 -x150
0.00/0.06	v x151 -x152 x153 -x154 x155 -x156
0.00/0.06	c total CPU time = 0.059s
0.00/0.06	c total wall clock time = 0.059s

Verifier Data 

OK	1

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-4093525-1466095099/watcher-4093525-1466095099 -o /tmp/evaluation-result-4093525-1466095099/solver-4093525-1466095099 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node119-1466093942-32600 --watchdog 1960 toysat +RTS -H1G -M15500m -K1G -RTS --wbo --search=bcd2 HOME/instance-4093525-1466095099.wbo 

pid=1963
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.14 2.24 2.65 4/179 1966
/proc/meminfo: memFree=29521716/32872528 swapFree=1243920/1391088
[pid=1966] ppid=1963 vsize=692668 CPUtime=0 cores=1,3,5,7
/proc/1966/stat : 1966 (toysat) R 1963 1966 13151 0 -1 4202496 2579 0 0 0 0 0 0 0 20 0 4 0 11558543 709292032 2428 33554432000 4194304 16246674 140734851752560 140734851751984 13880264 0 2 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/1966/statm: 173679 2439 441 2943 0 170573 0
[pid=1966/tid=1967] ppid=1963 vsize=736700 CPUtime=0 cores=1,3,5,7
/proc/1966/task/1967/stat : 1967 (toysat) S 1963 1966 13151 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 11558543 754380800 2602 33554432000 4194304 16246674 140734851752560 140305549470960 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 3 0 0 0 0 0
[pid=1966/tid=1968] ppid=1963 vsize=740796 CPUtime=0 cores=1,3,5,7
/proc/1966/task/1968/stat : 1968 (toysat) S 1963 1966 13151 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 11558543 758575104 2618 33554432000 4194304 16246674 140734851752560 140305538981104 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 5 0 0 0 0 0
[pid=1966/tid=1969] ppid=1963 vsize=744892 CPUtime=0 cores=1,3,5,7
/proc/1966/task/1969/stat : 1969 (toysat) S 1963 1966 13151 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 11558543 762769408 2636 33554432000 4194304 16246674 140734851752560 140305528507568 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 3 0 0 0 0 0

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

Child status: 0
Real time (s): 0.0667211
CPU time (s): 0.064989
CPU user time (s): 0.034994
CPU system time (s): 0.029995
CPU usage (%): 97.404
Max. virtual memory (cumulated for all children) (KiB): 0

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 0.034994
system time used= 0.029995
maximum resident set size= 63764
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 16114
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= 5

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 0.001999 second user time and 0.008998 second system time

The end

Launcher Data 

Begin job on node119 at 2016-06-16 18:38:19
IDJOB=4093525
IDBENCH=79371
IDSOLVER=2553
FILE ID=node119/4093525-1466095099
RUNJOBID= node119-1466093942-32600
PBS_JOBID= 19904019
Free space on /tmp= 71724 MiB

SOLVER NAME= toysat 2016-05-02
BENCH NAME= PB10/normalized-PB10/PARTIAL-SMALLINT-LIN/wcsp/dimacs/normalized-dubois26_ext.wbo
COMMAND LINE= toysat +RTS -H1G -MMEMLIMITm -K1G -RTS --wbo --search=bcd2 BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4093525-1466095099/watcher-4093525-1466095099 -o /tmp/evaluation-result-4093525-1466095099/solver-4093525-1466095099 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node119-1466093942-32600 --watchdog 1960  toysat +RTS -H1G -M15500m -K1G -RTS --wbo --search=bcd2 HOME/instance-4093525-1466095099.wbo

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

MD5SUM BENCH= e578c08d6801e291bb18ac58eed1eac5
RANDOM SEED=1156579486

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

processor	: 7
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.456
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:        29522468 kB
Buffers:           43672 kB
Cached:           123344 kB
SwapCached:         1048 kB
Active:          1171260 kB
Inactive:          82100 kB
Active(anon):    1087140 kB
Inactive(anon):     1560 kB
Active(file):      84120 kB
Inactive(file):    80540 kB
Unevictable:     1391088 kB
Mlocked:         1243920 kB
SwapTotal:      67108856 kB
SwapFree:       67100204 kB
Dirty:             16760 kB
Writeback:             8 kB
AnonPages:       2475968 kB
Mapped:            11260 kB
Shmem:                 0 kB
Slab:             570212 kB
SReclaimable:      13524 kB
SUnreclaim:       556688 kB
KernelStack:        1472 kB
PageTables:         8944 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83545120 kB
Committed_AS:    2619036 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      346412 kB
VmallocChunk:   34341988032 kB
HardwareCorrupted:     0 kB
AnonHugePages:   1226752 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= 71708 MiB
End job on node119 at 2016-06-16 18:38:19