Trace number 4097702

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.220965 0.222433

General information on the benchmark

Namenormalized-PB16/DEC-SMALLINT-LIN/quimper/
SyncCodes/d_n_k/normalized-5_6_10.opb
MD5SUMb277125c4bf0f330924402c9be8b29c9
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.019996
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 10
Number of bits of the biggest number in a constraint 4
Biggest sum of numbers in a constraint 25
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:07:38+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-4097702-1466118458.opb"]
0.00/0.01	c use --random-gen="357300993 2599638258 1198727604 3089049817 2098397144 21403309 1685775634 2829290288 2825254966 1299265839 3775697204 1379890742 818583397 4198537460 3114098991 1007271735 3712202746 3916451667 3266762645 3897146012 1390838569 268547186 1560977868 3028687707 1098695225 2510837455 3487036375 3125971106 926898472 955999683 286261132 4103016906 608039531 3579068557 596642927 3592698208 242214305 222901562 1281325762 466164838 1965527538 505246199 3299072231 2443209109 3471607921 282268165 2103854044 1436697193 3582522154 2149439366 2003885278 3916707616 3625592762 242690604 3668220613 3601559061 3398822802 2674230722 382147488 2236803031 3039858340 3128857734 240832495 1018273301 131109453 2513966558 1231544047 1685921472 373152665 3984683445 2707850399 515184755 657493216 3776779886 1125556991 3261853651 3014815770 325969549 581802997 3057035097 2075434201 2619245886 3700372007 967092903 2564336358 1200530005 2547007722 591744376 3220834405 1591109018 2946386765 2801262226 1004789182 3830919617 889608755 1750651471 1367841429 1604217114 2154224420 713387377 3528697398 3039286288 39591331 1527814798 181064082 627458968 147369592 3919953068 3397588279 1424871962 3129370175 3593421622 1129540893 1977742363 3279182715 2453316431 2549874656 2172253159 2462381263 4294445879 3710508064 2223220283 3857600339 3915982637 578788017 572941354 3032252773 1594448686 2845971834 258733488 3587302360 1645217195 2551479663 1967345991 1319839569 1335412339 392185864 1776589299 396042790 2458570126 106513490 1716801835 1731163222 3516836748 2275347152 3086721619 1090228438 1537208987 1902354778 3756345598 3704807121 1561603003 1709872447 3453247294 1914138234 807705301 2475859502 3785283687 871094537 661238837 2954634411 273269675 3798751038 244359613 1779108079 93801148 4118354774 262051553 2268875730 2686373453 3038319252 1502782502 1859798194 2292346423 3651968124 1670267537 3974632659 871905670 1794056226 1242296017 2982995229 3628225451 1867090701 3820477495 2830313506 1771275358 1576402628 3183736315 1084054839 3581990293 3724585563 844589046 1479007313 2493506981 2319942549 721375780 1862974637 1781643704 823333799 1275755353 3878360970 3342021651 1861408931 3611792217 3009346723 1234640587 3741201885 722845767 3090608748 3640894955 2916073609 3136053041 3411298087 2787543521 2820455008 1790790671 2278107672 2771271688 1256461869 3253430949 1501427220 2951136393 694102227 2085889683 2686779434 3879010635 2923925102 149902994 204175641 895413107 2834117882 2112772898 1776621833 3162866715 1937296218 810766332 1128945537 871246237 3141413489 818725054 2716319117 3187099402 1451610347 2408083387 3884727481 260554338 157483581 3613201061 912362669 2732668970 3064151627 316579815 2757543152 4057170131 3463884450 4267078049 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 |      122 |      100 |      435      0 |        5 |      118
0.00/0.08	c  0.0s |       2 |      290 |      250 |      479      0 |        5 |      118
0.09/0.14	c  0.1s |       3 |      561 |      475 |      527      0 |        5 |      118
0.19/0.21	c  0.2s |       3 |      877 |      728 |      580      0 |      153 |      687
0.19/0.21	c #cpu_time = 0.170s
0.19/0.21	c #wall_clock_time = 0.171s
0.19/0.21	c #decision = 877
0.19/0.21	c #random_decision = 0
0.19/0.21	c #conflict = 728
0.19/0.21	c #restart = 3
0.19/0.21	s UNSATISFIABLE
0.19/0.21	c total CPU time = 0.208s
0.19/0.21	c total wall clock time = 0.208s

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-4097702-1466118458/watcher-4097702-1466118458 -o /tmp/evaluation-result-4097702-1466118458/solver-4097702-1466118458 -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-4097702-1466118458.opb 

pid=2338
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.93 2.03 2.00 3/179 2341
/proc/meminfo: memFree=30711192/32872528 swapFree=7268/7268
[pid=2341] ppid=2338 vsize=700860 CPUtime=0 cores=1,3,5,7
/proc/2341/stat : 2341 (toysat) R 2338 2341 29295 0 -1 4202496 2612 0 0 0 0 0 0 0 20 0 4 0 13890658 717680640 2972 33554432000 4194304 16246674 140736868938256 140736868937680 13880264 0 2 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/2341/statm: 175983 2982 441 2943 0 172877 0
[pid=2341/tid=2342] ppid=2338 vsize=745916 CPUtime=0 cores=1,3,5,7
/proc/2341/task/2342/stat : 2342 (toysat) S 2338 2341 29295 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 13890659 763817984 3148 33554432000 4194304 16246674 140736868938256 140428256980208 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=2341/tid=2343] ppid=2338 vsize=751036 CPUtime=0 cores=1,3,5,7
/proc/2341/task/2343/stat : 2343 (toysat) S 2338 2341 29295 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 13890659 769060864 3164 33554432000 4194304 16246674 140736868938256 140428246490352 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=2341/tid=2344] ppid=2338 vsize=755132 CPUtime=0 cores=1,3,5,7
/proc/2341/task/2344/stat : 2344 (toysat) S 2338 2341 29295 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 13890659 773255168 3181 33554432000 4194304 16246674 140736868938256 140428236016816 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0

[startup+0.100174 s]
/proc/loadavg: 1.93 2.03 2.00 3/179 2341
/proc/meminfo: memFree=30711192/32872528 swapFree=7268/7268
[pid=2341] ppid=2338 vsize=1218116 CPUtime=0.09 cores=1,3,5,7
/proc/2341/stat : 2341 (toysat) R 2338 2341 29295 0 -1 4202496 25030 0 0 0 6 3 0 0 20 0 4 0 13890658 1247350784 25379 33554432000 4194304 16246674 140736868938256 140736868937680 5662075 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/2341/statm: 304529 25389 718 2943 0 301423 0
[pid=2341/tid=2342] ppid=2338 vsize=1218116 CPUtime=0 cores=1,3,5,7
/proc/2341/task/2342/stat : 2342 (toysat) S 2338 2341 29295 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 13890659 1247350784 25395 33554432000 4194304 16246674 140736868938256 140428256980208 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=2341/tid=2343] ppid=2338 vsize=1218116 CPUtime=0 cores=1,3,5,7
/proc/2341/task/2343/stat : 2343 (toysat) S 2338 2341 29295 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 13890659 1247350784 25402 33554432000 4194304 16246674 140736868938256 140428246490352 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=2341/tid=2344] ppid=2338 vsize=1218116 CPUtime=0 cores=1,3,5,7
/proc/2341/task/2344/stat : 2344 (toysat) S 2338 2341 29295 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 13890659 1247350784 25406 33554432000 4194304 16246674 140736868938256 140428236016816 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

[startup+0.200479 s]
/proc/loadavg: 1.93 2.03 2.00 3/179 2341
/proc/meminfo: memFree=30711192/32872528 swapFree=7268/7268
[pid=2341] ppid=2338 vsize=1218116 CPUtime=0.19 cores=1,3,5,7
/proc/2341/stat : 2341 (toysat) R 2338 2341 29295 0 -1 4202496 46494 0 0 0 13 6 0 0 20 0 4 0 13890658 1247350784 46844 33554432000 4194304 16246674 140736868938256 140736868920128 5532301 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/2341/statm: 304529 46855 718 2943 0 301423 0
[pid=2341/tid=2342] ppid=2338 vsize=1218116 CPUtime=0 cores=1,3,5,7
/proc/2341/task/2342/stat : 2342 (toysat) S 2338 2341 29295 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 13890659 1247350784 46861 33554432000 4194304 16246674 140736868938256 140428256980208 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=2341/tid=2343] ppid=2338 vsize=1218116 CPUtime=0 cores=1,3,5,7
/proc/2341/task/2343/stat : 2343 (toysat) S 2338 2341 29295 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 13890659 1247350784 46871 33554432000 4194304 16246674 140736868938256 140428246490352 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=2341/tid=2344] ppid=2338 vsize=1218116 CPUtime=0 cores=1,3,5,7
/proc/2341/task/2344/stat : 2344 (toysat) S 2338 2341 29295 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 13890659 1247350784 46878 33554432000 4194304 16246674 140736868938256 140428236016816 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 0.19
Current children cumulated vsize (KiB) 1218116

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

Child status: 0
Real time (s): 0.222433
CPU time (s): 0.220965
CPU user time (s): 0.145977
CPU system time (s): 0.074988
CPU usage (%): 99.34
Max. virtual memory (cumulated for all children) (KiB): 1218116

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 0.145977
system time used= 0.074988
maximum resident set size= 197248
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 48972
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= 2

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

The end

Launcher Data 

Begin job on node151 at 2016-06-17 01:07:38
IDJOB=4097702
IDBENCH=107795
IDSOLVER=2542
FILE ID=node151/4097702-1466118458
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-5_6_10.opb
COMMAND LINE= toysat +RTS -H1G -MMEMLIMITm -K1G -RTS --pb --search=bcd2 BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4097702-1466118458/watcher-4097702-1466118458 -o /tmp/evaluation-result-4097702-1466118458/solver-4097702-1466118458 -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-4097702-1466118458.opb

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

MD5SUM BENCH= b277125c4bf0f330924402c9be8b29c9
RANDOM SEED=972066213

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:        30712076 kB
Buffers:           69400 kB
Cached:           165368 kB
SwapCached:        61592 kB
Active:          1268508 kB
Inactive:         176756 kB
Active(anon):    1151816 kB
Inactive(anon):    61036 kB
Active(file):     116692 kB
Inactive(file):   115720 kB
Unevictable:        7268 kB
Mlocked:            7268 kB
SwapTotal:      67108856 kB
SwapFree:       67038988 kB
Dirty:             16608 kB
Writeback:             0 kB
AnonPages:       1159388 kB
Mapped:            10696 kB
Shmem:                 0 kB
Slab:             573012 kB
SReclaimable:      16100 kB
SUnreclaim:       556912 kB
KernelStack:        1520 kB
PageTables:         6712 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83545120 kB
Committed_AS:    1302876 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      346412 kB
VmallocChunk:   34341988032 kB
HardwareCorrupted:     0 kB
AnonHugePages:   1126400 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 01:07:39