Trace number 4098185

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.12398 0.127127

General information on the benchmark

Namenormalized-PB16/DEC-SMALLINT-LIN/quimper/SyncCodes/
d-equals-n_k/normalized-compression16_4.opb
MD5SUM100ea6286f6ba5aa6591389f0db80a1f
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.011997
Has Objective FunctionNO
Satisfiable
(Un)Satisfiability was proved
Best value of the objective function
Optimality of the best value was proved
Number of variables420
Total number of constraints1925
Number of constraints which are clauses1920
Number of constraints which are cardinality constraints (but not clauses)5
Number of constraints which are nor clauses,nor cardinality constraints0
Minimum length of a constraint1
Maximum length of a constraint20
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 4
Number of bits of the biggest number in a constraint 3
Biggest sum of numbers in a constraint 24
Number of bits of the biggest sum of numbers5
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-17T01:32: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","--pb","--search=bcd2","HOME/instance-4098185-1466119939.opb"]
0.00/0.01	c use --random-gen="74159828 3166124179 2963283107 764524226 3675118369 178102478 2375342165 1717655961 2168778822 3416575192 617213963 562553268 3963638884 1321435631 1546384765 457009927 3584632431 2476450071 2783467853 2228811432 2971876011 3392508961 3037366946 4016178687 1400852516 3762094052 1759302310 3464865348 262799871 1459216321 488759992 1133699881 2474966332 1254335866 4240070423 1659233502 497843499 641668860 1740359453 3297108349 1304169928 1875040587 1870981635 3669277609 1808205711 923951895 3279088671 1994599995 174907489 566998901 1217164011 621082834 2795915319 2549671524 170949152 1216296533 160397164 1949626828 3615075586 1725659888 1597603383 2298772593 2541966090 787140353 1221021492 3432451900 2708086826 3537200806 1599290315 4013748228 1315444272 3642021399 4080015659 3541018637 230625070 3769415125 793556426 3471639651 4055180133 1608116404 1672185639 431185668 3872424824 3390930417 2439447072 3491657756 1079461895 3515074353 1587402001 524881364 4007947299 693123332 3404385514 455942414 1639495925 1739274518 1448670326 1961700010 730727110 650693599 2129273577 3941585766 3386226171 3750507334 3759563375 801540777 2211447701 80696605 232857455 149385873 2891273860 2396232962 3115792251 3792271495 4179263363 3299661365 108607583 1866222012 4256124692 3214959021 2022821507 250555154 3407699782 1891370859 3619526796 3481838173 2277636970 2682892804 2723950803 3927974159 170927004 2851278743 3792715356 3443859987 94687308 2578556051 683024240 2588950893 3858193091 1852518933 2183573628 1719378870 387850381 2646503079 874936003 165489144 2649882833 4038546222 3473763687 1541531609 149141614 500423056 2819369658 397860805 3976850752 2533841989 1717995375 3180942334 1705136259 1944123827 162094906 2301148709 252957664 1128355567 2665159452 3908786944 1977371054 117287148 3931988433 2327986063 3673726580 3121500949 34276045 668920780 1042764207 2882693628 2602596545 1551771292 32827575 644484330 566534658 3908729715 296004851 2640823732 2957447847 2026920453 3302836638 3054390749 2807332752 2293021056 1580609985 278927556 417768307 2203516383 3777754786 3694276674 447660900 817380150 3462708037 305547725 8080079 4015767874 1083628785 2015840036 1820314807 1849524173 2791053000 1177453333 3794961202 1395389451 1782652434 2049490698 2502764344 191670201 2006883282 295365347 1462115270 1663722950 1484610649 3901855719 2190805866 2030680440 132839956 3235156885 1240453017 3639121489 1765373578 3731236973 3202963778 3264681522 3286014762 3465291493 2372756986 4048163207 1091088752 1132770576 2799600081 450322504 1066974542 3365700400 2144296239 3386260940 2760755822 999491173 2987987374 2467044560 2977724856 844707024 3317723022 3988222103 2920284809 326061848 1556272088 873184094 3506922368 3305248225 255 362436" option to reproduce the execution
0.00/0.03	c #vars 420
0.00/0.03	c #constraints 1925
0.00/0.07	c Solving starts ...
0.00/0.07	c ============================[ Search Statistics ]============================
0.00/0.07	c  Time | Restart | Decision | Conflict |      LEARNT     | Fixed    | Removed 
0.00/0.07	c       |         |          |          |    Limit     GC | Var      | Constra 
0.00/0.07	c =============================================================================
0.00/0.07	c  0.0s |       0 |        0 |        0 |      780      0 |        5 |        0
0.09/0.11	c  0.0s |       0 |      133 |       83 |      780      0 |      408 |      497
0.09/0.11	c #cpu_time = 0.036s
0.09/0.11	c #wall_clock_time = 0.036s
0.09/0.11	c #decision = 133
0.09/0.11	c #random_decision = 0
0.09/0.11	c #conflict = 83
0.09/0.11	c #restart = 0
0.09/0.11	s UNSATISFIABLE
0.09/0.11	c total CPU time = 0.112s
0.09/0.11	c total wall clock time = 0.113s

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

pid=23851
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: 1.10 1.51 1.92 4/174 23854
/proc/meminfo: memFree=30288756/32872528 swapFree=1481856/1661728
[pid=23854] ppid=23851 vsize=678332 CPUtime=0 cores=0,2,4,6
/proc/23854/stat : 23854 (toysat) R 23851 23854 20832 0 -1 4202496 2522 0 0 0 0 0 0 0 20 0 4 0 14040354 694611968 3393 33554432000 4194304 16246674 140737478849232 140737478848656 13880264 0 2 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/23854/statm: 170351 3402 441 2943 0 167245 0
[pid=23854/tid=23855] ppid=23851 vsize=696764 CPUtime=0 cores=0,2,4,6
/proc/23854/task/23855/stat : 23855 (toysat) S 23851 23854 20832 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 14040354 713486336 3464 33554432000 4194304 16246674 140737478849232 140448874081520 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 2 0 0 0 0 0
[pid=23854/tid=23856] ppid=23851 vsize=700860 CPUtime=0 cores=0,2,4,6
/proc/23854/task/23856/stat : 23856 (toysat) S 23851 23854 20832 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 14040354 717680640 3480 33554432000 4194304 16246674 140737478849232 140448786001136 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 4 0 0 0 0 0
[pid=23854/tid=23857] ppid=23851 vsize=704956 CPUtime=0 cores=0,2,4,6
/proc/23854/task/23857/stat : 23857 (toysat) S 23851 23854 20832 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 14040354 721874944 3497 33554432000 4194304 16246674 140737478849232 140448775527600 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 2 0 0 0 0 0

[startup+0.100117 s]
/proc/loadavg: 1.10 1.51 1.92 4/174 23854
/proc/meminfo: memFree=30288756/32872528 swapFree=1481856/1661728
[pid=23854] ppid=23851 vsize=1218116 CPUtime=0.09 cores=0,2,4,6
/proc/23854/stat : 23854 (toysat) R 23851 23854 20832 0 -1 4202496 27357 0 0 0 5 4 0 0 20 0 4 0 14040354 1247350784 28217 33554432000 4194304 16246674 140737478849232 140737478848656 5546098 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/23854/statm: 304529 28221 719 2943 0 301423 0
[pid=23854/tid=23855] ppid=23851 vsize=1218116 CPUtime=0 cores=0,2,4,6
/proc/23854/task/23855/stat : 23855 (toysat) S 23851 23854 20832 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 14040354 1247350784 28226 33554432000 4194304 16246674 140737478849232 140448874081520 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 2 0 0 0 0 0
[pid=23854/tid=23856] ppid=23851 vsize=1218116 CPUtime=0 cores=0,2,4,6
/proc/23854/task/23856/stat : 23856 (toysat) S 23851 23854 20832 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 14040354 1247350784 28233 33554432000 4194304 16246674 140737478849232 140448786001136 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 4 0 0 0 0 0
[pid=23854/tid=23857] ppid=23851 vsize=1218116 CPUtime=0 cores=0,2,4,6
/proc/23854/task/23857/stat : 23857 (toysat) S 23851 23854 20832 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 14040354 1247350784 28242 33554432000 4194304 16246674 140737478849232 140448775527600 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 2 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 23854 sig 9
??? end of watcher thread
Dumping a history of the last processes samples

[startup+0.100117 s]
/proc/loadavg: 1.10 1.51 1.92 4/174 23854
/proc/meminfo: memFree=30288756/32872528 swapFree=1481856/1661728
[pid=23854] ppid=23851 vsize=1218116 CPUtime=0.09 cores=0,2,4,6
/proc/23854/stat : 23854 (toysat) R 23851 23854 20832 0 -1 4202496 27357 0 0 0 5 4 0 0 20 0 4 0 14040354 1247350784 28217 33554432000 4194304 16246674 140737478849232 140737478848656 5546098 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/23854/statm: 304529 28221 719 2943 0 301423 0
[pid=23854/tid=23855] ppid=23851 vsize=1218116 CPUtime=0 cores=0,2,4,6
/proc/23854/task/23855/stat : 23855 (toysat) S 23851 23854 20832 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 14040354 1247350784 28226 33554432000 4194304 16246674 140737478849232 140448874081520 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 2 0 0 0 0 0
[pid=23854/tid=23856] ppid=23851 vsize=1218116 CPUtime=0 cores=0,2,4,6
/proc/23854/task/23856/stat : 23856 (toysat) S 23851 23854 20832 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 14040354 1247350784 28233 33554432000 4194304 16246674 140737478849232 140448786001136 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 4 0 0 0 0 0
[pid=23854/tid=23857] ppid=23851 vsize=1218116 CPUtime=0 cores=0,2,4,6
/proc/23854/task/23857/stat : 23857 (toysat) S 23851 23854 20832 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 14040354 1247350784 28242 33554432000 4194304 16246674 140737478849232 140448775527600 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 2 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.127127
CPU time (s): 0.12398
CPU user time (s): 0.06199
CPU system time (s): 0.06199
CPU usage (%): 97.5245
Max. virtual memory (cumulated for all children) (KiB): 1218116

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 0.06199
system time used= 0.06199
maximum resident set size= 126452
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 30762
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= 19
involuntary context switches= 10

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

The end

Launcher Data 

Begin job on node134 at 2016-06-17 01:32:19
IDJOB=4098185
IDBENCH=107864
IDSOLVER=2542
FILE ID=node134/4098185-1466119939
RUNJOBID= node134-1466119939-23835
PBS_JOBID= 19904059
Free space on /tmp= 71720 MiB

SOLVER NAME= toysat 2016-05-02
BENCH NAME= PB16/normalized-PB16/DEC-SMALLINT-LIN/quimper/SyncCodes/d-equals-n_k/normalized-compression16_4.opb
COMMAND LINE= toysat +RTS -H1G -MMEMLIMITm -K1G -RTS --pb --search=bcd2 BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4098185-1466119939/watcher-4098185-1466119939 -o /tmp/evaluation-result-4098185-1466119939/solver-4098185-1466119939 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node134-1466119939-23835 --watchdog 1960  toysat +RTS -H1G -M15500m -K1G -RTS --pb --search=bcd2 HOME/instance-4098185-1466119939.opb

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

MD5SUM BENCH= 100ea6286f6ba5aa6591389f0db80a1f
RANDOM SEED=714633613

node134.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.020
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.04
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.020
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	: 7358.89
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.020
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		: 2667.020
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.020
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.020
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		: 2667.020
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.020
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:        30290624 kB
Buffers:           56920 kB
Cached:           145604 kB
SwapCached:         8900 kB
Active:           114796 kB
Inactive:         100832 kB
Active(anon):       7712 kB
Inactive(anon):     8200 kB
Active(file):     107084 kB
Inactive(file):    92632 kB
Unevictable:     1661728 kB
Mlocked:         1481856 kB
SwapTotal:      67108856 kB
SwapFree:       67092052 kB
Dirty:             19028 kB
Writeback:             0 kB
AnonPages:       1699900 kB
Mapped:             6940 kB
Shmem:                 0 kB
Slab:             570012 kB
SReclaimable:      14292 kB
SUnreclaim:       555720 kB
KernelStack:        1432 kB
PageTables:         7244 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83545120 kB
Committed_AS:    1762536 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      346412 kB
VmallocChunk:   34341987908 kB
HardwareCorrupted:     0 kB
AnonHugePages:    215040 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= 71684 MiB
End job on node134 at 2016-06-17 01:32:20