Trace number 4088959

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.103983 0.104948

General information on the benchmark

Namenormalized-PB16/DEC-SMALLINT-LIN/pb16-16-elffers/
vertexcover-instances/normalized-vertexcover-grid4x9-hard.opb
MD5SUMc3bd8718bd573078a9cc58832ef90f1c
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.001998
Has Objective FunctionNO
Satisfiable
(Un)Satisfiability was proved
Best value of the objective function
Optimality of the best value was proved
Number of variables36
Total number of constraints73
Number of constraints which are clauses72
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 constraint2
Maximum length of a constraint36
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 19
Number of bits of the biggest number in a constraint 5
Biggest sum of numbers in a constraint 55
Number of bits of the biggest sum of numbers6
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-15T21:38:57+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-4088959-1466019537.opb"]
0.00/0.01	c use --random-gen="631496815 2058190254 1114165069 668644175 1243259791 2780302068 569331999 1828536896 3627604169 3125469991 178412125 2714199170 286319209 2885891353 955970183 1607080453 1173342315 4094704680 3016318604 1330207983 3575617807 1067778818 744768078 2348005489 3532669405 2087670458 1924911039 391755821 4122315801 109773090 248623058 256585306 3141547219 3900442881 408905648 3910474856 3136772910 2296422040 2275907986 501301366 1097983481 3967660074 1105212067 3707893220 2452226339 1392360901 789996316 3620600366 1064634013 950068702 684743620 4034036016 2231594917 3927008044 2976721369 1507681207 2017290596 2184416957 1231016179 3461783132 1909222059 947525195 455706779 609247013 2619361177 2082785913 1730093896 2284210835 2116640873 2327013043 2177358174 3876977001 3860354624 1649990400 994546259 3881802787 3311100070 1952706470 402740330 2999087313 1543540868 872164296 4043710323 944125621 1017667781 3088322198 442474842 3020314807 1598633005 1588336528 1677595185 4157094572 749932947 3942851646 1292122345 2182677843 2888227398 1917218751 557021764 4277244734 812612532 460874167 230020889 1441692813 1292144210 1186902852 2926041750 2256944233 2481335846 2086749618 4133740115 3285850883 3452795398 1722573859 777851183 4242388928 3764906316 867139245 1434926523 1154419755 2001688785 1275246441 2326784730 1058048164 1257953608 3901779269 3840472718 2948398842 117113428 403731219 3520453865 3407579760 2793902471 3461527915 552724822 3508658877 3260985054 4100808054 4116689995 1591107426 1641414929 2498317453 762158653 3467154519 2038659252 2925597225 3928266955 1580757088 2656474219 2743022206 1517636145 1070607711 4036106823 557797238 2606599782 446765982 1383933181 766184535 2848287344 1148591078 3756608618 3148139876 2690926437 3045031290 198720450 2779647044 2452294625 2541746826 2476930731 2955672648 1312777396 617506520 4193756073 1070848635 2575669235 1208884530 1582783563 38765437 3665422914 3453762763 2606160101 1100831413 1110730788 4267949186 6575607 4162180952 2366162480 4029476110 851391097 3237781407 3474765426 2198947150 3196291308 1677916428 2587321541 3430100803 4082325031 2538164988 692981008 1614268691 3064465003 1057233156 735480175 2402616721 2282156648 3543474401 1141889068 2518884050 1519534618 3265990309 2559184783 3134449733 4200387255 2217991526 1717762255 1234905036 2786288529 1265513378 561037271 1832280361 2720564341 513106307 3736571166 2197200031 286694095 2208280301 851055363 39921904 1180653343 2081428100 914660897 3385929170 4032186654 4020497536 2085376356 1101251503 3681190344 2317928350 2832007610 1623281289 3232247279 4057928881 3319640967 2676200635 2982817748 2718226146 3309234869 2970773988 4277666333 9877308 1877526708 2276436627 228826157 3842351014 3318001363 4135498623 255 362436" option to reproduce the execution
0.00/0.01	c #vars 36
0.00/0.01	c #constraints 73
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 |       36      0 |        0 |        0
0.00/0.02	c  0.0s |       1 |      139 |      100 |       36      2 |        0 |        0
0.00/0.02	c  0.0s |       2 |      328 |      250 |       40      8 |        0 |        0
0.00/0.04	c  0.0s |       3 |      581 |      475 |       44     16 |        0 |        0
0.00/0.05	c  0.0s |       4 |      937 |      813 |       49     27 |        0 |        0
0.00/0.08	c  0.1s |       5 |     1495 |     1320 |       54     40 |        5 |       16
0.00/0.09	c  0.1s |       5 |     1855 |     1651 |       60     46 |       36 |       49
0.00/0.09	c #cpu_time = 0.082s
0.00/0.09	c #wall_clock_time = 0.082s
0.00/0.09	c #decision = 1855
0.00/0.09	c #random_decision = 4
0.00/0.09	c #conflict = 1651
0.00/0.09	c #restart = 5
0.00/0.09	s UNSATISFIABLE
0.00/0.09	c total CPU time = 0.095s
0.00/0.09	c total wall clock time = 0.095s

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

pid=6666
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.34 2.26 2.23 4/179 6669
/proc/meminfo: memFree=29473936/32872528 swapFree=1369816/1516984
[pid=6669] ppid=6666 vsize=729532 CPUtime=0 cores=0,2,4,6
/proc/6669/stat : 6669 (toysat) R 6666 6669 5822 0 -1 4202496 2719 0 0 0 0 0 0 0 20 0 4 0 4000181 747040768 3081 33554432000 4194304 16246674 140733517963808 140733517963232 15002730 0 2 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/6669/statm: 182895 3091 441 2943 0 179789 0
[pid=6669/tid=6670] ppid=6666 vsize=747964 CPUtime=0 cores=0,2,4,6
/proc/6669/task/6670/stat : 6670 (toysat) S 6666 6669 5822 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 4000181 765915136 3154 33554432000 4194304 16246674 140733517963808 140308673178864 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 2 0 0 0 0 0
[pid=6669/tid=6671] ppid=6666 vsize=753084 CPUtime=0 cores=0,2,4,6
/proc/6669/task/6671/stat : 6671 (toysat) S 6666 6669 5822 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 4000181 771158016 3173 33554432000 4194304 16246674 140733517963808 140308662689008 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 4 0 0 0 0 0
[pid=6669/tid=6672] ppid=6666 vsize=757180 CPUtime=0 cores=0,2,4,6
/proc/6669/task/6672/stat : 6672 (toysat) S 6666 6669 5822 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 4000181 775352320 3189 33554432000 4194304 16246674 140733517963808 140308652215472 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 2 0 0 0 0 0

[startup+0.100117 s]
/proc/loadavg: 2.34 2.26 2.23 4/179 6669
/proc/meminfo: memFree=29473936/32872528 swapFree=1369816/1516984
[pid=6669] ppid=6666 vsize=0 CPUtime=0.09 cores=0,2,4,6
/proc/6669/stat : 6669 (toysat) R 6666 6669 5822 0 -1 4202500 24845 0 0 0 5 4 0 0 20 0 1 0 4000181 0 0 33554432000 0 0 0 0 0 0 0 33554432 0 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/6669/statm: 0 0 0 0 0 0 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 0

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

[startup+0.100117 s]
/proc/loadavg: 2.34 2.26 2.23 4/179 6669
/proc/meminfo: memFree=29473936/32872528 swapFree=1369816/1516984
[pid=6669] ppid=6666 vsize=0 CPUtime=0.09 cores=0,2,4,6
/proc/6669/stat : 6669 (toysat) R 6666 6669 5822 0 -1 4202500 24845 0 0 0 5 4 0 0 20 0 1 0 4000181 0 0 33554432000 0 0 0 0 0 0 0 33554432 0 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/6669/statm: 0 0 0 0 0 0 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 0

Child status: 0
Real time (s): 0.104948
CPU time (s): 0.103983
CPU user time (s): 0.052991
CPU system time (s): 0.050992
CPU usage (%): 99.0804
Max. virtual memory (cumulated for all children) (KiB): 0

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 0.052991
system time used= 0.050992
maximum resident set size= 100744
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 24845
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= 22
involuntary context switches= 4

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 0.002999 second user time and 0.007998 second system time

The end

Launcher Data 

Begin job on node129 at 2016-06-15 21:38:57
IDJOB=4088959
IDBENCH=107338
IDSOLVER=2542
FILE ID=node129/4088959-1466019537
RUNJOBID= node129-1466013843-5838
PBS_JOBID= 19902811
Free space on /tmp= 71720 MiB

SOLVER NAME= toysat 2016-05-02
BENCH NAME= PB16/normalized-PB16/DEC-SMALLINT-LIN/pb16-16-elffers/vertexcover-instances/normalized-vertexcover-grid4x9-hard.opb
COMMAND LINE= toysat +RTS -H1G -MMEMLIMITm -K1G -RTS --pb --search=bcd2 BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4088959-1466019537/watcher-4088959-1466019537 -o /tmp/evaluation-result-4088959-1466019537/solver-4088959-1466019537 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node129-1466013843-5838 --watchdog 1960  toysat +RTS -H1G -M15500m -K1G -RTS --pb --search=bcd2 HOME/instance-4088959-1466019537.opb

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

MD5SUM BENCH= c3bd8718bd573078a9cc58832ef90f1c
RANDOM SEED=1330990023

node129.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.143
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.28
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.143
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.143
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.143
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.143
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		: 2666.143
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.54
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.143
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.143
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.54
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:


/proc/meminfo:
MemTotal:       32872528 kB
MemFree:        29473572 kB
Buffers:           11156 kB
Cached:            73480 kB
SwapCached:        20176 kB
Active:          1133836 kB
Inactive:          46056 kB
Active(anon):    1077428 kB
Inactive(anon):    20104 kB
Active(file):      56408 kB
Inactive(file):    25952 kB
Unevictable:     1516984 kB
Mlocked:         1369816 kB
SwapTotal:      67108856 kB
SwapFree:       67081528 kB
Dirty:             16328 kB
Writeback:             0 kB
AnonPages:       2593436 kB
Mapped:            10260 kB
Shmem:                 0 kB
Slab:             566524 kB
SReclaimable:      10512 kB
SUnreclaim:       556012 kB
KernelStack:        1456 kB
PageTables:         9132 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83545120 kB
Committed_AS:    2737168 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      346412 kB
VmallocChunk:   34341988032 kB
HardwareCorrupted:     0 kB
AnonHugePages:    149504 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= 71704 MiB
End job on node129 at 2016-06-15 21:38:57