Trace number 4096589

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.116982 0.116697

General information on the benchmark

Namenormalized-PB16/DEC-SMALLINT-LIN/quimper/
SyncCodes/d_n_k/normalized-6_6_9.opb
MD5SUM8c67312fe9b2b5962a17139e5d8c48ff
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.008998
Has Objective FunctionNO
Satisfiable
(Un)Satisfiability was proved
Best value of the objective function
Optimality of the best value was proved
Number of variables240
Total number of constraints1070
Number of constraints which are clauses1065
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 constraint15
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 9
Number of bits of the biggest number in a constraint 4
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-17T00:05:40+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-4096589-1466114739.opb"]
0.00/0.01	c use --random-gen="2561734513 3636699936 3828955760 3832777973 774525344 3644093733 896742683 3840232799 3509128232 2611051906 3536910399 1452714963 761992727 3074556752 3789987848 1883369177 1254817552 4230384100 3569844788 3946040112 2526787458 1582650821 3703832012 652836256 1157483554 3697569970 3090873222 3691900316 1748961840 623824205 996517874 3419952710 194652749 2150740482 1735484122 2491783878 4122484570 2455173650 1638464786 3878514941 2189439346 69991452 1555482377 1904799125 3791699780 743057852 934300930 1693734766 354412168 2457062091 2607857444 410460868 3385278618 1258568117 478962915 3772911444 1677191726 3628596774 3248728371 2654233315 838393744 2145678648 126519803 2447803846 3507097606 2985760557 1927286453 3803122881 3812281301 3797866147 3220955398 410611739 3682084612 2678340706 2067423936 3237625074 318083132 2623694576 1769821616 2930231881 3226112873 2433046840 3645300025 528725124 3900314423 1821974407 3572008548 2871699382 1129482253 3431305378 1063489858 1404811605 3685400710 835898045 766365195 645738942 3005601645 2488841760 2888291526 1023143435 1952903891 2942955107 236121696 2281136944 208006305 3168200908 448006273 575104899 2285697199 2845471305 125192835 2947523267 1917597712 744450083 780004644 3870484608 2763257354 3402872232 2904010181 3220849935 922011398 1807105885 3399991177 1653674717 172529415 3217241503 4222049778 2231018550 2130103386 1555790219 4071386826 2809342233 3627674702 2119232965 1139555155 2449761286 992730144 3215873548 3072181104 691049216 3816000607 3453865088 2975504684 3177042521 3592262141 598054120 2545310260 3131963699 3009080301 2169367612 886355117 3742302508 1440227153 79211378 1664727087 2430937774 2100701022 1829415978 173405656 3230264957 3475394978 727098576 3326406328 3050372383 2793868700 1300241410 226810610 3701386024 1289748782 3106272859 3153899469 3747251104 3737399487 2794332312 663746019 1975295557 2235826769 1607392028 1204236130 2606558178 513085184 2016515271 2611633433 1193380498 2187945181 2415917756 1221858290 2449789881 2999782194 3841071016 621549930 1226445354 2791534354 2696446464 635397977 712989977 1954214129 2450847792 1226530021 453431803 4261788173 3077205427 2431046799 479026499 980544126 1646120366 2017482657 3894067961 1273594740 2266510069 959733726 1073125579 3271818659 321695096 2522362910 3781521927 3203415200 2357138470 2827463076 2500419417 2243511787 271512840 3777013920 550275706 2712765623 239915280 2395467966 3552403632 4178646559 3257760703 261416810 2254620080 737256159 2654556464 2807174281 3772926187 1808717167 2415701578 1583484034 3709164236 3367629305 1232398417 3633647901 937416515 4024574317 2015790589 2910722308 3230771424 3494109952 2418916560 4172058307 3895714439 4026890664 1011430929 4075918661 3814558903 255 362436" option to reproduce the execution
0.00/0.02	c #vars 240
0.00/0.02	c #constraints 1070
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 |      435      0 |        5 |        0
0.00/0.05	c  0.0s |       1 |      109 |      100 |      435      0 |        5 |      118
0.00/0.08	c  0.0s |       2 |      279 |      250 |      479      0 |       35 |      223
0.09/0.10	c  0.1s |       2 |      433 |      391 |      527      0 |      166 |      628
0.09/0.10	c #cpu_time = 0.070s
0.09/0.10	c #wall_clock_time = 0.070s
0.09/0.10	c #decision = 433
0.09/0.10	c #random_decision = 1
0.09/0.10	c #conflict = 391
0.09/0.10	c #restart = 2
0.09/0.10	s UNSATISFIABLE
0.09/0.10	c total CPU time = 0.108s
0.09/0.10	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-4096589-1466114739/watcher-4096589-1466114739 -o /tmp/evaluation-result-4096589-1466114739/solver-4096589-1466114739 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node151-1466112624-31872 --watchdog 1960 toysat +RTS -H1G -M15500m -K1G -RTS --pb --search=bcd2 HOME/instance-4096589-1466114739.opb 

pid=648
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: 1.95 2.00 1.99 3/179 651
/proc/meminfo: memFree=30741048/32872528 swapFree=7268/7268
[pid=651] ppid=648 vsize=461244 CPUtime=0 cores=1,3,5,7
/proc/651/stat : 651 (toysat) R 648 651 29295 0 -1 4202496 1675 0 0 0 0 0 0 0 20 0 4 0 13518771 472313856 1524 33554432000 4194304 16246674 140734656802224 140734656801648 13880264 0 2 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/651/statm: 115823 1532 441 2943 0 112717 0
[pid=651/tid=652] ppid=648 vsize=801212 CPUtime=0 cores=1,3,5,7
/proc/651/task/652/stat : 652 (toysat) S 648 651 29295 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 13518771 820441088 2851 33554432000 4194304 16246674 140734656802224 140445842648304 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=651/tid=653] ppid=648 vsize=805308 CPUtime=0 cores=1,3,5,7
/proc/651/task/653/stat : 653 (toysat) S 648 651 29295 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 13518771 824635392 2870 33554432000 4194304 16246674 140734656802224 140445832158448 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=651/tid=654] ppid=648 vsize=810428 CPUtime=0 cores=1,3,5,7
/proc/651/task/654/stat : 654 (toysat) S 648 651 29295 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 13518771 829878272 2888 33554432000 4194304 16246674 140734656802224 140445821684912 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0

[startup+0.100177 s]
/proc/loadavg: 1.95 2.00 1.99 3/179 651
/proc/meminfo: memFree=30741048/32872528 swapFree=7268/7268
[pid=651] ppid=648 vsize=1218116 CPUtime=0.09 cores=1,3,5,7
/proc/651/stat : 651 (toysat) R 648 651 29295 0 -1 4202496 24908 0 0 0 6 3 0 0 20 0 4 0 13518771 1247350784 24746 33554432000 4194304 16246674 140734656802224 140734656801648 5675357 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/651/statm: 304529 24756 720 2943 0 301423 0
[pid=651/tid=652] ppid=648 vsize=1218116 CPUtime=0 cores=1,3,5,7
/proc/651/task/652/stat : 652 (toysat) S 648 651 29295 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 13518771 1247350784 24762 33554432000 4194304 16246674 140734656802224 140445842648304 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=651/tid=653] ppid=648 vsize=1218116 CPUtime=0 cores=1,3,5,7
/proc/651/task/653/stat : 653 (toysat) S 648 651 29295 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 13518771 1247350784 24768 33554432000 4194304 16246674 140734656802224 140445832158448 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=651/tid=654] ppid=648 vsize=1218116 CPUtime=0 cores=1,3,5,7
/proc/651/task/654/stat : 654 (toysat) S 648 651 29295 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 13518771 1247350784 24776 33554432000 4194304 16246674 140734656802224 140445821684912 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 1218116

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

[startup+0.100177 s]
/proc/loadavg: 1.95 2.00 1.99 3/179 651
/proc/meminfo: memFree=30741048/32872528 swapFree=7268/7268
[pid=651] ppid=648 vsize=1218116 CPUtime=0.09 cores=1,3,5,7
/proc/651/stat : 651 (toysat) R 648 651 29295 0 -1 4202496 24908 0 0 0 6 3 0 0 20 0 4 0 13518771 1247350784 24746 33554432000 4194304 16246674 140734656802224 140734656801648 5675357 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/651/statm: 304529 24756 720 2943 0 301423 0
[pid=651/tid=652] ppid=648 vsize=1218116 CPUtime=0 cores=1,3,5,7
/proc/651/task/652/stat : 652 (toysat) S 648 651 29295 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 13518771 1247350784 24762 33554432000 4194304 16246674 140734656802224 140445842648304 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=651/tid=653] ppid=648 vsize=1218116 CPUtime=0 cores=1,3,5,7
/proc/651/task/653/stat : 653 (toysat) S 648 651 29295 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 13518771 1247350784 24768 33554432000 4194304 16246674 140734656802224 140445832158448 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=651/tid=654] ppid=648 vsize=1218116 CPUtime=0 cores=1,3,5,7
/proc/651/task/654/stat : 654 (toysat) S 648 651 29295 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 13518771 1247350784 24776 33554432000 4194304 16246674 140734656802224 140445821684912 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 1218116

Child status: 0
Real time (s): 0.116697
CPU time (s): 0.116982
CPU user time (s): 0.071989
CPU system time (s): 0.044993
CPU usage (%): 100.244
Max. virtual memory (cumulated for all children) (KiB): 1218116

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 0.071989
system time used= 0.044993
maximum resident set size= 107172
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 26963
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= 4

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

The end

Launcher Data 

Begin job on node151 at 2016-06-17 00:05:39
IDJOB=4096589
IDBENCH=107636
IDSOLVER=2542
FILE ID=node151/4096589-1466114739
RUNJOBID= node151-1466112624-31872
PBS_JOBID= 19904038
Free space on /tmp= 71732 MiB

SOLVER NAME= toysat 2016-05-02
BENCH NAME= PB16/normalized-PB16/DEC-SMALLINT-LIN/quimper/SyncCodes/d_n_k/normalized-6_6_9.opb
COMMAND LINE= toysat +RTS -H1G -MMEMLIMITm -K1G -RTS --pb --search=bcd2 BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4096589-1466114739/watcher-4096589-1466114739 -o /tmp/evaluation-result-4096589-1466114739/solver-4096589-1466114739 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node151-1466112624-31872 --watchdog 1960  toysat +RTS -H1G -M15500m -K1G -RTS --pb --search=bcd2 HOME/instance-4096589-1466114739.opb

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

MD5SUM BENCH= 8c67312fe9b2b5962a17139e5d8c48ff
RANDOM SEED=1052154669

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

processor	: 6
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2667.103
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		: 2667.103
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:        30741056 kB
Buffers:           63364 kB
Cached:           162816 kB
SwapCached:        61592 kB
Active:          1247960 kB
Inactive:         171096 kB
Active(anon):    1134108 kB
Inactive(anon):    61036 kB
Active(file):     113852 kB
Inactive(file):   110060 kB
Unevictable:        7268 kB
Mlocked:            7268 kB
SwapTotal:      67108856 kB
SwapFree:       67038988 kB
Dirty:             16572 kB
Writeback:             0 kB
AnonPages:       1141704 kB
Mapped:            10764 kB
Shmem:                 0 kB
Slab:             571896 kB
SReclaimable:      15368 kB
SUnreclaim:       556528 kB
KernelStack:        1504 kB
PageTables:         6368 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83545120 kB
Committed_AS:    1284440 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      346412 kB
VmallocChunk:   34341988032 kB
HardwareCorrupted:     0 kB
AnonHugePages:    403456 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= 71716 MiB
End job on node151 at 2016-06-17 00:05:40