Trace number 4096337

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.111982 0.113542

General information on the benchmark

Namenormalized-PB16/DEC-SMALLINT-LIN/quimper/
SyncCodes/d_n_k/normalized-7_7_8.opb
MD5SUMa87c83c142f04ff68900e25a78403657
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 8
Number of bits of the biggest number in a constraint 4
Biggest sum of numbers in a constraint 23
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:00:26+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-4096337-1466114426.opb"]
0.00/0.01	c use --random-gen="948822808 1859945191 1344983273 3014620712 3260116006 1901353011 2685985236 2459158136 839320490 3689211756 913712294 1610672724 4116220210 3428415680 3913858599 2612239088 3182342964 1013865167 372241203 3547199435 536891668 4112492608 779063530 671328972 2844430797 1093497471 163925464 3742605337 2936190562 2495139271 3497965753 3664684091 1343723433 249979366 1118383945 1700710514 1471425608 4156814126 3519059421 3892272612 2430132538 1100314511 3225071203 4236479265 3844726065 2106289945 3320172688 1852654434 152090635 1430035706 3599798143 1841526715 3676534321 3575680605 2543048869 2033039910 1853729966 3978941934 3869132096 799603179 3019028535 173977079 1948083501 1465148280 1643301621 682489764 2682077819 3796127277 4264223963 1441752085 188937766 1646443561 1601135016 4197737488 545472652 3882737488 2743881507 3184351402 209188650 1001386010 1106240803 3246101845 628391222 1995206226 1147238201 2359090455 3035367325 3426365452 1438398350 2288625444 473338124 2049429011 3337596649 2792139041 489874560 2388426936 1924616338 1220854597 1326616117 2402506505 3955940860 4118919134 999496621 330521315 689913328 488199028 242092698 1189377807 293488081 1470213793 899668340 3734772394 3026380405 1846370389 3207718493 3862793018 2328702501 1551711649 1791049858 29610219 869239316 3548422369 2564338782 3359775993 984944734 2089847391 3458693296 3133043136 4221830662 1401865321 2291220115 1770740481 774258320 997784632 2931913456 3188225868 1079292580 3264005217 377510522 2772195266 589913445 3315204832 2020104923 1258932874 1003034891 3433388046 804617464 4254815080 400741403 1822441898 2917674800 563101496 1277107366 1168697190 2267074139 2892601190 2022178344 2553094742 3140864496 3504124885 2791674324 2634089912 1705901287 2350789235 838376846 2244799155 469625200 1971052352 504655437 3345844736 2269618213 1372731022 3365241515 3745225054 534157940 108010350 4260907055 1614298125 3292250491 132356634 2377167658 544974294 568412581 2811015008 1684762344 4038142000 451820215 2693772353 2623666916 2818457173 741005961 955603754 3248552237 474220980 2196028782 369547399 1108678920 3465018701 2997170606 1462561180 3196410799 898162887 2681404170 876713230 3540543817 800518065 1909018670 2542751104 707721093 1106059064 2078816179 3221165224 358238969 3636418516 3694912926 1864121173 1726257451 1345006812 2212160052 2912381409 1960637167 3598904433 4061832805 3285154316 3452305107 2255715256 4227298073 1899049660 2001064457 3304308459 3923314900 668333767 911546025 2030825233 3675709069 4036767992 1806455103 347283781 397474098 2803596381 367689471 1474399757 2038814839 261707560 1651577655 4253642413 159553487 851691135 1794741241 4099449935 1673923268 794712282 610234262 3074085372 3951365564 516321717 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 |      115 |      100 |      435      0 |        6 |      123
0.00/0.08	c  0.0s |       2 |      279 |      250 |      479      0 |       35 |      224
0.09/0.10	c  0.1s |       2 |      406 |      366 |      527      0 |      183 |      606
0.09/0.10	c #cpu_time = 0.067s
0.09/0.10	c #wall_clock_time = 0.067s
0.09/0.10	c #decision = 406
0.09/0.10	c #random_decision = 0
0.09/0.10	c #conflict = 366
0.09/0.10	c #restart = 2
0.09/0.10	s UNSATISFIABLE
0.09/0.10	c total CPU time = 0.105s
0.09/0.10	c total wall clock time = 0.105s

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

pid=32054
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.05 2.02 2.00 3/180 32057
/proc/meminfo: memFree=31764112/32872528 swapFree=7268/7268
[pid=32057] ppid=32054 vsize=805308 CPUtime=0 cores=0,2,4,6
/proc/32057/stat : 32057 (toysat) R 32054 32057 29295 0 -1 4202496 3018 0 0 0 0 0 0 0 20 0 4 0 13487380 824635392 2869 33554432000 4194304 16246674 140735254486128 140735254485552 13880264 0 2 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/32057/statm: 202095 2878 441 2943 0 198989 0
[pid=32057/tid=32058] ppid=32054 vsize=823740 CPUtime=0 cores=0,2,4,6
/proc/32057/task/32058/stat : 32058 (toysat) S 32054 32057 29295 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 13487380 843509760 2939 33554432000 4194304 16246674 140735254486128 140292092046576 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=32057/tid=32059] ppid=32054 vsize=827836 CPUtime=0 cores=0,2,4,6
/proc/32057/task/32059/stat : 32059 (toysat) S 32054 32057 29295 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 13487380 847704064 2956 33554432000 4194304 16246674 140735254486128 140292081556720 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=32057/tid=32060] ppid=32054 vsize=831932 CPUtime=0 cores=0,2,4,6
/proc/32057/task/32060/stat : 32060 (toysat) S 32054 32057 29295 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 13487380 851898368 2974 33554432000 4194304 16246674 140735254486128 140292071083184 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0

[startup+0.100144 s]
/proc/loadavg: 2.05 2.02 2.00 3/180 32057
/proc/meminfo: memFree=31764112/32872528 swapFree=7268/7268
[pid=32057] ppid=32054 vsize=1218116 CPUtime=0.09 cores=0,2,4,6
/proc/32057/stat : 32057 (toysat) R 32054 32057 29295 0 -1 4202496 25129 0 0 0 5 4 0 0 20 0 4 0 13487380 1247350784 24969 33554432000 4194304 16246674 140735254486128 140735254485552 12477891 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/32057/statm: 304529 24976 718 2943 0 301423 0
[pid=32057/tid=32058] ppid=32054 vsize=1218116 CPUtime=0 cores=0,2,4,6
/proc/32057/task/32058/stat : 32058 (toysat) S 32054 32057 29295 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 13487380 1247350784 24982 33554432000 4194304 16246674 140735254486128 140292092046576 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=32057/tid=32059] ppid=32054 vsize=1218116 CPUtime=0 cores=0,2,4,6
/proc/32057/task/32059/stat : 32059 (toysat) S 32054 32057 29295 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 13487380 1247350784 24987 33554432000 4194304 16246674 140735254486128 140292081556720 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=32057/tid=32060] ppid=32054 vsize=1218116 CPUtime=0 cores=0,2,4,6
/proc/32057/task/32060/stat : 32060 (toysat) S 32054 32057 29295 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 13487380 1247350784 24993 33554432000 4194304 16246674 140735254486128 140292071083184 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 32057 sig 9
??? end of watcher thread
Dumping a history of the last processes samples

[startup+0.100144 s]
/proc/loadavg: 2.05 2.02 2.00 3/180 32057
/proc/meminfo: memFree=31764112/32872528 swapFree=7268/7268
[pid=32057] ppid=32054 vsize=1218116 CPUtime=0.09 cores=0,2,4,6
/proc/32057/stat : 32057 (toysat) R 32054 32057 29295 0 -1 4202496 25129 0 0 0 5 4 0 0 20 0 4 0 13487380 1247350784 24969 33554432000 4194304 16246674 140735254486128 140735254485552 12477891 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/32057/statm: 304529 24976 718 2943 0 301423 0
[pid=32057/tid=32058] ppid=32054 vsize=1218116 CPUtime=0 cores=0,2,4,6
/proc/32057/task/32058/stat : 32058 (toysat) S 32054 32057 29295 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 13487380 1247350784 24982 33554432000 4194304 16246674 140735254486128 140292092046576 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=32057/tid=32059] ppid=32054 vsize=1218116 CPUtime=0 cores=0,2,4,6
/proc/32057/task/32059/stat : 32059 (toysat) S 32054 32057 29295 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 13487380 1247350784 24987 33554432000 4194304 16246674 140735254486128 140292081556720 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=32057/tid=32060] ppid=32054 vsize=1218116 CPUtime=0 cores=0,2,4,6
/proc/32057/task/32060/stat : 32060 (toysat) S 32054 32057 29295 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 13487380 1247350784 24993 33554432000 4194304 16246674 140735254486128 140292071083184 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.113542
CPU time (s): 0.111982
CPU user time (s): 0.06099
CPU system time (s): 0.050992
CPU usage (%): 98.6261
Max. virtual memory (cumulated for all children) (KiB): 1218116

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 0.06099
system time used= 0.050992
maximum resident set size= 105804
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 26620
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= 1

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

The end

Launcher Data 

Begin job on node151 at 2016-06-17 00:00:26
IDJOB=4096337
IDBENCH=107600
IDSOLVER=2542
FILE ID=node151/4096337-1466114426
RUNJOBID= node151-1466112624-31871
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-7_7_8.opb
COMMAND LINE= toysat +RTS -H1G -MMEMLIMITm -K1G -RTS --pb --search=bcd2 BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4096337-1466114426/watcher-4096337-1466114426 -o /tmp/evaluation-result-4096337-1466114426/solver-4096337-1466114426 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node151-1466112624-31871 --watchdog 1960  toysat +RTS -H1G -M15500m -K1G -RTS --pb --search=bcd2 HOME/instance-4096337-1466114426.opb

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

MD5SUM BENCH= a87c83c142f04ff68900e25a78403657
RANDOM SEED=1147915811

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:        31778628 kB
Buffers:           62068 kB
Cached:           162112 kB
SwapCached:        61592 kB
Active:           211836 kB
Inactive:         170004 kB
Active(anon):      98912 kB
Inactive(anon):    61036 kB
Active(file):     112924 kB
Inactive(file):   108968 kB
Unevictable:        7268 kB
Mlocked:            7268 kB
SwapTotal:      67108856 kB
SwapFree:       67038988 kB
Dirty:             32896 kB
Writeback:            60 kB
AnonPages:        104352 kB
Mapped:             9508 kB
Shmem:                 0 kB
Slab:             572072 kB
SReclaimable:      15480 kB
SUnreclaim:       556592 kB
KernelStack:        1432 kB
PageTables:         5676 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83545120 kB
Committed_AS:    1135960 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      346412 kB
VmallocChunk:   34341988032 kB
HardwareCorrupted:     0 kB
AnonHugePages:         0 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:00:26