Trace number 4093544

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-02OPTIMUM 0.088986 0.0917611

General information on the benchmark

Name/PARTIAL-SMALLINT-LIN/wcsp/jnh/
normalized-jnh07_wcsp.wbo
MD5SUM124b6775b7bb4e390bc62510a681a702
Bench CategoryPARTIAL-SMALLINT-LIN (both soft and hard constraints, small integers, linear constraints)
Best result obtained on this benchmarkMOPT
Best cost obtained on this benchmark0
Best CPU time to get the best result obtained on this benchmark0.035993
Max-Satisfiable
Max-(Un)Satisfiability was proved
Best value of the cost
Optimality of the best cost was proved
Number of variables200
Total number of constraints950
Number of soft constraints850
Number of constraints which are clauses850
Number of constraints which are cardinality constraints (but not clauses)100
Number of constraints which are nor clauses,nor cardinality constraints0
Minimum length of a constraint2
Maximum length of a constraint10
Top cost 420926
Min constraint cost 1
Max constraint cost 1000
Sum of constraints costs 420925
Biggest number in a constraint 9
Number of bits of the biggest number in a constraint 4
Biggest sum of numbers in a constraint 19
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-16T18:38:33+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","--wbo","--search=bcd2","HOME/instance-4093544-1466095112.wbo"]
0.00/0.01	c use --random-gen="2856829854 2858020385 4178523503 2967432085 1832137026 871565844 547477307 3027359675 121232804 457206185 3028602901 1920825941 2434537401 2681592422 2342316229 3877606533 3379313486 3669013145 3537696883 2745737622 3284138454 3678868757 2745674664 3513070710 3113357901 1549507243 3906697587 3334183044 119834684 2896786962 3951256228 2184916487 223802789 1821682111 652118982 529415454 337088729 86403550 1162821277 2499689922 3789727577 2652981733 3247345682 2758578092 3982504801 4147127679 2590506244 4197387865 164894510 2274921989 828770660 1194819358 2033145667 4284780258 2170073399 1520706971 1919660295 259329553 1692320264 2197523832 1525768691 1942690375 237770213 2236834529 225299818 846903571 3947242721 1586785607 853829569 2769875760 236909647 988392577 2701212684 2841977465 555614498 2207886981 2117990786 124887277 4072643682 2961563137 3912787542 3497883073 40089411 2489521476 901372354 320039163 931150767 2129650518 3135972240 1381929565 3363324001 2993435905 2282444561 2699091860 352105301 2923392974 2503154482 2355219133 4040276964 3159202307 1806386869 666142269 3287812280 1982261133 3852747350 2103394434 148750437 3564046927 356111197 2037412432 4144105533 1116872202 2731447090 2493312263 1609872842 3095752217 838207877 1274335371 2003621967 814080410 1885275879 1649281439 3797831816 2996685840 2471621627 2995129116 377211271 2352800241 21070842 2793399257 1347176380 2422669254 271776454 3221861914 709732932 1434058225 612393534 1813657437 4145596009 2569717272 3204610595 1089317974 3525805403 1616203360 3901252344 1182800437 406028077 2343303486 2420328323 1291225052 3601064225 201245071 1604343605 926564003 3406098567 98209832 1427773013 3807903185 3342883021 1453154371 1345819972 845076824 606791798 409352350 33019258 1092637394 3559424653 1360069634 888804411 2786461002 898510635 3790745636 1763272631 1453332481 2034616636 3204703634 2733087544 3272138901 2004191232 3742103852 3603648262 4215620064 2979514212 32940289 1639483135 3355727422 3232787381 2299781184 3867135722 2321783867 4053612938 2947007985 3744806456 3360895988 4018984890 878811955 2287323043 915694012 1927428674 667706190 2091919239 3066095860 939086304 1850714341 2684581340 1060522213 1235374541 3914795791 1530755392 3661084385 2272769949 2162172928 393797967 2308558642 3657408600 4240051781 2838685118 1291052034 142262720 3360910181 909880388 337251976 2170575448 1824430614 2154722248 3754514100 2823657087 464873158 3742361720 472236906 2449073075 549618460 2902383472 1726713386 3879095367 2998247678 183158 4080382617 2338519091 3274150072 497876612 906858488 3545578600 1076700134 1864921058 1632300792 2661243774 2710666713 4018341073 1292734072 3314812963 459910889 4270560634 3175995123 3871492 406021674 255 362436" option to reproduce the execution
0.00/0.04	c #vars 200
0.00/0.04	c #constraints 950
0.00/0.07	c BCD2: Hardening is enabled.
0.00/0.07	c BCD2: BiasedSearch is enabled.
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 |      700      0 |        0 |        0
0.00/0.08	c  0.0s |       0 |      879 |        9 |      700      0 |        0 |        0
0.00/0.08	c #cpu_time = 0.006s
0.00/0.08	c #wall_clock_time = 0.006s
0.00/0.08	c #decision = 879
0.00/0.08	c #random_decision = 1
0.00/0.08	c #conflict = 9
0.00/0.08	c #restart = 0
0.00/0.08	o 0
0.00/0.08	s OPTIMUM FOUND
0.00/0.08	v x1 -x2 x3 -x4 -x5 x6 -x7 x8 x9 -x10
0.00/0.08	v -x11 x12 -x13 x14 x15 -x16 x17 -x18 x19 -x20
0.00/0.08	v -x21 x22 x23 -x24 x25 -x26 -x27 x28 x29 -x30
0.00/0.08	v -x31 x32 -x33 x34 x35 -x36 x37 -x38 x39 -x40
0.00/0.08	v x41 -x42 -x43 x44 -x45 x46 -x47 x48 -x49 x50
0.00/0.08	v x51 -x52 -x53 x54 x55 -x56 -x57 x58 x59 -x60
0.00/0.08	v -x61 x62 -x63 x64 x65 -x66 -x67 x68 -x69 x70
0.00/0.08	v -x71 x72 x73 -x74 -x75 x76 x77 -x78 -x79 x80
0.00/0.08	v -x81 x82 -x83 x84 x85 -x86 -x87 x88 x89 -x90
0.00/0.08	v x91 -x92 x93 -x94 x95 -x96 x97 -x98 x99 -x100
0.00/0.08	v -x101 x102 -x103 x104 x105 -x106 -x107 x108 -x109 x110
0.00/0.08	v -x111 x112 -x113 x114 x115 -x116 x117 -x118 -x119 x120
0.00/0.08	v x121 -x122 x123 -x124 -x125 x126 x127 -x128 -x129 x130
0.00/0.08	v -x131 x132 x133 -x134 x135 -x136 x137 -x138 -x139 x140
0.00/0.08	v -x141 x142 x143 -x144 -x145 x146 -x147 x148 -x149 x150
0.00/0.08	v -x151 x152 -x153 x154 x155 -x156 -x157 x158 -x159 x160
0.00/0.08	v x161 -x162 -x163 x164 x165 -x166 x167 -x168 -x169 x170
0.00/0.08	v x171 -x172 -x173 x174 -x175 x176 x177 -x178 x179 -x180
0.00/0.08	v -x181 x182 -x183 x184 x185 -x186 -x187 x188 -x189 x190
0.00/0.08	v -x191 x192 x193 -x194 -x195 x196 -x197 x198 -x199 x200
0.00/0.08	c total CPU time = 0.083s
0.00/0.08	c total wall clock time = 0.083s

Verifier Data 

OK	0

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-4093544-1466095112/watcher-4093544-1466095112 -o /tmp/evaluation-result-4093544-1466095112/solver-4093544-1466095112 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node107-1466074715-9714 --watchdog 1960 toysat +RTS -H1G -M15500m -K1G -RTS --wbo --search=bcd2 HOME/instance-4093544-1466095112.wbo 

pid=13755
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: 2.07 2.10 2.08 3/179 13758
/proc/meminfo: memFree=30624676/32872528 swapFree=240572/273276
[pid=13758] ppid=13755 vsize=715196 CPUtime=0 cores=1,3,5,7
/proc/13758/stat : 13758 (toysat) R 13755 13758 7549 0 -1 4202496 2667 0 0 0 0 0 0 0 20 0 4 0 11561272 732360704 3028 33554432000 4194304 16246674 140735183454016 140735183453440 15002730 0 2 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/13758/statm: 179567 3038 441 2943 0 176461 0
[pid=13758/tid=13759] ppid=13755 vsize=733628 CPUtime=0 cores=1,3,5,7
/proc/13758/task/13759/stat : 13759 (toysat) S 13755 13758 7549 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 11561272 751235072 3098 33554432000 4194304 16246674 140735183454016 140318071565552 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=13758/tid=13760] ppid=13755 vsize=737724 CPUtime=0 cores=1,3,5,7
/proc/13758/task/13760/stat : 13760 (toysat) S 13755 13758 7549 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 11561272 755429376 3115 33554432000 4194304 16246674 140735183454016 140317990825200 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=13758/tid=13761] ppid=13755 vsize=742844 CPUtime=0 cores=1,3,5,7
/proc/13758/task/13761/stat : 13761 (toysat) S 13755 13758 7549 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 11561272 760672256 3133 33554432000 4194304 16246674 140735183454016 140317980351664 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0

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

Child status: 0
Real time (s): 0.0917611
CPU time (s): 0.088986
CPU user time (s): 0.045993
CPU system time (s): 0.042993
CPU usage (%): 96.9757
Max. virtual memory (cumulated for all children) (KiB): 0

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 0.045993
system time used= 0.042993
maximum resident set size= 92228
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 22720
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.002999 second user time and 0.005999 second system time

The end

Launcher Data 

Begin job on node107 at 2016-06-16 18:38:32
IDJOB=4093544
IDBENCH=79421
IDSOLVER=2553
FILE ID=node107/4093544-1466095112
RUNJOBID= node107-1466074715-9714
PBS_JOBID= 19904025
Free space on /tmp= 71696 MiB

SOLVER NAME= toysat 2016-05-02
BENCH NAME= PB10/normalized-PB10/PARTIAL-SMALLINT-LIN/wcsp/jnh/normalized-jnh07_wcsp.wbo
COMMAND LINE= toysat +RTS -H1G -MMEMLIMITm -K1G -RTS --wbo --search=bcd2 BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4093544-1466095112/watcher-4093544-1466095112 -o /tmp/evaluation-result-4093544-1466095112/solver-4093544-1466095112 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node107-1466074715-9714 --watchdog 1960  toysat +RTS -H1G -M15500m -K1G -RTS --wbo --search=bcd2 HOME/instance-4093544-1466095112.wbo

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

MD5SUM BENCH= 124b6775b7bb4e390bc62510a681a702
RANDOM SEED=398892314

node107.alineos.net Linux 2.6.32-71.29.1.el6.x86_64 #1 SMP Mon Jun 27 19:49:27 BST 2011

/proc/cpuinfo:
processor	: 0
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.953
cache size	: 8192 KB
physical id	: 0
siblings	: 4
core id		: 0
cpu cores	: 4
apicid		: 0
initial apicid	: 0
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5333.90
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 1
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.953
cache size	: 8192 KB
physical id	: 1
siblings	: 4
core id		: 0
cpu cores	: 4
apicid		: 16
initial apicid	: 16
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5332.55
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 2
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.953
cache size	: 8192 KB
physical id	: 0
siblings	: 4
core id		: 1
cpu cores	: 4
apicid		: 2
initial apicid	: 2
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5332.56
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 3
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.953
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.56
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 4
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.953
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		: 2666.953
cache size	: 8192 KB
physical id	: 1
siblings	: 4
core id		: 2
cpu cores	: 4
apicid		: 20
initial apicid	: 20
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5332.56
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 6
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.953
cache size	: 8192 KB
physical id	: 0
siblings	: 4
core id		: 3
cpu cores	: 4
apicid		: 6
initial apicid	: 6
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5332.55
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 7
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.953
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.57
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:


/proc/meminfo:
MemTotal:       32872528 kB
MemFree:        30625204 kB
Buffers:           50596 kB
Cached:           119208 kB
SwapCached:         2508 kB
Active:          1181780 kB
Inactive:          89860 kB
Active(anon):    1102036 kB
Inactive(anon):     2156 kB
Active(file):      79744 kB
Inactive(file):    87704 kB
Unevictable:      273276 kB
Mlocked:          240572 kB
SwapTotal:      67108856 kB
SwapFree:       67099244 kB
Dirty:             17068 kB
Writeback:             0 kB
AnonPages:       1373964 kB
Mapped:            10844 kB
Shmem:                 0 kB
Slab:             569432 kB
SReclaimable:      12348 kB
SUnreclaim:       557084 kB
KernelStack:        1448 kB
PageTables:         6700 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83545120 kB
Committed_AS:    1517280 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      346412 kB
VmallocChunk:   34341988032 kB
HardwareCorrupted:     0 kB
AnonHugePages:     88064 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= 71680 MiB
End job on node107 at 2016-06-16 18:38:33