Trace number 4078730

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.109982 0.115586

General information on the benchmark

Namenormalized-PB06/SATUNSAT-SMALLINT/web/
uclid_pb_benchmarks/normalized-blast-floppy1-6.ucl.opb
MD5SUM2eaba69c08c389fa8e7ea5af13e4aa74
Bench CategoryDEC-SMALLINT (no optimisation, small integers)
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.014997
Has Objective FunctionNO
SatisfiableNO
(Un)Satisfiability was provedYES
Best value of the objective function
Optimality of the best value was proved
Number of variables719
Total number of constraints593
Number of constraints which are clauses371
Number of constraints which are cardinality constraints (but not clauses)0
Number of constraints which are nor clauses,nor cardinality constraints222
Minimum length of a constraint1
Maximum length of a constraint19
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 773
Number of bits of the biggest number in a constraint 10
Biggest sum of numbers in a constraint 2306
Number of bits of the biggest sum of numbers12
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-06T16:04:54+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-4078730-1465221894.opb"]
0.00/0.01	c use --random-gen="1014129545 3416475965 4065695324 3604873696 3028475263 4047136274 940747294 2681006466 3280666534 4081457801 894628534 2871751290 1348541124 1169011105 2975917119 1304323673 3904810817 748493978 1782723680 2309096464 3221988719 427733570 1006895787 2912341363 352719100 2605493416 3946928201 3592200818 995683046 2996516955 2258452019 2584932520 521591245 1454280094 67538040 1260112736 527959830 604523522 3650894197 1026518489 1176356907 3166163998 465941292 2328738686 999020535 507582751 2989112003 3550537450 3013297867 1344290908 3463139156 301885303 1564474411 4167311529 317457388 88837819 51899852 3655557716 246166844 1809795156 1766789476 1681672920 1907393226 1189110899 3211928483 1316239668 2125231655 1921273468 1205826928 1420028925 2889402095 1531411104 1353947686 2828265798 3522734567 2539685491 1199427022 2824337412 1701539032 4026511308 2867144521 3943377582 1239778078 3209359393 1277391531 1912178333 775281598 3593561675 4179115417 72724013 2099005376 3371276247 171310720 2500309151 177438487 3551450805 970847038 2516438437 1400652874 2158204819 3982182893 21795300 1178416225 3279254926 3357487804 635477133 3290165379 1040375462 57830177 529197020 3291138078 1068569782 584137432 1746595223 2330795143 3353017000 4047296984 80935306 1911971757 2776799141 2672755081 2543571309 4171785280 2626393590 83310580 2017933202 3259256298 1434505438 564277274 2485746846 2653990337 865111425 3006056696 1793953276 1429644064 600392736 3639205006 4276082088 1792120441 2212672242 510975263 2219620816 4158710378 2593435478 4186979737 3848487958 955234023 2592058835 2585554625 1972732291 511829093 3918315380 2849665856 3382516295 4263170036 3350119260 3023750944 2472934860 663507859 976992602 2289415024 89432575 4095721456 1915608445 2748370516 3141423504 1882103672 2564554469 1458409632 2011570094 1093788131 2425382163 1509929254 876296631 3728139101 2394594374 1006270427 2762044816 2923779947 3334359012 1041532317 959291229 2012389404 395187492 3653778711 158540968 1574467707 2649921183 2100168977 3335767704 3649047354 2180110239 434437629 356743268 2388258834 2254395144 361127994 675641146 3139639176 1560530667 580679739 238058202 2145525784 2129845698 720178849 3819252079 136235278 3146601982 2131240166 3586355723 3995867922 3997956264 2239694426 3871857397 2075505323 1125322197 1199615120 2843372115 1025804690 136293981 1042331912 2498145738 1660590318 2185321892 3334244434 2218312245 3655191764 208625746 3773411485 3944649573 1615125593 3632726542 2572440362 1055681736 4191968007 1046521220 3942911401 3194737250 2670631547 2688383050 4254684783 1026423079 3645287294 2762621975 1701825444 1197546632 758452360 3745227682 2637574037 2287502185 29392758 1662735023 2287549291 3682352369 1320861302 2040534506 255 362436" option to reproduce the execution
0.00/0.02	c #vars 719
0.00/0.02	c #constraints 593
0.00/0.03	c Solving starts ...
0.00/0.03	c ============================[ Search Statistics ]============================
0.00/0.03	c  Time | Restart | Decision | Conflict |      LEARNT     | Fixed    | Removed 
0.00/0.03	c       |         |          |          |    Limit     GC | Var      | Constra 
0.00/0.03	c =============================================================================
0.00/0.03	c  0.0s |       0 |        0 |        0 |      408      0 |      221 |        0
0.00/0.06	c  0.0s |       1 |      109 |      100 |      408      0 |      224 |      360
0.09/0.10	c  0.1s |       2 |      260 |      250 |      449      0 |      232 |      360
0.09/0.11	c  0.1s |       2 |      271 |      262 |      494      0 |      277 |      360
0.09/0.11	c #cpu_time = 0.071s
0.09/0.11	c #wall_clock_time = 0.071s
0.09/0.11	c #decision = 271
0.09/0.11	c #random_decision = 0
0.09/0.11	c #conflict = 262
0.09/0.11	c #restart = 2
0.09/0.11	s UNSATISFIABLE
0.09/0.11	c total CPU time = 0.107s
0.09/0.11	c total wall clock time = 0.108s

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

pid=2740
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.13 2.12 2.07 3/179 2743
/proc/meminfo: memFree=30382636/32872528 swapFree=13600/559348
[pid=2743] ppid=2740 vsize=692668 CPUtime=0 cores=0,2,4,6
/proc/2743/stat : 2743 (toysat) R 2740 2743 1842 0 -1 4202496 2575 0 0 0 0 0 0 0 20 0 4 0 104124392 709292032 3447 33554432000 4194304 16246674 140733631901056 140733631900480 13880264 0 2 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/2743/statm: 173679 3455 441 2943 0 170573 0
[pid=2743/tid=2744] ppid=2740 vsize=710076 CPUtime=0 cores=0,2,4,6
/proc/2743/task/2744/stat : 2744 (toysat) S 2740 2743 1842 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 104124392 727117824 3515 33554432000 4194304 16246674 140733631901056 139937743613168 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=2743/tid=2745] ppid=2740 vsize=714172 CPUtime=0 cores=0,2,4,6
/proc/2743/task/2745/stat : 2745 (toysat) S 2740 2743 1842 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 104124392 731312128 3534 33554432000 4194304 16246674 140733631901056 139937733123312 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=2743/tid=2746] ppid=2740 vsize=719292 CPUtime=0 cores=0,2,4,6
/proc/2743/task/2746/stat : 2746 (toysat) S 2740 2743 1842 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 104124392 736555008 3554 33554432000 4194304 16246674 140733631901056 139937617800368 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0

[startup+0.100165 s]
/proc/loadavg: 2.13 2.12 2.07 3/179 2743
/proc/meminfo: memFree=30382636/32872528 swapFree=13600/559348
[pid=2743] ppid=2740 vsize=1218116 CPUtime=0.09 cores=0,2,4,6
/proc/2743/stat : 2743 (toysat) R 2740 2743 1842 0 -1 4202496 18165 0 0 0 7 2 0 0 20 0 4 0 104124392 1247350784 19026 33554432000 4194304 16246674 140733631901056 140733631900480 5661217 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/2743/statm: 304529 19030 734 2943 0 301423 0
[pid=2743/tid=2744] ppid=2740 vsize=1218116 CPUtime=0 cores=0,2,4,6
/proc/2743/task/2744/stat : 2744 (toysat) S 2740 2743 1842 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 104124392 1247350784 19032 33554432000 4194304 16246674 140733631901056 139937743613168 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=2743/tid=2745] ppid=2740 vsize=1218116 CPUtime=0 cores=0,2,4,6
/proc/2743/task/2745/stat : 2745 (toysat) S 2740 2743 1842 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 104124392 1247350784 19033 33554432000 4194304 16246674 140733631901056 139937733123312 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=2743/tid=2746] ppid=2740 vsize=1218116 CPUtime=0 cores=0,2,4,6
/proc/2743/task/2746/stat : 2746 (toysat) S 2740 2743 1842 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 104124392 1247350784 19035 33554432000 4194304 16246674 140733631901056 139937617800368 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) 1218116

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

[startup+0.100165 s]
/proc/loadavg: 2.13 2.12 2.07 3/179 2743
/proc/meminfo: memFree=30382636/32872528 swapFree=13600/559348
[pid=2743] ppid=2740 vsize=1218116 CPUtime=0.09 cores=0,2,4,6
/proc/2743/stat : 2743 (toysat) R 2740 2743 1842 0 -1 4202496 18165 0 0 0 7 2 0 0 20 0 4 0 104124392 1247350784 19026 33554432000 4194304 16246674 140733631901056 140733631900480 5661217 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/2743/statm: 304529 19030 734 2943 0 301423 0
[pid=2743/tid=2744] ppid=2740 vsize=1218116 CPUtime=0 cores=0,2,4,6
/proc/2743/task/2744/stat : 2744 (toysat) S 2740 2743 1842 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 104124392 1247350784 19032 33554432000 4194304 16246674 140733631901056 139937743613168 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=2743/tid=2745] ppid=2740 vsize=1218116 CPUtime=0 cores=0,2,4,6
/proc/2743/task/2745/stat : 2745 (toysat) S 2740 2743 1842 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 104124392 1247350784 19033 33554432000 4194304 16246674 140733631901056 139937733123312 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=2743/tid=2746] ppid=2740 vsize=1218116 CPUtime=0 cores=0,2,4,6
/proc/2743/task/2746/stat : 2746 (toysat) S 2740 2743 1842 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 104124392 1247350784 19035 33554432000 4194304 16246674 140733631901056 139937617800368 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) 1218116

Child status: 0
Real time (s): 0.115586
CPU time (s): 0.109982
CPU user time (s): 0.079987
CPU system time (s): 0.029995
CPU usage (%): 95.1516
Max. virtual memory (cumulated for all children) (KiB): 1218116

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 0.079987
system time used= 0.029995
maximum resident set size= 79632
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 19056
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= 18
involuntary context switches= 1

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

The end

Launcher Data 

Begin job on node106 at 2016-06-06 16:04:54
IDJOB=4078730
IDBENCH=1483
IDSOLVER=2542
FILE ID=node106/4078730-1465221894
RUNJOBID= node106-1465219870-1858
PBS_JOBID= 19843217
Free space on /tmp= 71720 MiB

SOLVER NAME= toysat 2016-05-02
BENCH NAME= PB06//final/normalized-PB06/SATUNSAT-SMALLINT/web/uclid_pb_benchmarks/normalized-blast-floppy1-6.ucl.opb
COMMAND LINE= toysat +RTS -H1G -MMEMLIMITm -K1G -RTS --pb --search=bcd2 BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4078730-1465221894/watcher-4078730-1465221894 -o /tmp/evaluation-result-4078730-1465221894/solver-4078730-1465221894 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node106-1465219870-1858 --watchdog 1960  toysat +RTS -H1G -M15500m -K1G -RTS --pb --search=bcd2 HOME/instance-4078730-1465221894.opb

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

MD5SUM BENCH= 2eaba69c08c389fa8e7ea5af13e4aa74
RANDOM SEED=512942209

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

processor	: 6
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.775
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.775
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:        30383008 kB
Buffers:            9696 kB
Cached:           124380 kB
SwapCached:         1832 kB
Active:          1176712 kB
Inactive:          53276 kB
Active(anon):    1097032 kB
Inactive(anon):     1244 kB
Active(file):      79680 kB
Inactive(file):    52032 kB
Unevictable:      559348 kB
Mlocked:           13600 kB
SwapTotal:      67108856 kB
SwapFree:       67098512 kB
Dirty:             38696 kB
Writeback:             0 kB
AnonPages:       1654588 kB
Mapped:            10708 kB
Shmem:                 0 kB
Slab:             567864 kB
SReclaimable:      11540 kB
SUnreclaim:       556324 kB
KernelStack:        1480 kB
PageTables:         7752 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83545120 kB
Committed_AS:    1796960 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      346412 kB
VmallocChunk:   34341988032 kB
HardwareCorrupted:     0 kB
AnonHugePages:    552960 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 node106 at 2016-06-06 16:04:55