Trace number 4102161

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 NameAnswerobjective functionCPU timeWall clock time
toysat 2016-05-02UNSAT 0.292955 0.295967

General information on the benchmark

Namenormalized-PB06/OPT-SMALLINT/submitted-PB05/manquinho/
primes-dimacs-cnf/normalized-bf0432-007.opb
MD5SUM093787cffe9173c370b11fb5e77a5812
Bench CategoryOPT-SMALLINT (optimisation, small integers)
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.029994
Has Objective FunctionYES
SatisfiableNO
(Un)Satisfiability was provedYES
Best value of the objective function
Optimality of the best value was proved
Number of variables2080
Total number of constraints4708
Number of constraints which are clauses4708
Number of constraints which are cardinality constraints (but not clauses)0
Number of constraints which are nor clauses,nor cardinality constraints0
Minimum length of a constraint1
Maximum length of a constraint6
Number of terms in the objective function 2080
Biggest coefficient in the objective function 1
Number of bits for the biggest coefficient in the objective function 1
Sum of the numbers in the objective function 2080
Number of bits of the sum of numbers in the objective function 12
Biggest number in a constraint 1
Number of bits of the biggest number in a constraint 1
Biggest sum of numbers in a constraint 2080
Number of bits of the biggest sum of numbers12
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-18T08:01:04+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-4102161-1466229664.opb"]
0.00/0.01	c use --random-gen="3569005965 2246173758 2329231660 3317515870 175866292 2180536505 1362889368 3875986259 2996206494 1472532417 2160648677 4215449991 3571898008 3180639230 3561441182 3013672348 112551797 979798688 1786411831 2051801727 3672724389 1430337032 3432812072 3528418946 3603995226 608577982 4223912456 767699685 1977747470 2727055214 3393755452 3480752364 1335149455 3973052623 4120137855 52648596 4153335838 3051813869 797895341 3251011533 1259013899 3281833033 91210420 1454128003 3341065178 3134323228 3133945217 2316177014 3043556896 1717069140 1778454803 578205540 1527453849 1118795254 227132350 884510095 826890802 887293997 3062560836 2814639380 4094738098 3485562401 4070326712 2151457726 1679594292 2207881259 4016400810 389953248 2096409067 2613475669 4254452331 738970794 131764749 2199850480 1774636583 3178768781 1478595465 1988555276 1726890377 3489840370 356343935 2415561718 3664758467 3763736596 2538357255 3405494957 2807343912 3028577329 1976214413 3009011261 2492661787 644055690 2408912682 557982641 1622221968 3805698198 112460825 3286273417 1463767689 1276189094 12028015 911821268 3214335930 2825077241 2799637101 3315519177 4087486390 3235299250 588910743 2256049702 3608745299 74136671 1357969479 5996436 1588449730 3433937962 2159361828 3640421972 2032194689 2287103579 1158620869 1022764546 1798723223 2844785726 1368460742 1722312033 1472240781 2956773996 3015280383 132909902 1920029050 4036119495 2686207166 343329434 4120404717 2561131276 1505443951 845272719 752170942 636054541 1466317652 979408165 335133326 3513801896 978483986 685936162 1060781972 1578476524 3438639062 2106641413 545547554 717331404 132777502 1170554332 1002220322 549539432 540898127 386745660 3528002109 3280346905 3353070371 414498530 26214231 970326408 454033780 2343210360 1956162118 2785662517 274724172 3443877245 3043588313 857851951 2817636365 1059619650 2667801560 1179409289 3128155379 3225040526 1522343924 4019711190 2068897173 3332414180 3592333223 1107080040 393205301 3033954690 2782653468 1525475800 2446291623 2095647468 3293015030 4172364174 679317193 1672880706 3821726769 3514330008 3635218604 2276459364 1282195179 3646004230 3177784765 305721113 753075292 1661097937 366576117 811246512 3749545113 1725116465 3921931545 12265632 3912348084 1826206540 3916828956 201363521 3142681359 84922184 1974954767 1472685464 2681088994 3990194063 174757241 3637734814 1010794169 2971934108 3951588909 3970940692 416916039 2386782896 3399573525 22273633 2962975746 2504959348 249595850 2059294174 3280684057 1466049120 1631274093 480258682 1720887810 2514149697 2181613522 2913218278 997982907 1298352415 2232084478 4018323718 3401102375 857580070 2943007661 2974655916 4129996822 343468912 2868481223 579183726 237298148 640061873 255 362436" option to reproduce the execution
0.00/0.05	c #vars 2080
0.00/0.05	c #constraints 4708
0.00/0.09	c BCD2: Hardening is enabled.
0.00/0.09	c BCD2: BiasedSearch is enabled.
0.00/0.09	c Solving starts ...
0.00/0.09	c ============================[ Search Statistics ]============================
0.00/0.09	c  Time | Restart | Decision | Conflict |      LEARNT     | Fixed    | Removed 
0.00/0.09	c       |         |          |          |    Limit     GC | Var      | Constra 
0.00/0.09	c =============================================================================
0.00/0.09	c  0.0s |       0 |        0 |        0 |     2236      0 |      252 |        0
0.09/0.16	c  0.1s |       1 |      382 |      100 |     2236      0 |      270 |      671
0.19/0.26	c  0.2s |       2 |      814 |      250 |     2460      0 |      524 |     1440
0.19/0.28	c  0.2s |       2 |      837 |      265 |     2706      0 |      777 |     2066
0.19/0.28	c #cpu_time = 0.183s
0.19/0.28	c #wall_clock_time = 0.184s
0.19/0.28	c #decision = 837
0.19/0.28	c #random_decision = 2
0.19/0.28	c #conflict = 265
0.19/0.28	c #restart = 2
0.19/0.28	s UNSATISFIABLE
0.19/0.28	c total CPU time = 0.280s
0.19/0.28	c total wall clock time = 0.280s

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

pid=20266
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.33 2.26 2.20 2/180 20269
/proc/meminfo: memFree=25982580/32872528 swapFree=1459628/1655852
[pid=20269] ppid=20266 vsize=716220 CPUtime=0 cores=1,3,5,7
/proc/20269/stat : 20269 (toysat) R 20266 20269 16189 0 -1 4202496 2667 0 0 0 0 0 0 0 20 0 4 0 25011907 733409280 3028 33554432000 4194304 16246674 140736595967632 140736595967056 13880264 0 2 0 34082818 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/20269/statm: 179567 3039 441 2943 0 176461 0
[pid=20269/tid=20270] ppid=20266 vsize=734652 CPUtime=0 cores=1,3,5,7
/proc/20269/task/20270/stat : 20270 (toysat) S 20266 20269 16189 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 25011907 752283648 3100 33554432000 4194304 16246674 140736595967632 139919473224944 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 3 0 0 0 0 0
[pid=20269/tid=20271] ppid=20266 vsize=738748 CPUtime=0 cores=1,3,5,7
/proc/20269/task/20271/stat : 20271 (toysat) S 20266 20269 16189 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 25011907 756477952 3117 33554432000 4194304 16246674 140736595967632 139919462735088 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 5 0 0 0 0 0
[pid=20269/tid=20272] ppid=20266 vsize=742844 CPUtime=0 cores=1,3,5,7
/proc/20269/task/20272/stat : 20272 (toysat) S 20266 20269 16189 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 25011908 760672256 3135 33554432000 4194304 16246674 140736595967632 139919452261552 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 3 0 0 0 0 0

[startup+0.100161 s]
/proc/loadavg: 2.33 2.26 2.20 2/180 20269
/proc/meminfo: memFree=25982580/32872528 swapFree=1459628/1655852
[pid=20269] ppid=20266 vsize=1220164 CPUtime=0.09 cores=1,3,5,7
/proc/20269/stat : 20269 (toysat) R 20266 20269 16189 0 -1 4202496 20483 0 0 0 6 3 0 0 20 0 4 0 25011907 1249447936 20782 33554432000 4194304 16246674 140736595967632 140736595950624 5991173 0 0 0 34082818 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/20269/statm: 305041 20790 868 2943 0 301935 0
[pid=20269/tid=20270] ppid=20266 vsize=1220164 CPUtime=0 cores=1,3,5,7
/proc/20269/task/20270/stat : 20270 (toysat) S 20266 20269 16189 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 25011907 1249447936 20795 33554432000 4194304 16246674 140736595967632 139919473224944 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 3 0 0 0 0 0
[pid=20269/tid=20271] ppid=20266 vsize=1220164 CPUtime=0 cores=1,3,5,7
/proc/20269/task/20271/stat : 20271 (toysat) S 20266 20269 16189 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 25011907 1249447936 20801 33554432000 4194304 16246674 140736595967632 139919462735088 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 5 0 0 0 0 0
[pid=20269/tid=20272] ppid=20266 vsize=1220164 CPUtime=0 cores=1,3,5,7
/proc/20269/task/20272/stat : 20272 (toysat) S 20266 20269 16189 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 25011908 1249447936 20806 33554432000 4194304 16246674 140736595967632 139919452261552 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 1220164

[startup+0.200522 s]
/proc/loadavg: 2.33 2.26 2.20 2/180 20269
/proc/meminfo: memFree=25982580/32872528 swapFree=1459628/1655852
[pid=20269] ppid=20266 vsize=1220164 CPUtime=0.19 cores=1,3,5,7
/proc/20269/stat : 20269 (toysat) R 20266 20269 16189 0 -1 4202496 39394 0 0 0 14 5 0 0 20 0 4 0 25011907 1249447936 39693 33554432000 4194304 16246674 140736595967632 140736595950624 6024617 0 0 0 34082818 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/20269/statm: 305041 39702 884 2943 0 301935 0
[pid=20269/tid=20270] ppid=20266 vsize=1220164 CPUtime=0 cores=1,3,5,7
/proc/20269/task/20270/stat : 20270 (toysat) S 20266 20269 16189 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 25011907 1249447936 39705 33554432000 4194304 16246674 140736595967632 139919473224944 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 3 0 0 0 0 0
[pid=20269/tid=20271] ppid=20266 vsize=1220164 CPUtime=0 cores=1,3,5,7
/proc/20269/task/20271/stat : 20271 (toysat) S 20266 20269 16189 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 25011907 1249447936 39709 33554432000 4194304 16246674 140736595967632 139919462735088 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 5 0 0 0 0 0
[pid=20269/tid=20272] ppid=20266 vsize=1220164 CPUtime=0 cores=1,3,5,7
/proc/20269/task/20272/stat : 20272 (toysat) S 20266 20269 16189 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 25011908 1249447936 39712 33554432000 4194304 16246674 140736595967632 139919452261552 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 0.19
Current children cumulated vsize (KiB) 1220164

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

Child status: 0
Real time (s): 0.295967
CPU time (s): 0.292955
CPU user time (s): 0.200969
CPU system time (s): 0.091986
CPU usage (%): 98.9823
Max. virtual memory (cumulated for all children) (KiB): 1220164

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 0.200969
system time used= 0.091986
maximum resident set size= 219624
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 54607
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= 25
involuntary context switches= 5

??? 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 node136 at 2016-06-18 08:01:04
IDJOB=4102161
IDBENCH=2073
IDSOLVER=2542
FILE ID=node136/4102161-1466229664
RUNJOBID= node136-1466206055-16206
PBS_JOBID= 19918141
Free space on /tmp= 71716 MiB

SOLVER NAME= toysat 2016-05-02
BENCH NAME= PB06//final/normalized-PB06/OPT-SMALLINT/submitted-PB05/manquinho/primes-dimacs-cnf/normalized-bf0432-007.opb
COMMAND LINE= toysat +RTS -H1G -MMEMLIMITm -K1G -RTS --pb --search=bcd2 BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4102161-1466229664/watcher-4102161-1466229664 -o /tmp/evaluation-result-4102161-1466229664/solver-4102161-1466229664 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node136-1466206055-16206 --watchdog 1960  toysat +RTS -H1G -M15500m -K1G -RTS --pb --search=bcd2 HOME/instance-4102161-1466229664.opb

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

MD5SUM BENCH= 093787cffe9173c370b11fb5e77a5812
RANDOM SEED=1813489091

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

processor	: 5
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2667.278
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		: 2667.278
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.67
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.278
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:        25982488 kB
Buffers:          168668 kB
Cached:          1677812 kB
SwapCached:            0 kB
Active:          2778784 kB
Inactive:        1701556 kB
Active(anon):    2636404 kB
Inactive(anon):        0 kB
Active(file):     142380 kB
Inactive(file):  1701556 kB
Unevictable:     1655852 kB
Mlocked:         1459628 kB
SwapTotal:      67108856 kB
SwapFree:       67108856 kB
Dirty:             16740 kB
Writeback:             0 kB
AnonPages:       4275724 kB
Mapped:            16536 kB
Shmem:               204 kB
Slab:             611012 kB
SReclaimable:      54716 kB
SUnreclaim:       556296 kB
KernelStack:        1456 kB
PageTables:        12804 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83545120 kB
Committed_AS:    4425976 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      346412 kB
VmallocChunk:   34341988032 kB
HardwareCorrupted:     0 kB
AnonHugePages:    647168 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= 71700 MiB
End job on node136 at 2016-06-18 08:01:04